Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·10h·
Discuss: Hacker News
🤖AI
Flag this post
Rico Dowdle, Aaron Jones show restraint in ‘Key & Peele’-inspired TD celebrations
nytimes.com·5h
🤖AI
Flag this post
Sum of Digits: A Beginner's Guide to String Iteration in Python
dev.to·1h·
Discuss: DEV
🤖AI
Flag this post
Rust-SFSM 1.0.0
reddit.com·1d·
Discuss: r/rust
🤖AI
Flag this post
How to call engine singleton using Expression instance?
docs.godotengine.org·6h·
Discuss: r/godot
🤖AI
Flag this post
Auto-sizing images in Kitty (if it fits it sits?)
babbagefiles.xyz·1d
🤖AI
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·4d·
🤖AI
Flag this post
The Metastasize of Templating in Declarative Language
fromanengineersight.substack.com·10h·
Discuss: Substack
🤖AI
Flag this post
The strangest Excel functions you'll never use
makeuseof.com·1d
📈Trading
Flag this post
Condensation
lesswrong.com·10h
🤖AI
Flag this post
Whitespace Esolang
esolangs.org·1d·
Discuss: Hacker News
🤖AI
Flag this post
C#: Read or Remove Document Properties from Excel
dev.to·3h·
Discuss: DEV
🤖AI
Flag this post
Do any of you guys have tips on how to remove lube from MX switches?
old.reddit.com·1d·
📈Trading
Flag this post
Burroughs MCP: Getting data in and out
timereshared.com·1d
🤖AI
Flag this post
They caved.
reddit.com·3h·
📈Trading
Flag this post
Crossplatform Business Logic in Rust
forgestream.idverse.com·6h·
Discuss: r/rust
🤖AI
Flag this post
On the gradient of the coefficient of the characteristic polynomial
arxiv.org·1h
🤖AI
Flag this post
I don't love Rust (either)
cbarrete.com·1d·
🤖AI
Flag this post
Need help in doing a simple movement to the right
preview.redd.it·14h·
Discuss: r/midjourney
🤖AI
Flag this post
Maximize Vim with Macros
spin.atomicobject.com·4d·
Discuss: Hacker News
🤖AI
Flag this post