Modern C, C23 edition, now in print
gustedt.wordpress.com·2d
✅Format Verification
Baysians vs frequentists
yarchive.net·2d
🔲Proof Irrelevance
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·2d·
Discuss: Hacker News
🗄️Database Sharding
C++26: erroneous behaviour
sandordargo.com·1d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔒Type Safety
Sheaf theoretic formulation for consciousness (2017)
pubmed.ncbi.nlm.nih.gov·4d·
Discuss: Hacker News
⏰Time Crystals
ASIC: Proof-of-Concept Binary Optimizer Reduces Size, More to Come
news.ycombinator.com·1d·
Discuss: Hacker News
🧪RISC-V Fuzzing
A friendly starter paper - Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation [R]
reddit.com·5d·
Discuss: r/MachineLearning
🔗Constraint Handling
Are We in an AI Bubble?
theatlantic.com·14h·
Discuss: Hacker News
🧠Intelligence Compression
SectorC: A C Compiler in 512 bytes (2023)
xorvoid.com·4d·
Discuss: Hacker News
🔩Systems Programming
Enhanced Torque Measurement via Bio-Inspired Piezoelectric Microcantilever Arrays and Adaptive Kalman Filtering
dev.to·1d·
Discuss: DEV
⚙️Cassette Mechanics
Shape Shifting Systems: Unlock the Power of Conceptual Transfer by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🏛Digital humanities
Announcing slimcontext: A Lightweight, Model-Agnostic Chat History Compression Utility 🚀
dev.to·8h·
Discuss: DEV
🎙️Whisper
Mitochondrial Heteroplasmy Dynamics and Inheritance: A Bayesian Network Approach to Predicting Male Transmission Rates
dev.to·1d·
Discuss: DEV
🧬Bitstream Evolution
A Continuous Encoding-Based Representation for Efficient Multi-Fidelity Multi-Objective Neural Architecture Search
arxiv.org·4d
⧗Information Bottleneck
Automated Portfolio Optimization with Dynamic Risk Parity via Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔍BitFunnel
Adaptive Contrast Adjustment Module: A Clinically-Inspired Plug-and-Play Approach for Enhanced Fetal Plane Classification
arxiv.org·4d
🧠Machine Learning
Scalable Multimodal Data Fusion for High-Throughput Metamaterial Design Optimization
dev.to·16h·
Discuss: DEV
🏛Digital humanities
DPQuant: Efficient and Differentially-Private Model Training via Dynamic Quantization Scheduling
arxiv.org·3d
📊Quantization
Unsupervised Identification and Replay-based Detection (UIRD) for New Category Anomaly Detection in ECG Signal
arxiv.org·4d
🧠Machine Learning
AI Idea #1757094301
dev.to·2d·
Discuss: DEV
🤖AI Curation