Recent submissions

Comment · 3 years ago
This one's 250 understandable lines: https://github.com/marijnheule/microsat. You could probably get it to below 200 lines if you removed the restart logic and learned clause compaction, but it's actually a surprisingly competitive solver as is.
Comment · 10 years ago
This looks interesting. I've only glanced at the docs, but it looks like this module system lets you define new commands but not necessarily new data structures (since you'd have to implement RDB/AOF serialization for those).

Are there plans for that? It's probably possible to do most of that with this module system but you'd have to serialize the data structure into a string and "type X" wouldn't return your custom data structure type.

Comment · 12 years ago
Yeah, it's enough for me. It's my primary development machine by choice, and it's enough to do anything I need at a terminal (running emacs, developing and testing rails servers, docker builds, etc.) while keeping Chrome open with a few dozen apps including a few gmail and chat windows open.
Comment · 12 years ago
Comment · 12 years ago
Comment · 15 years ago
I really like the /classic front page view. Could we try a similar comment view as well, with votes only counted from users who've been here for at least a year?
Comment · 15 years ago
The Android Market has a similar problem. There is such a large proportion of reviews that are complaints about failed downloads, scare tactics from competitors ("This app installs malware!"), and feature requests ("3 stars. I'll give you four stars once you implement feature X") that it makes me wonder if people with close to 5-star ratings are just buying ratings from farms of people somehow.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton