fp.
newest
Open in hackernews
The extended predicative Mahlo universe in Martin-Löf type theory
https://academic.oup.com/logcom/article/34/6/1032/7158523
1
•
danny00
•
1h ago
Five Banana Lessons
https://allensthoughts.com/2026/05/03/five-banana-lessons/
1
•
herbertl
•
25s ago
•
0 comments
Lilly, AI biotech Profluent ink $2.25B pact in search of genetic 'holy grail'
https://www.biospace.com/deals/lilly-ai-biotech-profluent-ink-2-25b-pact-in-search-of-genetic-med...
1
•
gmays
•
1m ago
•
0 comments
Porsche will contest Laguna Seca in historic colors of the Apple Computer livery
https://newsroom.porsche.com/en_US/2026/motorsport/porsche-will-contest-laguna-seca-in-historic-c...
1
•
Amorymeltzer
•
1m ago
•
0 comments
Some Important Numbers for Developers (2018)
http://russolsen.com/articles/2018/04/25/some-important-numbers-for-developers.html
1
•
chalmovsky
•
2m ago
•
0 comments
The world's longest railway tunnel is being built under the Alps
https://www.euronews.com/my-europe/2026/05/01/world-record-made-in-europe-the-worlds-longest-rail...
1
•
vrganj
•
8m ago
•
0 comments
Ask HN: Tips for Longevity, as a Software Engineer
1
•
2bird3
•
12m ago
•
0 comments
Modern jet engine turbines: each blade a single crystal (2015)
https://www.americanscientist.org/article/each-blade-a-single-crystal
1
•
whycome
•
12m ago
•
0 comments
Ask HN: Please, I need your help to try out an iOS app I work on
1
•
erosa01
•
12m ago
•
2 comments
Alert-Driven Monitoring
https://simpleobservability.com/docs/alert-driven-monitoring
1
•
khazit
•
12m ago
•
0 comments
ImagePrint 1.52 Released
https://www.imageprint.io/blog/whats-new-in-imageprint-1-52/
1
•
coragi
•
14m ago
•
0 comments
CPU Work and GPU Work
https://www.talhoffman.com/2026/05/03/cpu-work-and-gpu-work/
2
•
talhof8
•
17m ago
•
0 comments
Fisheries and Aquaculture
https://www.oecd.org/en/topics/fisheries-and-aquaculture.html
1
•
mooreds
•
18m ago
•
0 comments
Show HN: Hello, World in many different languages
https://languages.jdunn.dev/
2
•
jdironman
•
21m ago
•
2 comments
NOAA forecaster on how this year's El Niño could shatter records
https://www.livescience.com/planet-earth/weather/one-of-the-most-rapid-transitions-that-ive-seen-...
2
•
ukz
•
21m ago
•
0 comments
I Have Lived in Your Camp
https://green.spacedino.net/i-have-lived-in-your-camp/
1
•
mooreds
•
23m ago
•
0 comments
The Petroleum System Is Entering Its Volatile Decline Phase
https://cleantechnica.com/2026/04/29/the-petroleum-system-is-entering-its-volatile-decline-phase/
1
•
xbmcuser
•
24m ago
•
0 comments
Company said I could move and then changed their mind
https://www.askamanager.org/2026/04/company-said-i-could-move-and-then-changed-their-mind-how-do-...
2
•
mooreds
•
28m ago
•
0 comments
Show HN: I made a simulator for personal finance (5 year update)
https://projectionlab.com/
1
•
scubakid
•
29m ago
•
0 comments
Custom Voices and Voice Library
https://x.ai/news/grok-custom-voices
1
•
tjek
•
31m ago
•
0 comments
I'm a late arrival to short-form video – its effect on my life has shocked me
https://www.theguardian.com/commentisfree/2026/may/03/algorithm-short-form-video-overload
2
•
andsoitis
•
32m ago
•
0 comments
Sandwich Theorem
https://en.wikipedia.org/wiki/Squeeze_theorem
1
•
_Microft
•
35m ago
•
0 comments
Pipelight
https://pipelight.dev/
1
•
fulafel
•
36m ago
•
0 comments
After giving away $26B MacKenzie Scott's wealth remains largely unchanged
https://timesofindia.indiatimes.com/world/us/after-giving-away-26-billion-in-philanthropy-mackenz...
1
•
gscott
•
37m ago
•
0 comments
The Lobster in the Hot Pot – OpenTentacle
https://opententacle.com/article/2026-04-05/
1
•
birdculture
•
37m ago
•
0 comments
Dogs' brains began to shrink at least 5k years ago
https://www.theguardian.com/science/2026/apr/29/dogs-brains-shrink-5000-years-ago
1
•
gmays
•
38m ago
•
0 comments
What are the chances a hurricane will hit my home?
https://www.noaa.gov/stories/what-are-chances-hurricane-will-hit-my-home
1
•
bilsbie
•
40m ago
•
0 comments
How the JVM Optimizes Generic Code – A Deep Dive [pdf]
https://cr.openjdk.org/~jrose/pres/202603-SpecializedGeneric.pdf
2
•
Tomte
•
41m ago
•
0 comments
I rebuilt my blog's cache. Bots are the audience now
https://hoeijmakers.net/thirty-years-of-caching-sorted-in-an-afternoon/
3
•
robhoeijmakers
•
42m ago
•
1 comments
Robotics startups are losing to slow feedback loops
https://www.simbiotic.dev/blog/robotics-startup-development-speed
1
•
nikhilol
•
43m ago
•
0 comments
I completed 100 Days of Java over 5 years and mapped the journey as a graph
https://mohibulsblog.netlify.app/java/100daysofjava/graph/
1
•
celurian92
•
49m ago
•
1 comments
Load More