HNHacker News
TopNewBestAskShowJobs

snemvalts

451 karma · joined April 10, 2015

https://sander.codes
submissionscomments
snemvalts··on Show HN: Quake ported to safe Rust, playable in browser
They aren't obviously, but iirc around 70% of vulnerabilities in Chrome and Windows have been memory safety bugs.
snemvalts··on Show HN: Quake ported to safe Rust, playable in browser
Rust only prevents types of bugs where the game crashes because of invalid memory access, or exploits.
snemvalts··on Shimano Bicycle Museum Review
Wanted to say thanks for making this app, makes following races so much easier rather than looking at estimated finish time and setting alarms every day of a tour lol.
snemvalts··on Show HN: How long do I need to work at my salary before I can coast, or retire?
For those who don't want to run random python scripts locally https://engaging-data.com/fire-calculator/
snemvalts··on 9 Ads per Minute: FIFA Cup 26 – "the price of the beautiful game"
This funding does not only apply to the top level, it applies all the way down to national club level and below.
snemvalts··on 9 Ads per Minute: FIFA Cup 26 – "the price of the beautiful game"
The sport wouldn't be as popular or have as much funding. The reason football is where it is because of marketing.

This can be extended to all other sports. A sport needs to be easy to follow and easy to advertise with to get funding. Being able to practice it cheaply on a grass-roots level helps.

snemvalts··on Nvidia agrees to acquire Hugging Face for $13B
$100M+ from the IPO isn't enough to being set for life, it has to be $1B+ from the buyout?
snemvalts··on Kimi-K3 on HuggingFace
"I'd like a car that goes 300mph and gets 100mpg while doing it. I'm aware of a car that gets 100mpg but it is extremely slow."

You are describing fundamental tradeoffs. Getting more performance relative to model size and training token amount is what all of the labs are solving.

snemvalts··on Claude Code uses Bun written in Rust now
The lowest of the bars
snemvalts··on ZCode – Harness for GLM-5.2
But this harness app is chinese?
snemvalts··on LLMs are eroding my software engineering career and I don't know what to do
Most benchmarks can be trained for as well, so they are over-representative of model's engineering skills. The entire nature of a benchmark is collapsing some qualitative work (software engineering task, architecture choice, code quality) into a quantitative score which can be optimized for.
snemvalts··on Does anybody like React?
Let's say you to render conditionally when `x` is present. You do `v-if="x"`. Now you want to refer to `x.y.z` in the body, while `y` is optional.

Can you be sure that the value is present? How do you check for it? What does Vue need to do to enable this functionality with static type checking with TypeScript?

With `{x && <>{x.y.z}</>}`, it's almost vanilla TS, it's the same as `x && x.y.z` in normal TS. Type narrowings that work in TS are guaranteed to work in React, without the framework having to do anything.

Less framework/library code required to make the same thing work. To me, that's the sign of a better abstraction and implementation.

snemvalts··on Does anybody like React?
JSX is a very thin layer of templating logic inside JS. Meaning you have all the language features available while templating. Some arbitrary JS can result in templating.

Vue's DSL is whatever language the developer implemented. Which is probably not enough, depends how much effort they put into it and how good they are in language design. Given that they cargo cult HTML tags to organize components in a pseudo-familiar but not-valid-HTML way, I don't have much confidence in their language design skills.

I'd take the former any day.

snemvalts··on Jira Is Turing-Complete
How many of them can run infinitely? Or be re-triggered by humans to continue where they left off?
snemvalts··on An OpenAI model has disproved a central conjecture in discrete geometry
Tai's Model (https://en.wikipedia.org/wiki/Tai%27s_model) is a perfect example of this
snemvalts··on Access to frontier AI will soon be limited by economic and security constraints
What about other benchmarks? Benchmarks where the contents are freely available have become useless for evaluating models.
snemvalts··on Epoch confirms GPT5.4 Pro solved a frontier math open problem
Scaling law is a power law , requiring orders of magnitude more compute and data for better accuracy from pre-training. Most companies have maxed it out.

For RL, we are arriving at a similar point https://www.tobyord.com/writing/how-well-does-rl-scale

Next stop is inference scaling with longer context window and longer reasoning. But instead of it being a one-off training cost, it becomes a running cost.

In essence we are chasing ever smaller gains in exchange for exponentially increasing costs. This energy will run out. There needs to be something completely different than LLMs for meaningful further progress.

snemvalts··on Epoch confirms GPT5.4 Pro solved a frontier math open problem
The ability to learn and infer without absorbing millions of books and all text on internet really does make us special. And only at 20 watts!
snemvalts··on Epoch confirms GPT5.4 Pro solved a frontier math open problem
Math and coding competition problems are easier to train because of strict rules and cheap verification. But once you go beyond that to less defined things such as code quality, where even humans have hard time putting down concrete axioms, they start to hallucinate more and become less useful.

We are missing the value function that allowed AlphaGo to go from mid range player trained on human moves to superhuman by playing itself. As we have only made progress on unsupervised learning, and RL is constrained as above, I don't see this getting better.

snemvalts··on Ex-GitHub CEO launches a new developer platform for AI agents
In simpler terms - they create an MCP server, essentially an API that the coding agent can call, that can fill in context about previous decisions done by the coding agent earlier in development. Agent equivalent of asking someone who's been working there longer "why is this this way".

This means that the agent will can have context of previous decisions, something that they currently struggle with as they are always starting from a blank slate.

snemvalts··on Ex-GitHub CEO launches a new developer platform for AI agents
MCP server with RAG to feed it back to agents when they are working on a piece of code, and bob's your uncle
snemvalts··on Sugar industry influenced researchers and blamed fat for CVD (2016)
Treating T2D and preventing T2D are completely different things from a dietary perspective. Same way you wouldn't give chemotherapy to a healthy person to prevent cancer
snemvalts··on Sugar industry influenced researchers and blamed fat for CVD (2016)
Red meat (a known carcinogen) at the top is gold. All that saturated fat the energy will come from (not from protein or veggies) will probably cause heart problems and plaque formation in arteries, not to mention insulin resistance just from increased FFAs in blood.

Vegetarians and vegans have lower T2D incidence on average FWIW.

snemvalts··on Show HN: Autism Simulator
i would interpret physical fitness as cardio exercise routine and depleted muscle glycogen stores: so breakfast is very welcome and without it is not possible to keep up exercise routine
snemvalts··on React is winning by default and slowing innovation
Yes, but it is not syntax. It's a contract with the library. React is completely usable using vanilla JS syntax. Same cannot be said for Vue and Angular. It feels a bit like talking about apples and oranges in this thread.
snemvalts··on React is winning by default and slowing innovation
You can write const [a, b] = useState('x') in vanilla js and typescript. Hence it is not magic syntax.
snemvalts··on Apple's On-Device and Server Foundation Models
The swapping is indeed faster as the SSD is on the SoC and so fast to access. To the point that an 4 year old 8gb M1 Air is enough for simpler development work, at least for me.
snemvalts··on Cardio fitness is a strong, consistent predictor of morbidity and mortality
I'm speaking from experience regarding mental illnesses and exercise. And I never discounted medication. Just that exercise is critically underprescribed, I'm fairly sure it would work better for milder cases compared to meds. Not to mention the other health benefits listed in the thread.

Same way an opioid pill is still prescribed in cases of cancer or severe pain. Just that there are probably better, milder alternatives that don't have as many side effects that could fit a lot of these people with milder problems.

snemvalts··on Cardio fitness is a strong, consistent predictor of morbidity and mortality
If you have to measure time spent and do cost/benefit analysis, you're most likely not going to stick with it for the entirety of life.
snemvalts··on Cardio fitness is a strong, consistent predictor of morbidity and mortality
In Amsterdam they are commuting, and in a fantastic infrastructure where cars get red lights when bicycles approach on an intersecting cycleway. That's probably the main reason for safety and why they ride so much.
Page 1 of 5Next →