progscrape: f

Proof-oriented Programming in F*

13 hours ago fstar-lang.org book formalmethods plt

Richard F. Burton: On the English adventurer and writer

7 days ago thelampmagazine.com

F# 10

7 days ago devblogs.microsoft.com f#

The F Word

8 days ago muratbuffalo.blogspot.com

'F*ck You, Make Me' Without Saying the Words

32 days ago daringfireball.net

Ford F-150 Lightning outsold the Cybertruck and was then canceled for poor sales

29 days ago electrek.co ford

Histomat of F/OSS: We should reclaim LLMs, not reject them

27 days ago writings.hongminhee.org law llm vibecoding

Statement by Federal Reserve Chair Jerome F. Powell [video]

31 days ago youtube.com video

Algebra will return to S.F. middle schools after more than a decade

25 days ago sfchronicle.com

Hacking a Casio F-91W digital watch (2023)

39 days ago medium.com

F-35 Fighter Jet's C++ Coding Standards [pdf]

2 months ago stroustrup.com c++ pdf

HSBC blocks its app due to F-Droid-installed Bitwarden

44 days ago mastodon.neilzone.co.uk

Show HN: True Persistent F*****G Memory for Robotics (Bypassing Linux Kernel)

45 days ago ryjoxdemo.com kernel linux show

After 60,000 Miles of Charging to 100% Every Night, a Ford F-150 Lightning Owner Says His Battery Shows “Not One Single Percentage Point” of Degradation

47 days ago torquenews.com ford

Ford Ends F-150 Lightning Production, Starts Battery Storage Business

59 days ago arstechnica.com ford power

Children exposed to higher-than-usual temperatures —average maximum above 86 °F (30 °C)—were less likely to meet developmental milestones for literacy and numeracy, relative to children living in areas with lower temperatures

2 months ago nyu.edu

A faster heart for F-Droid

43 days ago f-droid.org

Ford pulls the plug on the F-150 Lightning electric pickup truck

58 days ago npr.org ford

Ford’s next F-150 Lightning will have a gas generator as it pivots away from large EVs

58 days ago techcrunch.com ford

Waymo halts service during S.F. blackout after causing traffic jams

53 days ago missionlocal.org

PG&E outages in S.F. leave 130k without electricity

53 days ago sfchronicle.com

The C++ standard for the F-35 Fighter Jet [video]

2 months ago youtube.com c++ video

Why Scandinavian Cabins Stayed Warm at -30°F While Modern Homes Freeze [video]

48 days ago youtube.com video

Ford kills the All-Electric F-150

58 days ago wired.com ford

Ford pulls the plug on the all-electric F-150 Lightning pickup truck