👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Cartesian Therapeutics, Inc. (RNAC) Presents At Morgan Stanley 23rd Annual Global Healthcare Conference (Transcript)
seekingalpha.com·2d
⚙️Proof Engineering
A profile in courage
denovo.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Coffee Break: Silicon Valley Ideologies as a Lens for Viewing Current Events
nakedcapitalism.com·1d
🧲Magnetic Philosophy
Building screenless digital jukebox for my daughter
rdeaton.space·1d·
Discuss: Hacker News
🗂️Optical Jukebox
Practical CI-friendly Performance Tests
solidean.com·2d·
Discuss: Lobsters, r/cpp
⚡Performance Mythology
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·3d·
Discuss: Hacker News
🎯Gradual Typing
Working in Groups
internet.place·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Qodo Aware Is a ‘Second Brain’ for AI Coding Agents
thenewstack.io·1d
📏Code Metrics
Accelerate serverless testing with LocalStack integration in VS Code IDE
aws.amazon.com·8h
🌐WASI
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·2d·
Discuss: Hacker News
🌊Streaming Systems
Trying to figure out the best data pool design
reddit.com·12h·
Discuss: r/homelab
💾ZFS
Hyper-Osmotic Resilience: Computational Modeling & Predictive Control of Haloarchaeal Stress Response
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Spherical Brownian Bridge Diffusion Models for Conditional Cortical Thickness Forecasting
arxiv.org·22h
🌀Riemannian Computing
Proven & Stable: USA/UK Gmail Accounts - Perfect for Business.
dev.to·16h·
Discuss: DEV
🏠Personal Archives
Enhanced Dielectric Relaxation Analysis via Multi-scale Fractal Network Modeling
dev.to·1d·
Discuss: DEV
📊Spectral Graphs
Bio-Inspired Rapid Gripping: Modeling *Drosera capensis* Tentacle Actuation for High-Speed Soft Robotics
dev.to·2d·
Discuss: DEV
✋Tactile Computing
Enhanced Dark Matter Detection via Quantum-Enhanced Signal Processing in Axion Search Experiments
dev.to·1d·
Discuss: DEV
⚛️Quantum Codecs
Neural ARFIMA model for forecasting BRIC exchange rates with long memory under oil shocks and policy uncertainties
arxiv.org·2d
🧠Machine Learning
Artificially Fluent: Swahili AI Performance Benchmarks Between English-Trained and Natively-Trained Datasets
arxiv.org·3d
🎙️Whisper
Machine Learning vs. Deep Learning: Choosing the Right Tool for the Job
dev.to·22h·
Discuss: DEV
🧠Machine Learning