fp.
newest
Open in hackernews
Why formalize mathematics – more than catching errors
https://rkirov.github.io/posts/why_lean/
1
•
birdculture
•
2h ago
bbcli – A TUI and CLI to browse BBC News like a hacker
https://github.com/hako/bbcli
1
•
wesleyhill
•
1m ago
•
0 comments
Join SAP Devtoberfest 2025, learn, and earn the chance to win the grand prize
https://community.sap.com/t5/devtoberfest-discussions/devtoberfest-badge-checker-is-available-for...
1
•
yogananda
•
2m ago
•
1 comments
The Moon is leaving us Slowly
https://rodgercuddington.substack.com/p/the-moon-is-leaving-us-very-very
1
•
freespirt
•
3m ago
•
0 comments
Python as a Configuration Language (Via Starlark)
https://openrun.dev/blog/starlark/
1
•
birdculture
•
5m ago
•
0 comments
A 15yo autistic boy's tinkering triggered WA's biggest ever data breach
https://www.abc.net.au/news/2025-10-17/joshua-unwittingly-triggered-major-wa-health-data-breach-a...
1
•
breve
•
6m ago
•
0 comments
Show HN: Free AI Email Newsletter Generator
https://www.aiemailnewsletter.com
1
•
ignalex
•
8m ago
•
0 comments
Not possible to logout from one Google account, or change your default profile?
1
•
davikr
•
9m ago
•
0 comments
Podcast Magic
https://podcastmagic.app/
1
•
mitchbob
•
9m ago
•
0 comments
Europe's Erasmus founder Sofia Corradi dies, aged 91
https://www.thelocal.com/20251019/europes-erasmus-founder-sofia-corradi-dies-aged-91
2
•
lukasgelbmann
•
12m ago
•
0 comments
Software is now eating itself
https://devpg.substack.com/p/software-is-eating-the-world-now
1
•
damethos
•
13m ago
•
0 comments
Software Can Be Finished
https://rosswintle.uk/2025/10/software-can-be-finished/
1
•
weinzierl
•
15m ago
•
0 comments
How to hire the best people you've ever worked with (2007)
https://fictivekin.github.io/pmarchive-jekyll/how_to_hire_the_best_people.html
1
•
tao_oat
•
21m ago
•
0 comments
The future of Python web services looks GIL-free
https://blog.baro.dev/p/the-future-of-python-web-services-looks-gil-free
2
•
gi0baro-dev
•
21m ago
•
0 comments
Global Nursery Rhymes Paradise
https://beddysongs.com/
1
•
yimiqidage001
•
24m ago
•
0 comments
Gemini in Google Home Keeps Mistaking My Dog for a Cat
https://www.wired.com/story/gemini-in-google-home-keeps-mistaking-my-dog-for-a-cat/
3
•
quapster
•
25m ago
•
0 comments
Worry About AI
https://ai-unltd.com/p/why-you-should-worry-about-ai
1
•
KashyapArjun
•
26m ago
•
0 comments
Scaling up osmotic energy: Sweetch secures €25M Series A
https://www.aquatechtrade.com/news/water-treatment/osmotic-energy-sweetch-25-million-investment
2
•
Rygian
•
26m ago
•
0 comments
The first digital veteran ID card launches today
https://news.sky.com/story/the-first-digital-id-launches-today-13451263
1
•
b16m
•
27m ago
•
0 comments
Prompt Optimization for Language Models with DSPy GEPA
https://huggingface.co/learn/cookbook/en/dspy_gepa
1
•
vinhnx
•
31m ago
•
0 comments
Acing the Design Interview
https://www.seangoedecke.com/acing-the-design-interview/
1
•
dondraper36
•
32m ago
•
0 comments
Louvre Closed After Robbery
https://www.nytimes.com/2025/10/19/world/europe/louvre-paris-robbery.html
1
•
mcenedella
•
34m ago
•
0 comments
Journals and publishers crack down on research from open health data sets
https://www.science.org/content/article/journals-and-publishers-crack-down-research-open-health-d...
1
•
XzetaU8
•
35m ago
•
0 comments
What the 'Matter' Smart Home Standard Is All About
https://www.wired.com/story/what-is-matter/
1
•
teleforce
•
36m ago
•
0 comments
Using Lakehouses for Observability Data
https://clickhouse.com/blog/lakehouses-path-to-low-cost-scalable-no-lockin-observability
1
•
thesystemisbust
•
37m ago
•
0 comments
Chainsaw-wielding robbers flee Louvre with jewellery
https://www.france24.com/en/live-news/20251019-chainsaw-wielding-robbers-flee-louvre-with-jewellery
1
•
perihelions
•
37m ago
•
0 comments
Are there any interesting things to check out where I am? – Claude
https://claude.ai/share/3d53ce2a-39a1-4516-84c5-06f3c1f606d8
1
•
opdahl
•
39m ago
•
1 comments
How Progress Ends: Technology, Innovation, and the Fate of Nations
https://press.princeton.edu/books/hardcover/9780691233079/how-progress-ends?srsltid=AfmBOork-_JTG...
3
•
doener
•
51m ago
•
0 comments
Did Space Debris Hit A United Flight Over The Rockies Thursday?
https://viewfromthewing.com/did-space-debris-hit-a-united-flight-over-the-rockies-thursday-heres-...
5
•
sipofwater
•
52m ago
•
1 comments
Show HN: Circalify – JavaScript library for circular timeline visualizations
https://github.com/MahmoodSeoud/circalify
1
•
Matooize
•
57m ago
•
0 comments
Conversation with Alibaba Cloud
https://boilingsteam.com/tgs2025-a-talk-with-alibaba-cloud/
1
•
bemmu
•
58m ago
•
0 comments
Load More