fp.

Formal Methods and the Future of Programming

https://blog.janestreet.com/formal-methods-at-jane-street-index/

1•dcre•31s ago•0 comments

Show HN: Grade your growth rate using Paul Graham's two-number math

https://www.brutal-audit.com/growth

1•smakosh•2m ago•0 comments

Telescope Rancher Who Manages Telescopes Each Night on a Texas Ranch

https://www.techeblog.com/telescope-rancher-texas-ranch/

1•mhb•3m ago•0 comments

Your ePub Is Fine. Kobo Disagrees. Blame Adobe

https://andreklein.net/your-epub-is-fine-kobo-disagrees-blame-adobe/

1•sohkamyung•6m ago•0 comments

What's Going on with the Web?

https://iam.mt/whats-going-on-with-the-web/

2•thallavajhula•7m ago•0 comments

What even is food authenticity? Why we guard carbonara, and flatten chicken rice

https://iza.ac/posts/2026/06/food-authenticity/

1•infinitewalk•7m ago•0 comments

Show HN: Cordium – FOSS identity-based sandbox platform with zero-trust access

https://github.com/octelium/cordium

1•geoctl•13m ago•0 comments

Early Research Suggests a Path to Predict and Prevent Lung Cancer

https://www.nytimes.com/2026/06/04/well/lung-cancer-prevention.html

1•mhb•14m ago•0 comments

Stanford grads walk out on Google CEO Sundar Pichai speech

https://twitter.com/maattttbrown/status/2066215255987163246

6•sosomoxie•15m ago•0 comments

Nothing CEO: Phone Prices Will Rise, RAM Accounts for over 50% of Phone Costs

https://www.theverge.com/gadgets/949403/nothing-carl-pei-ram-phone-prices

1•karakoram•15m ago•0 comments

Antidepressants and antipsychotics could be alternatives to opioids, study finds

https://www.theguardian.com/society/2026/jun/14/other-medications-opioids-alternatives-study

1•bookofjoe•15m ago•0 comments

Chinese Drivers Are Using Tiny Plastic Heads to Fool Tesla Autopilot Safeguards

https://www.wired.com/story/chinese-drivers-are-using-tiny-plastic-heads-to-fool-teslas-autopilot...

1•srameshc•17m ago•0 comments

The Jqwik Anti-AI Affair

https://blog.johanneslink.net/2026/06/09/the-jqwik-anti-ai-affair/

1•dgellow•17m ago•0 comments

A New Path to Preventing Cancer

https://erictopol.substack.com/p/a-new-path-to-preventing-cancer

2•paulpauper•18m ago•0 comments

The Former GOP Operative Running a News Site for the 'Politically Homeless'

https://www.wsj.com/business/media/the-bulwark-sarah-longwell-77bc9475

2•paulpauper•19m ago•0 comments

Instagram is obsessed with me (and you)

https://denkthoughts.com/instagram-is-obsessed-with-me

1•mootdentures•19m ago•0 comments

Bob Dylan (and others) on turning 80

https://www.nytimes.com/2026/06/14/opinion/trump-turns-80.html

1•paulpauper•20m ago•0 comments

Let Me Repost

https://github.com/harrisjerico30-dotcom/G4-construct-

1•jericoharris•21m ago•0 comments

Fluorine Fermi – Monero's Biggest Update

https://fluorinefermi.club/

1•Cider9986•21m ago•0 comments

Carney Says Anthropic Ban Shows Risk of Relying on Big AI Models

https://www.bloomberg.com/news/articles/2026-06-14/carney-says-anthropic-ban-shows-risk-of-relyin...

2•root-parent•21m ago•0 comments

Repo Slop-Score

https://slopscan.ava.pet

1•cohix•22m ago•0 comments

Bran flakes classed as junk food under UK Labour health plan

https://www.pressreader.com/uk/the-sunday-telegraph/20260614/281500757946930

1•Gaishan•24m ago•0 comments

China's Universities Cut 12,000 'Obsolete' Degrees Amid Race to Embrace AI Era

https://www.scmp.com/economy/china-economy/article/3356913/chinas-universities-cut-12000-obsolete...

2•karakoram•24m ago•0 comments

Show HN: Is Fable 5 available? (it is not)

https://isfable5available.com

2•bArmageddon•27m ago•0 comments

Still: Amortized KV Cache Compaction in a Single Forward Pass

https://arxiv.org/abs/2606.07878

2•simonpure•31m ago•0 comments

Show HN: BootProof – Cryptographically prove any GitHub repo boots locally

https://github.com/bootproof/bootproof

2•Bucko1•32m ago•0 comments

The Math of Doodling [video] ravi vakil

https://www.youtube.com/watch?v=TN-G2nJlW3U

1•marysminefnuf•33m ago•0 comments

Did Anthropic ask for this?

https://www.verysane.ai/p/did-anthropic-ask-for-this

49•ad8e•37m ago•15 comments

Splinternet – encrypted P2P chat with BBS aesthetics, games and sysop

https://bbs.splinternet.org/

2•arfuzzum•41m ago•0 comments

Trump says Netanyahu 'has no fucking judgment' after Beirut strike

https://www.timesofisrael.com/trump-says-netanyahu-has-no-fking-judgment-after-beirut-strike-report/

6•tcp_handshaker•41m ago•0 comments

Formal Methods and the Future of Programming

Show HN: Grade your growth rate using Paul Graham's two-number math

Telescope Rancher Who Manages Telescopes Each Night on a Texas Ranch

Your ePub Is Fine. Kobo Disagrees. Blame Adobe

What's Going on with the Web?

What even is food authenticity? Why we guard carbonara, and flatten chicken rice

Show HN: Cordium – FOSS identity-based sandbox platform with zero-trust access

Early Research Suggests a Path to Predict and Prevent Lung Cancer

Stanford grads walk out on Google CEO Sundar Pichai speech

Nothing CEO: Phone Prices Will Rise, RAM Accounts for over 50% of Phone Costs

Antidepressants and antipsychotics could be alternatives to opioids, study finds

Chinese Drivers Are Using Tiny Plastic Heads to Fool Tesla Autopilot Safeguards

The Jqwik Anti-AI Affair

A New Path to Preventing Cancer

The Former GOP Operative Running a News Site for the 'Politically Homeless'

Instagram is obsessed with me (and you)

Bob Dylan (and others) on turning 80

Let Me Repost

Fluorine Fermi – Monero's Biggest Update

Carney Says Anthropic Ban Shows Risk of Relying on Big AI Models

Repo Slop-Score

Bran flakes classed as junk food under UK Labour health plan

China's Universities Cut 12,000 'Obsolete' Degrees Amid Race to Embrace AI Era

Show HN: Is Fable 5 available? (it is not)

Still: Amortized KV Cache Compaction in a Single Forward Pass

Show HN: BootProof – Cryptographically prove any GitHub repo boots locally

The Math of Doodling [video] ravi vakil

Did Anthropic ask for this?

Splinternet – encrypted P2P chat with BBS aesthetics, games and sysop

Trump says Netanyahu 'has no fucking judgment' after Beirut strike

The Role of a Software Engineer

Formal Methods and the Future of Programming

Show HN: Grade your growth rate using Paul Graham's two-number math

Telescope Rancher Who Manages Telescopes Each Night on a Texas Ranch

Your ePub Is Fine. Kobo Disagrees. Blame Adobe

What's Going on with the Web?

What even is food authenticity? Why we guard carbonara, and flatten chicken rice

Show HN: Cordium – FOSS identity-based sandbox platform with zero-trust access

Early Research Suggests a Path to Predict and Prevent Lung Cancer

Stanford grads walk out on Google CEO Sundar Pichai speech

Nothing CEO: Phone Prices Will Rise, RAM Accounts for over 50% of Phone Costs

Antidepressants and antipsychotics could be alternatives to opioids, study finds

Chinese Drivers Are Using Tiny Plastic Heads to Fool Tesla Autopilot Safeguards

The Jqwik Anti-AI Affair

A New Path to Preventing Cancer

The Former GOP Operative Running a News Site for the 'Politically Homeless'

Instagram is obsessed with me (and you)

Bob Dylan (and others) on turning 80

Let Me Repost

Fluorine Fermi – Monero's Biggest Update

Carney Says Anthropic Ban Shows Risk of Relying on Big AI Models

Repo Slop-Score

Bran flakes classed as junk food under UK Labour health plan

China's Universities Cut 12,000 'Obsolete' Degrees Amid Race to Embrace AI Era

Show HN: Is Fable 5 available? (it is not)

Still: Amortized KV Cache Compaction in a Single Forward Pass

Show HN: BootProof – Cryptographically prove any GitHub repo boots locally

The Math of Doodling [video] ravi vakil

Did Anthropic ask for this?

Splinternet – encrypted P2P chat with BBS aesthetics, games and sysop

Trump says Netanyahu 'has no fucking judgment' after Beirut strike