frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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