Uncategorized _ July 29, 2024_ admin_ 0 Comments LeanDojo: Theorem Proving in Lean Using LLMs Comments… LEARN MORE ♥1
Uncategorized _ July 29, 2024_ admin_ 0 Comments Higher-kinded bounded polymorphism in OCaml (2021) Comments… LEARN MORE ♥1
Uncategorized _ July 29, 2024_ admin_ 0 Comments FurtherAI (YC W24) is hiring founding software engineers in the Bay Area Comments… LEARN MORE ♥1
Uncategorized _ July 29, 2024_ admin_ 0 Comments Show HN: A football/soccer pass visualizer made with Three.js Comments… LEARN MORE ♥
Uncategorized _ July 28, 2024_ admin_ 0 Comments Roguecraft Devs on Developing for Amiga in 2024 Comments… LEARN MORE ♥1
Uncategorized _ July 28, 2024_ admin_ 0 Comments Managarm: Pragmatic microkernel-based OS with asynchronous I/O Comments… LEARN MORE ♥
Uncategorized _ July 28, 2024_ admin_ 0 Comments An Interview with Robert Caro and Kurt Vonnegut (1999) Comments… LEARN MORE ♥
Uncategorized _ July 28, 2024_ admin_ 0 Comments Show HN: Semantic Grep – A Word2Vec-powered search tool Comments… LEARN MORE ♥
Uncategorized _ July 27, 2024_ admin_ 0 Comments Apex Surplus is a movie industry props and parts source Comments… LEARN MORE ♥1
