Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·10h·
Discuss: Hacker News
🦀Rust
Flag this post
Use Case: CC and Sonnet 4.5 as system monitoring tool
reddit.com·11h·
Discuss: r/ClaudeAI
🦀Rust
Flag this post
I Built a Whole App Just to Keep My Characters Straight
spin.atomicobject.com·17h
🕹Game Dev
Flag this post
Whitespace Esolang
esolangs.org·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Coding on Paper
thepalindrome.org·3d·
Discuss: Hacker News
🕹Game Dev
Flag this post
Burroughs MCP: Getting data in and out
timereshared.com·1d
🕹Game Dev
Flag this post
Understanding Claude Code's Full Stack: MCP, Skills, Subagents, and Hooks Explained | alexop.dev
alexop.dev·9h·
Discuss: r/ClaudeAI
🕹Game Dev
Flag this post
From Copy-Pasting ChatGPT to Shipping Real Apps: 6 Months of Vibe Coding
vibe.forem.com·5h·
Discuss: DEV
🕹Game Dev
Flag this post
LowEndBox Resorts to Ableism to Smear Software Freedom
techrights.org·1d
🦀Rust
Flag this post
Slicing your work with BDD or another aspect of speed increase with small Pull Requests.
andremoniy.medium.com·21h·
Discuss: r/programming
🕹Game Dev
Flag this post
Need help in doing a simple movement to the right
preview.redd.it·14h·
Discuss: r/midjourney
🕹Game Dev
Flag this post
To use ai to generate to your code or to code it manually that is the question?
reddit.com·15h·
🕹Game Dev
Flag this post
When does Claude sabotage code? An Agentic Misalignment follow-up
lesswrong.com·6h
🕹Game Dev
Flag this post
Weekly Challenge: Longest Expression
dev.to·16h·
Discuss: DEV
🦀Rust
Flag this post
Everything Is a Spreadsheet
ben-mini.com·6h·
Discuss: Hacker News
🕹Game Dev
Flag this post
[R] Where and Why to publish a research
reddit.com·1d·
🕹Game Dev
Flag this post
A Plan for 5-10%* Faster Free-Threaded JIT by Python 3.16
fidget-spinner.github.io·9h·
🦀Rust
Flag this post
How Being Lazy Made Me a Better Developer
dev.to·11h·
Discuss: DEV
🕹Game Dev
Flag this post
Beginner’s Guide to Conquering NanoCorp on HackTheBox
thecybersecguru.com·15h
🦀Rust
Flag this post