👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Certified Asterisk Security Release certified-18.9-cert17
seclists.org·2d
🔐Certificate Analysis
Why did the Babylonians use a base 60 number system?
galileo-unbound.blog·4h·
Discuss: Hacker News
🗝️Paleocryptography
Overview of the DiskANN Project (2018–present)
harsha-simhadri.org·22h·
Discuss: Hacker News
🗂️Vector Databases
Broadcom Has Just Hit The Jackpot, But I Decided To Trim My Position
seekingalpha.com·4h
🔤EBCDIC Mining
The Beauty of Space-Filling Curves: Understanding the Hilbert Curve
towardsdatascience.com·4d
💎Information Crystallography
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Built-in Runtime Security for Containers
blog.qualys.com·2d
📦Container Security
How Can Businesses Benefit from Enterprise AI Solutions in the USA?
dev.to·10h·
Discuss: DEV
🤖AI Curation
Predictive Ecosystem Resilience Assessment via Multi-modal Data Fusion and Dynamic Network Modeling
dev.to·1d·
Discuss: DEV
🌸Bloom Variants
Interrupts and Commands in LangGraph: Building Human-in-the-Loop Workflows
dev.to·2d·
Discuss: DEV
🌊Stream Processing
ExSEnt: Extrema-Segmented Entropy Analysis of Time Series
arxiv.org·1d
📈Entropy Estimation
Data-Efficient Fine-Tuning of Vision-Language Models for Diagnosis of Alzheimer's Disease
arxiv.org·1d
🤖Advanced OCR
Yes, Python is Slow, but it doesn’t matter for AI SaaS
dev.to·1d·
Discuss: DEV
🌊Stream Processing
An Adaptive Scoring Framework for Attention Assessment in NDD Children via Serious Games
arxiv.org·15h
📊Learned Metrics
Group Effect Enhanced Generative Adversarial Imitation Learning for Individual Travel Behavior Modeling under Incentives
arxiv.org·2d
🔲Cellular Automata
Terminating elegantly: a guide to graceful shutdowns
packagemain.tech·5h·
Discuss: Hacker News
🌊Stream Processing
RAG-Powered Chat: OpenAI & ChromaDB Integration
dev.to·1d·
Discuss: DEV
🔌Archive APIs
Angular with Jessica Janiuk
softwareengineeringdaily.com·10h
🔩Systems Programming
Educational Motor Control Module with StamPLC
hackster.io·3d
⚙️DIY Electronics
Understanding Prompt Engineering
dev.to·6h·
Discuss: DEV
🧠Intelligence Compression