Building Safeguards for Claude
anthropic.com·1d·
Discuss: Hacker News
🔍Static Analysis
How Our Favorite Programming Languages Spent Summer Vacation
flexiana.com·1d
🔧Compiler Design
The Imminent Deprecation of memory_order:consume
people.kernel.org·9h·
Discuss: Hacker News
🧠Memory Management
Skynet 1.0, before judgment day
cointelegraph.com·11h
🤖Sci-Fi
Matchmaker
edn.com·14h
🎲Probabilistic Programming
What Is LLM Tokenization and Why Is It Important?
medium.com·1d·
Discuss: Hacker News
🔧Compiler Design
Measuring intelligence and reverse-engineering goals
lesswrong.com·2d
🧮Programming Language Theory
SEVADE: Self-Evolving Multi-Agent Analysis with Decoupled Evaluation for Hallucination-Resistant Irony Detection
arxiv.org·23h
🔢Mathematical Logic
When Is Prior Knowledge Helpful? Exploring the Evaluation and Selection of Unsupervised Pretext Tasks from a Neuro-Symbolic Perspective
arxiv.org·23h
🎲Probabilistic Programming
luminousLlama
github.com·1d·
Discuss: r/browsers
🧮Programming Language Theory
GLM-4.5 — Open-Source 355B MoE LLM that Competes with GPT-4.1, Claude Sonnet 4, and Gemini 2.5
reddit.com·19h·
Discuss: r/CursedAI
🧭SMT Solvers
Any Use for my Hobby Project, BuffDB?
github.com·2d·
Discuss: r/opensource, r/programming, r/typescript
🦀Rust
15 Refactoring Techniques for Clean and Maintainable Code
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Python Type Annotations (part 3)
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
Pareto Multi-Objective Alignment for Language Models
arxiv.org·23h
🔗Parser Combinators
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·3d
🧮Programming Language Theory
Building Blaze — a high-performance multithreading API in C++ inspired by Java Executors (WIP)
medium.com·2d·
Discuss: r/cpp
🔧Compiler Design
Understanding and Mitigating Errors of LLM-Generated RTL Code
arxiv.org·4d
🔧Compiler Design
Enhanced Receptor Tyrosine Kinase (RTK) Signal Deciphering via Multi-Modal Adaptive Network (SMAN)
dev.to·11h·
Discuss: DEV
🎲Probabilistic Programming
Exploring Safety Alignment Evaluation of LLMs in Chinese Mental Health Dialogues via LLM-as-Judge
arxiv.org·23h
🔧Compiler Design