newest
Open in hackernews
Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean
https://github.com/google-deepmind/formal-conjectures
3
•
diginova
•
1d ago
Domain/OS Design Principles (1989) [pdf]
http://www.bitsavers.org/pdf/apollo/014962-A00_Domain_OS_Design_Principles_Jan89.pdf
1
•
todsacerdoti
•
41s ago
•
0 comments
The-One-True-Lisp-Style-Guide
https://github.com/foxsae/The-One-True-Lisp-Style-Guide
1
•
todsacerdoti
•
1m ago
•
0 comments
Show HN: I'll backtest your trading strategy for free
2
•
growbell_social
•
4m ago
•
0 comments
The Meaning of Icons
https://www.datagubbe.se/iconmeaning/
1
•
msephton
•
4m ago
•
0 comments
You Just Don't Need Tox
https://lukasatkinson.de/2025/just-dont-tox/
1
•
forks
•
4m ago
•
0 comments
The first code check-in for SQLite happened 25 years ago today
https://twitter.com/DRichardHipp/status/1928146681100427492
3
•
thunderbong
•
7m ago
•
0 comments
Audibit: Turn you RSS articles to podcast
https://audibit.com/
1
•
YinTokey
•
10m ago
•
0 comments
Bringing Kubernetes Back to Debian
https://arthurbdiniz.com/blog/bringing-kubernetes-back-to-debian.html
1
•
pabs3
•
11m ago
•
0 comments
Nuclear Outboard Motor Was a Terrible Idea
https://daxe.substack.com/p/this-nuclear-outboard-motor-was-a
1
•
Game_Ender
•
13m ago
•
0 comments
Connect Wired Ethernet Adapter to an Echo Show 5 Using an OTG Cable (2023)
https://www.glencovecentraldirectory.com/blog/how-to-use-an-otg-cable-to-attach-an-ethernet-adapter-to-an-echo-show-5
2
•
walterbell
•
14m ago
•
0 comments
Dissecting Memory Leaks in .NET
https://www.youtube.com/watch?v=Tg9wqvrtBeM
1
•
GOPbIHbI4
•
15m ago
•
1 comments
Sleep on it: A pilot study exploring impact of sexual activity on sleep outcomes
https://www.sleephealthjournal.org/article/S2352-7218(24)00261-4/fulltext
2
•
gnabgib
•
16m ago
•
0 comments
The ELF: What the ARM Assembler Generates on Raspberry Pi
https://embeddedjourneys.com/blog/hello-world-arm-assember-generates-elf-raspberry-pi/
1
•
Teever
•
17m ago
•
0 comments
WordPress to Add AI?
1
•
peq42
•
19m ago
•
0 comments
What If AI Had Come First?
https://cjauvin.github.io/posts/what-if-ai-had-come-first/
2
•
mfiguiere
•
20m ago
•
0 comments
Lo-Fi Sci-Fi
https://jamesgill.substack.com/p/lo-fi-sci-fi
1
•
jamesgill
•
22m ago
•
0 comments
How should development practice approach the coming reforms in the aid sector?
https://www.africanistperspective.com/p/how-should-development-practice-and
1
•
mooreds
•
23m ago
•
0 comments
The Darwin Gödel Machine: AI that improves itself by rewriting its own code
https://sakana.ai/dgm/
1
•
hardmaru
•
24m ago
•
1 comments
History of the Hindsight Letterbug tablet computer, circa 1986-1987
http://www.overpricedsoftware.com/h87letterbug/
1
•
TMWNN
•
29m ago
•
1 comments
The U.S. Housing Market Has Nearly 500k More Sellers Than Buyers
https://www.redfin.com/news/sellers-vs-buyers-price-impact/
1
•
harambae
•
30m ago
•
0 comments
Colleges must give up federal funding to achieve true intellectual freedom
https://thehill.com/opinion/5322428-trump-grants-harvard-columbia/
11
•
garrettgarcia
•
32m ago
•
6 comments
The Talent Stack [video]
https://www.youtube.com/watch?v=PP91WmrgpBE
1
•
gmays
•
34m ago
•
0 comments
I Made a Free AI Coloring Page Generator for Cats (and Humans Too)
https://www.cat-coloring-pages.org
2
•
sweeii
•
36m ago
•
1 comments
U.S. Sanctions Cloud Provider 'Funnull' as Top Source of 'Pig Butchering' Scams
https://krebsonsecurity.com/2025/05/u-s-sanctions-cloud-provider-funnull-as-top-source-of-pig-butchering-scams/
5
•
todsacerdoti
•
36m ago
•
1 comments
The Rise of the Shallow State
https://danieldrezner.substack.com/p/the-rise-of-the-shallow-state
1
•
mooreds
•
37m ago
•
0 comments
Show HN: AI powered enterprise architecture platform
https://enterprise.architectfwd.com
1
•
quintes
•
38m ago
•
0 comments
I build workflowhub.ai for user to buy and selling automations
https://www.workflowhub.ai/
1
•
workflowhubai
•
47m ago
•
0 comments
Ask HN: Launched image AI SaaS, struggling with initial traffic
2
•
rikies
•
47m ago
•
0 comments
What is Humphrey's Executor? A look at the 90-year-old Supreme Court decision
https://www.theusconstitution.org/news/what-is-humphreys-executor-a-look-at-the-90-year-old-supreme-court-decision-trump-is-targeting/
2
•
walterbell
•
48m ago
•
0 comments
Four Stages of Competence
https://en.wikipedia.org/wiki/Four_stages_of_competence
1
•
elsewhen
•
49m ago
•
0 comments