DoubleAgents: Fine-Tuning LLMs for Covert Malicious Tool Calls
pub.aimind.so·9h·
Discuss: Hacker News
🧭SMT Solvers
Takeaway: a work-stealing task queue library for Rust
bal-e.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Evaluating GPT5's reasoning ability using the Only Connect game show
ingram.tech·1d·
Discuss: Hacker News
⚖️Logic Programming
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·2d·
Discuss: Hacker News, r/programming
🔍Static Analysis
Developers Think "Testing" is Synonymous with "Unit Testing" – @garthgilmourni
youtube.com·11h
🔧Compiler Design
OOMProf - Take a heap profile just before OOMkill using eBPF
polarsignals.com·8h·
Discuss: Lobsters, Hacker News, r/golang
🧠Memory Management
Is agentic AI more than hype? This company thinks it knows how to find out
fastcompany.com·12h
🎲Probabilistic Programming
We Fixed AI's Broken Promise
understoryai.substack.com·2d·
Discuss: Substack
🧭SMT Solvers
Tokenization in Large Language Models
seantrott.substack.com·5d·
Discuss: Substack
🔧Compiler Design
OpenAI GPT-5 Review: Built to Win Benchmarks, Not Hearts
decrypt.co·1d
🎲Probabilistic Programming
How Graphs Boost LLM Precision and Explainability in Cybersecurity
hackernoon.com·2d
🧭SMT Solvers
Fine-Tuning LLaMA in 5 Minutes with Unsloth - Unrivaled Speed & Simplicity
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Exploring the Challenges and Opportunities of AI-assisted Codebase Generation
arxiv.org·1d
🧩Theorem Proving
Save memory and CPU with an interning cache
chrispenner.ca·1d
🧠Memory Management
DevNous: An LLM-Based Multi-Agent System for Grounding IT Project Management in Unstructured Conversation
arxiv.org·19h
🌍Distributed Systems
SAEMark: Multi-bit LLM Watermarking with Inference-Time Scaling
arxiv.org·1d
🎲Probabilistic Programming
150 lines of AI Web Search Agent
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Zero-Direction Probing: A Linear-Algebraic Framework for Deep Analysis of Large-Language-Model Drift
arxiv.org·1d
🎲Probabilistic Programming
EGGCodec: A Robust Neural Encodec Framework for EGG Reconstruction and F0 Extraction
arxiv.org·19h
🎲Probabilistic Programming
Investigating Intersectional Bias in Large Language Models using Confidence Disparities in Coreference Resolution
arxiv.org·1d
🔢Mathematical Logic