Writing your own Go linter (dhcp25)
cdn.media.ccc.de·1d
⚙️PL Implementation
Flag this post
Introducing Agent GPA: A Framework for Enterprise-Ready AI
thenewstack.io·18m
🧠Automated Reasoning
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
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·9h
📦OPAM
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·9h
🧩Parser Combinators
Flag this post
Automated Multi-Modal Knowledge Graph Scoring for Cohort-Based Retrospective Analytics
🧠Automated Reasoning
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
📚Automata Learning
Flag this post
Speedrunning an RL Environment
🎮Verification Games
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·9h
⏱️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·9h
⚙️Compiler Design
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·9h
🔤DSLs
Flag this post
Loading...Loading more...