🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Trying out the ice4pi from Lightside Instruments
mikecoats.com·14h
🔌Single Board PC
Building custom incus images
lambdacreate.com·1d
❄️Nixpkgs
Modelling API rate limits as diophantine inequalities
vivekn.dev·1d·
Discuss: Hacker News
🎯Performance Proofs
Show HN: 10x Kubernetes Cluster on Hetzner Cloud
github.com·1d·
Discuss: Hacker News
📦Container Security
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·5d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Adaptive Hybrid Sort: Dynamic Strategy Selection for Optimal Sorting Across Diverse Data Distributions
arxiv.org·2d
🌳Trie Structures
Unleash Your Inner Picasso: 15 Genius Ways Geniartify.online Is Changing the Game of AI Art Creation
dev.to·17h·
Discuss: DEV
📸TIFF Evolution
PaperSense: Semantic arXiv Search & Chat Built with MindsDB
dev.to·6h·
Discuss: DEV
🔬Academic Search
🍸 Selecting the Largest Sum Subsequence of Length K – LeetCode 2099 (C++ | JavaScript | Python )
dev.to·1d·
Discuss: DEV
λLambda Encodings
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·2d·
Discuss: DEV
🌳Trie Structures
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·4d·
Discuss: DEV
🧬Functional Programming
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·2d
🗜️Graph Compression
Advancing Artificial Intelligence: Safety, Personalization, and Practical Applications in Recent Research
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·5d
💻Local LLMs
Deciding Termination of Simple Randomized Loops
arxiv.org·5d
🌳Persistent Data Structures
Breaking Into Backend Development: Lessons from IBM’s Professional Certificate
dev.to·16h·
Discuss: DEV
🔐CBOR
Building Your Own DSL with @resultBuilder in Swift: HTML Builder
dev.to·21h·
Discuss: DEV
🔤DSLs
Generative Adversarial Evasion and Out-of-Distribution Detection for UAV Cyber-Attacks
arxiv.org·2d
🧠Machine Learning
Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
arxiv.org·4d
🔗Hash Chains
Stop Words Using Spacy - NLP
dev.to·4d·
Discuss: DEV
📝Text Parsing