Integer overflow checking with C23
blog.gnoack.org·1d
💓Live Variable Analysis
Flag this post
Building Freebsd Ports
blog.bapt.name·1d
🏗️Build Systems
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
📏Linear Haskell
Flag this post
Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
blog.wilsonl.in·1d·
Discuss: Hacker News
💾Persistent Heaps
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·10h
🚚Code Migration
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·14h·
Discuss: DEV
🗺️Region Inference
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.org·10h
🔗Hash Functions
Flag this post
On Async Mutexes
matklad.github.io·15h·
Discuss: Hacker News
🔗Concurrency Primitives
Flag this post
Using Prisma for Schema and Kysely for Queries in a Next.js App
dev.to·2h·
Discuss: DEV
📋Tablegen
Flag this post
A question regarding the compilation of external libraries
reddit.com·1d·
Discuss: r/rust
🪆Embedded DSLs
Flag this post
Make Cargo & Rust Analyzer Nice to Keep Your Machine Snappy
positron.solutions·1d·
Discuss: r/rust
🚂Cranelift Backend
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·2d·
Discuss: Lobsters, Hacker News
🎯99-Line Tools
Flag this post
New comment by aaaashley in "Some software bloat is OK"
news.ycombinator.com·4h·
Discuss: Hacker News
💬Smalltalk VMs
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·10h
🚀Code Motion
Flag this post
Understanding Solidity Transparent Upgradeable Proxy Pattern - A Practical Guide
github.com·33m·
Discuss: DEV
📡Network Serialization
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·21h
📊Log Parsers
Flag this post
Debugging Memory Leaks in Node.js and PHP 🧠
dev.to·8h·
Discuss: DEV
🔗Weak References
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·1d·
Discuss: Hacker News
🏷️Memory Tagging
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·21h·
Discuss: Hacker News
📋Souffle Datalog
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.com·3h·
Discuss: r/MachineLearning
⚡Tokenizer Optimization
Flag this post