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