GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.orgยท1d
๐Ÿ“Lisp
Flag this post
Becoming a Core Developer
stefaniemolin.comยท2d
๐Ÿ”Static Analysis
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.orgยท15h
๐ŸŽฒProbabilistic Programming
Flag this post
Multi-Sensor Distributed Hypothesis Testing in the Low-Power Regime
arxiv.orgยท15h
๐Ÿ“ŠInformation Theory
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.orgยท1d
๐ŸŽฒProbabilistic Programming
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.comยท1dยท
Discuss: Substack
๐Ÿ”ขMathematical Logic
Flag this post
Benchmarking Large Language Models and Privacy Protection
priv.gc.caยท1d
๐Ÿ”—Parser Combinators
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.comยท19hยท
๐Ÿฆ€Rust
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.orgยท15h
๐Ÿ”Static Analysis
Flag this post
Building Trinity Protocol v3.1: A Deep Dive into 2-of-3 Multi-Chain Consensus
dev.toยท1dยท
Discuss: DEV
๐ŸคProtocol Design
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท4dยท
โš™Functional Programming
Flag this post
Show HN: Suites โ€“ modern unit tests framework for TypeScript back ends
github.comยท4hยท
Discuss: Hacker News
โš™Functional Programming
Flag this post
Automating error analysis for AI agents โ€“ what works and doesn't
atla-ai.comยท9hยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.orgยท15h
๐ŸŽฒProbabilistic Programming
Flag this post
Radar Trends to Watch: November 2025
oreilly.comยท8h
๐ŸŽฒProbabilistic Programming
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Lisp
Flag this post
Type inference with TryFrom and ()
reddit.comยท2dยท
Discuss: r/rust
๐Ÿ“Lisp
Flag this post
Geonum โ€“ geometric number library for unlimited dimensions with O(1) complexity
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”Cryptography
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.comยท15hยท
Discuss: Hacker News
๐ŸคProtocol Design
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Lisp
Flag this post