👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

CubeSats are fascinating learning tools for space
jeffgeerling.com·21h
⚙️DIY Electronics
How a chief product officer thinks about AI implementation in healthcare supply chains
businessinsider.com·19h
🔗Supply Chain
Go: Improving Example Visibility in pkgsite (pkg.go.dev)
matttproud.com·3d
🔄Reproducible Builds
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com·1d·
Discuss: Hacker News
🌡️Preservation Physics
Glycol, Far UVC, and CFM Measurement at BIDA
jefftk.com·4d·
Discuss: Hacker News
🧲Cassette Physics
Write Better with Vale
pragprog.com·2d·
Discuss: Hacker News
📝Concrete Syntax
Setting up rooted Android emulator with Frida and mitmproxy
trickster.dev·1d·
Discuss: Hacker News
🕹Emulation
Supply chains and watering holes
cryptography.dog·3d·
Discuss: Lobsters
🔗Supply Chain
How do we get AI Personas to sound so human?
askrally.com·23h·
Discuss: Hacker News
🎙️Whisper
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·4d·
Discuss: Hacker News
⚡Homebrew CPUs
AI-powered penetration tool, an attacker's dream, downloaded 10K times in 2 months
theregister.com·1d
🚀Indie Hacking
Ark v0.5.0 Released — A Minimal, High-Performance Entity Component System (ECS) for Go
reddit.com·2d·
Discuss: r/golang
🌊Apache Kafka
Cracking Forensics CTFs 1.0 — picoCTF
infosecwriteups.com·1d
🔍Binary Forensics
Collecting my thoughts about notation and user interfaces
interconnected.org·1d·
Discuss: Hacker News
📟CLI Design
Advanced Solid-State Electrolyte Interphase Engineering for Enhanced Aerospace Battery Performance
dev.to·1d·
Discuss: DEV
⚙️Tape Engineering
Automated Bias Mitigation via Causal Graph Interventions and Hyperparameter Optimization
dev.to·3d·
Discuss: DEV
🎛️Feed Filtering
Quantified Neurotransmitter Release Modeling via Adaptive Bayesian Filtering & Multi-Scale Neural Networks
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Motion-Based User Identification across XR and Metaverse Applications by Deep Classification and Similarity Learning
arxiv.org·2d
👁️Perceptual Hashing
Meta AI Chatbot and Elderly Man’s Death: What AI Safety Taught Us
dev.to·15h·
Discuss: DEV
🤖AI Curation
Autonomous Condition Monitoring and Predictive Maintenance for FPSO Hull Integrity via Deep Sensor Fusion
dev.to·2d·
Discuss: DEV
🌊Stream Processing