frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Opus 4.6 is great at formal proofs (Rocq/Lean4)

https://tristan.st/blog/opus_4_6_formal_proofs
1•tsterin•1h ago

Astronomers track bubbles on a star's surface in the most detailed video yet

https://www.almaobservatory.org/en/press-releases/astronomers-track-bubbles-on-a-stars-surface-in...
1•nobody9999•21s ago•0 comments

Massively Parallel Programming

https://dcosson.substack.com/p/massively-parallel-programming
2•dcosson•1m ago•0 comments

Launch HN: Sonarly (YC W26) – AI agent to triage and fix your production alerts

https://sonarly.com/
1•Dimittri•2m ago•0 comments

AI-authored code contains worse bugs than software crafted by humans

https://www.theregister.com/2025/12/17/ai_code_bugs/
1•thefilmore•2m ago•0 comments

About the Indianapolis Hiking Club

https://www.indyhike.org/about.shtml
1•mooreds•2m ago•0 comments

Multi-player agents are the future

https://charlielabs.ai/blog/why-the-next-agent-interface-is-shared/
1•mrbbk•4m ago•0 comments

Show HN: 6cy – Experimental streaming archive format with per-block codecs

https://github.com/byte271/6cy
1•yihac1•4m ago•0 comments

Grok 4.20 Beta

https://grok.com/
1•tosh•5m ago•0 comments

How an AI baby-tracking app grew to –$300K/month

https://www.starterstory.com/stories/sprouty
1•igor_ryabenkiy•5m ago•1 comments

So You Want to Build a Tunnel

https://practical.engineering/blog/2026/2/17/so-you-want-to-build-a-tunnel
1•crescit_eundo•6m ago•0 comments

Show HN: Trained YOLOX from scratch to avoid Ultralytics (aircraft detection)

https://austinsnerdythings.com/2026/02/13/training-yolox-aircraft-detection-mit-license/
1•auspiv•7m ago•0 comments

Openclaw 2.0. Openrappter.

https://github.com/kody-w/openrappter
1•kody_w•7m ago•0 comments

My thoughts on Open Source – after a decade and in AI era

https://blog.inoki.cc/2026/02/17/My-thoughts-on-Open-Source-after-a-decade-2026/index.html
1•inoki•8m ago•1 comments

Most people are individually optimistic, but think the world is falling apart

https://hannahritchie.substack.com/p/many-people-are-individually-optimistic
1•speckx•8m ago•0 comments

Host range and antibiotic resistance are shaped by distinct survival strategies

https://academic.oup.com/nar/article/54/2/gkaf1479/8427120?login=false
1•PaulHoule•10m ago•0 comments

The Best Programming Language for the End of the World

https://web.archive.org/web/20250326100613/https://www.wired.com/story/forth-collapse-os-apocalyp...
1•tosh•10m ago•0 comments

Async/Await on the GPU

https://www.vectorware.com/blog/async-await-on-gpu/
2•Philpax•12m ago•0 comments

Show HN: OpenBoot – 2 commands to replace a 3-hour Mac setup ritual

https://github.com/openbootdotdev/openboot
3•superjam2026•13m ago•1 comments

SynthBench: 81% Zero-Shot Accuracy from AI-Generated Training Data

https://www.laksh.us/blog/synthbench
1•LakshyaC•14m ago•0 comments

Show HN: Browser-based EEG neurofeedback detecting golden ratio brain coherence

https://resonate.neurokinetikz.com
1•neurokinetikz•14m ago•0 comments

Texas sues TP Link alleging Chinese government access to its devices

https://www.reuters.com/legal/litigation/texas-sues-tp-link-alleging-chinese-government-access-it...
2•giuliomagnifico•14m ago•0 comments

Only 40 lines of code [video]

https://www.youtube.com/watch?v=R3ydGMRtnqU
1•EPendragon•15m ago•0 comments

A new DB for Iceberg/Hudi because low-latency serving on a lake is impractical

https://www.onehouse.ai/blog/announcing-onehouse-lakebase-database-speeds-finally-on-the-lakehouse
4•dunwaldo•15m ago•0 comments

HackMyClaw

https://hackmyclaw.com/
14•hentrep•17m ago•7 comments

5k-year-old bacteria from ancient ice cave are resistant to 10 antibiotics

https://www.frontiersin.org/news/2026/02/17/bacteria-ancient-underground-ice-cave-resistant-antib...
2•giuliomagnifico•17m ago•0 comments

Brownstein: Atop a Walmart, Lufa's latest greenhouse is almost ready to harvest

https://montrealgazette.com/opinion/columnists/brownstein-atop-a-walmart-lufas-latest-greenhouse-...
2•whynotmaybe•18m ago•0 comments

Turning Your Robot Vacuum into a Mesh VPN

https://saewitz.com/turning-your-robot-vacuum-into-a-mesh-vpn
2•switz•18m ago•0 comments

Show HN: A centralized resource for software, tools, and services

https://favz.link/
1•Tinymind•19m ago•0 comments

Show HN: I built a simulated AI containment terminal for my sci-fi novel

https://vertex.flowlogix.ai
5•stevengreser•20m ago•3 comments

FSQ Spatial Agent and FSQ H3 Hub – an AI agent for geospatial analysis workflows

https://foursquare.com/resources/blog/ad-tech/introducing-fsq-spatial-agent-your-geospatial-ai-an...
6•jbgrt•20m ago•0 comments