👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

google/codeworld
github.com·3h
🔓Open Source Software
Combinatorial Explosion of Versions 5 Years Later
worklifenotes.com·2d·
Discuss: Hacker News
🦋Format Evolution
MongoDB Is Great for Analytics; Until It's Not (2023)
seattledataguy.substack.com·10h·
Discuss: Substack
🌊Stream Processing
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.com·3d
⚖️Verification Calculi
Coding Agents 101: Some tips for using agents productively
devin.ai·2d·
Discuss: Hacker News
⚡Proof Automation
Context Engineering: A Primer
ai.intellectronica.net·3d·
Discuss: Hacker News
⚙️TLA+
Protein Structure & Function Investigator
dev.to·12h·
Discuss: DEV
🔗Concatenative Programming
HarmonyOS Development: Authority Statement for Authority Management
dev.to·6h·
Discuss: DEV
🔐Capability Systems
Examples of Rust bindings for C++ libraries using CXX
reddit.com·22h·
Discuss: r/rust
🦀Rust Macros
Part 2: Running Multiple Claude Code Sessions in Parallel with git worktree
dev.to·9h·
Discuss: DEV
🌿git
Day 19: Shipped the frontend, brain officially resigned
dev.to·13h·
Discuss: DEV
🌀Brotli Internals
Machine Learning Fundamentals: adam optimizer tutorial
dev.to·2d·
Discuss: DEV
📊Feed Optimization
From Beginner to Clean Coder: A Junior Developer's Journey
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Threat-Aware Automation: Making Security a First-Class Citizen in Your Test Suite
dev.to·1d·
Discuss: DEV
🎯Threat Hunting
The Building Blocks - Understanding MCP, Agents, and LLMs (Part 2/5)
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
My Trial by Fire: A Complete Chronicle of Setting Up OSO as a PLDG Cohort-3 Newcomer
dev.to·16h·
Discuss: DEV
🔓Open Source Software
Inverse scattering without phase: Carleman convexification and phase retrieval via the Wentzel--Kramers--Brillouin approximation
arxiv.org·35m
📐Linear Algebra
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·4d
💻Local LLMs
RAG vs Fine-tuning vs Prompt Engineering: The Complete Enterprise Guide
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·4d
🧮Theorem Proving