frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Proof-based general-purpose computing with Magnetar

https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/
2•khalidkhair•48m ago

Show HN: Chickadee Bandit – Build private apps for your family

https://www.chickadeebandit.com/gallery
1•ChickadeeBandit•2m ago•0 comments

Public Packages

https://www.vlt.io/blog/public-packages
1•jcbhmr•2m ago•0 comments

Holdy, your analytics stops talking and starts shipping value

https://holdy.chat/home
1•augustogaedke•5m ago•0 comments

YouTube Is Looking to Expand into Audiobooks

https://www.wsj.com/business/media/youtube-is-looking-to-expand-into-audiobooks-d28bd876
2•bookofjoe•7m ago•1 comments

C, Type Systems, GLib, and API Design

https://www.spurint.org/journal/2026/10/c-type-systems-glib-api-design
1•RohanAdwankar•11m ago•0 comments

Why Agents Reach for React

https://yeet.cx/blog/why-agents-reach-for-react
1•ok_major_9889•12m ago•0 comments

Gleam Case Exhaustiveness, as a Fan

https://oyster.pckt.blog/gleam-case-exhaustiveness-as-a-fan-fd4whyp
1•RohanAdwankar•12m ago•0 comments

Screen Forge – Pro screen recording in minutes

https://screenforge.studio/
1•mehfuzh•14m ago•0 comments

Iran’s precision strikes picked apart Gulf infrastructure, blunting US war plans

https://www.reuters.com/investigates/special-report/iran-crisis-infrastructure-attacks/
3•usernomdeguerre•14m ago•0 comments

What Nvidia's CEO thinks about the UK's AI future

https://news.sky.com/video/what-nvidias-ceo-really-thinks-about-ais-safety-13599433
1•gmays•16m ago•0 comments

Show HN: Sjq – Jq, but for AI Streaming

https://github.com/vivgrid/sjq
1•fanweixiao•17m ago•0 comments

HOL Light Tutorial

https://hol-light.github.io/tutorial/HTML/tutorial.html
1•stmonty•18m ago•0 comments

I'm not leaving this apartment

https://elkue.substack.com/p/im-not-leaving-this-apartment
1•colinprince•20m ago•0 comments

Analyzing technical documents with Deep Review

https://research.google/blog/analyzing-technical-documents-with-deep-review/
1•gmays•21m ago•0 comments

Lunar fault maps reveal how much the moon is shrinking

https://phys.org/news/2026-10-lunar-fault-reveal-moon.html
1•alexahn•21m ago•0 comments

New spectroscopy method enables comparisons of nuclear sizes

https://phys.org/news/2026-10-spectroscopy-method-enables-comparisons-nuclear.html
1•alexahn•21m ago•0 comments

Newly discovered viruses reveal an evolutionary missing link

https://phys.org/news/2026-10-newly-viruses-reveal-evolutionary-link.html
1•alexahn•22m ago•0 comments

PureDarwin

https://puredarwin.org/
1•LorenDB•33m ago•0 comments

Subversion of clinical judgment by conversational artificial intelligence

https://www.medrxiv.org/content/10.64898/2026.10.05.26364541v1
3•barrits•34m ago•3 comments

How hard have we looked? Measuring public cryptanalytic effort

https://bitsofwork.org/
1•ano-ther•36m ago•0 comments

Show HN: Rad PDFs – Hacker News for PDFs Only

https://radpdfs.pages.dev/
1•liamswayne•38m ago•0 comments

Sealenv encrypt .env files and run commands without writing them to disk

https://github.com/sozenka/sealenv
2•yasserhoriarts•41m ago•0 comments

Microplastics are chemically active, and could cause biological harm

https://www.eurekalert.org/news-releases/1147261
2•EA-3167•42m ago•0 comments

InkBoy, 30-frame-per-second grayscale Game Boy, open sourced

https://www.theregister.com/offbeat/2026/10/15/youtuber-built-30-frame-per-second-grayscale-game-...
1•0in•48m ago•0 comments

Proof-based general-purpose computing with Magnetar

https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/
2•khalidkhair•48m ago•0 comments

45 years later, the Sinclair ULA design documents surface

https://hackaday.com/2026/10/15/45-years-later-the-sinclair-ula-design-documents-surface/
3•khalidkhair•48m ago•0 comments

Show HN: Pasteface - Record, transcribe and copy speech locally in your terminal

https://github.com/blairjordan/pasteface
1•bearware•52m ago•0 comments

Xbox Labs

https://twitter.com/asha_shar/status/2110083127741702241
9•astlouis44•56m ago•0 comments

End-to-end encrypted relays for OCapN

https://spritely.institute/news/end-to-end-encrypted-relays-for-ocapn.html
2•ryukafalz•58m ago•0 comments

Mosquito Joe FDD teardown: 66% fee load, 380% termination spike

https://muse.ai/s/mosquito-joe-fdd-teardown-ch6bxnotxfxldxe
1•FDDTeardown•1h ago•0 comments