hargup | Dark Hacker News

1.	LeanLLM: An LLM SDK for applications written in Lean 4(github.com) 1 points by hargup 8 hours ago \| 0 comments
2.	Introduction to Domain Driven Development in Lean(twitter.com) 1 points by hargup 7 days ago \| 0 comments
3.	LeanAPI: API Servers for web applications written in Lean 4(github.com) 2 points by hargup 18 days ago \| 0 comments
4.	LeanHTTP: HTTP Client for Lean 4(github.com) 2 points by hargup 22 days ago \| 0 comments
5.	LeanReact: Expressing Composable and Correct React Components in Lean(theoric.com) 1 points by hargup 26 days ago \| 0 comments
6.	LeanReact-v0.1: A Lean 4 framework to write web applications(github.com) 1 points by hargup 37 days ago \| 0 comments
7.	LeanHTTP: HTTP Client for Lean 4(github.com) 1 points by hargup 38 days ago \| 0 comments
8.	LeanDB a strongly Typed SQL front end(theoric.com) 18 points by hargup 47 days ago \| 6 comments
9.	Show HN: Compute.cx is simple (modal.com like) interface for on-demand GPUs(compute.cx) 7 points by hargup 54 days ago \| 0 comments
10.	Show HN: You can continue a Claude session in Codex, and vice versa(github.com) 3 points by hargup 97 days ago \| 3 comments
11.	We rewrote an ML Framework* in Lean, (and yes it is faster*)(theoric.com) 2 points by hargup 105 days ago \| 0 comments
12.	The Co-Blub Paradox(reasonablypolymorphic.com) 5 points by hargup 204 days ago \| 0 comments
13.	Mass Resignation from xAI 19 points by hargup 245 days ago \| 13 comments