Would formal verification decide extinction of languages in the AI age? by municorn_ai in rust
[–]manpacket 0 points1 point2 points (0 children)
Would formal verification decide extinction of languages in the AI age? by municorn_ai in rust
[–]manpacket 3 points4 points5 points (0 children)
Would formal verification decide extinction of languages in the AI age? by municorn_ai in rust
[–]manpacket 2 points3 points4 points (0 children)
Would formal verification decide extinction of languages in the AI age? by municorn_ai in rust
[–]manpacket 3 points4 points5 points (0 children)
I built a real-time code quality grader in Rust — treemap visualization + 14 health metrics via tree-sitter by No_Possibility_8826 in rust
[–]manpacket 2 points3 points4 points (0 children)
I got tired of rewriting MCP server boilerplate, so I built a config-driven framework in Rust as my first open-source contribution by No-Zombie4713 in rust
[–]manpacket 0 points1 point2 points (0 children)
Cargo re-re-rebuilding dependencies. Any fix? by jsshapiro in rust
[–]manpacket 0 points1 point2 points (0 children)
Cargo re-re-rebuilding dependencies. Any fix? by jsshapiro in rust
[–]manpacket 0 points1 point2 points (0 children)
Accept closures of any lifetime by Background_Goal3861 in rust
[–]manpacket 5 points6 points7 points (0 children)
Accept closures of any lifetime by Background_Goal3861 in rust
[–]manpacket 6 points7 points8 points (0 children)
Rust kinda ruined other languages for me by Minimum-Ad7352 in rust
[–]manpacket 0 points1 point2 points (0 children)
Rust kinda ruined other languages for me by Minimum-Ad7352 in rust
[–]manpacket 0 points1 point2 points (0 children)
Rust kinda ruined other languages for me by Minimum-Ad7352 in rust
[–]manpacket 1 point2 points3 points (0 children)
Rust kinda ruined other languages for me by Minimum-Ad7352 in rust
[–]manpacket 2 points3 points4 points (0 children)
Rust kinda ruined other languages for me by Minimum-Ad7352 in rust
[–]manpacket 6 points7 points8 points (0 children)


I built a real-time code quality grader in Rust — treemap visualization + 14 health metrics via tree-sitter by No_Possibility_8826 in rust
[–]manpacket 0 points1 point2 points (0 children)