frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

We used Quint to find over 10 bugs in SQLite while hardening Turso

https://turso.tech/blog/how-we-used-quint-to-find-over-10-bugs-in-sqlite
3•0xedb•36m ago

Bending, Yanking, and Cartesian Squares in Double Categories

https://bartoszmilewski.com/2026/05/18/bending-yanking-and-cartesian-squares-in-double-categories/
1•ibobev•11s ago•0 comments

Narasi AI – Turns a raw idea into a Short video in 5 minutes

https://narasi.ai/
1•syakirurahman•20s ago•0 comments

Lambda Diagrams

https://buttondown.com/jaffray/archive/lambda-diagrams/
1•ibobev•29s ago•0 comments

Show HN: CANviz – open-source CAN analyzer, J1939/CANopen, pip install

https://github.com/Chanchaldhiman/CANviz
1•chanchaldhiman•56s ago•0 comments

AI coding made us faster. Why did incidents increase?

https://leaddev.com/ai/ai-coding-made-us-faster-why-did-incidents-increase
1•theanonymousone•1m ago•0 comments

Don't Outsource the Learning

https://twitter.com/i/status/2056078124346228860
1•redbell•1m ago•0 comments

Microsoft launches Surface Pro 12 and Surface Laptop 8 with Intel chips

https://www.theverge.com/news/933269/microsoft-surface-pro-12-surface-laptop-8-specs-pricing-rele...
2•el_duderino•2m ago•0 comments

What Do Gödel's Incompleteness Theorems Mean?

https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/
1•Brajeshwar•3m ago•0 comments

IDF struggles to curb endless feed of soldiers posting misdeeds on social media

https://www.timesofisrael.com/idf-struggles-to-throttle-endless-feed-of-soldiers-posting-misdeeds...
7•hebelehubele•5m ago•3 comments

Comic Books seen in RoboCop (1987)

https://www.tumblr.com/bronzeaged/145292085969/comic-books-seen-in-robocop-1987-column-a
1•speckx•6m ago•0 comments

Raven Software Released Jedi Academy Source Code in 2013 Amid Dev Crunch Rage

https://github.com/grayj/Jedi-Academy
1•birdculture•9m ago•0 comments

Who Killed Nokia? Nokia Did

https://knowledge.insead.edu/strategy/who-killed-nokia-nokia-did
2•redbell•10m ago•1 comments

More Than Skills, Frameworks

https://github.com/mattpocock/skills
1•vdelpuerto•10m ago•0 comments

I tried every AI memory tool. Here's why I built another one

https://runmemento.com/blogs/i-tried-every-ai-memory-tool/
2•psraghuveer•11m ago•0 comments

Show HN: Self-hosted static archive of 20 years of Hacker News

https://github.com/DOSAYGO-STUDIO/HackerBook
1•keepamovin•12m ago•1 comments

Show HN: A sparse, compressed bitmap index in C. Better than Roaring Bitmaps?

https://codeberg.org/gregburd/sparsemap
1•gregburd•12m ago•0 comments

Website blocking which works long term

https://hanki.dev/website-blocking-which-works-long-term/
1•speckx•12m ago•0 comments

This Month in Redox – April 2026

https://www.redox-os.org/news/this-month-260430/
1•akyuu•13m ago•0 comments

Eight window-function tricks beyond LAG and ROW_NUMBER

https://analytics.fixelsmith.com/posts/eight-window-function-tricks/
1•analyticsfs•16m ago•0 comments

Show HN: How to analyze your LLM output – A behavioural health monitor for LLMs

https://splabs.io
4•k-thimmaraju•16m ago•1 comments

Microsoft is sunsetting SMS Organizer for Android

https://www.techmesto.com/microsoft-is-sunsetting-sms-organizer-for-android/
2•thunderbong•16m ago•0 comments

The Death of the Brick and Mortar Toy Store

https://brainbaking.com/post/2026/05/the-death-of-the-brick-and-mortar-toy-store/
1•speckx•16m ago•0 comments

Show HN: A self-balancing skip-list (a.k.a. "splay-list") library in C

https://codeberg.org/gregburd/skiplist
1•gregburd•16m ago•0 comments

What we learned building sandbox for document agents

https://blog.yfzhou.fyi/posts/doc-sandbox/
1•crazylogger•17m ago•0 comments

Barely Treading Water

https://randsinrepose.com/archives/barely-treading-water/
2•GavinAnderegg•17m ago•0 comments

GTGraffiti: The Robot That Paints Like a Human

https://research.gatech.edu/introducing-gtgraffiti-robot-paints-human
1•bryanrasmussen•17m ago•0 comments

When More Context Makes LLM Agents Worse

https://arizenai.com/context-window-fallacy/
1•arizen•17m ago•0 comments

SerpApi vs. Google and the Future of SEO

https://silktide.com/blog/serpapi-vs-google-lawsuit/
1•barron35•19m ago•0 comments

AI Empowered PM

https://itamargilad.com/ai-pm-future/
2•nealmueller•19m ago•0 comments

DPlus – AI media buyer that plans and launches campaigns across 12 ad platforms

https://getadplus.com/launch
1•AdPlus_Todd•20m ago•0 comments