mzl

7 ms·

1.
by mzl 1mo ago
Conversely, LSP is quite limited in comparison to what can be done with a real IDE integration in JetBrains product suite, so it is not so clear cut. See this post for some details: https://matklad.github.io/2023/10&#x2
2.
From constraint models to playable puzzle games(zayenz.se)
1 points by mzl 1mo ago|0 comments
3.
Gecode 6.3.0 and 6.4.0 are released(zayenz.se)
3 points by mzl 2mo ago|0 comments
4.
by mzl 3mo ago
Skills for creating good and repeatable benchmarking scripts. A knowledge base for my research area, with tools for paper ingestion and search. An md file to html presentation tool, there are several but this one helps me. A review tool tha
5.
by mzl 5mo ago
If you modify the work, that creates a derived work from whatever copyright the original works has, not a new work that is fully copyrightable. As the article says in the Tl;DR at the top the code may be contaminated by open source licenses
6.
by mzl 5mo ago
Kimi K2.5 and K2.6 are both >1T
7.
by mzl 5mo ago
It is tricky to build good infrastructure for prompt caching.
8.
by mzl 5mo ago
Which version of Kimi and served from where?
9.
by mzl 5mo ago
Composer-2 is based on Kimi K2.5, but with extensive RL. Cursor estimated 3x more compute on their RL than the original K2.5 training run (some details in https://cursor.com/blog/composer-2-technical-report ). Composer-
10.
by mzl 5mo ago
I've been prescribed slightly more than 5g per day (2 x 650mg tablets every 6 hours) for pain after an operation jointly with ibuprofen, which is scarily close to the limits.
11.
by mzl 5mo ago
I've heard people saying the study is bad, but whenever I've asked about why the answers have been pretty bad. Do you have a good source for why we should disregard it?
12.
by mzl 5mo ago
Dan Luu had some interesting analysis about car safety, comparing how different auto-makers fared on newly introduced crash tests: https://danluu.com/car-safety/ The main take-away for me from that page is that very fe
13.
by mzl 6mo ago
There was an interesting scandal in Sweden where Oracle managed to sell the Millenium system to a regions hospitals even though they did not fulfill the requirements, and then when it inevitably crashed and burned they had to do an emergenc
14.
by mzl 6mo ago
No, but a lot of AI-adjsuted wordings have the very idiosyncratic AI-style that is prevalent in the AI-slop that is everywhere, and that style has quickly become associated with writing that is generally void of content and insight. So it i
15.
by mzl 6mo ago
As others have said, this is more of a constraint programming system than Wave Function Collapse. Whatever one wants to call it, I liked it. For guiding the search, you might want to consider search steps that select only one feature, for e
16.
by mzl 6mo ago
I have a (very slight) beef with the name Algorithm X, as it is more of a data-structure to manage undo-information for the backtracking than an algorithm. It is a very fun, useful, and interesting data-structure, but it doesn't really
17.
by mzl 7mo ago
In my view, Scrum is a way to force dysfunctional teams to have some process, it is not useful for a team that is already delivering and working in a samll-a agile manner.
18.
by mzl 7mo ago
Are you using the Model GPU memory snapshotting for this?
19.
SambaNova Unveils Fastest Chip for Agentic AI, and Raises $350M+(sambanova.ai)
2 points by mzl 7mo ago|0 comments
20.
by mzl 7mo ago
I like the intelligence per watt and intelligence per joule framing in https://arxiv.org/abs/2511.07885 It feels like a very useful measure for thinking about long-term sustainable variants of AI build-outs.
21.
by mzl 7mo ago
The cost of running things like prompt caching is defined by the implementation as that gives the infrastructure costs.
22.
by mzl 7mo ago
Saying that it is just in index from string prefixes into KV Cache misses all the fun, interesting, and complicated parts of it. While technically the size of the prompt-pointers is tiny compared with the data it points into, the massive sc
23.
by mzl 7mo ago
The prompt cache caches KV Cache states based on prefixes of previous prompts and conversations. Now, for a particular coding agent conversation, it might be more involved in how caching works (with cache handles and so on), I'm talkin
24.
by mzl 7mo ago
Depends on which cache you mean. The KV Cache gets read on every token generated, but the prompt cache (which is what incurs the cache read cost) is read on conversation starts.
25.
by mzl 7mo ago
Technically, Cerebras solution is really cool. However, I am skeptical that it will be economically useful for models that are larger in size, as the requirements on the number of racks scales with the the size of the model to fit the weigh
26.
by mzl 7mo ago
I find it interesting that the spark version seems worse than the gpt-oss version ( https://simonwillison.net/2025/Aug/5/gpt-oss/ )
27.
by mzl 8mo ago
An LLM model only outputs tokens, so this could be seen as an extension of tool calling where it has trained on the knowledge and use-cases for "tool-calling" itself as a sub-agent.
28.
by mzl 8mo ago
I said exactly what I wanted to say, in as simple terms as I am capable. The fact that some people insist on reality being simpler than it is does not make it true.
29.
by mzl 8mo ago
https://zayenz.se - personal site with blog and research publications
30.
by mzl 8mo ago
Oh, I'm also a fan. It is really cool to see what they've done. However, in the current systems they have available, they would (as far as I've understood it) just need way to many racks to be able to serve the full Deepseek

More ›