prev 1 / 10 more

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

prev 1 / 10 more