< prev 3 / 10 more >

• 16Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover (github.com)
  by abrax31413 days ago | 2 comments
• 268HTML Lists (blog.frankmtaylor.com)
  by speckx6 hours ago | 18 comments
• 106Futhark by example (futhark-lang.org)
  by tosh13 hours ago | 7 comments
• 191DeepSeek-V4-Flash means LLM steering is interesting again (seangoedecke.com)
  by Brajeshwar8 hours ago | 13 comments
• 22Ask HN: When did computers stop being fun?
  by klez1 hour ago | 26 comments
• 1Kyber (YC W23) Is Hiring a Founding Marketer (ycombinator.com)
  11 hours ago |
• 92Nearly 50 Years Later, WKRP in Cincinnati Becomes a Real Radio Station (openculture.com)
  by bookofjoe4 days ago | 10 comments
• 60After 8 years, I rewrote my open-source PyTorch curvature library (github.com)
  by noahgolmant2 days ago | 1 comments
• 1836I believe there are entire companies right now under AI psychosis (twitter.com)
  by reasonableklout1 day ago | 142 comments
• 69Accelerate – Embedded language for high-performance array computations (github.com)
  by tosh9 hours ago | 7 comments

< prev 3 / 10 more >