news
Open in hackernews
A SomewhatMaxSAT Solver
https://blog.jak-linux.org/2025/05/24/somewhatmax-sat-solver/
9
•
JNRowe
•
3d ago
A toy RTOS inside Super Mario Bros. using emulator save states
https://prettygoodblog.com/p/what-threads-are-part-2
83
•
notorious_pgb
•
2h ago
•
17 comments
Long live American Science and Surplus (which needs your help)
https://milwaukeerecord.com/city-life/long-live-american-science-surplus-which-needs-your-help/
46
•
thinkalone
•
2h ago
•
11 comments
Show HN: I rewrote my Mac Electron app in Rust
https://desktopdocs.com/?v=2025
339
•
katrinarodri
•
6h ago
•
247 comments
Compiler Explorer and the promise of URLs that last forever
https://xania.org/202505/compiler-explorer-urls-forever
171
•
anarazel
•
6h ago
•
86 comments
Compiling a neural net to C for a speedup
https://slightknack.dev/blog/difflogic/
153
•
todsacerdoti
•
5h ago
•
48 comments
What does “Undecidable” mean, anyway
https://buttondown.com/hillelwayne/archive/what-does-undecidable-mean-anyway/
49
•
BerislavLopac
•
3h ago
•
37 comments
Japan Post launches 'digital address' system
https://www.japantimes.co.jp/business/2025/05/27/companies/japan-post-digital-address/
113
•
jmsflknr
•
6h ago
•
82 comments
Visualize and debug Rust programs with a new lens
https://firedbg.sea-ql.org/
77
•
alex_hirner
•
3d ago
•
8 comments
A Visual History of Chessmen
https://chesshistory.github.io/
24
•
alberto-m
•
3d ago
•
1 comments
Show HN: Tesseral – Open-Source Auth
https://github.com/tesseral-labs/tesseral
116
•
ucarion
•
7h ago
•
46 comments
What If We Had Bigger Brains? Imagining Minds Beyond Ours
https://writings.stephenwolfram.com/2025/05/what-if-we-had-bigger-brains-imagining-minds-beyond-ours/
32
•
nsoonhui
•
3d ago
•
22 comments
Deepseek R1-0528
https://huggingface.co/deepseek-ai/DeepSeek-R1-0528
208
•
error404x
•
4h ago
•
67 comments
LLM codegen go brrr – Parallelization with Git worktrees and tmux
https://www.skeptrune.com/posts/git-worktrees-agents-and-tmux/
74
•
skeptrune
•
7h ago
•
43 comments
The Blowtorch Theory: A new model for structure formation in the universe
https://theeggandtherock.com/p/the-blowtorch-theory-a-new-model
121
•
surprisetalk
•
9h ago
•
91 comments
The anomalous magnetic moment of the muon in the Standard Model: an update
https://arxiv.org/abs/2505.21476
8
•
evanb
•
2h ago
•
3 comments
As a developer, my most important tools are a pen and a notebook
https://hamatti.org/posts/as-a-developer-my-most-important-tools-are-a-pen-and-a-notebook/
334
•
ingve
•
16h ago
•
230 comments
Unlocking Ractors: class instance variables in Ruby
https://byroot.github.io/ruby/performance/2025/05/24/unlocking-ractors-class-variables.html
7
•
hahahacorn
•
2d ago
•
0 comments
GoGoGrandparent (YC S16) is hiring Back end Engineers
1
•
davidchl
•
5h ago
Launch HN: MindFort (YC X25) – AI agents for continuous pentesting
34
•
bveiseh
•
6h ago
•
18 comments
Collatz's Ant and Similarity of Landscapes
https://gbragafibra.github.io/2025/05/18/collatz_ant3.html
14
•
Fibra
•
3d ago
•
1 comments
YAD: display graphical dialogs from shell scripts or command line
http://yad-guide.ingk.se/#_introduction
11
•
modinfo
•
2d ago
•
2 comments
Mathematical Fiction
https://kasmana.people.charleston.edu/MATHFICT/default.html
57
•
the-mitr
•
3d ago
•
16 comments
Prohibition and ice cream in the US Navy
https://www.oldsaltblog.com/2025/05/how-ice-cream-replaced-booze-in-the-us-navy-2/
58
•
speckx
•
4h ago
•
75 comments
Getting a Cease and Desist from Waffle House
https://www.jack.bio/blog/wafflehouse
217
•
lafond
•
7h ago
•
138 comments
Building interactive web pages with Guile Hoot
https://spritely.institute/news/building-interactive-web-pages-with-guile-hoot.html
50
•
e12e
•
3d ago
•
5 comments
Mullvad Leta
https://leta.mullvad.net
291
•
microflash
•
8h ago
•
151 comments
Show HN: My LLM CLI tool can run tools now, from Python code or plugins
https://simonwillison.net/2025/May/27/llm-tools/
484
•
simonw
•
1d ago
•
155 comments
The mysterious Gobi wall uncovered
https://phys.org/news/2025-05-secrets-mysterious-gobi-wall-uncovered.html
63
•
bikenaga
•
7h ago
•
15 comments
xAI to pay telegram $300M to integrate Grok into the chat app
https://techcrunch.com/2025/05/28/xai-to-invest-300m-in-telegram-integrate-grok-into-app/
245
•
freetonik
•
7h ago
•
309 comments
Square Theory
https://aaronson.org/blog/square-theory
687
•
aaaronson
•
1d ago
•
128 comments