choeger

9 ms·

121.
by choeger 2y ago
Code generation should be relatively straightforward with language model. Start with a problem description and let the LLM generate the code. It should be fairly simple to ask for a proof of correctness for the generated code, then verify t
122.
by choeger 2y ago
It should be obvious that the linear no-threshold model of radiation danger is so weak that other findings are possible. After all, the human body has some repair mechanisms. Vitamin D is just the most well-known positive effect of sunlight
123.
by choeger 2y ago
Considering that when the launch order came, MAD had probably already failed: Would you have obeyed the order and killed a few million people?
124.
by choeger 2y ago
From the outside: Diversification is always great. Build a whole ecosystem of small-scale rocket manufacturers instead of one big monopoly. That will foster competition and innovation. From the investor: SpaceX might fail. Even if there Fal
125.
by choeger 2y ago
The thing is: C++ ain't a language. It's two, if not three languages mashed together. You start with the C preprocessor, then you have the template language and only then you find classes, objects, pointers, etc. That's like
126.
by choeger 2y ago
I have a hunch that by "rendering" HTML and SVG, they don't mean what I think the word means. Does this library really render HTML and SVG in the sense that it creates a bitmap from the document?
127.
by choeger 2y ago
Great comment. Just one thought: Language, unlike weather, is meta-circular. All we know about specific words or sentences is again encoded in words and sentences. So the embedding encodes a subset of human knowledge. Hence, a LLM is predic
128.
by choeger 2y ago
Funny thing is that we already live in a world where theoretically no one should be accountable for what "their" devices are doing. How the eff am I supposed to know which messages my phone is sending? From hardware vendors over o
129.
by choeger 2y ago
This. I wonder why everyone in the security apparatus acts as if they will never be affected by these kind of requests. I can only imagine two possible answers: 1. They trust in legal exceptions for themselves (look at EU chat control exc
130.
by choeger 2y ago
Wait a second. Does that mean every DNS request on a Fritz Box network is send to fritz.box first? I query google.com and get google.com.fritz.box every fucking time ? Shit.
131.
by choeger 2y ago
Came here for that comment.
132.
by choeger 3y ago
The thing is: Growth is the driver for increased efficiency and that is the driver for any kind of progress. Progress does not just happen out of thin air when a bold mind in their ivory tower has a great insight. Progress requires (wo-)m
133.
by choeger 3y ago
So the attacker put the payload into the tests folder of the compression library and injected it upon build via some arcane build script? Kudos. That's quite a smart way to hide your backdoor. Nevertheless, they got caught. So big resp
134.
by choeger 3y ago
In a eagerly evaluating functional language you could always wrap the arguments in a thunk: So if your built-in functions were implemented in Python, you'd use: def if_(cond, t, e): if cond: return t() else: ret
135.
by choeger 3y ago
"creativity", my ass. 99% of people aren't hired to be creative. They're hired to be quick and efficient. After over three years WFH now, I know that my performance has improved. Anyone asking me to move around town ever
136.
by choeger 3y ago
> The team fine-tuned the network by training it on thousands of experimentally determined structures of antibodies attached to their targets So that should explain the relatively low yield. To avoid the word "AI", the research
137.
by choeger 3y ago
Good post. Good analysis. One problem: If turing-completeness is necessary, why should there even exist a build system independent from a programming language now? Isn't the obvious solution to script your language's default bui
138.
by choeger 3y ago
Important note: Right-wing propaganda usually is built upon a small (sometimes tiny) piece of truth. Examples? January 6th was no bloodbath in the literal sense. There simply wasn't that much blood. It was a deeply undemocratic, treach
139.
by choeger 3y ago
Now here's an application for "AI": have a ultrasound device the size of a medical tricorder from Star Trek in every household with children. If child gets one of the dozens of inevitable infections, use the device to check f
140.
by choeger 3y ago
Monomorphization. For every generic function f, rustc will generate as many instances as there are type instances (shape instances? Does the Compiler distinguish between different kinds of references that all get compiled to pointers?). Thi
141.
by choeger 3y ago
I think these numbers aren't comparable because they're normalized by employees, not employable population. If you compare a traditional mom-stays-at-home family with a more typical German family they both might work 50-60 hours a
142.
Latam Airlines: 12 treated in New Zealand after mid-air 'technical' issue(bbc.com)
24 points by choeger 3y ago|7 comments
143.
by choeger 3y ago
If one considers how desperately Microsoft tries to squeeze additional revenue from Windows (forced cloud account, ads, browser war 2.0) one has to wonder at what point they'll simply shut down OS (i.e., kernel and plumbing-level user-
144.
by choeger 3y ago
Came here with exactly this on my mind. Thanks for confirming my suspicion. That being said, having specific requirements for the environment of your integration tests is not necessarily bad IMO. It's just a question of checking these
145.
by choeger 3y ago
It could be a consequence of racism. Racism lead to white people dominating the United States, which lead to images of white people dominating the internet, which lead to images of white people dominating the training data for facial recogn
146.
by choeger 3y ago
I am not aware of anything that works today, but I think that there's room for shopping agents. Say you need a new USB Stick or a pair of shoes. Something between $10 and $1000 that you simply have to buy ASAP but doesn't warrant
147.
by choeger 3y ago
Sulfur is probably not the best agent to do it, but we know that it works from the unintentional ship fuel experiment. In any case, if 2023 wasn't an exception, I'd rather have someone start a program this year. It can always be s
148.
by choeger 3y ago
A hacker news post to a stack exchange question copied from reddit? At some point we might simply fuse these networks into one, don't we?
149.
by choeger 3y ago
We have 500Wh/kg batteries by now? And they think there'll be 800Wh/kg in 2030? Wasn't that well beyond what's needed for medium-range electric flight? Is that even possible, chemically speaking?
150.
by choeger 3y ago
Very good questions. Here are a few pointers: Podman runs rootless and avoids (some of) the problems with permissions this way. It's possible to mount the source directory (when running a container) over the place you copy it to (when

More ›