AI in open source: fighting bias in AI analysis
rainer.gerhards.net·15h·
Discuss: Hacker News
🧩Theorem Proving
Taming Concurrency: A New Era of Debugging Multithreaded Code
semiwiki.com·15h
⚡Concurrency
Learning Through Doing: From one language to another
blog.scottlogic.com·8h
🦀Rust
DevLog #1 - ValidateLite: Building a Zero-Config Data Validation Tool
dev.to·5h·
Discuss: DEV
🧩Theorem Proving
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·1d·
Discuss: r/rust
🧠Memory Management
The power of C++26 reflection: first class existentials
reddit.com·5h·
Discuss: r/cpp
📐Type Theory
How HackerOne Uses AI to Triage, Prioritize, and Validate Code Scanner Findings at Scale
hackerone.com·15h
🎲Probabilistic Programming
Switch Statements
learn.microsoft.com·1d·
Discuss: DEV
⚙Functional Programming
Sysbench for MySQL 5.6 thru 9.4 on a small server
smalldatum.blogspot.com·8h·
Discuss: smalldatum.blogspot.com
🏗Computer Architecture
Automated Regression Testing Prioritization with Hyperdimensional Semantic Embeddings
dev.to·12h·
Discuss: DEV
🎲Probabilistic Programming
SafeLLM: Unlearning Harmful Outputs from Large Language Models against Jailbreak Attacks
arxiv.org·4h
🔧Compiler Design
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·1d·
Discuss: Hacker News
🔧Compiler Design
How to Build a Compiler: A Step-by-Step Outline for Creating a custom compiler in C from scratch
dev.to·2d·
Discuss: DEV
🔧Compiler Design
Tree of AST: A Bug-Hunting Framework Powered by LLMs
darkreading.com·15h
✅Formal Verification
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·6h
✅Formal Verification
What Claude Code gets right
minusx.ai·17h·
Discuss: Hacker News
🧩Theorem Proving
Can AI weaponize new CVEs in under 15 minutes?
valmarelox.substack.com·4h·
Discuss: Substack
🧩Theorem Proving
Simpler Category Theory
ryanbrewer.dev·1d·
Discuss: Hacker News
🔄Category Theory
Umair Shahid: PostgreSQL Database SLAs: Why Hidden Issues Often Break Customer Commitments
postgr.es·1d
🎲Probabilistic Programming
From Prompts to RAG to RAGAs: Evaluating Retrieval-Augmented Generation Systems the Right Way
pub.towardsai.net·8h
🎲Probabilistic Programming