fp.

From Convergence to Confidence: Push-Button Verification for RDTs

https://kcsrk.info/verification/rdts/lean/2026/04/28/from-convergence-to-confidence/

1•ibobev•27s ago•0 comments

Superwhisper now integrates with Claude Code

https://superwhisper.com/claude-code

1•Neeeks•1m ago•1 comments

Physicists Discover the Most Complex Forms of Ice Yet

https://www.quantamagazine.org/physicists-discover-the-most-complex-forms-of-ice-yet-20260427/

1•ibobev•1m ago•0 comments

Circular Arc Approximation

https://www.johndcook.com/blog/2026/04/28/circular-arc-approximation/

1•ibobev•2m ago•0 comments

Google and Pentagon reportedly agree on deal for 'any lawful' use of AI

https://www.theverge.com/ai-artificial-intelligence/919494/google-pentagon-classified-ai-deal

1•granzymes•2m ago•0 comments

Arietta: A framework for creating local AI voice assistants w. knowledge, tools

https://github.com/robert-mcdermott/arietta-voice

1•mcdermott•3m ago•0 comments

Lapsus$ – Data Repository

https://lapsus.by/

1•speckx•3m ago•0 comments

Introduction to Quantum Information Science Lecture Notes (2018) [pdf]

https://www.scottaaronson.com/qclec.pdf

1•Tomte•5m ago•0 comments

IMPulse: Open-source incident manager (Grafana OnCall alternative)

https://impulse.bot/

1•ditsi•6m ago•1 comments

Elephants, Goldfish and the New Golden Age of Software Engineering

https://drensin.medium.com/elephants-goldfish-and-the-new-golden-age-of-software-engineering-c336...

1•fridek•6m ago•0 comments

I Built an AI Trading Platform in Six Days. That's Terrifying

https://www.bloomberg.com/opinion/articles/2026-04-28/ai-trading-bots-are-creating-a-major-financ...

1•wslh•7m ago•1 comments

You're probably taking the wrong painkiller

https://asteriskmag.substack.com/p/youre-probably-taking-the-wrong-painkiller

1•speckx•8m ago•0 comments

One common charging solution for all

https://single-market-economy.ec.europa.eu/sectors/electrical-and-electronic-engineering-industri...

2•doener•8m ago•0 comments

The Neuroscience Behind Writing: Handwriting vs. Typing [pdf]

https://pmc.ncbi.nlm.nih.gov/articles/PMC11943480/

1•thunderbong•10m ago•0 comments

Meta Is Preparing to Have to Undo Its Manus Acquisition After China Ban

https://www.wsj.com/tech/ai/meta-is-preparing-to-have-to-undo-its-manus-acquisition-after-china-b...

1•Brajeshwar•10m ago•0 comments

The Best (Query) Plans of Mice and Men

https://ohadravid.github.io/posts/2026-04-query-plans/

1•ohr•10m ago•0 comments

Initial Commit: A Dedication

https://www.khanna.law/blog/initial-commit

3•hkhanna•11m ago•0 comments

Claude for Creative Work

https://www.anthropic.com/news/claude-for-creative-work

3•l1n•13m ago•0 comments

Show HN: CV Mirror – see what 5 ATS parsers do to your CV

https://cv-mirror-web.vercel.app/

1•GS_Projects•13m ago•0 comments

Software engineering may no longer be a lifetime career

https://www.seangoedecke.com/software-engineering-may-no-longer-be-a-lifetime-career/

1•twapi•14m ago•0 comments

Meta, Microsoft look to trim workforces amid heavy AI spending

https://fortune.com/2026/04/23/meta-microsoft-layoffs-job-cuts-not-filling-open-roles-voluntary-b...

2•gmargari•17m ago•0 comments

Show HN: SuperVoiceMode dictation experiment became an AI voice interface

https://voicemode.io/

1•mikezx•18m ago•0 comments

Iran's Meme War Against Trump Ushers in a Future of 'Slopaganda'

https://www.nytimes.com/interactive/2026/04/25/business/iran-trump-israel-war-memes.html

3•ryan_j_naughton•20m ago•0 comments

Scroll-Driven Animations: Exploring the majestic new animation-timeline API

https://www.joshwcomeau.com/animation/scroll-driven-animations/

1•joshwcomeau•20m ago•0 comments

Train collision in Indonesia kills 14 as rescuers work to reach survivors

https://www.theguardian.com/world/2026/apr/28/indonesian-train-crash-fatal

1•Imustaskforhelp•21m ago•0 comments

KiCad Breadboard Builder

https://github.com/kerstensrobin/kicad-breadboard

1•radeeyate•22m ago•0 comments

Kdts: A TypeScript compiler with type-driven optimizations

https://github.com/KimlikDAO/kdts

1•szaglam•22m ago•0 comments

Image Generators Are Generalist Vision Learners

https://arxiv.org/abs/2604.20329

2•gmays•23m ago•0 comments

Bot detection is dead: Reverse-engineering Kasada in an afternoon

https://twitter.com/usekernel/status/2049115830714273972

1•bblcla•23m ago•0 comments

The Stability Tax: When LLMs Misread Stability as Risk

https://substack.com/@riverreddington/p-195510535

1•JackBastet•25m ago•0 comments

From Convergence to Confidence: Push-Button Verification for RDTs

Superwhisper now integrates with Claude Code

Physicists Discover the Most Complex Forms of Ice Yet

Circular Arc Approximation

Google and Pentagon reportedly agree on deal for 'any lawful' use of AI

Arietta: A framework for creating local AI voice assistants w. knowledge, tools

Lapsus$ – Data Repository

Introduction to Quantum Information Science Lecture Notes (2018) [pdf]

IMPulse: Open-source incident manager (Grafana OnCall alternative)

Elephants, Goldfish and the New Golden Age of Software Engineering

I Built an AI Trading Platform in Six Days. That's Terrifying

You're probably taking the wrong painkiller

One common charging solution for all

The Neuroscience Behind Writing: Handwriting vs. Typing [pdf]

Meta Is Preparing to Have to Undo Its Manus Acquisition After China Ban

The Best (Query) Plans of Mice and Men

Initial Commit: A Dedication

Claude for Creative Work

Show HN: CV Mirror – see what 5 ATS parsers do to your CV

Software engineering may no longer be a lifetime career

Meta, Microsoft look to trim workforces amid heavy AI spending

Show HN: SuperVoiceMode dictation experiment became an AI voice interface

Iran's Meme War Against Trump Ushers in a Future of 'Slopaganda'

Scroll-Driven Animations: Exploring the majestic new animation-timeline API

Train collision in Indonesia kills 14 as rescuers work to reach survivors

KiCad Breadboard Builder

Kdts: A TypeScript compiler with type-driven optimizations

Image Generators Are Generalist Vision Learners

Bot detection is dead: Reverse-engineering Kasada in an afternoon

The Stability Tax: When LLMs Misread Stability as Risk

Understanding Systems

From Convergence to Confidence: Push-Button Verification for RDTs

Superwhisper now integrates with Claude Code

Physicists Discover the Most Complex Forms of Ice Yet

Circular Arc Approximation

Google and Pentagon reportedly agree on deal for 'any lawful' use of AI

Arietta: A framework for creating local AI voice assistants w. knowledge, tools

Lapsus$ – Data Repository

Introduction to Quantum Information Science Lecture Notes (2018) [pdf]

IMPulse: Open-source incident manager (Grafana OnCall alternative)

Elephants, Goldfish and the New Golden Age of Software Engineering

I Built an AI Trading Platform in Six Days. That's Terrifying

You're probably taking the wrong painkiller

One common charging solution for all

The Neuroscience Behind Writing: Handwriting vs. Typing [pdf]

Meta Is Preparing to Have to Undo Its Manus Acquisition After China Ban

The Best (Query) Plans of Mice and Men

Initial Commit: A Dedication

Claude for Creative Work

Show HN: CV Mirror – see what 5 ATS parsers do to your CV

Software engineering may no longer be a lifetime career

Meta, Microsoft look to trim workforces amid heavy AI spending

Show HN: SuperVoiceMode dictation experiment became an AI voice interface

Iran's Meme War Against Trump Ushers in a Future of 'Slopaganda'

Scroll-Driven Animations: Exploring the majestic new animation-timeline API

Train collision in Indonesia kills 14 as rescuers work to reach survivors

KiCad Breadboard Builder

Kdts: A TypeScript compiler with type-driven optimizations

Image Generators Are Generalist Vision Learners

Bot detection is dead: Reverse-engineering Kasada in an afternoon

The Stability Tax: When LLMs Misread Stability as Risk