essential spectrum
ncatlab.org·1d
λHaskell
Flag this post
Nineteen
omicsomics.blogspot.com·7h·
Discuss: www.blogger.com
🔲Paredit
Flag this post
[$] Namespace reference counting and listns()
lwn.net·1d
🔮Lisp Macros
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
There is no truthy or falsy in Rust
joschuba.com·15h
🚫Branch-Free Programming
Flag this post
Naïve Shuffle Algorithm (2007)
blog.codinghorror.com·1d·
Discuss: Hacker News
😴Lazy Evaluation
Flag this post
What if software shipped with a software engineer?
manuel.kiessling.net·1d
⚙software development practises
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·23h·
Discuss: Hacker News
📦Aeson
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·1d·
Discuss: www.blogger.com
📦Cabal
Flag this post
Day 2 of building Secrin
dev.to·9h·
Discuss: DEV
👀Code Reviews
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
reddit.com·21h·
Discuss: r/LocalLLaMA
🐛Fuzzing
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·2d
⛓️MCMC
Flag this post
Indexers in C# — Making Your Classes Feel Like Arrays
dev.to·3d·
Discuss: DEV
😴Lazy Evaluation
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·17h·
Discuss: DEV
🎲Property-Based Testing
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·7h
🔗Parser Combinators
Flag this post
The Need for Infinity
reddit.com·1h·
Discuss: r/GnosticChurchofLVX
🌪extreme value theory
Flag this post
Showcase: In Memoria - Rust core with TypeScript/NAPI interface for high-performance AI tooling
reddit.com·20h·
Discuss: r/rust
📦Cabal
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·1d·
Discuss: DEV
🧬Mutation Testing
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·7h
🎲Property-Based Testing
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·1d
🔗Parser Combinators
Flag this post