Lean4 Macros for Implementing Custom Quantifiers
🦀Rust
Flag this post
I Built a Whole App Just to Keep My Characters Straight
spin.atomicobject.com·17h
🕹Game Dev
Flag this post
Large Language Model-Based Automated Tumor, Node, Metastasis Staging and Resectability Assessment for Pancreatic Cancer in Radiology Reports With Detection of I...
news.google.com·1h
🕹Game Dev
Flag this post
Whitespace Esolang
🦀Rust
Flag this post
Coding on Paper
🕹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
🕹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.
🕹Game Dev
Flag this post
To use ai to generate to your code or to code it manually that is the question?
🕹Game Dev
Flag this post
When does Claude sabotage code? An Agentic Misalignment follow-up
lesswrong.com·6h
🕹Game Dev
Flag this post
Everything Is a Spreadsheet
🕹Game Dev
Flag this post
[R] Where and Why to publish a research
🕹Game Dev
Flag this post
Beginner’s Guide to Conquering NanoCorp on HackTheBox
thecybersecguru.com·15h
🦀Rust
Flag this post
Loading...Loading more...