Chasing a Bug in a SAT Solver (ochagavia.nl) | HN Screenshots

YHacker Newsscreenshots

Screenshot of ochagavia.nl: Chasing a Bug in a SAT Solver

First screen, captured 2 years ago.

Looks similar

Screenshot of blog.jak-linux.org: Observations in Debian Dependency Solving

Observations in Debian Dependency Solving (blog.jak-linux.org)

15 points by JNRowe 2 years ago | 1 comments

Screenshot of aoli.al: Discovering a JDK Race Condition, and Debugging It in 30 Minutes with Fray

Discovering a JDK Race Condition, and Debugging It in 30 Minutes with Fray (aoli.al)

132 points by aoli-al 1 year ago | 37 comments

Screenshot of kobzol.github.io: Investigating and fixing a nasty clone bug

Investigating and fixing a nasty clone bug (kobzol.github.io)

21 points by r4um 9 months ago | 0 comments

Screenshot of kobzol.github.io: Investigating and fixing a nasty clone bug

Investigating and fixing a nasty clone bug (kobzol.github.io)

13 points by ibobev 9 months ago | 1 comments

Screenshot of blog.mastykarz.nl: "Coding is solved" misses the point

"Coding is solved" misses the point (blog.mastykarz.nl)

14 points by listless 2 months ago | 5 comments

Screenshot of winwang.blog: Faster sorting with SIMD CUDA intrinsics (2024)

Faster sorting with SIMD CUDA intrinsics (2024)(winwang.blog)

73 points by winwang 1 year ago | 9 comments