frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Demonstrating Deterministic Trust and Formal Proof for AI-Generated Code

https://www.adacore.com/blog/gnat-foundry-intersection-demonstrating-trustworthy-ai-development
2•nonmaskable•50m ago

DX Garden, DX7 and other FM patches and browser audition

https://dxgarden.ticalun.net
1•jstsch•1m ago•0 comments

Show HN: AI investment agreement review for startup founders

https://www.orchardagentic.cloud/#browse/funding-review
1•iop030290•2m ago•0 comments

Atomising Fraction Addition

https://fivetwelvethirteen.substack.com/p/atomising-fraction-addition
1•yorwba•4m ago•0 comments

Starlink limit hits Ukraine's drones. The battlefield depends on SpaceX

https://defence24.com/geopolitics/starlink-limit-hits-ukraines-drones-the-battlefield-depends-on-...
2•uxhacker•5m ago•0 comments

Accelerating Audio Processing with SpeexDSP Optimizations for RISC-V

https://riseproject.dev/2026/10/13/accelerating-audio-processing-with-speexdsp-optimizations-for-...
3•captain_bender•6m ago•0 comments

Fascismo E Grande Fratello

1•ArthurFischerp•9m ago•0 comments

Botnets Prove Rogue AI Is Closer Than We Think

https://databreach.com/news/70-botnets-prove-rogue-ai-is-closer-than-we-think
3•goldenarm•10m ago•0 comments

The State of WebTransport in 2026

https://blogs.lupyd.com/blog/the-state-of-webtransport-and-the-proxy-problem/
1•tenesripranav•14m ago•0 comments

Installing Websites Must Be Easy

https://w3ctag.github.io/install-finding/
1•roosgit•18m ago•1 comments

Show HN: Panelize – Ask ChatGPT, Claude, Gemini and DeepSeek Side by Side

https://github.com/Manho/Panelize
1•manho_dl•19m ago•1 comments

What breaks if I change this? across SQL,dbt and Airflow

https://github.com/Sanoy24/the-brownfield-cartographer
1•sanoy24•19m ago•0 comments

FSD Supervised v14 Lite now rolling out to Intel Model S and X

https://twitter.com/TeslaSI/status/2110190900693573737
1•tosh•21m ago•0 comments

Show HN: Shrine, a calm pixel room on your Mac for all your coding agents

https://agentshrine.com/
3•almeidabbm•23m ago•0 comments

Is your data private if an app needs to send it somewhere else?

https://www.syndiary.com/news/is-your-data-really-private-if-an-app-needs-to-send-it-somewhere-else/
1•syndiary•25m ago•0 comments

What agents mean for Rust (and vice versa)

https://smallcultfollowing.com/babysteps/blog/2026/10/14/agentic-dev-and-rust/
3•mfrw•26m ago•0 comments

A week on the farm with Dylan Araps

https://adamschaefers.com/blog/2026-10-13-a-week-on-the-farm/
1•telecommuter•28m ago•0 comments

Not Found \ Anthropic

https://www.anthropic.com/news/singapore-office-opening
3•surprisetalk•30m ago•0 comments

Casu Martzu

https://en.wikipedia.org/wiki/Casu_martzu
2•tosh•30m ago•0 comments

What I Learned Building a Tech News Site with Almost No Google Traffic

https://thetechboom.com/2026/10/14/building-independent-tech-news-website-first-readers/
1•ninyeh•32m ago•0 comments

Show HN: Chiplab - Give your AI agent access to virtual hardware

https://veecle.ai/chiplab
2•hoihoihoi•32m ago•1 comments

Show HN: Whiteboard Defense – defend decisions of any system you've shipped

https://github.com/avestura/whiteboard-defense
3•avestura•35m ago•0 comments

Traffic to Major Right-Wing News Sites Falls Sharply, Report Finds

https://www.thedailybeast.com/far-right-news-websites-are-suffering-due-to-unpopular-trump
2•realsarm•36m ago•0 comments

Being More Educated and Earning More Increases Romantic Interest

https://link.springer.com/article/10.1007/s12110-022-09422-2
1•mpweiher•38m ago•0 comments

Show HN: Extending X402 for MoR fiat payments and budget attenuation

https://github.com/mceleri/attenuated-agent-budgets
1•mceleri•43m ago•0 comments

Show HN: Omnis Watchtower – a supply-chain tripwire for Claude Code agents

https://github.com/Fortitude-Group/omnis-watchtower
1•fortitudedev•45m ago•0 comments

Brand is who you are

https://karrisaarinen.com/posts/brand-is-who-you-are/
1•tosh•45m ago•0 comments

Iosevka is an open-source, sans-serif and slab-serif, monospace font

https://typeof.net/Iosevka/
3•otobrglez•47m ago•0 comments

Demonstrating Deterministic Trust and Formal Proof for AI-Generated Code

https://www.adacore.com/blog/gnat-foundry-intersection-demonstrating-trustworthy-ai-development
2•nonmaskable•50m ago•0 comments

Bugs as Deviant Behavior [pdf]

https://web.stanford.edu/~engler/deviant-sosp-01.pdf
1•ankitg12•53m ago•0 comments

Show HN: PromiseDiff – audit listings against delivered files

https://www.pkazantsev.com/writing/promise-diff/
1•pkazantsev•53m ago•0 comments