Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Compiling a Call to a Block
patshaughnessy.net·1d
🦀Rust Macros
Flag this post
Undefined Tasks
thedailywtf.com·5h
💾Persistence Strategies
Flag this post
Quest for Permissively Licensed PDF Library in C#
duerrenberger.dev·1h·
Discuss: Hacker News
📄PDF Internals
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·1d·
Discuss: Substack
📊Quantization
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·2d·
⚙️RISC-V Microcode
Flag this post
kadena-io/pact-5
github.com·1d
🔓Open Source Software
Flag this post
The Next Big Thing
semiengineering.com·1d·
Discuss: Hacker News
🔧FPGA Preservation
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·2d·
Discuss: Substack
🚀SIMD Text Processing
Flag this post
How I Cracked the eJPT Exam in Just 3 Hours with a Score of 85%
infosecwriteups.com·1d
🕵️Penetration Testing
Flag this post
Show HN: I built an AI that generates full-stack apps in 30 seconds
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
The Engineer's Go-to-Market Checklist for B2B Product Launches
dev.to·24m·
Discuss: DEV
❄️Nix Adoption
Flag this post
Building PRRover: A FastAPI GitHub PR Reviewer with Telex A2A Integration
dev.to·14h·
Discuss: DEV
gRPC
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·7h
🔄Language Evolution
Flag this post
Learning Complementary Policies for Human-AI Teams
arxiv.org·7h
🔲Cellular Automata
Flag this post
Turning 500 Lines of If-Else Into a Config Switch: Strategy Pattern in Go
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
IL-PCSR: Legal Corpus for Prior Case and Statute Retrieval
arxiv.org·7h
🔍Information Retrieval
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·12h·
Discuss: DEV
⚔️Lean Tactics
Flag this post