frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Vera C. Rubin Observatory first images

https://rubinobservatory.org/news/rubin-first-look/cosmic-treasure-chest
162•phsilva•6h ago•41 comments

Backyard Coffee and Jazz in Kyoto

https://thedeletedscenes.substack.com/p/backyard-coffee-and-jazz-in-kyoto
349•wyclif•7h ago•145 comments

2025 Iberia Blackout Report [pdf]

https://media.licdn.com/dms/document/media/v2/D4D1FAQGcyyYYrelkNg/feedshare-document-pdf-analyzed/B4DZeBtlohGsAk-/0/1750227910090?e=1750896000&v=beta&t=uEftse3BPsTjdLQ3DmjoVkadhUGqf7-MfYj_6UnSS28
78•leymed•3h ago•32 comments

Resurrecting flip phone typing as a Linux driver

https://github.com/FoxMoss/libt9
62•foxmoss•3h ago•41 comments

I ported pigz from Unix to Windows

https://blog.kowalczyk.info/article/4/how-i-ported-pigz-from-unix-to-windows.html
24•speckx•3d ago•7 comments

How I use my terminal

https://jyn.dev/how-i-use-my-terminal/
205•todsacerdoti•7h ago•108 comments

Ocarina of Time Randomizer

https://ootrandomizer.com/
95•nickswalker•2d ago•32 comments

Fairphone 6 is switching to a new design that's even more sustainable

https://www.androidcentral.com/phones/fairphone-6-official-render-leaks-showcase-its-sustainable-design
70•Bluestein•6h ago•90 comments

"The Last of Us Part II" Seattle Locations Tour

https://docs.google.com/document/d/1gfFoe2xVoS9GzmmcbGUjTVVtss1Jwh4Yi-73C6Trn-I/edit?usp=sharing
36•lenocinor•6h ago•29 comments

Minimal Boolean Formulas

https://research.swtch.com/boolean
68•mcyc•3d ago•10 comments

uv: An extremely fast Python package and project manager, written in Rust

https://github.com/astral-sh/uv
399•chirau•5h ago•195 comments

Launch HN: Reducto Studio (YC W24) – Build accurate document pipelines, fast

53•adit_a•6h ago•44 comments

Rocknix is an immutable Linux distribution for handheld gaming devices

https://rocknix.org/
115•PaulHoule•3d ago•38 comments

Making TRAMP go Brrrr

https://coredumped.dev/2025/06/18/making-tramp-go-brrrr./
149•celeritascelery•7h ago•77 comments

First methane-powered sea spiders found crawling on the ocean floor

https://www.cnn.com/2025/06/17/science/spiders-deep-sea-methane-new-species
43•bookofjoe•2d ago•23 comments

GitHub CEO: manual coding remains key despite AI boom

https://www.techinasia.com/news/github-ceo-manual-coding-remains-key-despite-ai-boom
60•andrewstetsenko•1h ago•44 comments

Judge denies creating "mass surveillance program" harming all ChatGPT users

https://arstechnica.com/tech-policy/2025/06/judge-rejects-claim-that-forcing-openai-to-keep-chatgpt-logs-is-mass-surveillance/
146•merksittich•4h ago•72 comments

New Linux udisks flaw lets attackers get root on major Linux distros

https://www.bleepingcomputer.com/news/linux/new-linux-udisks-flaw-lets-attackers-get-root-on-major-linux-distros/
322•smig0•3d ago•217 comments

A Deep Dive into Solid Queue for Ruby on Rails

https://blog.appsignal.com/2025/06/18/a-deep-dive-into-solid-queue-for-ruby-on-rails.html
3•fbuilesv•3d ago•0 comments

Transparent Ambition: on translucent user interfaces

https://take.surf/2025/06/19/transparent-ambition
56•goranmoomin•1d ago•34 comments

The FPGA Turns 40!

https://www.adiuvoengineering.com/post/the-fpga-turns-40
18•voxadam•2d ago•0 comments

NASA's Voyager Found a 30k-50k Kelvin "Wall" at the Edge of Solar System

https://www.iflscience.com/nasas-voyager-spacecraft-found-a-30000-50000-kelvin-wall-at-the-edge-of-our-solar-system-79454
155•world2vec•5h ago•114 comments

WhatsApp banned on House staffers' devices

https://www.axios.com/2025/06/23/whatsapp-house-congress-staffers-messaging-app
190•fahd777•7h ago•109 comments

A deep critique of AI 2027's bad timeline models

https://www.lesswrong.com/posts/PAYfmG2aRbdb74mEp/a-deep-critique-of-ai-2027-s-bad-timeline-models
64•paulpauper•3h ago•28 comments

Environmental Impacts of Artificial Intelligence

https://www.greenpeace.de/publikationen/environmental-impacts-of-artificial-intelligence
63•doener•2h ago•61 comments

Cataphract: Medieval-fantasy roleplaying wargame, in the Black-Sea C. 1300

https://samsorensen.blot.im/cataphracts-design-diary-1
148•vidro3•4d ago•30 comments

Python can run Mojo now

https://koaning.io/posts/giving-mojo-a-spin/
299•cantdutchthis•3d ago•139 comments

Interesting Bits of Postgres Grammar

https://steve.dignam.xyz/2025/06/20/interesting-bits-of-postgres-grammar/
55•sbdchd•7h ago•1 comments

Homotopy Equivalences

https://bartoszmilewski.com/2025/06/20/weak-homotopy-equivalences/
63•ibobev•3d ago•14 comments

Show HN: Pickaxe – A TypeScript library for building AI agents

https://github.com/hatchet-dev/pickaxe
24•abelanger•3d ago•18 comments
Open in hackernews

Minimal Boolean Formulas

https://research.swtch.com/boolean
67•mcyc•3d ago

Comments

senderista•4h ago
(From 2011)
OscarCunningham•3h ago
We also know the optimal circuits if you want to compute two boolean functions from four variables at the same time: https://cp4space.hatsya.com/2020/06/30/4-input-2-output-bool....
Sharlin•3h ago
The standard Floyd–Warshall is fairly easily parallelizable. I wonder how fast you could solve this problem with today's GPUs, and whether a(6) might be attainable in some reasonable time.
cluckindan•2h ago
Using the * operator for AND is very non-standard. Unicode provides ¬ for negation, ∧ for conjunction and ∨ for disjunction. These are commonly used in CS literature, along with bar(s) over variables or expressions to denote negation, which are definitely a mixed bag for readability.
bee_rider•2h ago
It is not so uncommon to see it represented by a dot. I guess a star is like a dot, but doesn’t require finding any weird keys. It isn’t ideal but it is obvious enough what they mean.
dse1982•1h ago
Isn't the AND operation often represented using multiplication notation (dot or star) because it is basically a boolean multiplication?
WorldMaker•1h ago
It's not so much that it is "boolean multiplication" (because how do you define that, also because digital representation of booleans implies that integer multiplication still applies) so much as AND follows similar Laws as multiplication, in particular AND is distributive across OR in a similar way multiplication is distributive over addition. [Example: a * (b + c) <=> a * b + a * c] Because it follows similar rules, it helps with some forms of intuition of patterns when writing them with the familiar operators.

It's somewhat common in set notations to use * and + for set union and set intersection for very similar reasons. Some programming languages even use that in their type language (a union of two types is A * B and an intersection is A + B).

Interestingly, this is why Category Theory in part exists to describe the similarities between operators in mathematics such as how * and ∧ contrast/are similar. Category Theory gets a bad rap for being the origin of monads and fun phrases like "monads are a monoid in the category of endofunctors", but it also answers a few fun questions like why are * and ∧ so similar? (They are similar functions that operate in different "categories".) Admittedly that's a very rough, lay gloss on it, but it's still an interesting perspective on what people talk about when they talk about Category Theory.

dse1982•56m ago
Thx for your thorough explanation! I don’t know much about these things, just thought about similarities in the algebraic properties, especially with regards to the zero-element: 0*1=0.
AaronFriel•1h ago
Surprised not to see Karnaugh maps mentioned here, as a tool for humans to intuitively find these simplifications.

https://en.m.wikipedia.org/wiki/Karnaugh_map

dooglius•1h ago
Could one do this directly with transistors or standard cells? Seems very useful for ASICs, particularly structured ASICs which are mapped from FPGA lookup tables of size 4-6.