frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

The Vermilion Experiment: Implementing a Lean Back End for Verus

https://proofsandintuitions.net/2026/10/18/vermilion-experiment-lean-backend-verus/
2•matt_d•1h ago

Using AI as a tutor to do math with pen and paper

https://twitter.com/nichochar/status/2111822781214294329
1•nichochar•22s ago•0 comments

Chums

https://chums.club/
1•soheilpro•26s ago•0 comments

MS Project – I made my own app finally

1•sttock•40s ago•0 comments

Show HN: DogCatTrace – Clapt was distilled from some random dog

https://github.com/xiebaiyuan/DogCatTrace
1•xiebaiyuan•3m ago•0 comments

Jio Platforms IPO

https://finshots.in/archive/a-few-more-things-about-the-jio-platforms-ipo/
1•vismit2000•4m ago•0 comments

Good Interfaces Make Good Neighbors

https://boz.com/articles/good-interfaces-make-good-neighbors
1•swolpers•6m ago•0 comments

ZX Spectrum Next Laptop

https://www.dorchester3d.com/printing/blog/2020/11/zx-spectrum-next-laptop-version-2
1•utopcell•10m ago•0 comments

IMF World Economic Outlook 2026 [pdf]

https://www.imf.org/-/media/files/publications/weo/2026/october/english/text.pdf
3•gmays•12m ago•0 comments

Show HN: Neuron, agents that set themselves up from your GitHub repo

https://www.neuronbot.in
2•tanay_kapoor•15m ago•0 comments

Now you can simply watch an ad to get hacked [video]

https://www.youtube.com/watch?v=oTNqhH4KzxY
1•s_e_n_a_p_a_t_y•17m ago•1 comments

MyChart health data opt-out journey: notaries, calls, visit to Epic

https://www.statnews.com/2026/10/15/health-data-privacy-medical-record-opt-out-barriers-investiga...
1•EA-3167•18m ago•1 comments

The Sphere Packing Project – Post 1 – The Story

https://leanprover-community.github.io/blog/posts/SpherePacking-1/
1•Aleksandr_NFA•18m ago•0 comments

The Annotated VT100 Firmware

https://vt100.net/dec/vt100/rom/
1•Aleksandr_NFA•18m ago•0 comments

Post-mortem of technical issue – August 29, 2019

https://zerodha.com/marketintel/bulletin/229363/post-mortem-of-technical-issue-august-29-2019
1•Aleksandr_NFA•19m ago•0 comments

The Third Risk

https://thirdrisk.org/
3•paulpauper•24m ago•0 comments

The Nick Cammarata Model of Happiness (Reconstructed from His Tweets)

https://federicorcassarino.substack.com/p/the-nick-cammarata-model-of-happiness
1•paulpauper•24m ago•0 comments

The Rise of In-Office Remote Work

https://www.theatlantic.com/ideas/2026/10/in-office-remote-work/688993/
2•Garbage•25m ago•0 comments

I built a streaming platform where audiences decide what gets produced

https://app.quickflicktv.com/
1•actor1989•30m ago•0 comments

Shepherd – Better than software community support forums

https://startshepherd.com/
2•LukeMancuso17•30m ago•0 comments

Show HN: My Personal Weather Station

https://johnzanussi.com/weather
1•johnz•33m ago•0 comments

The 'Jury Duty' Scam That Cost This Family $25,000

https://www.wsj.com/us-news/the-jury-duty-scam-that-cost-this-family-25-000-5629f703
1•paulpauper•36m ago•0 comments

RepRap (Replicating Rapid prototyper) [self-printing 3D Printer]

https://en.wikipedia.org/wiki/RepRap
1•peter_d_sherman•40m ago•0 comments

US Global Entry revoked for importing $12 of ESP32 boards

https://www.reddit.com/r/esp32/comments/1x3bmjh/ordering_esp32_from_overseas_watch_out_global/
3•z2•42m ago•0 comments

MapQuest lets you track Flock cameras

https://mashable.com/tech/mapquest-fusers-can-find-nearby-flock-cameras
3•Yctg•45m ago•1 comments

Botline, a mailbox for AI agents from different vendors

https://github.com/sabotage-dev/botline
2•sabotage-dev•48m ago•0 comments

Superlite: A Faster Alternatie to Superpowers

https://contextfirst.blog/superlite-hand-an-agent-a-spec/
3•iheatuchriswogu•57m ago•0 comments

Anthropic commits 5% of shares to 'public benefit' fund

https://www.ft.com/content/3beab58d-4269-4722-b299-8fa5a93f5a52
2•JumpCrisscross•59m ago•2 comments

Chicago O'Hare Digs Up 50-Ton Boulder Under Airfield, Asks Public for Name Ideas

https://simpleflying.com/chicago-ohare-digs-up-50-ton-boulder-public-names/
4•Stratoscope•1h ago•6 comments

Architecting for HW Diversity: Meta's E2E Co-Design for AI Training on AMD GPUs

https://arxiv.org/abs/2610.22230
2•matt_d•1h ago•0 comments

Introduction to Tensor Core Arithmetic

https://simonveitner.substack.com/p/introduction-to-tensor-core-arithmetic
2•matt_d•1h ago•0 comments