Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·9h·
Discuss: DEV
🦀Rust Macros
Challenges of Pseudocode Expansion
funcall.blogspot.com·22h·
Discuss: www.blogger.com
🔗Lisp
SAT Requires Exhaustive Search
link.springer.com·9h·
Discuss: Hacker News
🧮Kolmogorov Complexity
TRACEALIGN -- Tracing the Drift: Attributing Alignment Failures to Training-Time Belief Sources in LLMs
arxiv.org·1h
💻Local LLMs
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·2d·
Discuss: Hacker News
🔄Lens Laws
Briefly explained: What's behind the buzzword AI agents
heise.de·18h
🎙️Whisper
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
LLMs as Context Synthesizers: Why Direct Instructions Don't Work
corewood.io·10h·
Discuss: Hacker News
🔗Constraint Handling
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
HyCodePolicy: Hybrid Language Controllers for Multimodal Monitoring and Decision in Embodied Agents
arxiv.org·1h
✨Effect Handlers
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·4h·
Discuss: Hacker News
📊Citation Graphs
Who Am I in the Eye of AI?
lightcapai.medium.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·14h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge
arxiv.org·1h
🧮Kolmogorov Complexity
Simulated Society of 10k AI Agents
theunwindai.com·14h·
Discuss: Hacker News
🎙️Whisper
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Getting an LLM to Play Text Adventures
entropicthoughts.com·1d·
Discuss: Lobsters, Hacker News
🔗Constraint Handling
ROVER: Recursive Reasoning Over Videos with Vision-Language Models for Embodied Tasks
arxiv.org·1h
🤖Advanced OCR
AI-Driven Observability: Fast, Context-Rich MCP Servers
devops.com·14h
👁️System Observability