Software History

Software History

10267 bookmarks
Custom sorting
The International SAT Solver Competitions
The International SAT Solver Competitions
The International SAT Solver Competition is today an established series of competitive events aiming at objectively evaluating the progress in state-of-the-art procedures for solving Boolean satisfiability (SAT) instances. Over the years, the competitions have significantly contributed to the fast progress in SAT solver technology that has made SAT a practical success story of computer science. This short article provides an overview of the SAT solver competitions.
The International SAT Solver Competitions
Redefining the number 2 in Python
Redefining the number 2 in Python
In Python it's possible to redefine some builtin values that shouldn't really be changed. For example True and False can be changed in Python versions 2.7 and lower. This is fixed in Python 3 and assignment to True or False raises: "SyntaxError: assigment to keyword" but it works on …
Redefining the number 2 in Python
Reverse indentation
Reverse indentation
I've heard that your code can run faster if you indent it in reverse, so that the compiler can process it like a tree design pattern from the very top of the "branches" down. This helps because gra...
Reverse indentation
mame/quine-relay
mame/quine-relay
An uroboros program with 100+ programming languages
mame/quine-relay
The Problem with the FizzBuzz Problem — Gayle Laakmann McDowell
The Problem with the FizzBuzz Problem — Gayle Laakmann McDowell
FizzBuzz is not the basic, sanity-check interview question that many presume it to be. Use it and you might just end up filtering out some of your good candidates who, unfortunately, suffer from the Smart Person's Mirage.
The Problem with the FizzBuzz Problem — Gayle Laakmann McDowell
It's official, ADSL works over wet string
It's official, ADSL works over wet string
Broadband services are a wonderful innovation of our time, using multiple frequency  bands  (hence the name) to carry signals over wires (us...
It's official, ADSL works over wet string
Does a compiler use all x86 instructions?
Does a compiler use all x86 instructions?
On the Z80 CPU there are so few registers and instructions that you can easily know and use them all and wish there were more of them. However, half of the time it feels like the only on you really use is ld. I imagine that if ld took half the number of clock cycles, average code would run twice as fast.
Does a compiler use all x86 instructions?