< prev1 / 10 more >

• 290Kagi Small Web (kagi.com)
  by trueduke3 hours ago | 23 comments
• 856Kagi Translate now supports LinkedIn Speak as an output language (translate.kagi.com)
  by smitec8 hours ago | 131 comments
• 344Reddit User Uncovers Who Is Behind Meta's $2B Lobbying for Age Verification Tech (gadgetreview.com)
  by doener2 hours ago | 18 comments
• 68Building a Shell (healeycodes.com)
  by ingve3 hours ago | 8 comments
• 34Font Smuggler – copy hidden brand fonts into Google Docs (brianmoore.com)
  by lanewinfield3 days ago | 4 comments
• 617Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  by Poudlardo16 hours ago | 48 comments
• 142The unlikely story of Teardown Multiplayer (blog.voxagon.se)
  by lairv3 days ago | 12 comments
• 6Enabling Efficient Sparse Computations Using Linear Algebra Aware Compilers (osti.gov)
  by matt_d4 days ago | 0 comments
• 60Reverse-engineering Viktor and making it Open Source (matijacniacki.com)
  by zggf4 hours ago | 5 comments
• 46What CI looks like at a 100-person team (PostHog) (mendral.com)
  by shad424 days ago | 8 comments

< prev1 / 10 more >