HNHacker News
TopNewBestAskShowJobs

mzl

1,920 karma · joined April 27, 2010

submissionscomments

From constraint models to playable puzzle games

zayenz.se·1 pts·mzl·
0

Gecode 6.3.0 and 6.4.0 are released

zayenz.se·3 pts·mzl·
0

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

sambanova.ai·2 pts·mzl·
0

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

magazine.sebastianraschka.com·5 pts·mzl·
1

Discovering Underlying Analytic Structure in Standard Model Constants Using AI

mdpi.com·1 pts·mzl·
0

Intelligence per Watt: Measuring Intelligence Efficiency of Local AI

arxiv.org·3 pts·mzl·
0

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

cas-bridge.xethub.hf.co·3 pts·mzl·
0

Solving the Partridge Packing Problem Using MiniZinc

zayenz.se·33 pts·mzl·
4

Rotating Workforce Scheduling in MiniZinc

zayenz.se·56 pts·mzl·
7

AI chip firm Cerebras raises $1.1B

finance.yahoo.com·1 pts·mzl·
0

Benchmarking MiniZinc and the LinkedIn Queens Problem

zayenz.se·1 pts·mzl·
0

Solving LinkedIn Queens Using MiniZinc

zayenz.se·3 pts·mzl·
2

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

sambanova.ai·5 pts·mzl·
2

Binary Magic: Building BitNet 1.58bit Using PyTorch from Scratch

medium.com·1 pts·mzl·
0

SambaNova Says Its First with Trillion-Parameter GenAI Model

insidehpc.com·2 pts·mzl·
1

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

erikbern.com·700 pts·mzl·
317

The hacker's guide to uncertainty estimates

erikbern.com·248 pts·mzl·
11

Constraint Solving with MiniZinc

hillelwayne.com·118 pts·mzl·
38

Constraint Solving with MiniZinc

hillelwayne.com·3 pts·mzl·
0

Monte Carlo Methods for the Game Kingdomino

zayenz.se·47 pts·mzl·
6

Unison: register allocation, instruction scheduling using constraint programming

unison-code.github.io·2 pts·mzl·
0

Monte Carlo Methods for the Game Kingdomino

zayenz.se·2 pts·mzl·
0

Interviewing is a noisy prediction problem

erikbern.com·2 pts·mzl·
0

Waiting time, load factor, and queueing theory

erikbern.com·2 pts·mzl·
0

Container Structure Tests: Unit Tests for Docker Images

opensource.googleblog.com·84 pts·mzl·
23

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

opensource.googleblog.com·2 pts·mzl·
0

SOLID Deconstruction – Kevlin Henney [video]

vimeo.com·1 pts·mzl·
0

Why TDD isn't crap

hillelwayne.com·159 pts·mzl·
161

Why conversion matters – a toy model

erikbern.com·1 pts·mzl·
0

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

labs.spotify.com·2 pts·mzl·
0
Page 1 of 3Next →