news
Open in hackernews
Automatically Packaging a Haskell Library as a Swift Binary XCFramework
https://alt-romes.github.io/posts/2025-07-05-packaging-a-haskell-library-as-a-swift-binary-xcframework.html
34
•
Bogdanp
•
3d ago
Postgres LISTEN/NOTIFY does not scale
https://www.recall.ai/blog/postgres-listen-notify-does-not-scale
266
•
davidgu
•
3d ago
•
89 comments
Show HN: Open source alternative to Perplexity Comet
https://www.browseros.com/
138
•
felarof
•
7h ago
•
40 comments
Bret Victor on why current trend of AIs is at odds with his work
https://dynamicland.org/2024/FAQ/#What_is_Realtalks_relationship_to_AI
208
•
prathyvsh
•
9h ago
•
63 comments
Graphical Linear Algebra
https://graphicallinearalgebra.net/
166
•
hyperbrainer
•
9h ago
•
10 comments
FOKS: Federated Open Key Service
https://foks.pub/
167
•
ubj
•
12h ago
•
38 comments
Turkey bans Grok over Erdoğan insults
https://www.politico.eu/article/turkey-ban-elon-musk-grok-recep-tayyip-erdogan-insult/
42
•
geox
•
1h ago
•
28 comments
Flix – A powerful effect-oriented programming language
https://flix.dev/
209
•
freilanzer
•
11h ago
•
88 comments
Measuring the impact of AI on experienced open-source developer productivity
https://metr.org/blog/2025-07-10-early-2025-ai-experienced-os-dev-study/
490
•
dheerajvs
•
8h ago
•
313 comments
Yamlfmt: An extensible command line tool or library to format YAML files
https://github.com/google/yamlfmt
20
•
zdw
•
3d ago
•
7 comments
Launch HN: Leaping (YC W25) – Self-Improving Voice AI
47
•
akyshnik
•
7h ago
•
25 comments
Red Hat Technical Writing Style Guide
https://stylepedia.net/style/
152
•
jumpocelot
•
10h ago
•
63 comments
Co-founder exiting after pivot – what's a fair exit package?
29
•
throwaway-xx
•
1d ago
•
36 comments
eBPF: Connecting with Container Runtimes
https://h0x0er.github.io/blog/2025/06/29/ebpf-connecting-with-container-runtimes/
30
•
forxtrot
•
5h ago
•
0 comments
Show HN: Cactus – Ollama for Smartphones
101
•
HenryNdubuaku
•
5h ago
•
43 comments
Batch Mode in the Gemini API: Process More for Less
https://developers.googleblog.com/en/scale-your-ai-workloads-batch-mode-gemini-api/
7
•
xnx
•
3d ago
•
0 comments
Over 2,000 senior staff set to leave NASA under agency push
https://www.politico.com/news/2025/07/09/nasa-staff-departures-00444674?cdmc=2zglpgOF21PefXUKP0PbPaLZDC0&refcode2=2zglpgOF21PefXUKP0PbPaLZDC0&refcodecdmc=2zglpgOF21PefXUKP0PbPaLZDC0
6
•
belter
•
28m ago
•
0 comments
How to prove false statements: Practical attacks on Fiat-Shamir
https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
196
•
nsoonhui
•
15h ago
•
152 comments
Psilocybin treatment extends cellular lifespan, improves survival of aged mice
https://www.nature.com/articles/s41514-025-00244-x
8
•
pseudolus
•
18m ago
•
0 comments
Regarding Prollyferation: Followup to "People Keep Inventing Prolly Trees"
https://www.dolthub.com/blog/2025-07-03-regarding-prollyferation/
36
•
ingve
•
3d ago
•
0 comments
Grok 4
https://simonwillison.net/2025/Jul/10/grok-4/
145
•
coloneltcb
•
5h ago
•
130 comments
Grok: Searching X for "From:Elonmusk (Israel or Palestine or Hamas or Gaza)"
https://simonwillison.net/2025/Jul/11/grok-musk/
26
•
simonw
•
46m ago
•
12 comments
Analyzing database trends through 1.8M Hacker News headlines
https://camelai.com/blog/hn-database-hype/
112
•
vercantez
•
2d ago
•
61 comments
Diffsitter – A Tree-sitter based AST difftool to get meaningful semantic diffs
https://github.com/afnanenayet/diffsitter
85
•
mihau
•
12h ago
•
26 comments
Not So Fast: AI Coding Tools Can Reduce Productivity
https://secondthoughts.ai/p/ai-coding-slowdown
31
•
gk1
•
1h ago
•
11 comments
Is Gemini 2.5 good at bounding boxes?
https://simedw.com/2025/07/10/gemini-bounding-boxes/
256
•
simedw
•
12h ago
•
56 comments
Matt Trout has died
https://www.shadowcat.co.uk/2025/07/09/ripples-they-cause-in-the-world/
128
•
todsacerdoti
•
17h ago
•
41 comments
Final report on Alaska Airlines Flight 1282 in-flight exit door plug separation
https://www.ntsb.gov:443/investigations/Pages/DCA24MA063.aspx
118
•
starkparker
•
4h ago
•
131 comments
Show HN: Typeform was too expensive so I built my own forms
https://www.ikiform.com/
166
•
preetsuthar17
•
16h ago
•
85 comments
Radiocarbon dating reveals Rapa Nui not as isolated as previously thought
https://phys.org/news/2025-06-radiocarbon-dating-reveals-rapa-nui.html
14
•
pseudolus
•
3d ago
•
2 comments
The ChompSaw: A Benchtop Power Tool That's Safe for Kids to Use
https://www.core77.com/posts/137602/The-ChompSaw-A-Benchtop-Power-Tool-Thats-Safe-for-Kids-to-Use
71
•
surprisetalk
•
3d ago
•
60 comments