IRC Proceedings: Monday, August 25, 2025
techrights.org·16h
🎲Probabilistic Programming
Trusted My Summarizer, Now My Fridge Is Encrypted
cloudsek.com·6h
🔗Parser Combinators
Delta Lake: Transform Pandas Prototypes into Production
codecut.ai·48m·
Discuss: Hacker News
🤝Protocol Design
A Bitcoin Core Code Analysis
binaryigor.com·1d·
Discuss: Hacker News
👐Open Source Software
How we leveraged vLLM to power our GenAI applications at LinkedIn
linkedin.com·18h
🔧Compiler Design
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·5d·
Discuss: r/rust
🧠Memory Management
CasCache - CAS-safe cache with read-validated singles, bulk set validation, pluggable providers/codecs and optional shared generations
reddit.com·13h·
Discuss: r/golang
⚡Concurrency
Rust for Gophers - a short interview
packagemain.tech·4d·
Discuss: r/programming
🦀Rust
Typescript monorepo / ORM hell
reddit.com·3d·
Discuss: r/typescript
📐Type Theory
Built with Claude: Delivered a Full-fledged OMS in 1 Month (Instead of 5)
reddit.com·1d·
Discuss: r/ClaudeAI
🧩Theorem Proving
Nightlio: The self-hosted, FOSS alternative to Daylio. Now with Docker, a new UI, dark mode & more, thanks to your feedback!
reddit.com·16m·
Discuss: r/selfhosted
🦀Rust
Differential trajectories of corticostriatal structural connectivity in individuals at clinical high risk for psychosis according to functional outcome
nature.com·18h
🔄Category Theory
TRUCE-AV: A Multimodal dataset for Trust and Comfort Estimation in Autonomous Vehicles
arxiv.org·14h
🎲Probabilistic Programming
Starting over again - how do people clean up old properties and templated notes?
reddit.com·1h·
Discuss: r/ObsidianMD
🧠Memory Management
Spectral-Prior Guided Multistage Physics-Informed Neural Networks for Highly Accurate PDE Solutions
arxiv.org·14h
🎲Probabilistic Programming
MSNav: Zero-Shot Vision-and-Language Navigation with Dynamic Memory and LLM Spatial Reasoning
arxiv.org·14h
🔗Parser Combinators
Import AI 426: Playable world models; circuit design AI; and ivory smuggling analysis
importai.substack.com·1d·
Discuss: Substack
🧭SMT Solvers
Motia.dev, Modern Backend Framework that unifies APIs, background jobs, workflows, and AI agents into a single cohesive system
dev.to·1d·
Discuss: DEV
🏗️Software Architecture
SafeLLM: Unlearning Harmful Outputs from Large Language Models against Jailbreak Attacks
arxiv.org·4d
🔧Compiler Design
A Hybrid Discontinuous Galerkin Neural Network Method for Solving Hyperbolic Conservation Laws with Temporal Progressive Learning
arxiv.org·1d
🔗Parser Combinators