< prev1 / 12 more >

• 1Lean4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
  by salkahfi1 minute ago | 0 comments
• 1A detailed critique of modern C++ in two hours (youtube.com)
  by GeneralMaximus4 minutes ago | 0 comments
• 195% of AI pilot projects fail (forbes.com)
  by warrenmiller6 minutes ago | 0 comments
• 1Qsp: A simple S-Expression parser for Rust TokenStreams (github.com)
  by todsacerdoti8 minutes ago | 0 comments
• 1Peak of Empires: Age of Empires Demake (taxicomics.itch.io)
  by memalign9 minutes ago | 0 comments
• 1Be the first to know with this(many in one) (catch-words.vercel.app)
  by ardi_c_cc16 minutes ago | 1 comments
• 1Tree-me: Because Git worktrees shouldn't be a chore (haacked.com)
  by itsbjoern20 minutes ago | 0 comments
• 1Apps for Gnome (apps.gnome.org)
  by shaunpud25 minutes ago | 0 comments
• 2EU bends to US pressure again by changing AI Act (davekeating.substack.com)
  by slow_typist25 minutes ago | 0 comments
• 1Gemini has no idea about Google Antigravity despite evidence (bsky.app)
  by hanifbbz28 minutes ago | 0 comments

< prev1 / 12 more >