🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Trying out the ice4pi from Lightside Instruments
mikecoats.com·9h
🔌Single Board PC
Building custom incus images
lambdacreate.com·1d
❄️Nixpkgs
LapDogs: China-nexus hackers Hijack 1,000+ SOHO devices for espionage
securityaffairs.com·9h
🔓Hacking
Modelling API rate limits as diophantine inequalities
vivekn.dev·1d·
Discuss: Hacker News
🎯Performance Proofs
How much code does that proc macro generate?
nnethercote.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
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·1d
🌳Trie Structures
🚀 Automating Weekly SLA Reports — A No-Code, Practical Framework
dev.to·1h·
Discuss: DEV
⚡Proof Automation
PaperSense: Semantic arXiv Search & Chat Built with MindsDB
dev.to·1h·
Discuss: DEV
🔬Academic Search
Machine Learning Fundamentals: adam optimizer example
dev.to·2d·
Discuss: DEV
📊Quantization
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·2d
✅Format Verification
⚔️ 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·1d
🗜️Graph Compression
Building Your Own DSL with @resultBuilder in Swift: HTML Builder
dev.to·15h·
Discuss: DEV
🔤DSLs
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·4d
💻Local LLMs
Deciding Termination of Simple Randomized Loops
arxiv.org·4d
🌳Persistent Data Structures
Breaking Into Backend Development: Lessons from IBM’s Professional Certificate
dev.to·11h·
Discuss: DEV
🔐CBOR
Stop Words Using Spacy - NLP
dev.to·4d·
Discuss: DEV
📝Text Parsing