New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·4h·
Discuss: Hacker News
🤝Protocol Design
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·8h·
Discuss: Hacker News
🔌Network Programming
Flag this post
I switched from LM Studio/Ollama to llama.cpp, and I absolutely love it
xda-developers.com·4h
👐Open Source Software
Flag this post
Java's Agentic Framework Boom is a Code Smell
dev.to·11h·
Discuss: DEV
🏗️Software Architecture
Flag this post
AWK technical notes (2023)
maximullaris.com·8h·
Discuss: Lobsters
📝Lisp
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
Functional Programming
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·13h·
📝Lisp
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·17h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
The Threats of Agentic AI Data Trails
blogger.com·9h
🔗Parser Combinators
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·3d
🧭SMT Solvers
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·1h
🧮Programming Language Theory
Flag this post
A Short Introduction to Categorical Logic
youtube.com·3d
🔄Category Theory
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·7h·
Discuss: DEV
📝Lisp
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·11h·
Discuss: Hacker News
🤝Protocol Design
Flag this post
DK-TGAN-ERRA: A data-knowledge-driven tabular GAN for synthesising cases applied to emergency rescue risk analysis
sciencedirect.com·1d
🧩Theorem Proving
Flag this post
Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·5h
🔐Cryptography
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·11h·
Discuss: Hacker News
🦀Rust
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·5h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
A Beginner’s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.com·2d·
Discuss: DEV
🧩Theorem Proving
Flag this post