Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·2h·
Discuss: Hacker News
🤖AI
Flag this post
Cavaliers' De'Andre Hunter breaks Bulls' Josh Giddey's ankles with nasty crossover
nytimes.com·15h
🤖AI
Flag this post
Rust-SFSM 1.0.0
reddit.com·23h·
Discuss: r/rust
🤖AI
Flag this post
Auto-sizing images in Kitty (if it fits it sits?)
babbagefiles.xyz·18h
🤖AI
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🤖AI
Flag this post
The Metastasize of Templating in Declarative Language
fromanengineersight.substack.com·2h·
Discuss: Substack
🤖AI
Flag this post
Condensation
lesswrong.com·2h
🤖AI
Flag this post
Whitespace Esolang
esolangs.org·1d·
Discuss: Hacker News
🤖AI
Flag this post
Deploy Your Web App in 1 Minute
dev.to·3h·
Discuss: DEV
🤖AI
Flag this post
The strangest Excel functions you'll never use
makeuseof.com·1d
📈Trading
Flag this post
Do any of you guys have tips on how to remove lube from MX switches?
old.reddit.com·1d·
Discuss: r/ErgoMechKeyboards
📈Trading
Flag this post
Burroughs MCP: Getting data in and out
timereshared.com·21h
🤖AI
Flag this post
Need help in doing a simple movement to the right
preview.redd.it·6h·
Discuss: r/midjourney
🤖AI
Flag this post
I don't love Rust (either)
cbarrete.com·19h·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
Maximize Vim with Macros
spin.atomicobject.com·4d·
Discuss: Hacker News
🤖AI
Flag this post
original ↗
gurudas.dev·1d
🤖AI
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.com·5h
🤖AI
Flag this post
Writing Your First Compiler - Part 6: Extending the Language
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
Imperative to Relational
madhadron.com·9h·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
<a href=https://aartaka.me/customize-ed-2>Read on the website: </a>
aartaka.me·4h·
Discuss: r/programming
🤖AI
Flag this post