News Feed
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
Google Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can...
Hooray for the Sockets Interface
Article URL: https://blog.apnic.net/2026/07/28/hooray-for-the-sockets-interface/ Comments URL: https://news.ycombinator....
Multiple Mouse Cursors in Wayland
Article URL: https://blinry.org/multi-seat-wayland/ Comments URL: https://news.ycombinator.com/item?id=49092112 Points: ...
LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences
Article URL: https://learnvector.ai/ Comments URL: https://news.ycombinator.com/item?id=49092499 Points: 32 # Comments: ...
Global / World News
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
Google Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent…
Hooray for the Sockets Interface
Article URL: https://blog.apnic.net/2026/07/28/hooray-for-the-sockets-interface/ Comments URL: https://news.ycombinator.com/item?id=49092754 Points: 5 # Comments: 1
Does every question mark deserve a Betteridge?
Article URL: https://dynomight.net/betteridge/ Comments URL: https://news.ycombinator.com/item?id=49092781 Points: 5 # Comments: 2
Multiple Mouse Cursors in Wayland
Article URL: https://blinry.org/multi-seat-wayland/ Comments URL: https://news.ycombinator.com/item?id=49092112 Points: 23 # Comments: 9
LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences
Article URL: https://learnvector.ai/ Comments URL: https://news.ycombinator.com/item?id=49092499 Points: 32 # Comments: 18
Burnham invites Tories and Lib Dems to social care talks
In a speech, the PM is expected to say finding common ground across party lines will be key to fixing social care.
More Stories
Burnham invites Tories and Lib Dems to social care talks
In a speech, the PM is expected to say finding common ground across party lines will be key to fixing social care.
Hubble: Open-source notetaking app for you and your agents
Article URL: https://www.hubble.md/ Comments URL: https://news.ycombinator.com/item?id=49091730 Points: 49 # Comments: 9
Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf]
Article URL: https://framerusercontent.com/assets/HV1dtfKZyXK2aknO6go8Cemejl8.pdf Comments URL: https://news.ycombinator.com/item?id=49091994 Points: 7 # Comments: 2
Kenya investigating unexpected deaths of 15 elephants in national park
Potential toxic substance detected in several of 15 elephants found dead in Kenya’s Amboseli national park Officials are investigating the deaths of 15 elephants over the past mont…
The Difference Between a Button and a Link
Article URL: https://unplannedobsolescence.com/blog/buttons-vs-links/ Comments URL: https://news.ycombinator.com/item?id=49091738 Points: 42 # Comments: 16