newest
Open in hackernews
Flux – Rust annotation-based type checker
https://flux-rs.github.io/flux/
2
•
burnt-resistor
•
6h ago
Comments
burnt-resistor
•
6h ago
Similar to dialyzer (Erlang) or sorbet (Ruby), but adds gradual refinement (almost dependent) typing to Rust.
The billionaire betting on crypto – and the skeptic betting against him
https://www.washingtonpost.com/business/2025/06/28/michael-saylor-jim-chanos-bitcoin-feud/
1
•
thm
•
2m ago
•
0 comments
Content as structured data – Compile content to syntax trees and vice versa
https://unifiedjs.com/
1
•
selvan
•
4m ago
•
0 comments
Switching from Desktop Linux to FreeBSD
https://hackaday.com/2025/06/29/switching-from-desktop-linux-to-freebsd/
1
•
rodrigo975
•
6m ago
•
0 comments
The provenance memory model for C
https://gustedt.wordpress.com/2025/06/30/the-provenance-memory-model-for-c/
1
•
HexDecOctBin
•
8m ago
•
0 comments
What the rise of “buy now, pay later” services tells us about the economy
https://www.vox.com/today-explained-podcast/417970/buy-now-pay-later-klarna-doordash-economy
1
•
lr0
•
9m ago
•
0 comments
Leap: AI Agent That Deploys to Your AWS Account
https://leap.new/?
2
•
andout_
•
10m ago
•
0 comments
Show HN: A rigorous proof that the imaginary unit "i" is real(PGP and DOI)
https://zenodo.org/records/15771155
1
•
purrplexia
•
13m ago
•
0 comments
AI Infra Guard
https://github.com/Tencent/AI-Infra-Guard
1
•
joneil
•
16m ago
•
0 comments
Skin Deep: Source Code Release
https://blendogames.com/news/post/2025-06-26-skindeepsourcecode/
1
•
zote
•
21m ago
•
0 comments
High-flux and stable thin-film evaporation from fiber membranes
https://www.sciencedirect.com/science/article/abs/pii/S2542435125001564
1
•
simonebrunozzi
•
23m ago
•
0 comments
What's the difference between named functions and arrow functions in JavaScript?
https://jrsinclair.com/articles/2025/whats-the-difference-between-named-functions-and-arrow-functions/
1
•
jrsinclair
•
23m ago
•
0 comments
AxiomOS An AI system where agents generate and evolve under an Overseer
https://github.com/Linutesto/AxiomOS
1
•
yand420
•
24m ago
•
1 comments
Warzonemeta.io
https://warzonemeta.io/
1
•
evantheproduct
•
24m ago
•
1 comments
How we moved to Shadcn to standardize UI in LocalOps
https://localops.co/blog/new-ui-how-we-used-shadcn-ui-standardise-ui-ux-in-localops
1
•
luckydev
•
27m ago
•
1 comments
Show HN: RepoInsightAI – Learn about a GitHub Repository with LLM
https://github.com/TigerkidYang/RepoInsightAI
1
•
tigerkid
•
31m ago
•
0 comments
Why Americans are less likely to voice their opinions on political issues?
https://werd.io/self-censorship-and-the-spiral-of-silence-why-americans-are-less-likely-to-publicly-voice-their-opinions-on-political-issues/
3
•
furkansahin
•
42m ago
•
1 comments
Thousands in Norway told they had won life-changing sums in lottery error
https://www.theguardian.com/world/2025/jun/29/thousands-in-norway-told-they-had-won-life-changing-sums-in-lottery-error
16
•
zqna
•
45m ago
•
13 comments
PostgreSQL: HypoPG 1.4.2 Is Out
https://www.postgresql.org/about/news/hypopg-142-is-out-3094/
1
•
unripe_syntax
•
52m ago
•
0 comments
Recently, June 29, 2025 – island94.org
https://island94.org/2025/06/recently-june-29-2025
1
•
amalinovic
•
53m ago
•
0 comments
Show HN: Oomol – A local-first, code-first workflow automation engine
https://oomol.com
1
•
monica-guli
•
53m ago
•
0 comments
Android apps can now be officially developed in Swift
https://www.swift.org/android-workgroup/
3
•
skreep
•
56m ago
•
1 comments
OpenAI is doing a 1 week company shutdown
https://twitter.com/TheRealAdamG/status/1939447922006909376
4
•
tosh
•
58m ago
•
0 comments
Understanding Keyword Search
https://kentro-learn.com/free-content/keyword-search-fundamentals
1
•
sebg
•
58m ago
•
1 comments
"Sovereign cloud"? A Trojan Horse at Europe's digital gates
https://tuta.com/blog/sovereign-washing
7
•
01-_-
•
59m ago
•
0 comments
Intel will shut down its automotive business
https://fortune.com/2025/06/26/why-intel-will-shut-down-its-automotive-business/
3
•
Bluestein
•
1h ago
•
2 comments
NASA Mars Orbiter Learns New Moves After Nearly 20 Years in Space
https://www.jpl.nasa.gov/news/nasa-mars-orbiter-learns-new-moves-after-nearly-20-years-in-space/
2
•
01-_-
•
1h ago
•
0 comments
How [NOT] to Evaluate Your RAG
https://nixiesearch.substack.com/p/how-not-to-evaluate-your-rag
5
•
shutty
•
1h ago
•
0 comments
Compiling Brainfuck Code – Part 1: An Optimized Interpreter
https://rodrigodd.github.io/2022/10/21/bf_compiler-part1.html
1
•
SchwKatze
•
1h ago
•
0 comments
How Humans Solve Problems
https://theness.com/neurologicablog/how-humans-solve-problems/
1
•
flyingkiwi44
•
1h ago
•
1 comments
How Long Contexts Fail
https://www.dbreunig.com/2025/06/22/how-contexts-fail-and-how-to-fix-them.html
1
•
bittermandel
•
1h ago
•
0 comments
burnt-resistor•6h ago