Search: blog.polybdenum.com | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

I Hacked Google App Engine: Anatomy of a Java Bytecode Exploit (blog.polybdenum.com)

281 points

5 years ago

2.

Four limitations of Rust's borrow checker (blog.polybdenum.com)

191 points

a year ago

3.

Identifying Rust's collect:<Vec<_>>() memory leak footgun (blog.polybdenum.com)

180 points

2 years ago

4.

When zero cost abstractions aren't zero cost (blog.polybdenum.com)

166 points

5 years ago

5.

The inconceivable types of Rust: How to make self-borrows safe (2024) (blog.polybdenum.com)

127 points

7 months ago

6.

Designing type inference for high quality type errors (blog.polybdenum.com)

83 points

a year ago

7.

You Need Subtyping (blog.polybdenum.com)

71 points

a year ago

8.

Implicit Overflow Considered Harmful, and how to fix it (blog.polybdenum.com)

40 points

5 years ago

9.

X Design Notes: Unifying OCaml Modules and Values (blog.polybdenum.com)

35 points

9 months ago

10.

Subtype Inference by Example (blog.polybdenum.com)

27 points

a year ago

11.

Fixing the Next 10k Aliasing Bugs (blog.polybdenum.com)

7 points

3 years ago

12.

When Zero Cost Abstractions Aren't Zero Cost (blog.polybdenum.com)

6 points

5 years ago

13.

Fixing the Next Thousand Deadlocks (blog.polybdenum.com)

5 points

4 years ago

14.

An Unfortunate Experience with Rust (blog.polybdenum.com)

4 points

4 years ago

15.

The Inconceivable Types of Rust: How to Make Self-Borrows Safe (blog.polybdenum.com)

4 points

2 years ago

16.

The Inconceivable Types of Rust: How to Make Self-Borrows Safe (blog.polybdenum.com)

4 points

2 years ago

17.

An Unfortunate Experience with Rust (blog.polybdenum.com)

3 points

4 years ago

18.

An Unfortunate Experience with Rust (blog.polybdenum.com)

3 points

4 years ago

19.

I Hacked Google App Engine: Anatomy of a Java Bytecode Exploit (blog.polybdenum.com)

3 points

5 years ago

20.

X Design Notes: Pattern Matching I (blog.polybdenum.com)

2 points

9 months ago

21.

X Design Notes: GADTs (blog.polybdenum.com)

2 points

9 months ago

22.

What are GADTs and why do they make type inference sad? (blog.polybdenum.com)

2 points

2 years ago

23.

Fixing the Next 10k Aliasing Bugs (blog.polybdenum.com)

2 points

3 years ago

24.

Fixing the Next 10k Aliasing Bugs (blog.polybdenum.com)

2 points

3 years ago

25.

An Unfortunate Experience with Rust (blog.polybdenum.com)

2 points

4 years ago

26.

I Hacked Google App Engine: Anatomy of a Java Bytecode Exploit (blog.polybdenum.com)

2 points

5 years ago

27.

1SubML: Plan vs. Reality (blog.polybdenum.com)

1 point

2 months ago

28.

1SubML: Plan vs. Reality (blog.polybdenum.com)

1 point

2 months ago

29.

PolySubML Is Broken (blog.polybdenum.com)

1 point

7 months ago

30.

PolySubML Is Broken (blog.polybdenum.com)

1 point

7 months ago