Oblique Strategies: Prompts for Programmers
kevinlawler.com·1d·
Discuss: Lobsters
⚔️Lean Tactics
Flag this post
Three-party Diffie-Hellman in one shot
johndcook.com·2h
🔐Homomorphic Encryption
Flag this post
A Formula for Round Numbers
signoregalilei.com·14h·
Discuss: Hacker News
📐Arithmetic Precision
Flag this post
Day 34: Python Balanced Numbers Filter, Identify Numbers with Equal Even and Odd Digits Using Modular Checks
dev.to·3d·
Discuss: DEV
🧪Binary Fuzzing
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·3h
🔀Category Theory
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
news.ycombinator.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
FIR filters on FPGA
hackster.io·1d
🎞️FFmpeg Filters
Flag this post
Solving Project Euler #45
loriculus.org·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·3d
🎯Performance Proofs
Flag this post
Finding duplicated code with tools from your CS course
purplesyringa.moe·19h·
Discuss: r/programming
λLambda Encodings
Flag this post
A treap week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🎨Graph Coloring
Flag this post
The Fatal Math Error Killing Every AI Architecture - Including The New Ones
hackernoon.com·8h
👑Isabelle
Flag this post
Archimedes – A Python toolkit for hardware engineering
pinetreelabs.github.io·1d·
Discuss: Hacker News
⚙️RISC-V Microcode
Flag this post
Some Notes on Division, and its History (Including Alien Division for Fractions)
pballew.blogspot.com·2d·
Discuss: www.blogger.com
🎯Arithmetic Coding Theory
Flag this post
Counting past infinity
youtube.com·1d
📼Tape Algebra
Flag this post
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines
ericpony.github.io·1d·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
Typechecking is undecideable when 'type' is a type
dspace.mit.edu·4h·
Discuss: Lobsters
🔗Dependently Typed
Flag this post
Conquering Complexity: Parallel Proof Search for Superhuman AI by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Flag this post
Distilling the Deep: A 3-Line AI Reasoning Challenge with 6 Hard Problems
medium.com·4h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
How to Benchmark Python Code?
codspeed.mintlify.dev·4h·
Discuss: Hacker News
🎯Emulation Accuracy
Flag this post