Feeds to Scour
SubscribedAll
Scoured 4225 posts in 83.7 ms
GitHub - jign/SkyLifeguard: Assertive Programming framework for UE5 inspired by DbC
github.com·1h·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
arxiv.org·7h·
Discuss: Lobsters
🏰Capability Machines
Preview
Report Post
Getting Started with Dialyzer in Elixir | AppSignal Blog
blog.appsignal.com·1d
🔮Type Inference Visualization
Preview
Report Post
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
LLMOps Is Not MLOps: Why Your LLM Demo Broke in Production (With Real Examples)
pub.towardsai.net
·16h
✨Gleam
Preview
Report Post
Show HN: High-Performance Domain-Agnostic Rule Engine with AI-Powered Config
ayushmaanbhav.github.io·7h·
Discuss: Hacker News
📋Tablegen
Preview
Report Post
The Wrong Question About Type Systems
furkan3ayraktar.github.io·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
Preview
Report Post
Property-Based Testing Caught a Security Bug I Never Would Have Found
kiro.dev·4h·
Discuss: Hacker News
✅Property Testing
Preview
Report Post
Next level Kotlin support in Spring Boot 4
spring.io·10h·
Discuss: Hacker News
🔄Bootstrapping
Preview
Report Post
Porting a complete HTML5 parser and browser test suite [from Python to OCaml us
anil.recoil.org·1h·
Discuss: Lobsters, Hacker News
🎮Language Ergonomics
Preview
Report Post
I Built a Production-Grade DJ Audio Analysis Library in Rust. It Beats $60 Commercial Tools.
reddit.com·1h·
Discuss: r/rust
🚀Code Motion
Preview
Report Post
Scaling Go Testing with Contract and Scenario Mocks
funnelstory.ai·10h·
Discuss: Hacker News, r/golang
✅Property Testing
Preview
Report Post
A Codebase by an Agent for an Agent
ampcode.com·12h·
Discuss: Hacker News
🎮Language Ergonomics
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·4d
💬Interactive REPLs
Preview
Report Post
Great Ideas in Theoretical Computer Science
cs251.com·5h·
Discuss: Hacker News
🔬programming language theory
Preview
Report Post
zhaochenyang20/Awesome-ML-SYS-Tutorial
github.com·2d
✨Gleam
Preview
Report Post
Syntactic musings on the fallibility effect
blog.yoshuawuyts.com·2d·
Discuss: Lobsters
🌊Gradual Effects
Preview
Report Post
Sieve: A Mail Filtering Language
ietf.org·1d
📚Factor
Preview
Report Post
Data Science Weekly – Issue 630
datascienceweekly.substack.com·4h·
Discuss: Substack
💬Prompt Engineering
Preview
Report Post
Release v28.0.0 - Mesh Shaders, Immediates, and More! · gfx-rs/wgpu
github.com·1d·
Discuss: r/rust, r/rust_gamedev
🔍Lens Libraries
Preview
Report Post