original ↗
raymondcamden.com·2d
💻programming
Flag this post
Do I want Coders to Code?
🦀Rust
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
📐Type Theory
Flag this post
I ace CS exams but can’t code my way out of a loop — and my profs still picked me for competitive programming 😭 What do I do?
🦀Rust
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
📐Type Theory
Flag this post
I am torn about using Lo
📐Type Theory
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·5d
📐Type Theory
Flag this post
[TUI] Ricing the original Rogue
🦀Rust
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·1d
🦀Rust
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·9h
🦀Rust
Flag this post
Some thoughts on AI and coding
infoworld.com·5h
💻programming
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
⚠️Error Handling
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·1d
📐Type Theory
Flag this post
Loading...Loading more...