ajs1998

7 ms·

1.
by ajs1998 12d ago
> What this work is, and is not > I am currently being funded by the EPSRC to formalize a proof of Fermat’s Last Theorem, and a naive reaction to the news above is that I no longer have any work to do. This is not the case. The work c
2.
by ajs1998 12d ago
ZFC is probably the biggest foundation, and only Choice is apparently controversial. The results aren't that weird, they're just different and occasionally more useful than using !Choice.
3.
by ajs1998 2mo ago
I get your point but unless you actually need tritium water the number still means nothing lol.
4.
by ajs1998 2mo ago
It's a red flag. Even if they agree and understand whatever they copied from chatgpt, they were too lazy to clean up its output. Are they also too lazy to read the news or does chatgpt summarize their articles too? AI people are like e
5.
by ajs1998 2mo ago
That's your handle and it points to the server where your atproto account's data is stored. You can use this same login for other atproto apps and it will all be stored on the server at tngl.sh A username.bsky.social handle just m
6.
by ajs1998 3mo ago
They made a transphobic joke 3 times and the bluesky users that enabled their intolerance filter never saw it. What exactly is the problem? The posts weren't deleted. Nobody liked the joke because it's a bad joke.
7.
by ajs1998 3mo ago
It's been a while since I built a PC but that price seems very fair
8.
by ajs1998 3mo ago
Looks pretty neat. I'm a little disappointed about a closed beta though.
9.
by ajs1998 4mo ago
Spoken like someone that has no idea why mathematicians are important.
10.
by ajs1998 4mo ago
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.
11.
by ajs1998 4mo ago
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 musi
12.
by ajs1998 4mo ago
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.
13.
by ajs1998 4mo ago
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 f
14.
by ajs1998 4mo ago
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 th
15.
by ajs1998 5mo ago
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 samp
16.
by ajs1998 5mo ago
:( but the math is fun And they went through all this effort anyways, and to blog about it.
17.
by ajs1998 5mo ago
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
18.
by ajs1998 5mo ago
Oh my god the PC history is hilarious https://th.if.uj.edu.pl/~odrzywolek/homepage/personal/pc/pc_...
19.
by ajs1998 5mo ago
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
20.
by ajs1998 6mo ago
It disappoints me greatly they're not raw :(
21.
by ajs1998 6mo ago
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
22.
by ajs1998 9mo ago
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.
23.
by ajs1998 9mo ago
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
24.
by ajs1998 10mo ago
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 dec
25.
by ajs1998 10mo ago
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
26.
by ajs1998 11mo ago
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.
27.
by ajs1998 11mo ago
Join the Lean Zulip. There are many people interested in this. https://leanprover.zulipchat.com/
28.
by ajs1998 11mo ago
I don't think there's a clear distinction between vibecoding and AI assisted coding because there's black boxes EVERYWHERE no matter how knowledgeable you are. Compilers assist me to not have to think about machine code. Web
29.
by ajs1998 11mo ago
After learning about ActivityPub and ATProto, people that talk about them literally cannot agree on what decentralized means.
30.
by ajs1998 11mo ago
I think Bluesky exists to demonstrate that people want the features that come with centralization without the oppressive platform lock-in. If Bluesky's moderation, TOS, UI, default feeds, etc. are intolerable to you, then you should be

More ›