Lean4 Macros for Implementing Custom Quantifiers
🤖LLM
Flag this post
Government suspends extension for Cambodian workers with expired permits
nationthailand.com·14h
Flag this post
From Zero to LLMOps Hero: Your 101 Guide to Running LLMs in Production
analyticsvidhya.com·9h
Flag this post
Red, green, refactor: writing perfect Go, with TDD
bitfieldconsulting.com·1h
Flag this post
Rust Foundation Announces 'Maintainers Fund' to Ensure Continuity and Support Long-Term Roles
developers.slashdot.org·8h
🦀Rust
Flag this post
Mon Nov 10 2025
level1slime.bearblog.dev·5h
Flag this post
Citable
producthunt.com·1d
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·13h
🤖LLM
Flag this post
r/SillyTavernAI
🤖LLM
Flag this post
The End of My SPP Obligation
Flag this post
A proposed kernel policy for LLM-generated contributions
lwn.net·15h
🤖LLM
Flag this post
The two types of LLM preferences
🤖LLM
Flag this post
🎲 Here I Go(dot) Again
kaigulliksen.com·20h
🦀Rust
Flag this post
Skiing’s best kept secret
kill-the-newsletter.com·23h
🦀Rust
Flag this post
Parsing an HTTP Request
mmhaskell.com·4h
Flag this post
Giving C a Superpower: custom header file (safe_c.h)
hwisnu.bearblog.dev·22h
🏠Local-first
Flag this post
Loading...Loading more...