👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

The Palette of the Medieval North
nature.com·19h·
Discuss: Hacker News
📜Palimpsest Analysis
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·4d·
Discuss: Lobsters, Hacker News, r/embedded
🔬Binary Analysis
Building a Hacker News OAuth Provider from First Principles
hn.simplerauth.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Node.js – Open-Sourced Identity
nodejs.org·1d·
Discuss: Hacker News
🏛Digital humanities
Best Open-Source Embedding Models Benchmarked and Ranked
supermemory.ai·2d·
Discuss: Hacker News
⚙️Compression Benchmarking
Programming as Theory Building – The Death and Revival of Understanding
b0a04gl.site·2d·
Discuss: Hacker News
💻Programming languages
How much code does that proc macro generate?
nnethercote.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Seeing Like a Machine: Understanding Computer Vision Fundamentals and Applications
dev.to·8h·
Discuss: DEV
📐Projective Geometry
BTCC.Com Exchange Review: We traded $100,000 On 14 Year Old Veteran Crypto Exchange
hackernoon.com·2h
🔐CBOR
Evaluating Redundancy Mitigation in Vulnerable Road User Awareness Messages for Bicycles
arxiv.org·7h
⚙️Cassette Mechanics
A Playbook for Application Security Pentest Reports
infosecwriteups.com·1d
🕵️Penetration Testing
Amplifying Machine Learning Attacks Through Strategic Compositions
arxiv.org·6d
⚔️Lean Tactics
From Migrations to Seed : Working with Fixtures in Nixopus
dev.to·16h·
Discuss: DEV
🦋Format Metamorphosis
Our Coding Adventure: Using LLMs to Personalise the Narrative of a Tangible Programming Robot for Preschoolers
arxiv.org·3d
🎙️Whisper
Programming Entry Level: guide entry level job
dev.to·14h·
Discuss: DEV
🔩Systems Programming
I implemented database in Go - learned some hard lessons about transparency along the way
reddit.com·2d·
Discuss: r/golang
🗄️Database Internals
ECMAScript 2025 Language Specification
tc39.es·3d·
Discuss: Hacker News
🎯Gradual Typing
Exposure Protocol: Information Disclosure in the Wild [Part 4] ️
infosecwriteups.com·2d
🏺ZIP Archaeology
Notion + Zapier = Developer Superpowers: Automate Everything
dev.to·2d·
Discuss: DEV
⚡Proof Automation
What is Infrastructure as Code (IaC) and why It's a Game-Changer in DevOps
dev.to·17h·
Discuss: DEV
🧱Immutable Infrastructure