Feeds to Scour
SubscribedAll
Scoured 253452 posts in 2.17 s
CogitatorTech/minish: A property-based testing framework for Zig ⚡
github.com·2d·
Discuss: Hacker News
🎲Quickcheck
Preview
Report Post
Schema Validation Passed - So Why Did My Pipeline Fail?
dev.to·18h·
Discuss: DEV
✅SQLx Compile-Time Verification
Preview
Report Post
GHC 9.12.3 is now available
haskell.org·1d
📐Type Theory
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·9h
💎Refinement Types
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·9h
⏭️Skip Lists
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming, r/rust
🦀Rust Macros
Preview
Report Post
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to·9h·
Discuss: DEV
🐹golang
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·12h
🔒S2N-QUIC
Preview
Report Post
JavaScript vs TypeScript - I built the same crypto tracker with both
fabianfrankwerner.com·4h·
Discuss: DEV
🦕Deno
Preview
Report Post
Mockk によるモック入門
okuzawats.com·48m
🎲Quickcheck
Preview
Report Post
BankGPT TryHackMe Writeup Walkthrough
infosecwriteups.com
·23h
🔍Linux BPF
Preview
Report Post
Show HN: AgentCmds – A directory of slash commands for AI agents
agentcmds.work·17h·
Discuss: Hacker News
🛡️Error Handling
Preview
Report Post
Quantum Catalyst: Next-Gen QC emulator/solver/AI
reddit.com·2d·
Discuss: r/LLM
⚛️Quantum Computing
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.com·9h·
Discuss: Hacker News
🏭Code Generation
Preview
Report Post
Measuring no CoT math time horizon (single forward pass)
lesswrong.com·1d
🎲Deterministic Simulation
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏗️Pavex
Preview
Report Post
Running Code and Failing Models – Rajiv Shah
projects.rajivshah.com·2d
📱Edge AI
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·13h
🦗Pest
Preview
Report Post
TOON for LLMs: A Comparative Performance Analysis against JSON
gist.github.com·12h·
Discuss: DEV
🦙Ollama
Preview
Report Post
The production bug that made me care about undefined behavior
gaultier.github.io·18h·
Discuss: Hacker News, r/programming
🔬Miri
Preview
Report Post