Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.orgยท1d
๐Ÿ“Shell Parsing
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.orgยท4d
๐Ÿ”—Functional Compilers
Caveat promptor
surfingcomplexity.blogยท1h
โšกProof Automation
An initial investigation into WDDM on ReactOS
reactos.orgยท9hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธWASM Archives
Introducing Real-Time Data with Materialized Views in Turso
turso.techยท4dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Storage
Datastar Response to Allegations
data-star.devยท1dยท
Discuss: Hacker News
๐ŸบZIP Archaeology
The IP risks of LLMs at work are nontrivial
augmentedswe.comยท15hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Agentic AI Will Fail Without Context: Why Enterprises Need Connected Data Threads
future.forem.comยท2dยท
Discuss: DEV
โš™๏ธTLA+
What's your workflow to pass cloud secrets/config metadata to apps safely?
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐Ÿ›ก๏ธPreservation Proofs
Bayesian Model Inference using Bayesian Quadrature: the Art of Acquisition Functions and Beyond
arxiv.orgยท2h
๐ŸงฎKolmogorov Bounds
Quantifying Narrative Coherence: A Hybrid Symbolic-Neural Approach for Automated Literary Evaluation
dev.toยท1dยท
Discuss: DEV
๐Ÿ”คCharacter Classification
Show HN: Realization Jsmn on a Pure Zig
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Vibe Coding Assistant - Combining NoCode with AI Generation
dev.toยท16hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.toยท8hยท
Discuss: DEV
๐ŸŽฌWebCodecs
Progressive Uncertainty-Guided Evidential U-KAN for Trustworthy Medical Image Segmentation
arxiv.orgยท2h
๐ŸŒ€Riemannian Computing
Every Line of Code Is a Philosophy in Disguise
dev.toยท2dยท
Discuss: DEV
โš–๏ธEmulation Ethics
From Sunlight to Insights: A Python-Powered Dive into Solar Energy Data
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ˆTime Series
Radiology Study Simulator: Learning the Language of Medical, X-Ray, CT & MRI Reports
dev.toยท17hยท
Discuss: DEV
๐ŸงฒMagnetic Resonance
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
LLP: LLM-based Product Pricing in E-commerce
arxiv.orgยท2h
๐Ÿ”BitFunnel