#codejenga β Public Fediverse posts
Live and recent posts from across the Fediverse tagged #codejenga, aggregated by home.social.
-
π₯ Ah, yes, the classic "let's throw neural networks and #types in a blender and see what mess comes out" approach. π€β¨ The article rambles on about separating training and typechecking like it's some groundbreaking revelation, when really, it's just playing code Jenga with fancy names like #Idris, #Lean, and #Agda. π§©π
https://www.brunogavranovic.com/posts/2026-04-20-types-and-neural-networks.html #neuralnetworks #codeJenga #HackerNews #ngated