frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark

https://modelrift.com/blog/openscad-llm-benchmark/
46•jetter•1h ago•18 comments

The case against boolean logic

https://abuseofnotation.github.io/boolean-thinking/
26•boris_m•59m ago•11 comments

Steve Wozniak cheered after telling students they have AI – actual intelligence

https://www.businessinsider.com/steve-wozniak-apple-ai-graduation-speech-2026-5
120•signa11•2h ago•70 comments

Project Hail Mary – Stellar Navigation Chart

https://valhovey.github.io/gaia-mary/
963•speleo•19h ago•202 comments

Slumber a TUI HTTP Client

https://slumber.lucaspickering.me
100•jicea•7h ago•34 comments

CODA: Rewriting Transformer Blocks as GEMM-Epilogue Programs

https://arxiv.org/abs/2605.19269
79•matt_d•6h ago•8 comments

The memory shortage is causing a repricing of consumer electronics

https://davidoks.blog/p/ai-is-killing-the-cheap-smartphone
245•d0ks•13h ago•290 comments

Cleve Moler has died

https://www.mathworks.com/company/aboutus/founders/clevemoler.html
135•mychele•9h ago•14 comments

The surprising story behind the first British person in space

https://www.bbc.com/culture/article/20260518-helen-sharman-the-story-behind-the-first-british-per...
69•xoxxala•1d ago•25 comments

Blog ran on Ubuntu 16.04 for 10 years. I migrated it to FreeBSD

https://crocidb.com/post/this-blog-ran-on-ubuntu-16-04-for-10-years-i-migrated-it-to-freebsd/
305•speckx•16h ago•157 comments

Was my $48K GPU server worth it?

https://rosmine.ai/2026/05/13/was-my-48k-gpu-worth-it/
473•apwheele•3d ago•344 comments

Uv is fantastic, but its package management UX is a mess

https://www.loopwerk.io/articles/2026/uv-ux-mess/
230•nchagnet•14h ago•113 comments

FSFE intervenes against Apple before EUCJ for the second time

https://fsfe.org/news/2026/news-20260519-01.en.html
25•M95D•1h ago•1 comments

Using Kagi Search with Low Vision

https://veroniiiica.com/using-kagi-search-with-low-vision/
211•speckx•16h ago•70 comments

Indexing a year of video locally on a 2021 MacBook with Gemma4-31B (50GB swap)

https://blog.simbastack.com/indexed-a-year-of-video-locally/
405•asenna•21h ago•119 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/
100•speckx•2d ago•108 comments

Mycorrhizal Fungi, Nature's Key to Plant Survival and Success

https://pacifichorticulture.org/articles/mycorrhizal-fungi-natures-key-to-plant-survival-and-succ...
104•mooreds•1d ago•14 comments

Lost Images from the 1945 Trinity Nuclear Test Restored

https://spectrum.ieee.org/trinity-nuclear-test
361•pseudolus•1d ago•107 comments

Python 3.15: features that didn't make the headlines

https://blog.changs.co.uk/python-315-features-that-didnt-make-the-headlines.html
386•rbanffy•1d ago•193 comments

Show HN: Freenet, a peer-to-peer platform for decentralized apps

https://freenet.org/
300•sanity•21h ago•182 comments

Flipper One – we need your help

https://blog.flipper.net/flipper-one-we-need-your-help/
1175•sandebert•1d ago•450 comments

Multi-Stream LLMs: new paper on parallelizing/separating prompts, thinking, I/O

https://arxiv.org/abs/2605.12460
117•atomicthumbs•16h ago•12 comments

Launch HN: Runtime (YC P26) – Sandboxed coding agents for everyone on a team

https://www.runtm.com/
92•gustrigos•19h ago•23 comments

Deciphering the Hashihara Castle Town Map

https://www.obayashi.co.jp/en/kikan_obayashi/detail/kikan_64_project.html
56•1970-01-01•2d ago•0 comments

Waymo pauses Atlanta service as its robotaxis keep driving into floods

https://techcrunch.com/2026/05/21/waymo-pauses-atlanta-service-as-its-robotaxis-keep-driving-into...
329•mattas•19h ago•404 comments

Spotify will start reserving concert tickets for fans

https://www.hollywoodreporter.com/music/music-industry-news/spotify-will-start-reserving-concert-...
156•elffjs•19h ago•310 comments

Throwing AI-generated walls of text into conversations

https://noslopgrenade.com/
637•napolux•1d ago•373 comments

Google's Antigravity bait and switch

https://www.0xsid.com/blog/antigravity-bait-n-switch
710•ssiddharth•21h ago•316 comments

We're testing new ad formats in Search and expanding our Direct Offers pilot

https://blog.google/products/ads-commerce/google-marketing-live-search-ads/
610•sofumel•1d ago•546 comments

News outlets are limiting the Internet Archive’s access to their journalism

https://www.niemanlab.org/2026/05/more-than-340-local-news-outlets-are-limiting-the-internet-arch...
297•jaredwiener•18h ago•102 comments
Open in hackernews

The case against boolean logic

https://abuseofnotation.github.io/boolean-thinking/
25•boris_m•59m ago

Comments

cheschire•40m ago
The emphasis on applying false dichotomies to every situation, in my opinion, is what leads to the truthiness[0] inherent in modern partisan politics.

https://en.wikipedia.org/wiki/Truthiness

unprovable•34m ago
An important context here is the one in which George Boole was noticing the patterns that he created an algebra out of; he was actually analysing the Chinese book I Ching... The fact that context is so lost by the amplification of what is, itself, a distillation is, as you rightly argue, the real issue. Not sure what the answer is, but it probably isn't C^* algebras.
0xfedcafe•33m ago
fp folks trying to reinvent probability theory is hilarious
epolanski•31m ago
Non-boolean logic is more than a century old.

We could bring quantum physics as a simple example of binary logic collapsing, but in programming there are countless ones.

A simple one is a table of users in SQL, where age can be `null` and not just a positive number.

For filters like "age < 18" and "age > 18" a binary answer cannot model business logic decisions on this set of data properly.

Thus SQL implements a third logic value, UNKNOWN.

Another simple example "is the room hot?".

This is by intuition a bad fit for binary logic. Even if you define "hot" as 30C it's quite clear that the problem is way too nuanced and context dependent to model with binary logic, you need more than two possible answers than yes/no.

Pet_Ant•29m ago
I took a course in advanced logic and there is actually a really broad and diverse world of them that is fascinating. Contextual logic for one.
dnnddidiej•13m ago
probability isn't the own non-boolean. analog circuits and fuzzy logic. quantum (ok yeah probabilities!), neural nets. also taking the questions angle - open ended questions.
amiga386•27m ago
TIL there's a whole rabbithole of "why vs why not intuitionist logic":

https://en.wikipedia.org/wiki/Brouwer%E2%80%93Hilbert_contro...

dnnddidiej•16m ago
Intuitionist logic seemed to me like a superset of regular logic. Like a generalization that gives you more choice. Like having an 8x8 board for anything instead of always playing chess. Seems like a good idea.
theow838484jj•23m ago
How about you demand context is always attached to "boolean logic"? Because what author is describing is just plain bait and switch, nothing related to boolean algebra.