frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Bitwuzla: Satisfiability Modulo Theories (SMT) Solver

https://github.com/bitwuzla/bitwuzla
1•tosh•1h ago

List of predictions for autonomous Tesla vehicles by Elon Musk

https://en.wikipedia.org/wiki/List_of_predictions_for_autonomous_Tesla_vehicles_by_Elon_Musk
1•xqcgrek2•1m ago•0 comments

Capital Without Labour: A Founder's Guide to the Changing VC Equation

https://felixbarbalet.com/capital-without-labour-a-founders-guide-to-the-changing-vc-equation/
1•xlfe•2m ago•0 comments

Can you MoCap a parkour video?

https://galbanis.dev/blog/viewer.html?post=climb-mocap
1•Tycho87•2m ago•0 comments

Agents CLI in Agent Platform: Create to Production in One CLI Blog

https://developers.googleblog.com/agents-cli-in-agent-platform-create-to-production-in-one-cli/
1•Anon84•3m ago•0 comments

Milla Jovovich's AI memory claims to beat all paid ones. Benchmarks disagree

https://atlas-rag.com/vs-mempalace
1•apolloraines•8m ago•0 comments

Python security headers without copy-paste policy drift

https://github.com/TypeError/secure
1•cak•9m ago•0 comments

SideQuick – A free desktop app to stop abandoning side projects

https://www.sidequick.co
3•splodgebox•16m ago•0 comments

ShadowStrike-Labs: ShadowStrike Phantom Home UI

1•Soocile•18m ago•1 comments

Kubernetes release that kills Ingress Nginx, contains Japanese poetry and art

https://www.theregister.com/2026/04/23/kubernetes_1_36_haru/
1•romaniitedomum•19m ago•0 comments

Per-Project Terminal Colours

https://andrew-jones.com/blog/per-project-terminal-colours/
1•arjones•20m ago•0 comments

Open Source Claude Mythos Reconstruction

https://firethering.com/openmythos-open-source-claude-mythos-reconstruction/
1•worldvoyageur•20m ago•0 comments

Outplaying elite table tennis players with an autonomous robot

https://www.nature.com/articles/s41586-026-10338-5
1•bookofjoe•22m ago•0 comments

How to Check Active Loan on My Name Online – SMFG India Credit

https://www.smfgindiacredit.com/knowledge-center/how-to-check-active-loan-on-my-name.aspx
1•saumyaraut11•24m ago•0 comments

Ask HN: Do you comment on a code/Markdown files, then get your agent to reread?

1•FailMore•24m ago•1 comments

The Subnautica 2 legal dispute is far from over

https://www.gamedeveloper.com/business/the-subnautica-2-early-access-dispute-is-far-from-over
1•HelloUsername•26m ago•0 comments

Particle thought to break physics followed rules all along, research reveals

https://phys.org/news/2026-04-particle-thought-physics-reveals.html
3•pseudolus•26m ago•0 comments

Why Gasoline Is So Much Cheaper in the U.S. Than Overseas

https://www.wsj.com/economy/why-gasoline-is-so-much-cheaper-in-the-u-s-than-overseas-f6bd2309
1•Willingham•27m ago•0 comments

Reconstructing Microsoft's SDE Career Ladder from Leaks, Filings and Salary Data

https://shiftmag.dev/microsofts-software-engineering-career-ladder-9318/
2•choochilla4•28m ago•0 comments

AI slop bug reports overflowing vendors. Vendors can't handle the slop

https://xcancel.com/vxunderground/status/2047169024748929390
3•doener•29m ago•0 comments

Congressman Introduces Bill to Ban AI Chatbots in Children's Toys

https://blakemoore.house.gov/media/press-releases/congressman-blake-moore-introduces-bill-to-ban-...
3•pseudolus•38m ago•0 comments

Ruth Slenczynska, last surviving pupil of Rachmaninoff, dies aged 101

https://www.bbc.com/news/articles/c62ly04pre3o
1•sohkamyung•38m ago•0 comments

Faru: The Kanban Board for AI Agents

https://fluado.comblog/faru-kanban-board-for-ai-agents
1•yvg0•38m ago•0 comments

Human cooperation undergoes constant breakdown and repair

https://www.nature.com/articles/d41586-026-01048-z
1•Anon84•40m ago•0 comments

Coyote vs. Acme Movie Trailer [video]

https://www.youtube.com/watch?v=1O1W2Xrz1ns
1•uncertainrhymes•44m ago•0 comments

We prewarm our file descriptor tables (and why you maybe should too)

https://pert.dev/posts/why-we-prewarm-our-file-descriptor-tables/
2•pure-orange•45m ago•0 comments

Show HN: Running is the hardest sport per minute, easiest per session (n=2,808)

https://tryterra.co/research/endurance-training-comparison
1•kyriakosel•46m ago•2 comments

How to Downsize a Transport Network: The Chinese Wheelbarrow (2011)

https://solar.lowtechmagazine.com/2011/12/how-to-downsize-a-transport-network-the-chinese-wheelba...
1•thomasjb•47m ago•0 comments

Enthusiast builds his own RAM in garden shed cleanroom

https://www.tomshardware.com/pc-components/dram/dr-semiconductor-successfully-fabs-ram-in-garden-...
2•pseudolus•48m ago•0 comments

A hair dryer broke Polymarket and made someone $34000 richer

https://tech.yahoo.com/general/articles/paris-airport-thermometer-just-exposed-065218419.html
3•prakhar897•49m ago•0 comments

Structured planning, execution, and memory for LLM agents (ragbits 1.6)

https://deepsense.ai/blog/task-planning-execution-visibility-and-persistent-memory-for-ai-agents-...
1•Applied_AI•49m ago•0 comments