🧪 Property-based testing - justmoon · Scour

kcsujeet/testoise: Lightweight and fully type-safe lazy test variables for Bun, Vitest, and Jest. Inspired by RSpec.

github.com·1d·

Discuss: r/javascript

Achieving Zero Bugs: Rust, Specs, and AI Coding

borg.org·5h·

Discuss: Hacker News

Infinite Lists in Lean

unnamed.website·1d·

Discuss: Lobsters

Test Control from a Google Spreadsheet

get-skipper.github.io·1d·

Discuss: Hacker News

Formal verification of tree-based machine learning models for lateral spreading

arxiv.org·3d

Maximally minimal view types

smallcultfollowing.com·1d·

Discuss: Lobsters, Hacker News

Specification debugging as code generation

protocols-made-fun.com·1d

A Guide on How to Develop and Benchmark the Same Feature in Node and Go

hackernoon.com·22h

LongCat-Flash-Prover: A new frontier for Open-Source Formal Reasoning.

huggingface.co·2d·

Discuss: r/LocalLLaMA

Show HN: Banish: A declarative framework for rule-based state machines in Rust

github.com·12h·

Discuss: Hacker News

Less-relevant results

Trump says US will ‘obliterate’ Iranian power plants if Strait of Hormuz not reopened

townflex.com·2h·

Discuss: r/Economics

The 4 Approaches to Using LLMs in Software Development

blog.fooqux.com·2d·

Discuss: r/programming

How I Lost 20 Pounds by Learning to Hate

mylesmarino.com·4h

Naming Events Beyond CRUD

docs.eventsourcingdb.io·2h·

Discuss: Hacker News

🧩WebAssembly

VeriGrey: Greybox Agent Validation

arxiv.org·3d

Leo Musician: Performing with Soul, Fire, and Star Power

mysticryst.com·5h

Don't sleep on the new Nemotron Cascade

huggingface.co·1d·

Discuss: r/LocalLLaMA

A retro-inspired keyboard mod I designed (with a detachable tablet setup)

youtube.com·11h·

Discuss: r/homelab

Let's see Paul Allen's SIMD CSV parser

chunkofcoal.com·1h·

Discuss: Lobsters, Hacker News, r/programming

How to make a website responsive?

w3schools.com·17h·

Discuss: r/webdev

Loading more...