Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
👁️Observability
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🤖Program Synthesis
Flag this post
GHC 9.14.1-rc1 is now available
🏗️Dune
Flag this post
Roadmap for Improving the Type Checker
🔍Type Inference
Flag this post
Playing Around with ARM Assembly
🐫Embedded OCaml
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·2h
🧠Automated Reasoning
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
📦Unikernel Systems
Flag this post
Reflections on Trusting Trust (1984)
🛡️seL4
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·2h
🛡️seL4
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.org·2h
🔲Cellular Automata
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.org·2h
❓Existential Types
Flag this post
Parleying with the Principled
lesswrong.com·7h
📐Hoare Logic
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·2h
🛡️seL4
Flag this post
Neural Transparency: Mechanistic Interpretability Interfaces for Anticipating Model Behaviors for Personalized AI
arxiv.org·2h
🔲Cellular Automata
Flag this post
Progressive Translation of H&E to IHC with Enhanced Structural Fidelity
arxiv.org·2h
🎨GADTs
Flag this post
Subgame Credible Nash Equilibrium
arxiv.org·2h
🎮Verification Games
Flag this post
Loading...Loading more...