newest
Open in hackernews
100 theorems in Lean
https://leanprover-community.github.io/100.html
8
•
ggzor
•
7h ago
Show HN: Web Apps for Python Devs with Auto-Generated UI
https://davia.ai/
3
•
ruben-davia
•
6m ago
•
0 comments
Stuff I Learned at Carta
https://lethain.com/stuff-learned-at-carta/
2
•
blueridge
•
7m ago
•
0 comments
Exploring Rust Language Adoption
https://www.sonatype.com/blog/exploring-rust-language-adoption
2
•
droideqa
•
9m ago
•
0 comments
Unitree Iron Fist King: Awakening
https://www.unitree.com/mobile/boxing/
2
•
geox
•
9m ago
•
0 comments
Sims, BattleBots, Cellular Automata God and Go (2001)
https://www.gamestudies.org/0102/pearce/
2
•
areoform
•
10m ago
•
0 comments
Rates of Successful Conceptions According to Covid-19 Vaccination Status
https://www.preprints.org/manuscript/202504.2487/v1
2
•
haltingproblem
•
13m ago
•
0 comments
Rust 1.87 shines on anonymous pipes, architecture intrinsics
https://www.infoworld.com/article/3989643/rust-1-87-shines-on-anonymous-pipes-architecture-intrinsics.html
2
•
droideqa
•
16m ago
•
0 comments
Find the Place You Love. Then Move There
https://www.theatlantic.com/family/archive/2021/01/what-moving-house-can-do-your-happiness/617667/
2
•
highfrequency
•
22m ago
•
0 comments
Show HN: HNRelevant – Add a "related" section to Hacker News
https://github.com/imdj/HNRelevant
3
•
imadj
•
25m ago
•
0 comments
DumPy: NumPy except it's OK if you're dum
https://dynomight.net/dumpy/
4
•
antimatter15
•
27m ago
•
0 comments
How a bug in RDS Proxy affected MyActiveSG+, and how we resolved it
https://opengovsg.substack.com/p/how-an-abnormal-bug-in-rds-proxy
2
•
calebchiam
•
29m ago
•
0 comments
Obsidian User Curious About Emacs – What Should I Know?
3
•
willschetelich
•
29m ago
•
0 comments
Show HN: MyDeviceAI – Local AI with web search for your phone
https://apps.apple.com/us/app/mydeviceai/id6736578281
2
•
navedmerchant
•
29m ago
•
0 comments
AMD Brings ROCm to Windows, Ryzen AI Max and Radeon RX 9000
https://videocardz.com/newz/amd-pledges-rocm-support-for-windows-ryzen-ai-max-radeon-rx-9000
2
•
mindcrime
•
31m ago
•
1 comments
Towards a Large Open Video Game Dataset
https://www.openworldlabs.ai/blog/towards-a-large-open-video-game-dataset
2
•
Philpax
•
31m ago
•
0 comments
I Let Google's Jules AI agent into my code, it did hours of work in an instant
https://www.zdnet.com/article/i-let-googles-jules-ai-agent-into-my-code-repo-and-it-did-four-hours-of-work-in-an-instant/
2
•
wrayjustin
•
46m ago
•
0 comments
Jupiter Was Formerly Twice Its Current Size and Had Much Stronger Magnetic Field
https://www.caltech.edu/about/news/jupiter-was-formerly-twice-its-current-size-and-had-a-much-stronger-magnetic-field
1
•
bookofjoe
•
51m ago
•
0 comments
How Can the Government Stop Harvard from Enrolling International Students?
https://www.nytimes.com/2025/05/22/us/harvard-international-students-trump-sevis.html
1
•
whack
•
52m ago
•
0 comments
Microsoft Edge for Mac
https://www.microsoft.com/en-us/edge/mac?form=MA13UX&cs=2440024440
2
•
rob
•
55m ago
•
0 comments
Ask HN: Work on a human only internet? Are you involved/know of anything?
1
•
t0lo
•
1h ago
•
0 comments
512K Day: The Day the Internet Almost Broke [video]
https://www.youtube.com/watch?v=4r5IStRaG4E
1
•
kristofferR
•
1h ago
•
0 comments
The Artilect War – Cosmists vs. Terrans (2005) [pdf]
https://avalonlibrary.net/ebooks/Hugo%20de%20Garis%20-%20The%20Artilect%20War%20-%20Cosmists%20vs.%20Terrans.pdf
1
•
droideqa
•
1h ago
•
1 comments
Modification of acetaminophen to reduce liver toxicity and enhance drug efficacy
https://www.societyforscience.org/regeneron-sts/2025-student-finalists/chloe-lee/
52
•
felineflock
•
1h ago
•
12 comments
The Florida tech scene has two flavors Bleak or Shady
2
•
greyjoyduck
•
1h ago
•
1 comments
Manifest: Startup Pitch Competition, Night Market, & Career Fair
https://news.manifold.markets/p/manifest-startup-pitch-competition
3
•
DavidChee
•
1h ago
•
0 comments
Star IT
https://github.com/magical-paperclip/sics-ground
1
•
magi-clip
•
1h ago
•
0 comments
The Challenge (2023 film)
https://en.wikipedia.org/wiki/The_Challenge_(2023_film)
3
•
bookmtn
•
1h ago
•
1 comments
What football will look like in the future
https://www.sbnation.com/a/17776-football
1
•
ajdude
•
1h ago
•
0 comments
Preparedness Paradox
https://en.wikipedia.org/wiki/Preparedness_paradox
3
•
JoshTriplett
•
1h ago
•
1 comments
Show HN: Outcry – Meta-Strategic AI for Activists and Protest Innovators
https://www.outcryai.com/
1
•
micahwhite
•
1h ago
•
0 comments