fp.

Program verification is not all-or-nothing

https://lawrencecpaulson.github.io/2025/09/05/All_or_nothing.html

1•tempodox•3m ago•0 comments

From Snapshots to Standards: Measuring AI Visibility

https://zenodo.org/records/17112616

1•businessmate•3m ago•1 comments

Cursive Reader – Free Handwriting to Text Converter

https://www.cursivereader.net/

1•clonbin•4m ago•1 comments

Bring back your old Mac: 5 ways to refresh the OS on elderly Apples

https://www.theregister.com/2025/09/13/refresh_an_old_mac/

1•rntn•4m ago•0 comments

Zodiac Sign Is 2k Year Out of Date

https://www.nytimes.com/interactive/2025/upshot/zodiac-signs.html

1•Hooke•4m ago•0 comments

K2-Think: A Parameter-Efficient Reasoning System

https://huggingface.co/LLM360/K2-Think

1•Anon84•6m ago•0 comments

Yes, Your Passkeys Can Be Hacked–New Attack 'Breaks the Myth'

https://www.forbes.com/sites/zakdoffman/2025/08/28/yes-your-passkeys-can-be-hacked-new-attack-bre...

1•mnmalst•7m ago•0 comments

Underused Techniques for Effective Emails

https://refactoringenglish.com/chapters/techniques-for-writing-emails/

1•mtlynch•9m ago•0 comments

School cell phone ban creates surge in JCPS library visits

https://www.wave3.com/2025/09/02/school-cell-phone-ban-creates-surge-jcps-library-visits/

1•vidyesh•9m ago•0 comments

How 'overworked, underpaid' humans train Google's AI to seem smart

https://www.theguardian.com/technology/2025/sep/11/google-gemini-ai-training-humans

1•Brajeshwar•13m ago•0 comments

Are EVs causing car sickness – and what can be done?

https://www.theguardian.com/environment/2025/sep/13/extreme-nausea-are-evs-causing-car-sickness-a...

1•n1b0m•14m ago•0 comments

I Made a Mechanical Laptop

https://www.youtube.com/watch?v=kGHAUogFsYY

4•hashworks•16m ago•1 comments

Never steal a hacker's girlfriend's phone: A global network of thieves exposed

https://english.elpais.com/technology/2025-09-13/never-steal-a-hackers-girlfriends-phone-how-an-e...

2•mnmalst•19m ago•1 comments

Firing the Lorentz Plasma Cannon [video]

https://www.youtube.com/watch?v=lix-vr_AF38

1•luckys•21m ago•0 comments

Builtwithhare.org – various projects built with the Hare programming language

https://builtwithhare.org

1•TheWiggles•24m ago•0 comments

James Webb Space Telescope reveals something strange on comet 3I/ATLAS

https://www.livescience.com/space/comets/james-webb-telescope-images-reveal-theres-something-stra...

2•thunderbong•27m ago•0 comments

Show HN: AI Roast – Fun AI-generated roasts of websites

https://ai-roast.jamatrix.io/

1•happy_malone•27m ago•0 comments

Æthelstan 1100

https://diamondgeezer.blogspot.com/2025/09/thelstan-1100.html

1•zeristor•28m ago•1 comments

Improving state machine code generation

https://trifectatech.org/blog/improving-state-machine-code-generation/

1•tempodox•31m ago•0 comments

People are losing jobs due to social media posts about Charlie Kirk

https://www.npr.org/2025/09/13/nx-s1-5538476/charlie-kirk-jobs-target-social-media-critics-resign

3•Improvement•32m ago•3 comments

Why not analyzing a dataset as if it were an image (with brushes, erasers,)?

1•vinserello•38m ago•0 comments

Inventor says most humanoid robots today are 'terrifying'

https://www.theregister.com/2025/09/13/to_make_a_humanoid_robot/

3•YeGoblynQueenne•44m ago•1 comments

Lobsters Interview with Susam

https://lobste.rs/s/kltoas/lobsters_interview_with_susam

1•tempodox•45m ago•0 comments

Betrusted – Building transparent, secure computing from the silicon up

https://betrusted.io/

1•akyuu•50m ago•0 comments

Ace and DAZN Shut Down a Major Sports Piracy Site in a "DMCA Ignored" Country

https://torrentfreak.com/ace-dazn-shut-down-a-major-sports-piracy-site-in-dmca-ignored-country-25...

2•gslin•51m ago•0 comments

Evolutionary Software Quality

https://www.youtube.com/watch?v=babuZSG8zMI

1•mcp_•57m ago•0 comments

Gen-Z Protestors in Nepal Used Discord and TikTok to Overthrow Their Government

https://twitter.com/rachinkalakheti/status/1966314602251301138

2•3l3ktr4•1h ago•1 comments

We compared 6 AI models for coding (unscientific, but fun)

https://blog.kilocode.ai/p/choosing-the-right-ai-coding-model

2•rietie•1h ago•0 comments

New Zealand's plan to save birds? Kill invasive animals

https://www.npr.org/2025/09/08/nx-s1-5507110/new-zealand-conservation-experiment

1•rbanffy•1h ago•0 comments

Scrapy_cffi: Async-first, modular web scraping utilities

https://github.com/aFunnyStrange/scrapy_cffi

2•funnyStrange•1h ago•1 comments

Program verification is not all-or-nothing

From Snapshots to Standards: Measuring AI Visibility

Cursive Reader – Free Handwriting to Text Converter

Bring back your old Mac: 5 ways to refresh the OS on elderly Apples

Zodiac Sign Is 2k Year Out of Date

K2-Think: A Parameter-Efficient Reasoning System

Yes, Your Passkeys Can Be Hacked–New Attack 'Breaks the Myth'

Underused Techniques for Effective Emails

School cell phone ban creates surge in JCPS library visits

How 'overworked, underpaid' humans train Google's AI to seem smart

Are EVs causing car sickness – and what can be done?

I Made a Mechanical Laptop

Never steal a hacker's girlfriend's phone: A global network of thieves exposed

Firing the Lorentz Plasma Cannon [video]

Builtwithhare.org – various projects built with the Hare programming language

James Webb Space Telescope reveals something strange on comet 3I/ATLAS

Show HN: AI Roast – Fun AI-generated roasts of websites

Æthelstan 1100

Improving state machine code generation

People are losing jobs due to social media posts about Charlie Kirk

Why not analyzing a dataset as if it were an image (with brushes, erasers,)?

Inventor says most humanoid robots today are 'terrifying'

Lobsters Interview with Susam

Betrusted – Building transparent, secure computing from the silicon up

Ace and DAZN Shut Down a Major Sports Piracy Site in a "DMCA Ignored" Country

Evolutionary Software Quality

Gen-Z Protestors in Nepal Used Discord and TikTok to Overthrow Their Government

We compared 6 AI models for coding (unscientific, but fun)

New Zealand's plan to save birds? Kill invasive animals

Scrapy_cffi: Async-first, modular web scraping utilities

From Legal Documents to Knowledge Graphs

Program verification is not all-or-nothing

From Snapshots to Standards: Measuring AI Visibility

Cursive Reader – Free Handwriting to Text Converter

Bring back your old Mac: 5 ways to refresh the OS on elderly Apples

Zodiac Sign Is 2k Year Out of Date

K2-Think: A Parameter-Efficient Reasoning System

Yes, Your Passkeys Can Be Hacked–New Attack 'Breaks the Myth'

Underused Techniques for Effective Emails

School cell phone ban creates surge in JCPS library visits

How 'overworked, underpaid' humans train Google's AI to seem smart

Are EVs causing car sickness – and what can be done?

I Made a Mechanical Laptop

Never steal a hacker's girlfriend's phone: A global network of thieves exposed

Firing the Lorentz Plasma Cannon [video]

Builtwithhare.org – various projects built with the Hare programming language

James Webb Space Telescope reveals something strange on comet 3I/ATLAS

Show HN: AI Roast – Fun AI-generated roasts of websites

Æthelstan 1100

Improving state machine code generation

People are losing jobs due to social media posts about Charlie Kirk

Why not analyzing a dataset as if it were an image (with brushes, erasers,)?

Inventor says most humanoid robots today are 'terrifying'

Lobsters Interview with Susam

Betrusted – Building transparent, secure computing from the silicon up

Ace and DAZN Shut Down a Major Sports Piracy Site in a "DMCA Ignored" Country

Evolutionary Software Quality

Gen-Z Protestors in Nepal Used Discord and TikTok to Overthrow Their Government

We compared 6 AI models for coding (unscientific, but fun)

New Zealand's plan to save birds? Kill invasive animals

Scrapy_cffi: Async-first, modular web scraping utilities