Reasoning Up the Instruction Ladder for Controllable Language Models
arxiv.org·5h
🤖AI
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.com·18h
🤖AI
Flag this post
I wrote a short post on the importance of taking the literal perspective on writing scalable code. Code that itself scales over time. Check it out and let me kn...
🦀Rust
Flag this post
Parsing an HTTP Request
mmhaskell.com·1h
🦀Rust
Flag this post
My go-to prompt for legacy code exploration
🤖AI
Flag this post
When does Claude sabotage code? An Agentic Misalignment follow-up
lesswrong.com·11h
🤖AI
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
🤖AI
Flag this post
Build better software to build software better
slack.engineering·10m
🦀Rust
Flag this post
Giving C a Superpower: custom header file (safe_c.h)
hwisnu.bearblog.dev·19h
🦀Rust
Flag this post
An introduction to computer algebra (2018)
🤖AI
Flag this post
Loading...Loading more...