< prev 2 / 10 more >

• 177One year of keeping a tada list (ducktyped.org)
  by egonschiele6 days ago | 17 comments
• 33Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
  by PaulHoule5 hours ago | 3 comments
• 20tc-ematch(8) extended matches for use with "basic", "cgroup" or "flow" filters (man7.org)
  by hamonrye4 hours ago | 0 comments
• 942Floor796 (floor796.com)
  by krtkush1 day ago | 49 comments
• 80We "solved" C10K years ago yet we keep reinventing it (2003) (kegel.com)
  by birdculture2 days ago | 11 comments
• 338Last Year on My Mac: Look Back in Disbelief (eclecticlight.co)
  by vitosartori10 hours ago | 53 comments
• 482D Signed Distance Functions (iquilezles.org)
  by nickswalker3 days ago | 2 comments
• 6Vibration Isolation of Precision Objects (2005) [pdf] (sandv.com)
  by nill06 days ago | 0 comments
• 1Langfuse (YC W23) Is Hiring in Berlin, Germany (langfuse.com)
  8 hours ago |
• 128Rex is a safe kernel extension framework that allows Rust in the place of eBPF (github.com)
  by zdw5 days ago | 9 comments

< prev 2 / 10 more >