Hacker News: ajs1998

New comment by ajs1998 in "The state of building user interfaces in Rust"

ajs1998 — Sat, 13 Jun 2026 14:17:45 +0000

Looks pretty neat. I'm a little disappointed about a closed beta though.

New comment by ajs1998 in "Mathematicians issue warning as AI rapidly gains ground"

ajs1998 — Wed, 03 Jun 2026 19:19:14 +0000

Spoken like someone that has no idea why mathematicians are important.

New comment by ajs1998 in "Language Models Need Sleep"

ajs1998 — Tue, 26 May 2026 16:27:15 +0000

This is the struggle of naming papers. You could stretch definitions and make your own sexy headline or you could be precise and fewer people will read it.

New comment by ajs1998 in "Show HN: Audiomass – a free, open-source multitrack audio editor for the web"

ajs1998 — Mon, 25 May 2026 01:25:13 +0000

Could be pretty easy to do with atproto accounts. Users could save/share their music as a tangled.sh repo and other people could contribute or fork as they please. A nice UI could hide all of that and make it fun to collaborate on music.

Too bad I'm lazy. RiffHub looks neat.

New comment by ajs1998 in "CBS Radio signs off after nearly 100 years of broadcasting"

ajs1998 — Fri, 22 May 2026 19:23:08 +0000

It's not just the medium. Streaming from the internet is a totally different product than radio. There's no reason we can't have both.

New comment by ajs1998 in "What's a mathematician to do? (2010)"

ajs1998 — Sun, 10 May 2026 19:10:08 +0000

I simply don't care to gatekeep what counts as education. It has taught me things from videos I can still recall a decade later and pushed me to explore different areas of math I wouldn't have done otherwise.

It's education for whoever finds it educational

New comment by ajs1998 in "What's a mathematician to do? (2010)"

ajs1998 — Sun, 10 May 2026 16:27:13 +0000

This is why I think Brady Haran is one of the coolest living mathematicians. Numberphile is educating a new generation of young mathematicians for anyone with access to youtube. Accessible math communication is so important. So many cool things are buried in textbooks and papers the average person would never read.

New comment by ajs1998 in "10 years ago, someone wrote a test for servo that included an expiry in 2026"

ajs1998 — Mon, 20 Apr 2026 15:59:53 +0000

Randomness is useful if you expect your code to do the correct thing with some probability. You test lots of different samples and if they fail more than you expect then you should review the code. You wouldn't test dynamic random samples of add(x, y) because you wouldn't expect it to always return 3, but in this case it wouldn't hurt.

New comment by ajs1998 in "The simple geometry behind any road"

ajs1998 — Sat, 18 Apr 2026 21:24:41 +0000

:( but the math is fun And they went through all this effort anyways, and to blog about it.

New comment by ajs1998 in "DaVinci Resolve – Photo"

ajs1998 — Tue, 14 Apr 2026 13:58:33 +0000

Is it only in the Studio version? Or the 21 Beta release? I downloaded the free version of Resolve 20 and I don't see any evidence that I can edit my raw nikon photos. The "Color" tab looks like it could be helpful if I knew how to turn my images in the media pool into "stills"

New comment by ajs1998 in "All elementary functions from a single binary operator"

ajs1998 — Mon, 13 Apr 2026 16:57:33 +0000

Oh my god the PC history is hilarious

https://th.if.uj.edu.pl/~odrzywolek/homepage/personal/pc/pc_...

New comment by ajs1998 in "A perfectable programming language"

ajs1998 — Mon, 13 Apr 2026 03:59:44 +0000

It is verso. My understanding is that it's like really fancy javadocs that makes communicating Lean code easier for everyone.

https://github.com/leanprover/verso

New comment by ajs1998 in "Artemis II crew take “spectacular” image of Earth"

ajs1998 — Fri, 03 Apr 2026 22:11:18 +0000

It disappoints me greatly they're not raw :(

New comment by ajs1998 in "Artificial-life: A simple (300 lines of code) reproduction of Computational Life"

ajs1998 — Sun, 08 Mar 2026 22:16:29 +0000

Awesome. I've been meaning to play around with this more after first hearing about this paper. I tried a similar automata with an even simpler representation for turing machines and there wasn't an abiogenesis moment. I guess the many no-op characters in the original paper allow for it to explore a bigger space of valid programs or to hide data without completely overwriting itself.

I would like to try alternative character encodings, including ones with fewer no-ops where most bytes are valid BF characters. Are more no-ops better? Is self replicating goo the best we can do?

New comment by ajs1998 in "US Tech Force"

ajs1998 — Mon, 15 Dec 2025 20:07:43 +0000

If you scroll to the bottom there's another image of the robot with lights/dark stripes flipped. And his head is different.

This government is a joke.

New comment by ajs1998 in "Schizophrenia sufferer mistakes smart fridge ad for psychotic episode"

ajs1998 — Sat, 06 Dec 2025 15:30:43 +0000

I would not go back. YouTube is a wonderful thing that I can't afford to pay for, and I don't want to live without. There are so many creators I love that would not be able to create and share beautiful things if they didn't get ad money. It's not all bad.

New comment by ajs1998 in "Google Antigravity just deleted the contents of whole drive"

ajs1998 — Mon, 01 Dec 2025 15:33:59 +0000

Not defending the software, but if you hand over control of your data to software that has the ability to fuck with it permanently, anything that happens to it is on you.

Don't trust the hallucination machines to make safe, logical decisions.

New comment by ajs1998 in "Confessions of a Software Developer: No More Self-Censorship"

ajs1998 — Fri, 28 Nov 2025 23:41:45 +0000

Remote work is great (for the reasons you gave and more) and saying it "sucks" made me roll my eyes, and it's reductive in the same way as saying office work "sucks." I wouldn't have had a job if in-office was the only option. It certainly didn't suck for me.

Being bad at problem solving with people far away is just another problem you can solve with practice. Same as being bad at problem solving even when help is right next to you.

New comment by ajs1998 in "Affinity Studio now free"

ajs1998 — Thu, 30 Oct 2025 20:08:43 +0000

Yeah this is driving me crazy. It must be a bug because it says "a new tab has been opened in your default browser" but my default browser is not Safari.

New comment by ajs1998 in "Formal Reasoning [pdf]"

ajs1998 — Sun, 26 Oct 2025 20:33:24 +0000

Join the Lean Zulip. There are many people interested in this.

https://leanprover.zulipchat.com/