frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Paxos Made Simple (2001)[pdf]

https://lamport.azurewebsites.net/pubs/paxos-simple.pdf
16•grep_it•4d ago

Agnes Callard’s theory of the uni-context

https://www.derekthompson.org/p/a-philosophers-one-word-theory-to
42•FinnLobsien•1h ago•27 comments

Your 'app' could have been a webpage (so I fixed it for you)

https://danq.me/2026/07/09/your-app-could-have-been-a-webpage/
215•MrVandemar•3d ago•182 comments

Show HN: Opening lines of famous literary works

https://www.verbaprima.com/
7•plicerin•8m ago•0 comments

Beautiful Type Erasure with C++26 Reflection

https://ryanjk5.github.io/posts/rjk-duck/
56•RyanJK5•2h ago•22 comments

Show HN: Juggler – an open-source GUI coding agent, by the creator of JUCE

https://github.com/juggler-ai/juggler
38•julesrms•1d ago•13 comments

Demis Hassabis has a plan to harness AI safely

https://twitter.com/demishassabis/status/2076957440109625718
59•asiergoni•6h ago•44 comments

Paxos Made Simple (2001)[pdf]

https://lamport.azurewebsites.net/pubs/paxos-simple.pdf
16•grep_it•4d ago•0 comments

New York becomes the first state to impose a data center moratorium

https://www.reuters.com/world/new-york-becomes-first-state-impose-data-center-moratorium-2026-07-14/
55•granfalloon•1h ago•28 comments

How to stop Claude from saying load-bearing

https://jola.dev/posts/how-to-stop-claude-from-saying-load-bearing
64•shintoist•3h ago•104 comments

Punch yourself in the face with reality

https://adi.bio/reality
88•AdityaAnand1•3h ago•41 comments

Are we offloading too much of our thinking to AI?

https://www.artfish.ai/p/offloading-thinking-to-ai
3•yenniejun111•14m ago•0 comments

How the FSF sysadmins block botnets with reaction

https://www.fsf.org/blogs/community/blocking-botnets-with-reaction
79•pseudolus•2d ago•6 comments

No Spanish reading crisis?

https://www.commonreader.co.uk/p/no-spanish-reading-crisis
39•jruohonen•4h ago•63 comments

Differentiable Fortran with LFortran and Enzyme

https://docs.pasteurlabs.ai/projects/tesseract-core/latest/blog/2026-07-09-enzyme-lfortran-autodi...
28•dionhaefner•3h ago•4 comments

Coding agents think ahead of time

https://arxiv.org/abs/2607.05188
62•andre15silva•3h ago•49 comments

Tensor Is the Might

https://zserge.com/posts/tensor/
30•eatonphil•2h ago•13 comments

Show HN: I RL-trained an agent that trains models with RL (for –$1.3k)

https://github.com/Danau5tin/ai-trains-ai
44•Danau5tin•2h ago•18 comments

Alternative(s) to run CUDA on non-Nvidia hardware

https://www.hpcwire.com/2026/07/09/spectral-compute-aims-to-set-cuda-free-will-it-succeed/
99•alok-g•7h ago•47 comments

Germany set to restrict its Freedom of Information Act

https://www.dw.com/en/germany-freedom-of-information-act/a-77939695
170•robtherobber•3h ago•106 comments

Our Amish Language

https://www.thedial.world/articles/news/amish-pennsylvania-dutch
66•NaOH•12h ago•52 comments

Australian energy retailers must provide three hours of free daytime electricity

https://lenergy.com.au/free-daytime-electricity-is-coming-heres-how-it-actually-works/
191•i2oc•11h ago•289 comments

Proof of care in the age of AI

https://jacobfilipp.com/care/
120•jfil•2h ago•74 comments

European "age verification" "app" forcing everyone to use Android or iOS

https://github.com/eu-digital-identity-wallet/av-doc-technical-specification/discussions/19
144•roundabout-host•6h ago•116 comments

Codex starts encrypting sub-agent prompts

https://github.com/openai/codex/issues/28058
344•embedding-shape•4h ago•216 comments

Actegories

https://bartoszmilewski.com/2026/06/30/actegories/
34•ibobev•4h ago•5 comments

A tiny cell that broke a big rule of biology

https://grist.org/science/nitrogen-cycle-cell-discovery-nitroplast-science-fertilizer-algae-bacte...
5•gumby•4d ago•1 comments

A metallurgist's doubts about self-replicating probes

https://www.centauri-dreams.org/2026/07/10/a-metallurgists-doubts-about-self-replicating-probes/
83•EA-3167•1d ago•7 comments

Indian scientists produce most detailed 3D atlas of the human brainstem

https://www.bbc.com/news/articles/cg53l737v1qo
135•BaudouinVH•8h ago•17 comments

OpenAI mandates hardware-backed passkeys for Trusted Access Cyber members

https://www.yubico.com/blog/openai-mandates-hardware-backed-passkeys-for-trusted-access-cyber-mem...
41•speckx•1h ago•19 comments

What did SFFA vs. Harvard reveal about admissions?

https://sorting-machine.pages.dev/
35•StrageMusik•15h ago•64 comments