'Teacher' O'Neill with work to do as Celtic taught another lesson
bbc.com·13h
🔧functional programming languages
Flag this post
Beyond Tellerrand Talk Done
nerdy.dev·8h
🔧Tooling
Flag this post
Balancing Leakage Reduction with Correctness Preservation in RTL Code Generation (Univ. of Central Florida)
semiengineering.com·11h
🦀Rust
Flag this post
A new paradigm for programming: graph oriented programming
🔧functional programming languages
Flag this post
Learning from Software Errors – Part 7: The Billion-Dollar Mistake
heise.de·4h
⚠️Error Handling
Flag this post
A security platform to ruin your next weekend 😍
🦀Rust
Flag this post
Heptabase Updates - Web Tab, AI Suggestions for Related Cards, and more!
wiki.heptabase.com·1d
🦀Rust
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
🔧functional programming languages
Flag this post
We're making an Open-source Platform for learning Japanese inspired by Monkeytype
💻programming
Flag this post
List Decoding and New Bicycle Code Constructions for Quantum LDPC Codes
arxiv.org·1d
📐Type Theory
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.org·2d
📐Type Theory
Flag this post
Expertise need not monopolize: Action-Specialized Mixture of Experts forVision-Language-Action Learning
🔄Async Rust
Flag this post
FEX-Emu/FEX FEX-2511
github.com·1d
🦀Rust
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·2d
📐Type Theory
Flag this post
Loading...Loading more...