frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Broken Proofs and Broken Provers

https://lawrencecpaulson.github.io/2026/01/15/Broken_proofs.html
13•RebelPotato•4h ago

I miss thinking hard

https://www.jernesto.com/articles/thinking_hard
812•jernestomg•9h ago•472 comments

Data centers in space makes no sense

https://civai.org/blog/space-data-centers
773•ajyoon•17h ago•871 comments

Brazilian Micro-SaaS Map

https://saas-map.ssr.trapiche.cloud/
34•acfilho•3d ago•1 comments

Lessons learned shipping 500 units of my first hardware product

https://www.simonberens.com/p/lessons-learned-shipping-500-units
666•sberens•2d ago•305 comments

Show HN: Ghidra MCP Server – 110 tools for AI-assisted reverse engineering

https://github.com/bethington/ghidra-mcp
128•xerzes•6h ago•37 comments

Show HN: Craftplan – I built my wife a production management tool for her bakery

https://github.com/puemos/craftplan
409•deofoo•2d ago•110 comments

New York’s budget bill would require “blocking technology” on all 3D printers

https://blog.adafruit.com/2026/02/03/new-york-wants-to-ctrlaltdelete-your-3d-printer/
506•ptorrone•21h ago•561 comments

The Mathematics of Tuning Systems

https://math.ucr.edu/home/baez/tuning_talk/
44•u1hcw9nx•4d ago•9 comments

Deno Sandbox

https://deno.com/blog/introducing-deno-sandbox
472•johnspurlock•20h ago•150 comments

Agent Skills

https://agentskills.io/home
484•mooreds•23h ago•236 comments

High-Altitude Adventure with a DIY Pico Balloon

https://spectrum.ieee.org/explore-stratosphere-diy-pico-balloon
49•jnord•3d ago•16 comments

The fax numbers of the beast, and other mathematical sports

https://cabinetmagazine.org/issues/57/wertheim.php
3•marysminefnuf•1d ago•0 comments

Xcode 26.3 – Developers can leverage coding agents directly in Xcode

https://www.apple.com/newsroom/2026/02/xcode-26-point-3-unlocks-the-power-of-agentic-coding/
331•davidbarker•19h ago•286 comments

Goblins: Distributed, Transactional Programming with Racket and Guile

https://spritely.institute/goblins/
68•alhazrod•4d ago•3 comments

AliSQL: Alibaba's open-source MySQL with vector and DuckDB engines

https://github.com/alibaba/AliSQL
239•baotiao•18h ago•35 comments

X offices raided in France as UK opens fresh investigation into Grok

https://www.bbc.com/news/articles/ce3ex92557jo
439•vikaveri•1d ago•873 comments

221 Cannon is Not For Sale

https://fredbenenson.com/blog/2026/02/03/221-cannon-is-not-for-sale/
273•mecredis•20h ago•198 comments

Reimplementing Tor from Scratch for a Single-Hop Proxy

https://foxmoss.com/blog/kurrat/
54•Agreed3750•3d ago•10 comments

Broken Proofs and Broken Provers

https://lawrencecpaulson.github.io/2026/01/15/Broken_proofs.html
13•RebelPotato•4h ago•0 comments

I prefer to pass secrets between programs through standard input

https://utcc.utoronto.ca/~cks/space/blog/programming/PassingSecretsViaStdin
13•ingve•35m ago•0 comments

Prek: A better, faster, drop-in pre-commit replacement, engineered in Rust

https://github.com/j178/prek
261•fortuitous-frog•21h ago•110 comments

Exploring Different Keyboard Sensing Technologies

https://www.lttlabs.com/articles/2026/01/27/exploring-different-keyboard-sensing-technologies
39•viraptor•1w ago•22 comments

Resurrecting Crimsonland – Decompiling and preserving a cult 2003 classic game

https://banteg.xyz/posts/crimsonland/
140•banteg•3d ago•37 comments

How watercolor brushes are made (2015)

https://www.handprint.com/HP/WCL/brush1.html
41•YeGoblynQueenne•6d ago•4 comments

Bunny Database

https://bunny.net/blog/meet-bunny-database-the-sql-service-that-just-works/
307•dabinat•1d ago•126 comments

France dumps Zoom and Teams as Europe seeks digital autonomy from the US

https://apnews.com/article/europe-digital-sovereignty-big-tech-9f5388b68a0648514cebc8d92f682060
1049•AareyBaba•20h ago•534 comments

Qwen3-Coder-Next

https://qwen.ai/blog?id=qwen3-coder-next
684•danielhanchen•21h ago•396 comments

1,400-year-old tomb featuring giant owl sculpture discovered in Mexico

https://www.cnn.com/2026/01/29/science/zapotec-tomb-mexico-scli-intl
116•breve•5d ago•30 comments

FlashAttention-T: Towards Tensorized Attention

https://dl.acm.org/doi/10.1145/3774934.3786425
102•matt_d•16h ago•56 comments

Y Combinator will let founders receive funds in stablecoins

https://fortune.com/2026/02/03/famed-startup-incubator-y-combinator-to-let-founders-receive-funds...
134•shscs911•19h ago•243 comments