Writing your own Go linter (dhcp25)
cdn.media.ccc.de·22h
⚙️PL Implementation
Flag this post
Choosing a dependency
🔧DevOps
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🧠Automated Reasoning
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
🛡️macOS Security
Flag this post
AWK technical notes (2023)
🔀Brzozowski Derivatives
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
🔀OCaml Multicore
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·5h
🐳Containerization
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·5h
📦OPAM
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·5h
🧩Parser Combinators
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·2d
❄️NixOS
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·1d
🐫OCaml
Flag this post
Computation as a Game
arxiv.org·5h
⏱️Computational Complexity
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·5h
⚙️Compiler Design
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·5h
🔤DSLs
Flag this post
Loading...Loading more...