fp.

How 'America First' Stance Could Shut U.S. Scientists Out

https://www.propublica.org/article/federal-science-grants-russell-vought-omb

1•Jimmc414•2m ago•0 comments

CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification

https://arxiv.org/abs/2607.27259

1•Jimmc414•3m ago•0 comments

Surveillance and Your Soul, or Why Privacy Is Essential

https://unsigned.io/articles/2022_02_02_surveillance-and-your-soul-or-why-privacy-is-essential.html

1•Cider9986•8m ago•0 comments

We're 15-year-olds tired of switching study apps, so we built our own

https://reviscio.com

1•Luka_Takki•12m ago•1 comments

If you don't want Apple reject your app, protect yourself

https://www.apprejectkit.com/

1•jonvolio•13m ago•0 comments

The Social Construct of Privacy

https://medium.com/@despina.g127/the-social-construct-of-privacy-f469f1314816

1•vednig•15m ago•0 comments

Radar – Your Messages. Your Bitcoin. Together, at Last

https://radar.chat/

1•Cider9986•15m ago•0 comments

New Free Marketing vs. Advertising Digital Download

https://laptopformulas.com/

1•leosotx247•15m ago•0 comments

Nvidia in Talks with OpenAI to Guarantee $250B Financing for Data Center

https://www.wsj.com/tech/ai/nvidia-in-talks-with-openai-to-guarantee-250-billion-financing-for-da...

2•johnbarron•16m ago•1 comments

Atomic Clocks

https://www.nist.gov/atomic-clocks/how-do-atomic-clocks-work

2•teleforce•17m ago•0 comments

Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer

https://nanochess.org/the_am29000_computer.html

2•nanochess•18m ago•0 comments

VC-backed startups commit more fraud, and researchers think they know why

https://techcrunch.com/2026/07/31/vc-backed-startups-commit-more-fraud-and-researchers-think-they...

3•rndsignals•18m ago•0 comments

MSI Pro B850-P WiFi Dasharo v0.9.0 Released

https://blog.3mdeb.com/2026/2026-07-30-msi-pro-b850p-v090-release/

1•Jhsto•18m ago•0 comments

Show HN: Resume Tailor – Optimise Resume, Land More Offers

https://tailor.resume.academy

1•vednig•19m ago•0 comments

Did 75,000 Students Cheat on a College-Entrance Exam in Mexico?

https://www.nytimes.com/2026/07/31/world/americas/unam-college-entrance-exam-mexico.html

2•timetraveller26•19m ago•1 comments

Extensive Collection of Prototypes, Publications, Schematics Donated to Archives

https://moogfoundation.org/extraordinary-collection-of-prototypes-publications-schematic-and-more...

1•glitcher•20m ago•0 comments

The Obligatory AI Post

https://lapcatsoftware.com/articles/2026/7/15.html

2•frizlab•21m ago•0 comments

IndieMath – Crowdfunded automated proving for open CS/math problems

https://indiemath.ai/

1•nsomani•22m ago•0 comments

AI in the Classroom, Part 3: Where It Earns Its Place

https://forta.com/blog/ai-in-the-classroom-part-3-where-it-actually-earns-its-place

2•rmason•26m ago•0 comments

Mixxx – Free and open source DJ software

https://mixxx.org/

2•atoav•27m ago•0 comments

Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8)

https://rsadowski.de/posts/2026/dead-software-walking-relayd-and-httpd/

1•snorbleck•27m ago•0 comments

The Nix sandbox is a hidden input

https://fzakaria.com/2026/07/30/the-nix-sandbox-is-a-hidden-input

2•ingve•29m ago•0 comments

Talent Hoarding in Organizations

https://www.aeaweb.org/articles?id=10.1257/aer.20220264

2•baxtr•29m ago•0 comments

Anatomy of a frontier-lab agent intrusion

https://huggingface-anatomy-of-frontier-lab-model-intrusion.static.hf.space/index.html

1•gone35•31m ago•0 comments

The International Lunar Reference System

https://arxiv.org/abs/2607.27762

1•StatsAreFun•32m ago•0 comments

Start at the end: learning full stack development with AI

https://geosona.com/software/2026/07/31/start-at-the-end/

1•gste•32m ago•0 comments

Nontransitive Dice (2020)

https://schlaff.com/wp/nontransitive-dice/

3•gone35•35m ago•0 comments

The Go compiler is now a semantic code reviewer (and it's better than you)

https://blog.devgenius.io/the-go-compiler-just-code-reviewed-me-and-it-was-right-c19d0d183158?sk=...

How 'America First' Stance Could Shut U.S. Scientists Out

CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification

Surveillance and Your Soul, or Why Privacy Is Essential

We're 15-year-olds tired of switching study apps, so we built our own

If you don't want Apple reject your app, protect yourself

The Social Construct of Privacy

Radar – Your Messages. Your Bitcoin. Together, at Last

New Free Marketing vs. Advertising Digital Download

Nvidia in Talks with OpenAI to Guarantee $250B Financing for Data Center

Atomic Clocks

Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer

VC-backed startups commit more fraud, and researchers think they know why

MSI Pro B850-P WiFi Dasharo v0.9.0 Released

Show HN: Resume Tailor – Optimise Resume, Land More Offers

Did 75,000 Students Cheat on a College-Entrance Exam in Mexico?

Extensive Collection of Prototypes, Publications, Schematics Donated to Archives

The Obligatory AI Post

IndieMath – Crowdfunded automated proving for open CS/math problems

AI in the Classroom, Part 3: Where It Earns Its Place

Mixxx – Free and open source DJ software

Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8)

The Nix sandbox is a hidden input

Talent Hoarding in Organizations

Anatomy of a frontier-lab agent intrusion

The International Lunar Reference System

Start at the end: learning full stack development with AI

Nontransitive Dice (2020)

The Go compiler is now a semantic code reviewer (and it's better than you)

Show HN: I worked on a new browser for 2 years, today it passed Acid 3

Boorch – Beautiful TUI Instruments

Show HN: Do Skill.md Linters Matter? An Empirical Study

Comments

How 'America First' Stance Could Shut U.S. Scientists Out

CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification

Surveillance and Your Soul, or Why Privacy Is Essential

We're 15-year-olds tired of switching study apps, so we built our own

If you don't want Apple reject your app, protect yourself

The Social Construct of Privacy

Radar – Your Messages. Your Bitcoin. Together, at Last

New Free Marketing vs. Advertising Digital Download

Nvidia in Talks with OpenAI to Guarantee $250B Financing for Data Center

Atomic Clocks

Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer

VC-backed startups commit more fraud, and researchers think they know why

MSI Pro B850-P WiFi Dasharo v0.9.0 Released

Show HN: Resume Tailor – Optimise Resume, Land More Offers

Did 75,000 Students Cheat on a College-Entrance Exam in Mexico?

Extensive Collection of Prototypes, Publications, Schematics Donated to Archives

The Obligatory AI Post

IndieMath – Crowdfunded automated proving for open CS/math problems

AI in the Classroom, Part 3: Where It Earns Its Place

Mixxx – Free and open source DJ software

Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8)

The Nix sandbox is a hidden input

Talent Hoarding in Organizations

Anatomy of a frontier-lab agent intrusion

The International Lunar Reference System

Start at the end: learning full stack development with AI

Nontransitive Dice (2020)

The Go compiler is now a semantic code reviewer (and it's better than you)

Show HN: I worked on a new browser for 2 years, today it passed Acid 3

Boorch – Beautiful TUI Instruments