kzrdude

12 ms·

181.
by kzrdude 3mo ago
When the weights are publically available (and open to use), then there's a free market for hosting that model at least. That's not independence for me, but it's lack of vendor lock-in. For some of the open models, there&#x27
182.
by kzrdude 3mo ago
Yeah but it also seems like they have the best model right now?
183.
by kzrdude 3mo ago
It aligns pretty well with corporate and pr-speak, but the LLMs really weaponize it and tire out the phrases quickly. I bet this is interesting for linguists.
184.
by kzrdude 3mo ago
Over on r/math, one objection to the proof has been raised (more discussion is needed to know if it is a problem): https://old.reddit.com/r/math/comments/1uszk3d/openai_claims...
185.
by kzrdude 3mo ago
You are basically right. The real acceptance of the proof comes when it's accepted to a journal after review. However, in some sense spreading a proof needs to be done in math - then the community reviews and decides if it is valid. We
186.
by kzrdude 3mo ago
I guess it was done as an afterthought? This is supposed to be a lean formalization https://github.com/openai/cdc-lean
187.
by kzrdude 3mo ago
I guess "depth first" is just an expression of so called chain of thought, which is just a linear sequence. I don't know if GPT has any search-like (tree search) algorithms in their reasoning, it would be quite interesting if
188.
by kzrdude 4mo ago
There's still no release of rust-bun so then it might just not exist (until it proves itself).
189.
by kzrdude 4mo ago
Oh-my-pi seems to like robo coding, while pi itself is entirely against vibe coding for production. (The clanker is a tool, not a free wheeling agent.) And I see that tonight pi has had their regular devs ship ( https://github.com
190.
by kzrdude 4mo ago
Well exactly, "Zig + someone using AI" can never beat Zig + someone who cares. A developer that cares about the project comes first, no amount of AI can change that. AI could be a good tool for a developer though.
191.
by kzrdude 4mo ago
The grid and sliding tiles illustration is great, I've never understood it that way before. Thank you!
192.
by kzrdude 4mo ago
Your coding style is halfway to IOCCC. I'm just jealous though :)
193.
by kzrdude 4mo ago
Don't Anthropic and OpenAI both already have military contracts? They are already growing into that fabric I think.
194.
by kzrdude 4mo ago
Unfortunately, Firefox is often put in the bot bucket nowadays. Not sure what happened here. It might be because of aggressive privacy settings that are flagged as unusual or suspicious.
195.
by kzrdude 4mo ago
xcancel has mostly been looping for me too.
196.
by kzrdude 4mo ago
It's available from opencode (non-chinese hosting), additionally deepseek v4-flash is available with rate limits of course, for free, there.
197.
by kzrdude 4mo ago
Trust the compiler - sure - but we can't change the whole program by using -ffast-math, unfortunately, so that particular one is out.
198.
by kzrdude 4mo ago
I wonder if monte carlo tree search could play a role in reasoning. I'm searching and it seems to come up in arxiv papers, so the idea is not dead. I'll look more into this after writing this comment..
199.
by kzrdude 4mo ago
Yes, I tried out that blog post and concluded that it has llm-written formulations, weird ordering of its alternatives, and LM Studio is the "Step" in its list that works best. The mmap trick certainly does not work.
200.
by kzrdude 4mo ago
I think the copyright and license question is one of the elephants in the room that hasn't had a satisfying conclusion. It's very important to have a clear idea of this for the open source movement.
201.
by kzrdude 4mo ago
Are you seriously suggesting that there are different acceptable perspectives on the first point? I think it's important to hold on to such things, that's how we get further and get agreement, to try to agree on fundamental princ
202.
by kzrdude 4mo ago
Running upcycling loops for specific items and materials you focus on is the way to go. Upcycling blue chips is going to continue be overpowered, which nets you high quality of them and their components.. With that said, you can play withou
203.
by kzrdude 4mo ago
Here's one of their many impressive software dev stories: making transport belt update multithreaded https://factorio.com/blog/post/fff-364#:~:text=Multithreaded...
204.
by kzrdude 4mo ago
There is plenty to learn about hardware / integrated circuits.
205.
by kzrdude 4mo ago
Don't know, but Gemini 3.1 flash lite is available for free under relatively generous limits, and it had lots of random interruptions like when I was testing it. (Intermittently responding with errors due to high load.)
206.
by kzrdude 4mo ago
You can use deepseek through opencode, which says its providers have a no-retention policy.
207.
by kzrdude 4mo ago
Norway is projected to have growth in ticks and new tick species because of climate change (warmer and more humid climate), so that's one example of it moving north (though ticks seem to always have been in Norway?)
208.
by kzrdude 4mo ago
I don't think Lua is your average ecosystem. Lua is used as an embedded interpreter. For example, Neovim doesn't want to change its configuration language's syntax just because there is a new version of Lua available. On the
209.
by kzrdude 4mo ago
I remember browsing using 5 slightly offset IE windows stacked diagonally, since this was somehow before tabs in browsers.
210.
by kzrdude 4mo ago
Copilot is the new clippy meme. Copilot is hiding in every MS product and is ready to write an email for you, anytime.

More ›