Note to My VCPE Students: ‘The Days Feel Long, but the Years Feel Short’
jtangovc.com·22h
🧩Theorem Proving
Grimoire CSS - flexible utility class tool
grimoirecss.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Machinelike Tendencies
artforum.com·1d
🏗️Software Architecture
~jprotopopov/kefir - C17/C23 compiler implementation from scratch
git.sr.ht·1d
🔧Compiler Design
2 students injured in Colorado high school shooting remain in critical condition
mercurynews.com·1d
🧩Theorem Proving
Emotion recognition AI can reduce physicians' empathy fatigue
medicalxpress.com·1d
🎲Probabilistic Programming
Advice on python learning for data analysis
reddit.com·1d·
Discuss: r/AskProgramming
🧩Theorem Proving
Desperately need help: can a shortcut be created to auto-text someone a pre-scripted text if I don’t turn off a certain alarm by a certain time?
reddit.com·1d·
Discuss: r/shortcuts
🔌Network Programming
Elon Musk’s AI startup xAI cut a large portion of its generalist AI tutor workforce - Mitrade
news.google.com·1d
🧩Theorem Proving
Marco Rubio is a genius: he pushed a text to protect NATO from US isolationnism. 😎
threadreaderapp.com·1d
🤝Protocol Design
Convoy prototype mini review
reddit.com·20h·
Discuss: r/flashlight
🤝Protocol Design
DyC-STG: Dynamic Causal Spatio-Temporal Graph Network for Real-time Data Credibility Analysis in IoT
arxiv.org·5d
🎲Probabilistic Programming
Automated Artifact Mitigation in High-Resolution ECG via Adaptive Spectral Filtering and Deep Learning
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Secular liberalism is a failed ideology and what should replace it
reddit.com·4d·
Discuss: r/AskALiberal
🧫Cellular Automata
From Joy to Fear: A Benchmark of Emotion Estimation in Pop Song Lyrics
arxiv.org·5d
🔗Parser Combinators
IND-CPA-D of Relaxed Functional Bootstrapping: A New Attack, A General Fix, and A Stronger Model
eprint.iacr.org·4d
⚙Functional Programming
How We Use OpenAI and Gemini Batch APIs to Qualify Thousands of Sales Leads
dev.to·4d·
Discuss: DEV
🎲Probabilistic Programming
What is Context Engineering?
dev.to·4d·
Discuss: DEV
🎲Probabilistic Programming
Voice AI Revolutionizes Restaurants: From Order Taking to Inventory Control with Pannalabs.ai
dev.to·7h·
Discuss: DEV
🎲Probabilistic Programming
Unlock the Power of Voice: AI Agents Revolutionizing Customer Experiences with Pannalabs.ai
dev.to·5h·
Discuss: DEV
🔗Parser Combinators