Let’s talk about LLM guardrails
blog.adnansiddiqi.me·2h
🎯Proof Tactics
The Language of the Black Parade
blambot.com·7h·
Discuss: Hacker News
🔠Terminal Fonts
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
👑Isabelle
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
On the Relationship Between the Choice of Representation and In-Context Learning
arxiv.org·1d
📊Learned Metrics
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·15h·
Discuss: Hacker News
🦀Rust Macros
Cactus Language • Semantics 2
inquiryintoinquiry.com·2d
🔢Denotational Semantics
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.io·4h·
Discuss: Hacker News, r/ClaudeAI
🎙️Whisper
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·1d
📜Digital Philology
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.org·3d
📝Concrete Syntax
MultiCNKG: Integrating Cognitive Neuroscience, Gene, and Disease Knowledge Graphs Using Large Language Models
arxiv.org·2d
🧠Intelligence Compression
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Context Engineering for Coding Agents
hackernoon.com·10h
🌳Incremental Parsing
The key to conversational speech recognition
datasciencecentral.com·1d
🎵Audio ML
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
Empowering LLMs with Pseudo-Untrimmed Videos for Audio-Visual Temporal Understanding
arxiv.org·2d
🎬AV1 Encoding
Linguistic Patterns in Pandemic-Related Content: A Comparative Analysis of COVID-19, Constraint, and Monkeypox Datasets
arxiv.org·1d
💾Binary Linguistics
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·1d
💻Local LLMs
Can Speech LLMs Think while Listening?
arxiv.org·1d
🎙️Whisper
Show HN: Lore Engine – Turn 10-hour lectures into 2 hours of comprehensive notes
github.com·1d·
Discuss: Hacker News
📄Document Streaming