👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

From Physical Archives to Digital Preservation: Reflecting on a Forty-Year Transformation
dpconline.org·1d
🌐Archive Networks
<p>🔗 <a href="https://manuelmoreale.com/on-em-dashes">Manuel Moreale: On em dashes</a></p>
lmika.org·13h
🖋Typography
ntdevlabs/tiny11builder
github.com·11h
🪟Awesome windows command-line
Axum Backend Series - Introduction | 0xshadow's Blog
blog.0xshadow.dev·3d·
Discuss: r/rust
⚡gRPC
The New Math of Quantum Cryptography
wired.com·4d·
Discuss: Hacker News
🔐Quantum Security
The Expression Problem and its solutions
eli.thegreenplace.net·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💻Programming languages
The subjective experience of coding in different programming languages
interconnected.org·1d·
Discuss: Hacker News
💻Programming languages
Kerberoasting
blog.cryptographyengineering.com·1d·
Discuss: Lobsters, Hacker News
🎫Kerberos Exploitation
Kwil: The Database for Web3
github.com·2d·
Discuss: Hacker News
🗄️PostgreSQL WAL
🎿“Minimum Operations to Make the Integer Zero” LeetCode: 2749 [C++, JavaScript, Python]
dev.to·6d·
Discuss: DEV
📐Interval Arithmetic
Gram: Open-Source platform to create, curate and host MCP servers
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
Using topological data analysis to compare inter-subject variability across resting state functional MRI brain representations
arxiv.org·9h
🕸️Algebraic Topology
Scalable Graphene Oxide Functionalization Prediction via Multi-Modal Analysis & Reinforcement Learning
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Why Language Models Hallucinate: An In-Depth Look at Model Misalignment and Mitigation Strategies (2025)
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Turbocharge Your Go Microservices: Memory Optimization Made Simple
dev.to·3d·
Discuss: DEV
🧠Memory Allocators
Augmenting Human-Centered Racial Covenant Detection and Georeferencing with Plug-and-Play NLP Pipelines
arxiv.org·2d
🏛Digital humanities
Prompt Engineering
dev.to·3d·
Discuss: DEV
⚡Proof Automation
53 Years of Public Key Infrastructure and It's Still Broken?
hackernoon.com·2d
🔐PKI Archaeology
How to Make Your Data Science Project the Beyoncé of the Boardroom
dev.to·1d·
Discuss: DEV
⚡Performance Mythology
The Ultimate Developer's Guide to AI Tools in 2025: 247+ Curated Tools That Actually Matter
dev.to·18h·
Discuss: DEV
🔄Language Evolution