news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

A Canonical Generalization of OBDD

https://arxiv.org/abs/2604.05537

8•luu•3h ago

Comments

gignico•1h ago

Positively surprised to see stuff like these on HN first page!

If any author is around, do you have an implementation that can be compared with CUDD and similar BDD libraries?

throwaway81523•33m ago

Can someone give a quick explanation of why this is important? It looks interesting but that it would take a lot of background to really understand it.

The Economics of Software Teams: Why Most Engineering Orgs Are Flying Blind

https://www.viktorcessan.com/the-economics-of-software-teams/

80•kiyanwang•2h ago•39 comments

All elementary functions from a single binary operator

https://arxiv.org/abs/2603.21852

288•pizza•6h ago•85 comments

Taking on CUDA with ROCm: 'One Step After Another'

https://www.eetimes.com/taking-on-cuda-with-rocm-one-step-after-another/

146•mindcrime•9h ago•108 comments

Bring Back Idiomatic Design (2023)

https://essays.johnloeber.com/p/4-bring-back-idiomatic-design

534•phil294•19h ago•290 comments

DIY Soft Drinks

https://blinry.org/diy-soft-drinks/

393•_Microft•15h ago•103 comments

Show HN: boringBar – a taskbar-style dock replacement for macOS

https://boringbar.app/

346•a-ve•14h ago•192 comments

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets

https://arxiv.org/abs/2604.07902

61•mpweiher•22h ago•7 comments

A perfectable programming language

https://alok.github.io/lean-pages/perfectable-lean/

111•yuppiemephisto•10h ago•39 comments

Ask HN: What Are You Working On? (April 2026)

202•david927•15h ago•623 comments

Most people can't juggle one ball

https://www.lesswrong.com/posts/jTGbKKGqs5EdyYoRc/most-people-can-t-juggle-one-ball

326•surprisetalk•3d ago•101 comments

Apple's accidental moat: How the "AI Loser" may end up winning

https://adlrocha.substack.com/p/adlrocha-how-the-ai-loser-may-end

156•walterbell•5h ago•142 comments

I gave every train in New York an instrument

https://www.trainjazz.com/

266•joshuawolk•2d ago•50 comments

A Canonical Generalization of OBDD

https://arxiv.org/abs/2604.05537

8•luu•3h ago•2 comments

Show HN: Oberon System 3 runs natively on Raspberry Pi 3 (with ready SD card)

https://github.com/rochus-keller/OberonSystem3Native/releases

189•Rochus•18h ago•42 comments

Uncharted island soon to appear on nautical charts

https://www.awi.de/en/about-us/service/press/single-view/unkartierte-insel-demnaechst-auf-seekart...

77•tannhaeuser•11h ago•38 comments

Tell HN: Docker pull fails in Spain due to football Cloudflare block

818•littlecranky67•19h ago•306 comments

Is math big or small?

https://chessapig.github.io/talks/Big-Small

30•robinhouston•23h ago•10 comments

We have a 99% email reputation, but Gmail disagrees

https://blogfontawesome.wpcomstaging.com/we-have-a-99-email-reputation-gmail-disagrees/

231•em-bee•19h ago•215 comments

Haunt, the 70s text adventure game, is now playable on a website

https://haunt.madebywindmill.com

54•jscalo•4h ago•14 comments

Google removes "Doki Doki Literature Club" from Google Play

https://bsky.app/profile/serenityforge.com/post/3mj3r4nbiws2t

425•super256•12h ago•211 comments

Exploiting the most prominent AI agent benchmarks

https://rdi.berkeley.edu/blog/trustworthy-benchmarks-cont/

512•Anon84•1d ago•132 comments

Seven countries now generate nearly all their electricity from renewables (2024)

https://www.the-independent.com/tech/renewable-energy-solar-nepal-bhutan-iceland-b2533699.html

563•mpweiher•18h ago•312 comments

X Randomly Banning Users for "Inauthentic Behavior"

https://old.reddit.com/r/LinusTechTips/comments/1rsdk7i/anybody_here_talking_about_the_massive/

50•crmrc114•2h ago•51 comments

JVM Options Explorer

https://chriswhocodes.com/vm-options-explorer.html

192•0x54MUR41•21h ago•84 comments

How long-distance couples use digital games to facilitate intimacy (2025)

https://arxiv.org/abs/2505.09509

94•radeeyate•15h ago•29 comments

Pro Max 5x quota exhausted in 1.5 hours despite moderate usage

https://github.com/anthropics/claude-code/issues/45756

613•cmaster11•18h ago•546 comments

The peril of laziness lost

https://bcantrill.dtrace.org/2026/04/12/the-peril-of-laziness-lost/

378•gpm•12h ago•128 comments

Phyphox – Physical Experiments Using a Smartphone

https://phyphox.org/

210•_Microft•23h ago•33 comments

I ran Gemma 4 as a local model in Codex CLI

https://blog.danielvaughan.com/i-ran-gemma-4-as-a-local-model-in-codex-cli-7fda754dc0d4

37•dvaughan•11h ago•8 comments

A Tour of Oodi

https://blinry.org/oodi/

132•zdw•3d ago•41 comments