🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Counting Digits Quickly
jcarroll.com.au·1d
🔗Concatenative Languages
Amazon starts blocking piracy apps on Fire TV
flatpanelshd.com·46m·
Discuss: Hacker News
🏴‍☠️Piracy
Why Tokenize Domains?
namefi.io·14h·
Discuss: Hacker News
📡DNS Archaeology
Show HN: I made a zero-log, ephemeral, E2EE web chat
trashtalk.me·1d·
Discuss: Hacker News
📼Cassette Networks
AI, artisans and brainrot
blog.kronis.dev·3d
⚡Incremental Computation
Show HN: EliteSaaS – Self-Contained SaaS Starter (Auth, Billing, Email, Launch)
elitesaas.dev·1d·
Discuss: Hacker News
🚀Indie Hacking
[R] LSTM or Transformer as "malware packer"
reddit.com·1d·
Discuss: r/MachineLearning
🔍BitFunnel
Opensourced ML Signals Toolkit
dev.to·54m·
Discuss: DEV
🌊Digital Signal Processing
Klirr: invoice automation tool written on Rust using Typst
reddit.com·23h·
Discuss: r/rust
🦀Rust Macros
From Pixels to Plots
towardsdatascience.com·27m
🤖Advanced OCR
The Evolution of Caching Libraries in Go and Ristretto's zero hit rate mystery
maypok86.github.io·1d·
Discuss: Hacker News, r/golang
🔄Sync Engine
A Modern Blueprint for Digital Insurance Transformation
dev.to·1h·
Discuss: DEV
🌊Streaming Systems
Linux from the developer's perspective. Part 1 - C language introduction
dev.to·1d·
Discuss: DEV
🔩Systems Programming
DAPFAM: A Domain-Aware Patent Retrieval Dataset Aggregated at the Family Level
arxiv.org·13h
🔍Information Retrieval
Claude Code was stuck without gdb, so I installed it midway and it got happy
dev.to·11h·
Discuss: DEV
📜Proof Carrying Code
CharacterKB: Your AI-Powered Companion for Fictional Characters
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
HumanOmniV2: From Understanding to Omni-Modal Reasoning with Context
arxiv.org·3d
🌳Context free grammars
Why I Think Decentralized AI Can Be A Game Changer For The Future Of AI?
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Why Hire Python Developers for Your Next Project
dev.to·4h·
Discuss: DEV
💧Liquid Types
The AI Journaling Revolution: Free, Local, and Powerful with Rovo Dev + Frontmatter MCP
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing