derived set
ncatlab.orgยท2d
๐ŸงฎAlgebraic Archives
How to get free software from yesteryear's IT crowd โ€“ trick code into thinking it's running on a rival PC
theregister.comยท29m
โšกCircuit Archaeology
Test whether a large integer is a square
johndcook.comยท1d
๐Ÿ“Interval Arithmetic
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท2d
๐Ÿ“Concrete Syntax
Pwn2Own Ireland 2024 โ€“ Ubiquiti AI Bullet
blog.compass-security.comยท1d
๐Ÿ›ก๏ธeBPF Security
The Sliding Window in Haskell & Rust
mmhaskell.comยท5d
ฮปLambda Encodings
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.comยท2d
๐Ÿฆ Malware Analysis
LangChain vs. Langfuse: Key Differences and Their Role in LLM App Development
wizardlabs.comยท14hยท
Discuss: Hacker News
โœจAlgebraic Effects
Measuring Validity and Reliability of Human Ratings
unofficialgoogledatascience.comยท18hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Is Microsoft's new Mu for you?
computerworld.comยท21hยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Catching Up with Fastfetch: A Rust Journey
reddit.comยท21hยท
Discuss: r/rust
๐Ÿ”ฉSystems Programming
From expected to actual: Kotlin doesn't reinvent, it reuses ๐Ÿ”„
dev.toยท1dยท
Discuss: DEV
๐Ÿ’งLiquid Types
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
arxiv.orgยท4d
๐ŸงฎKolmogorov Complexity
Accurate and Energy Efficient: Local Retrieval-Augmented Generation Models Outperform Commercial Large Language Models in Medical Tasks
arxiv.orgยท2d
๐ŸŒ€Brotli Internals
I Built an Offline-First AI Copilot for the Terminal โ€“ Meet Promptly
dev.toยท1hยท
Discuss: DEV
๐ŸšShell Automation
The Building Blocks - Understanding MCP, Agents, and LLMs (Part 2/5)
dev.toยท12hยท
Discuss: DEV
๐Ÿ”—Constraint Handling
Animal calls are not comparable to human speech
languagelog.ldc.upenn.eduยท1d
๐Ÿ“ผCassette Linguistics
Enterprise Large Language Model Evaluation Benchmark
arxiv.orgยท2d
โš™๏ธCompression Benchmarking
How to Banish Anxiety, Lower MTTR, and Stay on Budget During Incident Response
dev.toยท1dยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Advanced Full-Stack Development: Building Scalable Web Applications
dev.toยท20hยท
Discuss: DEV
๐ŸŒŠStream Processing