> Quint is a modern specification language that is a particularly good fit for… more
~dev×
181 links
> tine composes operating-system images out of packages and pinned third-party… more
> [jgrep] filters lines by meaning with TypeSafe's Jev decision model: ~200 ms… more
> There’s no more time-honored way to get things working again, from toasters… more
> I am no matklad, but I'm building Rust Glancer, an experimental Rust LSP, for… more
> The most recent moment that shook us came from a more fundamental shift: GLM… more
> Back to TCP. Earlier for the sake of simplicity I told a little fib, and some… more
> Zena's goal is to be a great TypeScript-like language for WebAssembly, for… more
> Many programming languages now provide the async/await keywords for… more
> We aim to safely build an automated AI researcher that can work under human… more
> Have you ever used a new program or system and found it to be obnoxiously… more
> Because I notice these kinds of things, I've had multiple jobs where… more
> Demucs is a state-of-the-art music source separation model, currently capable… more
> StemDeck is a stem separation tool, not a downloader. Its main job is… more
> The STATION is an open-world, multi-agent environment that models a miniature… more
> The idea of htmx 4 started to germinate when I decided to create fixi and, in… more
> I released a security fix for OCaml's cohttp 6.3.0 today, fixing a path… more
> Spaces, a new protocol primitive, provide a way to store and sync non-public… more
> I never let the idea go and with the recent improvements with LLMs, I find it… more
> Yadda brings true BDD to JavaScript test frameworks such as node:test, Mocha… more
> Over the years, companies that tried hosting Git repositories at scale… more
> [MicroLighter is a] tiny, dependency-free syntax highlighter for the web. more
> So what is the answer then? My best advice so far is that most things you do… more
> A computer worm is malware that spreads on a network by replicating itself… more
> tl;dr: Up until recently, supporting JavaScript in Rust based tools has been… more
> Cross-Origin Storage (COS), a content-addressable browser cache that shares… more
> Fast forward to August last year, when a data pipeline that reads those S3… more
> The [] component takes one attribute, file-id, which points to the ID value… more
> Crafting Interpreters contains everything you need to implement a… more
> pgrust is a re-implementation of Postgres meant to show what Postgres would… more
> celld is an open-source daemon that runs Cloudflare Workers and Durable… more
> workerd (pronounced: "worker-dee") is a JavaScript / Wasm server runtime… more
From the README: more
> [Perspect is a] [s]criptable desktop app to correct the perspective of images.
> A soundness bug in the Lean kernel (#14576) was reported and fixed during the… more
> In the last two milestones, Chrome 149 and 150, we have fixed 1072 security… more
> Turso is an in-process SQL database written in Rust, compatible with SQLite.… more
> Over roughly two and a half days inside our infrastructure, an autonomous AI… more
> Despite the paper’s famously accessible style, we’ve found bugs in every Raft… more
> scriptc compiles ordinary TypeScript into small, fast native executables — no… more
> We now have LLMs which, combined with proof irrelevance, promise to be an… more
> pdf-lib was created to address the JavaScript ecosystem's lack of robust… more
> Introducing honeyprompt, an LLM-first deception framework made by/for web… more
> So [Solod] supports structs, methods, interfaces, slices, maps, multiple… more
> For the past year and a half, the team building Roc's compiler has been… more
> The structural fragility of modern software engineering is intimately bound… more
> [Salt has] [z]ero-cost contracts. requires and ensures clauses are checked at… more
> [...] People feel more and more programming is completely modified by AI and… more