HN user

mzl

1,916 karma
Posts71
Comments405
View on HN
zayenz.se 6d ago

Gecode 6.3.0 and 6.4.0 are released

mzl
3pts0
sambanova.ai 4mo ago

SambaNova Unveils Fastest Chip for Agentic AI, and Raises $350M+

mzl
2pts0
magazine.sebastianraschka.com 7mo ago

A Technical Tour of the DeepSeek Models from V3 to v3.2

mzl
5pts1
www.mdpi.com 7mo ago

Discovering Underlying Analytic Structure in Standard Model Constants Using AI

mzl
1pts0
arxiv.org 7mo ago

Intelligence per Watt: Measuring Intelligence Efficiency of Local AI

mzl
3pts0
cas-bridge.xethub.hf.co 7mo ago

DeepSeek-v3.2: Pushing the Frontier of Open Large Language Models

mzl
3pts0
zayenz.se 7mo ago

Solving the Partridge Packing Problem Using MiniZinc

mzl
33pts4
zayenz.se 8mo ago

Rotating Workforce Scheduling in MiniZinc

mzl
56pts7
finance.yahoo.com 9mo ago

AI chip firm Cerebras raises $1.1B

mzl
1pts0
zayenz.se 11mo ago

Benchmarking MiniZinc and the LinkedIn Queens Problem

mzl
1pts0
zayenz.se 1y ago

Solving LinkedIn Queens Using MiniZinc

mzl
3pts2
sambanova.ai 1y ago

SambaNova Cloud Launches the Fastest DeepSeek-R1 671B (198 tok/s)

mzl
5pts2
medium.com 2y ago

Binary Magic: Building BitNet 1.58bit Using PyTorch from Scratch

mzl
1pts0
insidehpc.com 2y ago

SambaNova Says Its First with Trillion-Parameter GenAI Model

mzl
2pts1
erikbern.com 7y ago

Why software projects take longer than you think – a statistical model

mzl
700pts317
erikbern.com 7y ago

The hacker's guide to uncertainty estimates

mzl
248pts11
www.hillelwayne.com 7y ago

Constraint Solving with MiniZinc

mzl
118pts38
www.hillelwayne.com 7y ago

Constraint Solving with MiniZinc

mzl
3pts0
zayenz.se 7y ago

Monte Carlo Methods for the Game Kingdomino

mzl
47pts6
unison-code.github.io 7y ago

Unison: register allocation, instruction scheduling using constraint programming

mzl
2pts0
zayenz.se 7y ago

Monte Carlo Methods for the Game Kingdomino

mzl
2pts0
erikbern.com 8y ago

Interviewing is a noisy prediction problem

mzl
2pts0
erikbern.com 8y ago

Waiting time, load factor, and queueing theory

mzl
2pts0
opensource.googleblog.com 8y ago

Container Structure Tests: Unit Tests for Docker Images

mzl
84pts23
opensource.googleblog.com 8y ago

Introducing container-diff, a tool for quickly comparing container images

mzl
2pts0
vimeo.com 8y ago

SOLID Deconstruction – Kevlin Henney [video]

mzl
1pts0
hillelwayne.com 8y ago

Why TDD isn't crap

mzl
159pts161
erikbern.com 8y ago

Why conversion matters – a toy model

mzl
1pts0
labs.spotify.com 8y ago

Big Data Processing at Spotify: The Road to Scio (Part 2)

mzl
2pts0
labs.spotify.com 8y ago

Big Data Processing at Spotify: The Road to Scio (Part 1)

mzl
3pts0

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 that splits a PR or branch intelligently into modules, and does per module reviews and global reviews for different aspects, and then summarizing that into a report. Can be used with multiple different harnesses. Written as a Python project, but build-time assembled into a single-file Python script with uv run --script shbang line.

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

Agentic coding tools like Claude Code, Cursor, and Codex generate code that may be uncopyrightable, owned by your employer, or contaminated by open source licenses you cannot see

DeepSeek v4 3 months ago

It is tricky to build good infrastructure for prompt caching.

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.

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 is natural to get gut-reactions to the typical phrasings that have become associated with AI.

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 example that a pair of adjacent tiles should be connected by a road, and just propagate that information. That could be used as a way to guide the search on high-level features first, and then later realize the plans by doing the normal search.

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 change what steps are performed in the backtracking search.

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.

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 scale of managing this over all users and requests and routing inside the compute cluster makes it an expensive thing to implement and tune. Also, keeping the prompt cache sufficiently responsive and storing the large KV Caches somewhere costs a lot as well in resources.

I think that the OpenAI docs are pretty useful for the API level understanding of how it can work (https://developers.openai.com/api/docs/guides/prompt-caching...). The vLLM docs (https://docs.vllm.ai/en/stable/design/prefix_caching/) and SGLang radix hashing (https://lmsys.org/blog/2024-01-17-sglang/) are useful for insights into how to implement it locally for one computer ode.

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 talking about the general case here. This is a way to avoid repeating the same quadratic cost computing over the prompt. Typically, LLM providers have much lower pricing for reading from this cache than computing again.

Since the prompt cache is (by necessity, this is how LLMs work) prefix of a prompt, if you have repeated API calls in some service, there is a lot of savings possible by organizing queries to have less commonly varying things first, and more varying things later. For example, if you included the current date and time as the first data point in your call, then that would force a recomputation every time.

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 weights in SRAM.

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.

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 model for it to have any kind of economics. The main limiting factor is the amount of sram available per wafer.

Asking someone to give a sharp dividing line in a multi-dimensional bimodal but not discontinuous distribution is just nonsense.

In particular, being unable to give that strict difference (that does not exist) is not proof of not believing that the general bimodal groups exist, nor acknowledging that existence, nor saying that there is not general differences between the groups. It is not the gotcha that elementary school biology suggests it would be.

A better reason why wine glasses are not filled like that is that wine glasses are designed to capture the aroma of the wine.

Since people look at a glass of wine and judge how much "value" they got based partly on how much wine it looks like, many bars and restaurants choose bad wine-glasses (for the purpose of enjoying wine) that are smalle and thus can be fulled more.

Jepsen: NATS 2.12.1 8 months ago

You might not have a school education, but you have educated yourself. It is unfortunately common to hear people complain that the theory one learns in school (or by determined self-study) is useless, which I think is what the geybeard comment you replied to intends to say.