Cactus Language • Pragmatics 13
inquiryintoinquiry.com·1d
🔢Denotational Semantics
The Stochastic Code Monkey Theorem
stephendiehl.com·1d
📏Code Metrics
Why it’s a mistake to ask chatbots about their mistakes
arstechnica.com·17h
🎙️Whisper
The "high-level CPU" challenge
yosefk.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
⚡CPU Microarchitecture
How Graphs Boost LLM Precision and Explainability in Cybersecurity
hackernoon.com·1d
💻Local LLMs
Linear scan register allocation on SSA
bernsteinbear.com·13h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
original ↗
brooker.co.za·1d·
Discuss: Hacker News
💻Local LLMs
Compare: Bash Elvish NuShell Murex es-shell fish xonsh PowerShell Oil Ion
gist.github.com·14h·
Discuss: Hacker News
🐚Nordic Shell
VISOR: Visual Input-based Steering for Output Redirection in Vision-Language Models
arxiv.org·9h
⟷Bidirectional Programming
Lambdas, Nested Functions, and Blocks
thephd.dev·1d·
Discuss: Hacker News
🐚Shell Combinators
Foundation models are going multimodal
twelvelabs.io·2d·
Discuss: Hacker News
📊Learned Metrics
Can modern LLMs actually count the number of b's in "blueberry"?
minimaxir.com·21h·
Discuss: Hacker News
🧪Binary Fuzzing
MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
arxiv.org·1d
⚡Circuit Design
PROPS: Progressively Private Self-alignment of Large Language Models
arxiv.org·1d
💻Local LLMs
SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
arxiv.org·2d
🎯Interactive Provers
Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
arxiv.org·1d
💻Local LLMs
Automated Regulatory Compliance Verification for Radiological Safety Protocols via Bayesian Network Optimization
dev.to·10h·
Discuss: DEV
✅Format Verification
Narrative Memory in Machines: Multi-Agent Arc Extraction in Serialized TV
arxiv.org·1d
⧗Information Bottleneck
Can LLMs Detect Their Confabulations? Estimating Reliability in Uncertainty-Aware Language Models
arxiv.org·1d
💻Programming languages
Fuzzy-Pattern Tsetlin Machine
arxiv.org·9h
🔤Morris-Pratt