Posts by j2kun@mathstodon.xyz
(DIR) Post #AS2urOSjxCV8YBWlQ8 by j2kun@mathstodon.xyz
2023-01-26T20:24:04Z
0 likes, 0 repeats
I just read "Free Software" as "Freeze Software" and now I think that Freeze Software should be a movement to stop breaking stuff by just never changing anything.
(DIR) Post #AS2x2oQZxLWqAp5ai0 by j2kun@mathstodon.xyz
2023-01-26T19:11:17Z
0 likes, 1 repeats
I spent 15 minutes showing my wife how to use AutoHotKey to automatically type her office hours schedule into text boxes (since she types that a lot).Now her idea of date night (grandma takes the kid) is to go to a bar with our laptops and figure out what else about her job we can automate. True love.
(DIR) Post #ATqd667H7QmE0huBQO by j2kun@mathstodon.xyz
2023-03-21T17:52:19Z
0 likes, 0 repeats
@simon ok but IS it illegal? Looking for citations, Bard
(DIR) Post #ATtk95I3vdZbTFCZqi by j2kun@mathstodon.xyz
2023-03-23T05:58:08Z
0 likes, 0 repeats
@simon cost is the #1 reason LLMs can't be used, say, in Search already.
(DIR) Post #ATyFQX2ClgyQlYsPlg by j2kun@mathstodon.xyz
2023-03-25T10:08:44Z
0 likes, 0 repeats
@lauren the only reason it's "all internet usage" is because the internet has become reduced to 5 websites (social media) posting screenshots of the other 4.
(DIR) Post #AW3LuJUTFm8weC68eW by j2kun@mathstodon.xyz
2023-05-26T16:33:16Z
0 likes, 0 repeats
@dabeaz just fix the IDE???
(DIR) Post #AYwX8vYECLUqAtScs4 by j2kun@mathstodon.xyz
2023-08-21T03:36:57Z
0 likes, 0 repeats
@simon to be fair, "do you use" is a very different question from "have you tried"
(DIR) Post #AbR6kFfpfBcqmijx32 by j2kun@mathstodon.xyz
2023-11-03T14:45:54Z
0 likes, 0 repeats
What would you say is the "end goal" of formalizing mathematics?
(DIR) Post #AbSjDPLskXhccDhM3s by j2kun@mathstodon.xyz
2023-08-11T19:08:02Z
0 likes, 1 repeats
Folks in the FHE space have told me that MLIR has too steep a learning curve, so I'm writing a series of complete beginner MLIR tutorials. Each article is a pull request, each step of the tutorial is a commit. https://github.com/j2kun/mlir-tutorial
(DIR) Post #AbSjDZUP3iSc3XlIjQ by j2kun@mathstodon.xyz
2023-08-11T19:08:21Z
0 likes, 0 repeats
I really enjoy writing tutorials in this style, but it's hard to tell how much value it has to readers.
(DIR) Post #AbSjDe5Py2RgJV6uyu by j2kun@mathstodon.xyz
2023-08-17T05:20:12Z
0 likes, 0 repeats
It's on HN right now and there's a raging debate about whether I should have explained what MLIR is in the README for the github repo.
(DIR) Post #AbSjDhXX7xiZ1ZHuim by j2kun@mathstodon.xyz
2023-08-17T05:24:27Z
0 likes, 0 repeats
tbh I didn't think the github repo would be the first landing.
(DIR) Post #AboRUhy1yvfJmKcDlQ by j2kun@mathstodon.xyz
2023-11-14T23:32:18Z
0 likes, 0 repeats
@simon did you know Google search can do this with its calculator? (Search "2.5 TiB in MiB" for example)
(DIR) Post #AboVhlX4RBXOPuUEvA by j2kun@mathstodon.xyz
2023-11-15T00:19:34Z
0 likes, 0 repeats
@simon that is true, removing the scientific notation would make that feature better
(DIR) Post #AbqXSmrULLpvqyXggq by j2kun@mathstodon.xyz
2023-11-15T21:12:02Z
0 likes, 1 repeats
The MLIR compiler tutorial series I've been writing is finally getting to some interesting math: this next article talks about how lattices are used to do dataflow analysis, and defines an integer linear program to solve a simplified version of a noise analysis problem common in FHE.https://jeremykun.com/2023/11/15/mlir-a-global-optimization-and-dataflow-analysis/
(DIR) Post #AcSFFBfGulv9YXfeCm by j2kun@mathstodon.xyz
2023-12-03T21:11:30Z
1 likes, 0 repeats
I had previously believed (and told people) that Korea's COVID contract tracing system used homomorphic encryption to keep user location data private. It seems I was _very_ wrong. The proposed techniques https://pubmed.ncbi.nlm.nih.gov/33999829/ came after Korea had some serious privacy issues with their contact tracing methods (though Korean officials still stand by their decisions, and they have the extremely low total case counts to back them up).The authors of that paper implemented a web app, but I can't find any evidence that it was actually deployed at any scale. >_<
(DIR) Post #AckMAW20r2NWOmXyIy by j2kun@mathstodon.xyz
2023-12-12T21:55:57Z
1 likes, 2 repeats
2-bit quantized LLM using coding theory: https://cornell-relaxml.github.io/quip-sharp/
(DIR) Post #AhpGxCChUI9HOwONrk by j2kun@mathstodon.xyz
2023-10-27T03:19:37Z
0 likes, 0 repeats
What is the best known bound on the maximum size of a 4-arithmetic-progression-free set in [n]?
(DIR) Post #AhpGxCx8hdINiy7TFY by j2kun@mathstodon.xyz
2023-10-27T04:02:53Z
0 likes, 0 repeats
Also of interest to me: how "asymptotic" are the bounds? E.g., is the actual answer for, say, n=30 really far from the asymptotic bound?
(DIR) Post #AkQh6VVM8CYUKxry8O by j2kun@mathstodon.xyz
2024-07-29T17:13:51Z
0 likes, 0 repeats
I saw @rogue_scholar and thought: a DOI for each of my blog posts, how cool! And then I thought, meh, who would ever cite my blog in an academic paper.