luu

Conserving wildlife in a changing world: Understanding capture myopathy

2 points by luu 6 days ago | 0 comments

Land Values and Affordability

5 points by luu 1 week ago | 1 comment

Sound Static Data Race Verification for C [pdf]

1 point by luu 3 weeks ago | 0 comments

Ecovacs robot vacuums get hacked

2 points by luu 3 weeks ago | 1 comment

Optimizing SFI Performance and Scalability on Modern Architectures [pdf]

1 point by luu 1 month ago | 0 comments

Grid-Free Approach to Partial Differential Equations on Volumetric Domains [pdf]

57 points by luu 1 month ago | 4 comments

Ontario judge approves $500M settlement in Loblaw bread-fixing case

2 points by luu 1 month ago | 0 comments

Google shared my phone number

471 points by luu 1 month ago | 175 comments

ARM PAN

6 points by luu 1 month ago | 0 comments

Enzyme Automatic Differentiation Framework

5 points by luu 1 month ago | 0 comments

The Napkin Project

4 points by luu 1 month ago | 0 comments

"Copilot" bot user exempted from GitHub blocks

4 points by luu 1 month ago | 0 comments

Writing into Uninitialized Buffers in Rust

129 points by luu 1 month ago | 119 comments

Poireau: A Sampling Allocation Debugger

13 points by luu 1 month ago | 2 comments

Community Access to Ventilation Information

2 points by luu 1 month ago | 0 comments

Heart rate and body temperature during a PhD defense, an informal look

1 point by luu 1 month ago | 0 comments

LLVM IR – Past, Present and Future [video]

1 point by luu 1 month ago | 0 comments

List of Animals by Number of Legs

7 points by luu 1 month ago | 0 comments

Refactoring Clojure

94 points by luu 1 month ago | 35 comments

Beyond the Wrist: Debugging RSI

41 points by luu 1 month ago | 24 comments

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

2 points by luu 1 month ago | 0 comments

Mipmap selection in too much detail

99 points by luu 1 month ago | 25 comments

Has anyone coined the term “fast tech” yet?

77 points by luu 1 month ago | 44 comments

Open Hardware Ethernet Switch project, part 1

275 points by luu 2 months ago | 36 comments

A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]

161 points by luu 2 months ago | 134 comments

The Search for Meaning in 2001 (1998)

1 point by luu 2 months ago | 0 comments

Forty-One

3 points by luu 2 months ago | 0 comments

Is there a balance to be struck between simple hierarchical models and

40 points by luu 2 months ago | 7 comments

Dependency Injection for Artificial Intelligence

1 point by luu 2 months ago | 0 comments