frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Genie 4

https://deepmind.google/blog/genie-4-a-new-generation-of-world-simulation/
148•acossta•49m ago•60 comments

Python's experimental JIT to be removed

https://lwn.net/SubscriberLink/1102102/0c00e4d550f25f8c/
286•f311a•5h ago•150 comments

New iMac with M6

https://www.apple.com/imac/
154•notfried•3h ago•135 comments

Wikipedia's Cleanup of AI-Generated Content

https://spectrum.ieee.org/wikipedia-wikiproject-ai-writing-cleanup
269•rbanffy•5h ago•119 comments

The US government is hiding secret court ruling about how it spies on Americans

https://www.wired.com/story/the-us-government-is-hiding-a-secret-court-ruling-about-how-it-spies-...
318•helterskelter2•2h ago•83 comments

Why Micron Is Suddenly Ditching 4F² DRAM as Rivals Double Down

https://hothardware.com/news/why-micron-is-suddenly-ditching-4f-dram
61•rbanffy•1d ago•7 comments

Here be monsters: What do you still need to know when agents do the work?

https://blog.adrq.dev/here-be-monsters-what-do-you-still-need-to-know-when-agents-do-the-work
87•adrq•3h ago•21 comments

Viral Polls Are Not Representative Polls

https://kevinreuning.com/blog/polling_virality.html
34•m-hodges•2h ago•38 comments

Classification of Finite Simple Groups Formalized in Lean

https://cfsg.axiommath.ai/
12•pfdietz•26m ago•8 comments

PHP2Shell: Exploitation attempts and remediation trends

https://www.wiz.io/blog/php2shell-exploitation-so-far
142•acossta•3h ago•48 comments

Apple introduces the new 14‑inch MacBook Pro with M6

https://www.apple.com/in/newsroom/2026/10/apple-introduces-the-new-14-inch-macbook-pro-with-m6/
30•beex•46m ago•20 comments

OpenLDK: Bringing the Java World into Common Lisp

https://atgreen.github.io/repl-yell/posts/openldk-java-in-common-lisp/
21•atgreen•2d ago•0 comments

We let our cloud agents query prod (with OIDC, not secrets)

https://www.formal.ai/blog/cloud-agents-oidc-infrastructure/
7•saligrama•30m ago•0 comments

Anthropic trained Claude on illegally obtained Stanford professors' books

https://stanforddaily.com/2026/10/27/professors-books-pirated-to-train-claude/
64•car•1h ago•31 comments

Microsoft and Others Tell Crypto Platform Not to Tokenize Their Stocks

https://gizmodo.com/microsoft-mcdonalds-verizon-and-others-tell-crypto-platform-not-to-tokenize-t...
5•gumby•2d ago•0 comments

My video has unit tests

https://pertiller.tech/blog/my-video-written-in-code/
22•Vieltrinker•1h ago•5 comments

Police Are Using AI to Pull over Drivers for 'Suspicious' Behavior

https://gizmodo.com/police-are-using-ai-to-pull-over-drivers-for-suspicious-behavior-2000831220
5•gumby•15m ago•1 comments

Vicious Cycles: Theses on a philosophy of news

https://harpers.org/archive/2020/01/vicious-cycles-theses-on-a-philosophy-of-news/
3•eustoria•27m ago•0 comments

The Mythical Man-Month in the Age of AI

https://j11g.com/the-mythical-man-month-in-the-age-of-ai
353•ilreb•10h ago•229 comments

Show HN: Specification First Agentic Development Plugin and Prove

https://spec-first.dev/
9•hleichsenring•1h ago•0 comments

Gforth 1.0

https://gforth.org/manual/1.0/NEWS.html
109•joshcsimmons•6h ago•6 comments

PHP2Shell, LiteLLM, GitLab: Find What You Need to Patch

https://cloudsleuth.io/blog/php2shell-litellm-gitlab-find-what-you-run/
4•bigfish2026•30m ago•0 comments

Reducibility Among Combinatorial Problems (1972) [pdf]

https://cgi.di.uoa.gr/~sgk/teaching/grad/handouts/karp.pdf
3•liamswayne•33m ago•0 comments

The Exponential Time Hypothesis Is False [pdf]

https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-Octob...
751•vok•18h ago•271 comments

Is my data used for model training?

https://privacy.claude.com/en/articles/7996868-is-my-data-used-for-model-training
157•jonpizza•2h ago•74 comments

A Stackless Floodfill Automaton

https://t3x.org/files/floodfill.pdf
22•andsoitis•1d ago•6 comments

Software may be getting worse, but it used to be horrible

https://www.bitlog.com/2026/10/27/software-may-be-getting-worse-but-it-used-to-be-horrible/
226•jakevoytko•5h ago•182 comments

Data Recovery CEO Indicted for Allegedly Scamming Ransomware Victims

https://www.propublica.org/article/zohar-pinhasi-monstercloud-ransomware-indictment
29•hn_acker•1h ago•5 comments

A $300B 'Debt Wall' Is Looming over Private-Equity Backed Companies

https://www.wsj.com/finance/investing/a-300-billion-debt-wall-is-looming-over-private-equity-back...
36•JumpCrisscross•1h ago•7 comments

A 28-Year-Old DOGE Operative Gutted USAID. HR Had No Record of Him Working There

https://www.wired.com/story/a-28-year-old-doge-operative-gutted-usaid-hr-had-no-record-of-him-wor...
8•ck2•17m ago•0 comments
Open in hackernews

Quantum Picturalism

https://quantuminpictures.org/
58•mathgenius•1y ago

Comments

baxtr•1y ago
> The term, “Quantum Picturalism” was coined to describe this unique approach of teaching quantum concepts visually, reducing intimidation and opening the field to broader audiences.
tmvphil•1y ago
ZX calculus is very interesting framework for doing cutting edge research in error correction and gate compilation, but it seems wildly off base as a means of making quantum computing accessible to a broader audience. Anything beyond the simple "teleportation is like pulling a string" picture is extremely difficult abstract manipulations.

(PhD in experimental QC)

hnuser123456•1y ago
For those of us who have decent computer science and math education and are curious about QC but have jobs in classical computing, are there any resources you recommend that are a better introduction? I understand something about being able to test large numbers of permutations of something at once, or square rooting the number of necessary operations for some functions...

edit: found this below, but it is all ZX calculus

https://zxcalc.github.io/book/html/main_html.html

ashbreaker•1y ago
My understanding is ZX calculus is more like a “calculus” or a nice toolkit. So you probably still cannot bypass regular QC formalism (being able to manipulate things fast doesn’t mean you necessarily understand it well)
Xmd5a•1y ago
https://x.com/coecke/status/1907809898852667702

>High-schoolers excelling at Oxford Uni post-grad quantum exam, thanks to Quantum Picturalism!

thoughts?

gus_massa•1y ago
They didn't give the stdents the full post-grad exam. They cherry picked a few of the questions that can be solved with this method. It's handy for a few special cases, but not in general.
abdullahkhalids•1y ago
I somewhat agree. I think the goal would be to create a UI that allows you to do the ZX calculus by just creating/moving/joining the spiders etc.
pentaphobe•1y ago
IANAP so got curious about how ZX Calculus related to Feynman Diagrams (if at all)

Search landed on this neat summary [^1] (2024) from the lab(?) which also has a link to the original paper [^2]

[1]: https://www.quantinuum.com/blog/quantinuum-scientists-have-p...

[2]: https://arxiv.org/abs/2405.10896

neom•1y ago
Just to add, buried away there is this gh repo also: https://github.com/zxcalc/book
pentaphobe•1y ago
Ooh thanks, totally missed this!
hbartab•1y ago
Both are diagrammatic but that's all the overlap there is.

Feynman diagrams are a way to compute Green's functions/propagators for particle scattering amplitudes. IOW they give a pictorial representation of things you need to compute to figure out particle reactions at high energies.

ZX calculus is for "simplifying" quantum circuits. I write this in quotes because the rules are pretty involved. Apart from Quantinuum, few (if any) are pushing for it. Almost no quantum computing papers are published using ZX notation.

Feynman diagrams in particle physics are, however, universal.

You might enjoy this write-up: https://pennylane.ai/qml/demos/tutorial_zx_calculus

tlogan•1y ago
Sadly, the only way to truly “understand” quantum physics is through math. A “shut up and calculate” approach.

Now, my rant.

The main reason math often seems more complicated than it really is has to do with the use of strange symbols and naming conventions. It also feels like academia in the US intentionally uses non-plain language and terminology to sound smarter and exclusive.

Back in socialist countries, there was a strong effort to name these concepts using “normal” language, and that really helped. When I came to US, I’d see something like Fourier transformation and think, “Why do use this strange name?” Why not call it “conversion of a signal into frequencies” (lose translation).

Of course, maybe the reason is that it is easier to create a new word/term in Slavic languages.

constantcrying•1y ago
As if that is the problem with mathematics. 99.9% of mathematics isn't about how things are named. There are zero persons in the world who failed to understand the Fourier transform because of its name.
tlogan•1y ago
I think you are maybe right here.
aleph_minus_one•1y ago
> it is easier to create a new word/term in Slavic languages.

Why is this the case?

yvdriess•1y ago
Their pictoral representation is a "shut up and calculate" notation, you can always map it 1:1 with the linear algebra formulation. It was developed as a better tool of thought for working out proofs in QC.

I had the pleasure of interacting with Duncan and Bob when XZ calculus was being developed. While I did not use their calculus for my own research, it did inspire the graphical notation I doodled with.

While I agree that naming a thing after a person makes it less clear at first glance, it is definitely not to intentionally sound smarter and exclusive; it's simply a handy short label for often subtle and complex things in an environment where you are constantly referring to it. New fields or domains will typically develop their own notation, as they often require new tools of thought. I'm sure you are not suggesting that Feynman diagrams or Einstein summations making things more complicated than they really are.

To your point: the annoying part is when the conventions clash. In early QC works an X could be the X-gate or something else completely. A good chunk of the effort in writing or understanding a QC publication was establishing the notation. After a while notation gets a bit more consolidated as conventions get naturally established. Of course, if you move from a world that has established its own conventions, e.g. behind the iron curtain, it can be frustrating to be confronted with the many eponyms in a field where you already have deep expertise. I had similar experiences just from working in teams that were using different programming languages: "Why call it a SAX parser? That's just tree-recursive descent!"

akomtu•1y ago
Math needs to be this way for precision. There are dozens of "conversions of signal into frequencies" besides Fourier transform: Z-transform, Laplace tansform, Wigner transform and so on. Normal language deals with few concepts, math deals with thousands.

Soviet countries wanted to isolate their peoples from western ideas. If you start teaching about Fourier transform in schools, students are going to ask who that Fourier is.

rustcleaner•1y ago
>Why not call it “conversion of a signal into frequencies”

I agree, there has to be a combination of Greek & Latin parts to compile into a Germanic-style adjective sandwich of a word which describes the Fourier.

Interpolation is one such word:

Inter - between/among,

pol - fill/smooth/polish,

ation - action or process of the foregoing.

May I propose 'Signalidominotransform' or 'Signalidominomorphosis' as candidates to replace "Fourier Transformation?"

drdeca•1y ago
I don’t understand this name. I see “signal” (which seems more related to an application of Fourier transforms?) and “domino”? I don’t get the “domino” part.

In any case, it is way longer.

mr_mitm•1y ago
Can you give a less trivial example? How would different wording help with understanding the proof of Greene's theorem, for example? When it comes down to it, it's just complicated stuff.

Maybe seeing strange symbols appears like gatekeeping to you, but surely we agree that there is also a more amicable explanation: symbols are quick to write, which makes it easier to manipulate equations with pen and paper or on a blackboard, and eventually you run out of symbols and have to resort to more exotic ones. Obviously it's up to you which explanation you prefer, but in my view you should have stronger evidence if you imply malicious intent or properties like arrogance.

rustcleaner•1y ago
The jumble of letters Fourier says nothing about what a Fourier Transform is or does. Signalidominomorphosis, or just dominomorphosis, tells a lot more at face value than Fourier Transformation which just basically says "a transformation associated with a Fourier."

With the loss of the old liberal education, we are forgetting our words are like pictograms, compiled from meaningful components from the shoulders of classical languages and ideas. Etymology books should be as common as dictionaries!

(don't mind me, just trying to anonymously add to the dictionary)

abdullahkhalids•1y ago
One thing that mathematicians do quite commonly is look at the same object in several different ways. The "Fourier Transform" is "Signalidominomorphosis" but it is also a linear operator on the vector space of functions, and something more complicated from the perspective of measure theory. For theoretical physicists, it plays yet a different role when applied to wave functions.

The disadvantage of naming a thing using one of the things it does, is that it focuses you too much on that one use case. Giving arbitrary names actually frees you to think of the object in whatever way is useful for the problem at hand.

mr_mitm•1y ago
I don't see how your reply is related to my post, but anyway.

> The jumble of letters Fourier says nothing about what a Fourier Transform is or does. Signalidominomorphosis, or just dominomorphosis, tells a lot more at face value than Fourier Transformation which just basically says "a transformation associated with a Fourier."

On the contrary. The jumble of letters tells you precisely what a Fourier transform is or does after you learn what the letters mean.

Telling someone "Signalidominomorphosis" does not enable them to find the Fourier transform of the double-sided exponential.