Readit News logoReadit News
Zondartul commented on Kilo Code: Speedrunning open source coding AI   blog.kilocode.ai/p/kilo-c... · Posted by u/ofou
janpaul123 · 5 months ago
Good point! In that sense we're similar to most AI coding agents in that the languages we do well are the languages the mainstream LLMs do well. We might zoom in and add really good support for particular languages though (not decided yet), in which case we'll def mention that front and center!

Have you found any LLMs or coding agents that work well with Haxe? It might be a bit too niche for us (again, not sure yet), but I'd be very curious to see what they do well!

Zondartul · 5 months ago
In my unqualified opinion, LLMs would do better at niche languages or even specific versions of mainstream languages, as well as niche frameworks, if they were better at consultig the documentation for the language or framework, for example, the user could give the LLM a link to the docs or an offline copy, and the LLM would prioritise the docs over the pretrained code. Currently this is not feasible because 1. limited context is shared with the actual code, 2. RAG is one-way injection i to the LLM, the LLM usually wouldn't "ask for a specific docs page" even if they probably should.
Zondartul commented on Why the weak nuclear force is short range   profmattstrassler.com/art... · Posted by u/sohkamyung
sigmoid10 · 7 months ago
The author isn't inventing anything. He's just dumbing it down in an extreme way so that non-physicists could have the faintest hope of understanding it. Wich seems odd, because if you actually want to understand any of this you should prepare to spend two or three years in university level math classes first. The truth is that in reality all this is actually a lot more complex. In the Higgs field (or any simple scalar field for that matter) for example, there is a free parameter that we could immediately identify as "mass" in the way described in the article. But weirdly enough, this is not the mass of the Higgs boson (because of some complicated shenanigans). Even more counterintuitive, fermionic (aka matter) fields and massive bosonic fields (i.e. the W and Z bosons mentioned in the article) in the Standard Model don't have any mass term by themselves at all. They only get something that looks (and behaves) like a mass term from their coupling to the Higgs field. So it's the "stiffness" of the Higgs field (highly oversimplified) that gives rise to the "stiffness" of the other fields through complex interactions governed by symmetries. And to put it to the extreme, the physical mass you can measaure in a laboratory is something that depends on the energy scale at which you perform your experiments. So even if you did years of math and took an intro to QFT class and finally think you begin to understand all this, Renormalization Group Theory comes in kicks you back down. If you go really deep, you'll run into issues like Landau Poles and Quantum Triviality and the very nature of what perturbation theory can tell us about reality after all. In the end you will be two thirds through grad school by the time you can comfortably discuss any of this. The origin of mass is a really convoluted construct and these low-level discussions of it will always paint a tainted picture. If you want the truth, you can only trust the math.
Zondartul · 7 months ago
At some point our understanding of fundamental reality will be limited not by how much the physicists have uncovered but by how many years of university it would take to explain it. In the end each of us only has one lifetime.
Zondartul commented on Cognitive load is what matters   minds.md/zakirullin/cogni... · Posted by u/zdw
mnsc · 8 months ago
So even if comments are flawlessly updated they are not a silver bullet. Not everyone are good at explaining confusing concepts in plain English so worst case you have confusing code and a comment that is 90% accurate but describe one detail in a way that doesn't really match what the code says. This will make you question if you have understood what the code does and it will take time and effort to convince yourself that code is in fact deterministic and unsurprising.

(but most often the comment is is just not updated or updated along with the code but without full understanding, which is what caused the bug that is the reason you are looking at the code in question)

Zondartul · 8 months ago
Comments that explain the intent, rather than implementation, are the more useful kind. And when intent doesn't match the actual code, that's a good hint - it might be why the code doesn't work.
Zondartul commented on The unbearable slowness of being: Why do we live at 10 bits/s?   cell.com/neuron/abstract/... · Posted by u/sebg
Zondartul · 8 months ago
Ask stupid questions, receive stupid answers.
Zondartul commented on Making memcpy(NULL, NULL, 0) well-defined   developers.redhat.com/art... · Posted by u/gslin
david-gpu · 9 months ago
More information on this behavior in the link below.

> Note that, apart from contrived examples with deleted null checks, the current rules do not actually help the compiler meaningfully optimize code. A memcpy implementation cannot rely on pointer validity to speculatively read because, even though memcpy(NULL, NULL, 0) is undefined, slices at the end of a buffer are fine. [And if the end of the buffer] were at the end of a page with nothing allocated afterwards, a speculative read from memcpy would break

https://davidben.net/2024/01/15/empty-slices.html

Zondartul · 9 months ago
What does "speculative" mean in this case? I understand it as CPU-level speculative execution a.k.a. branch mis-prediction, but that shouldn't have any real-world effects (or else we'd have segfaults all the time due to executing code that didn't really happen)
Zondartul commented on NASA Investigates Laser-Beam Welding in a Vacuum for In-Space Manufacturing   science.slashdot.org/stor... · Posted by u/CHB0403085482
ziddoap · 9 months ago
>Cold welding is unintentional, spontaneous joining of two metal parts in vacuum.

Is the only distinction the intention, though?

Because I saw some examples of industrial applications of cold welding, so I'm still not quite getting why cold welding isn't considered welding (I have been googling since my original comment, but not finding anyone making this same distinction).

Zondartul · 9 months ago
Normal welding needs heat to melt the metals. Cold welding happens without heat. Two metal parts will cold-weld on any smooth, touching faces if the air molecules that keep the two separated disappear.
Zondartul commented on NASA Investigates Laser-Beam Welding in a Vacuum for In-Space Manufacturing   science.slashdot.org/stor... · Posted by u/CHB0403085482
ziddoap · 9 months ago
I know nothing about welding, what is the distinction?

I clicked on that Wiki link and it said cold welding is "welding process", and the hyperlink to the regular welding page includes solid-state welding, which mentions cold welding.

Zondartul · 9 months ago
Cold welding is unintentional, spontaneous joining of two metal parts in vacuum. You don't want that to happen, especially if the parts are meant to move.

Normal welding is intentional application of heat to partially melt two parts at the seam, so that they "mix" in semi-liquid state and become one part when they solidify. Welding may or may not use a third material (solder) to aid the process.

Zondartul commented on The surprising effectiveness of test-time training for abstract reasoning [pdf]   mit.edu/~akyurek/papers/t... · Posted by u/trott
razodactyl · 10 months ago
You're on track in your arguments but don't underestimate how hard the puzzles in ARC actually are.

It takes a considerable amount of depth in reasoning to see and reason about the patterns / problems / solutions.

Try doing a few of them by hand to see what I mean.

Simulated worlds are complex enough to hide their own flaws just like LLMs are complex enough to lead us to believe they can reason when most of the time they are pattern matching.

Zondartul · 9 months ago
ARC problems are too hard for me. I'm no longer sure I'm generally intelligent.
Zondartul commented on Show HN: LlamaPReview – AI GitHub PR reviewer that learns your codebase   github.com/marketplace/ll... · Posted by u/Jet_Xu
Zondartul · 10 months ago
By "learns" do you mean "just shove the entire codebase into the context window", or does actual training-on-my-data take place?
Zondartul commented on The Copenhagen Book: general guideline on implementing auth in web applications   thecopenhagenbook.com/... · Posted by u/sebnun
efitz · a year ago
What people want is authorization. Authentication is a painful activity that must be performed in order to do authorization properly in most cases.

Side note: there is a trivial case where authentication is reduced to “whoever is physically holding/interacting with the system”. This is when either the operation to be authorized is relatively low risk (changing the channel on the TV with the line-of-sight IR remote control) or when you’re depending on physical security controls to prevent access to people who shouldn’t be doing the thing, e.g. requiring data center technicians to badge in before they can go into the server room and start disconnecting things.

Zondartul · a year ago
To be fair, once someone has physical access to the machine, them having full access is just a matter of time and effort. So at that point it's security-through-too-much-effort-to-bother.

u/Zondartul

KarmaCake day139May 13, 2022
About
Freelance C++ dev and EE enthusiast
View Original