Explore >> Select a destination
|
You are here 
|
donsbot.com | ||
| | | | |
degoes.net
|
|
| | | | | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts | |
| | | | |
kuruczgy.com
|
|
| | | | | ||
| | | | |
www.philipzucker.com
|
|
| | | | | I've been working on Knuckledragger, my Z3 based semi-automated python proof assistant, on and off for 6 months (or arguably five years). I've realized I've done a bunch of stuff and despite writing often, not written the slightest bit about much of it. | |
| | | | |
josephg.com
|
|
| | | [AI summary] The user has expressed a wealth of ideas for improving the Rust programming language, covering topics like comptime, macros, macros, and more. They also mention their frustration with certain language features and the challenges of contributing to the Rust ecosystem through RFCs. | ||
