fp.
newest
Open in hackernews
Prediction: AI will make formal verification go mainstream
https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
6
•
raphlinus
•
19h ago
Comments
exidex
•
8h ago
What a grim future, just chat with a bot without ever seeing the code
Ask HN: Do you enjoy generating your code?
1
•
decentrabbit
•
45s ago
•
0 comments
500M, but Not a Single One More
https://www.effectivealtruism.org/articles/500-million-but-not-a-single-one-more
1
•
gbear605
•
47s ago
•
0 comments
Databricks Introduces OfficeQA Benchmark for Agents
https://www.databricks.com/blog/introducing-officeqa-benchmark-end-to-end-grounded-reasoning
1
•
ekelsen
•
2m ago
•
0 comments
Autodeleveraging: Impossibilities and Optimization
https://arxiv.org/abs/2512.01112
1
•
badcryptobitch
•
2m ago
•
0 comments
I Tried Agentic Coding and I Hate It [video]
https://www.youtube.com/watch?v=PqkTLhjRV1s
1
•
BinaryIgor
•
3m ago
•
0 comments
Block all AI browsers for the foreseeable future: Gartner
https://www.theregister.com/2025/12/08/gartner_recommends_ai_browser_ban/
1
•
Bender
•
3m ago
•
0 comments
When NOT to Use Pydantic
https://ossa-ma.github.io/blog/when-not-to-use-pydantic
2
•
ossa-ma
•
3m ago
•
0 comments
Science-Backed Rules for Proper Router Placement
https://wi-fiplanet.com/how-to-position-your-router-correctly-science-backed-coverage-principles/
2
•
ohjeez
•
6m ago
•
0 comments
How to get found by recruiters on LinkedIn
https://manualdousuario.net/en/how-to-get-a-job-on-linkedin/
1
•
rpgbr
•
6m ago
•
0 comments
Get Started with Phi Silica
https://learn.microsoft.com/en-us/windows/ai/apis/phi-silica
1
•
nateb2022
•
8m ago
•
0 comments
GLP-1s may weaken the pelvic floor, impacting women's health
https://www.usatoday.com/story/life/health-wellness/2025/12/09/glp-1s-pelvic-floor-dysfunction/87...
3
•
binning
•
8m ago
•
0 comments
libxml2 is unmaintained
https://gitlab.gnome.org/GNOME/libxml2/-/commit/9c80a89a
1
•
6581
•
9m ago
•
0 comments
The men that take babies away from their mother
https://juliebindel.substack.com/p/the-men-that-take-babies-away-from
1
•
binning
•
10m ago
•
0 comments
The reason China builds 100x faster
https://www.youtube.com/watch?v=IRnyyfFMjpk
1
•
JoiDegn
•
11m ago
•
0 comments
Build your own container engine just like Docker in Go lang
https://oneuptime.com/blog/post/2025-12-09-building-docker-from-scratch/view
1
•
ndhandala
•
11m ago
•
0 comments
Firsts: Computing from the Paul G. Allen Collection
https://onlineonly.christies.com/s/firsts-history-computing-paul-g-allen-collection/lots/3726
1
•
cameron_b
•
11m ago
•
0 comments
26,000 NZers' devices infected with malware, cyber security agency warns
https://www.rnz.co.nz/news/national/581342/26-000-new-zealanders-devices-infected-with-malicious-...
4
•
billybuckwheat
•
12m ago
•
1 comments
"The Matilda Effect": Pioneering Women Scientists Written Out of Science History
https://www.openculture.com/2025/12/matilda-effect.html
1
•
binning
•
12m ago
•
0 comments
How do you modernize a legacy tech stack without a complete rewrite?
https://learn.microsoft.com/en-us/azure/architecture/patterns/strangler-fig
2
•
birdculture
•
14m ago
•
0 comments
Show HN: I'm exhausted by social media chaos. This is my solution
https://synthchat.netlify.app
1
•
akku779
•
15m ago
•
0 comments
China frontline troops are testing portable quantum radio devices
https://www.scmp.com/news/china/science/article/3335791/code-talker-2025-pla-frontline-troops-are...
1
•
giuliomagnifico
•
15m ago
•
0 comments
Show HN: Designing Trustworthy Agentic AI Applications
https://www.dustinkirk.com/agentic_ai_patterns
1
•
pseudometa
•
17m ago
•
0 comments
Tesla Barely Beats Jeep for Least Reliable Used Car, Owner Survey Says
https://www.thedrive.com/news/tesla-barely-beats-jeep-for-least-reliable-used-car-owner-survey-says
3
•
randycupertino
•
17m ago
•
0 comments
Show HN: Agentry – AI Agents as React Components
https://github.com/colinds/agentry
4
•
colinds
•
17m ago
•
0 comments
Ask HN: What are young technically minded people reading?
2
•
drdec
•
17m ago
•
2 comments
Expanding Age Assurance to Australia
https://old.reddit.com/r/RedditSafety/comments/1phjf63/expanding_age_assurance_to_australia/
2
•
ChrisArchitect
•
20m ago
•
1 comments
Data center construction moratorium is gaining steam
https://www.theverge.com/news/840883/data-center-moratorium-letter-congress
2
•
fleahunter
•
21m ago
•
0 comments
One Black Labor Union Changed American History
https://jacobin.com/2025/12/pullman-strike-bscp-randolph-civil-rights
2
•
robtherobber
•
21m ago
•
0 comments
Claude on Jira: What's the Big Deal?
https://techcrunch.com/2025/12/08/claude-code-is-coming-to-slack-and-thats-a-bigger-deal-than-it-...
2
•
dataspun
•
22m ago
•
0 comments
Hegseth: Today, we are unleashing GenAI.mil
https://GenAi.mil
3
•
kschaul
•
24m ago
•
1 comments
Load More
exidex•8h ago