Writing · tag
Encoding a 4x4 Sudoku as a propositional formula: cell, row, column and 2x2 constraints, then letting the limboole SAT checker solve it.
15 Nov 20235 min read
I fine-tuned Falcon-H1-7B-Instruct on a tool-calling mix with QLoRA and re-ran BFCL. It scored 24.50% live accuracy against the base model's 67.21%.
28 Sept 20259 min read
Workshop-Einstieg in React für Entwickler ohne Web-Hintergrund: von der statischen Webseite über Web 2.0 und Single-Page-Applications bis zum ersten React-Projekt.
09 Jul 202310 min readDeutsch
Turn them off if they get in the way. The choice is remembered on this device, and ⌘K keeps working either way.
