Mathnerd314

8 ms·

61.
by Mathnerd314 1y ago
Ok so jank is Clojure but with C++/LLVM runtime rather than JVM. So already all of its types are C++ types, that presumably makes things a lot easier. Basically it just uses libclang / CppInterOp to get the corresponding LLVM type
62.
by Mathnerd314 1y ago
3 mirrors? Arch has 827.
63.
by Mathnerd314 1y ago
Python is just a beautiful, well-designed language - in an era where LLM's generate code, it is kind of reassuring that they mostly generate beautiful code and Python has risen to the top. If you look at the graph, Julia and Lua also d
64.
by Mathnerd314 1y ago
OK, so this intuition is actually a bit hard to unpack, I got it from bits and pieces. So this is this post https://www.fast.ai/posts/2023-09-04-learning-jumps/ . Essentially, a single pass over the training data i
65.
by Mathnerd314 1y ago
Wasn't there that thing about how large LLM's are essentially compression algorithms ( https://arxiv.org/pdf/2309.10668 )? Maybe that's where this article is coming from, is the idea that finetuning "
66.
by Mathnerd314 1y ago
> we didn't mean to publish yet I was thinking this was about leaking the kernels or something, but no, they are "publishing" them in the sense of putting out the blog post - they just mean they are skipping the peer revi
67.
by Mathnerd314 1y ago
I'd say about 90% of the pain in NixOS comes from its non-FHS (Filesystem Hierarchy Standard) layout. But that's also a fundamental part of Nix/NixOS's design-it was built that way from the start. For complex packages li
68.
by Mathnerd314 1y ago
1,1,1-trichloroethane doesn't seem particularly toxic - "probable carcinogen", some neurological and liver effects but I'd say it's probably still safer than e.g. isopropyl alcohol which definitely leads to neurolog
69.
by Mathnerd314 1y ago
there was a much more "interesting" incident circa 1995, look up "The Radioactive Boy Scout"
70.
by Mathnerd314 1y ago
Hot take but you can be a terrible designer and be completely unknown too. I've been getting into music and there are a lot of wannabes and very few "gems hidden in the dirt" or whatever - if your music is good you'll at
71.
by Mathnerd314 2y ago
There is a question of originality. If the variable names, comments, etc. are preserved, then yes, it is probably a derivative work. But here, where you are starting from the obfuscated code, there is an argument that the code is solely fun
72.
by Mathnerd314 2y ago
That is how a large portion of the internet works, e.g. in most subreddits certain viewpoints will be instantly banned without any discussion. HN is kind of strange in that respect.
73.
by Mathnerd314 2y ago
There's certainly an argument that anything the government can do, the private sector can do better. That argument would conclude that the government should indeed not exist, and consequently have no programs. The reality is more compl
74.
by Mathnerd314 2y ago
All of the important programs have temporary restraining orders. That's actually the standard the judge applies, "is there a possibility of irreparable harm?" (e.g. lives lost). It's not perfect but no system is.
75.
by Mathnerd314 2y ago
Sometimes the only way to know something is important is to shut it off and see if anyone complains. For example, lots of stories in https://news.ycombinator.com/item?id=9629714 . Now certainly the Trump administration could
76.
by Mathnerd314 2y ago
> If scenarios with different mixes of CC/DAC and WWS were performed, it would not be possible to conclude whether one is an opportunity cost. Instead, using a mixture requires assuming that both CC/DAC and WWS should be used b
77.
by Mathnerd314 2y ago
Well, it's half true and half false. There are a lot of "new" fintech-ish banks competing on fees, transaction speed, overdrafts, etc. - bank-type things that matter to consumers. But it's true, there are no fintech bank
78.
by Mathnerd314 2y ago
There are apps, but they are incredibly inaccurate. For starters, they don't recognize the food right. Usually you have to pick from a menu of 10 items. Then they have to estimate a 3D quantity (volume) from a 2D image, then they have
79.
by Mathnerd314 2y ago
So let me try to put the author's argument in order: (1) The author tried to get homeowner's insurance, but was denied because their home was a significant hurricane risk (2) The author (maybe?) got insurance through a state-run F
80.
by Mathnerd314 2y ago
To quote: "Ironically, Fisher was proven right, albeit in a very limited way: such genes [that increase both the tendency to smoke and the tendency for lung cancer] do exist." The actual issue was not that (Cornfield wrote a paper
81.
by Mathnerd314 2y ago
It's kind of the same situation with alcohol now: a lot of people denouncing it, the alcohol industry throwing a lot of shade, and top scientists making confident pronouncements (on both sides).
82.
by Mathnerd314 2y ago
> you just go to SE asia I could see justifying a trip like that on a cost-of-living basis. If you go to a place like Thailand, you are going to be spending pennies on the dollar vs. the EU, even after paying incredible amounts (in local
83.
by Mathnerd314 2y ago
Well, the app store, for example. Sure, it is of course a good idea to comply with the app store policies to the extent possible, but ultimately there not much you can do to prevent Google or Apple saying "we don't like this app&q
84.
by Mathnerd314 2y ago
Well, Github explicitly took responsibility. The first action Github did once Lovable reached out for support was "reinstate our app and apologize for the issues it caused us and our users." And no, you are not responsible for eve
85.
by Mathnerd314 2y ago
I'm curious about price - sure, the speakers were free ($240 value), but I don't think printing up a PCB is cheap, and those are some pretty big capacitors.
86.
by Mathnerd314 2y ago
IIRC there was something about how the scammers don't bother making their scams that legitimate looking, because if they are too legit, they get a lot of people who waste the scammer's time during the next phases. But yeah, you&#x
87.
by Mathnerd314 2y ago
Well, with CPS it just works. You start with let x k = if x then k 1 else k 2 E k h = if h == 1 then k 2 else k 3 in \k -> x (E k) and then when you inline E into x it becomes let E k h = if h == 1 then k 2 e
88.
by Mathnerd314 2y ago
If there was a clear distinction between let-bindings and join points, I would be happy. But there is not - there is this contification process and, rather than proving that their algorithm finds all join points, they just say "it cove
89.
by Mathnerd314 2y ago
What? Let's say E[h] is "if h == 1 then 2 else 3", a is 1, and b is 2. Then before: if (if x then 1 else 2) == 1 then 2 else 3 After: if x then (if 1 == 1 then 2 else 3) else (if 2 == 1 then 2 else 3) which trivially simplifi
90.
by Mathnerd314 2y ago
If you think ANF is great then explain how to deal with the transformation from "E (if x then a else b)" to "if x then E a else E b".

More ›