Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·15h·
Discuss: Hacker News
🤖AI
Flag this post
Imperative to Relational
madhadron.com·22h·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
I don't love Rust (either)
cbarrete.com·1d·
Discuss: Lobsters, Hacker News
🕹Retro gaming
Flag this post
Driving TFEL with RP2040: Offloading the CPU step by step (2021)
zephray.me·1d·
Discuss: Hacker News
🕹Retro gaming
Flag this post
Crossplatform Business Logic in Rust
forgestream.idverse.com·10h·
Discuss: r/rust
🤖AI
Flag this post
Just know stuff (or, how to achieve success in a machine learning PhD) (2023)
kidger.site·1d·
Discuss: Hacker News
🤖AI
Flag this post
The Metastasize of Templating in Declarative Language
fromanengineersight.substack.com·15h·
Discuss: Substack
🤖AI
Flag this post
<a href=https://aartaka.me/customize-ed-2>Read on the website: </a>
aartaka.me·17h·
Discuss: r/programming
🕹Retro gaming
Flag this post
My Leetcode Extension just hit 90 users, THANK YOU ALL!
chromewebstore.google.com·6h·
Discuss: r/SoftwareEngineering
🤖AI
Flag this post
Daemon Example in C
lloydrochester.com·13h·
Discuss: Hacker News
🕹Retro gaming
Flag this post
Alphabet: AI Supercycle Powered By Cloud, CapEx, And TPUs
seekingalpha.com·59m
🤖AI
Flag this post
Claude Skills - with SKILL.md only
pankowecki.pl·1d·
Discuss: r/ClaudeAI
🤖AI
Flag this post
Building Flipr: a URL shortener, one commit at a time
dev.to·13h·
Discuss: DEV
🤖AI
Flag this post
What's the deal with Euler's identity?
substackcdn.com·1d·
Discuss: Substack
🤖AI
Flag this post
I’m a sysadmin using Python (Flask / PySide6) — I want to build low-level Windows tools. Should I learn C, C++, or C#?
reddit.com·1d·
Discuss: r/AskProgramming
🕹Retro gaming
Flag this post
Auto-sizing images in Kitty (if it fits it sits?)
babbagefiles.xyz·1d
🤖AI
Flag this post
Weekly DC Stats - 09NOV2025
forums.anandtech.com·18h
🤖AI
Flag this post
Help me understand why the print! is executing after taking the input.
reddit.com·2d·
Discuss: r/rust
🤖AI
Flag this post
Objective-C
developer.apple.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Against Powerful Text Editors
lesswrong.com·2h
🕹Retro gaming
Flag this post