computer science

Dijkstra Scores Again

2019 December 12

“As a slow-witted human being I have a very small head and I had better learn to live with it and to respect my limitations and give them full credit, rather than try to ignore them, for the latter vain effort will be punished by failure.”  — Edsger W. Dijkstra, in Structured Programming (1972)

Tags: computer science

Summer Project

2018 May 6

Among all the other things I have on my plate, this summer I’ll be coding a simulator for a combinatorial architecture proposed back in 1998 by Berkovitch and Berkovitch. Their paper “presents a new principle for microprocessor design based on a pairwise-balanced combinatorial arrangement of processing and memory elements.” This was suggested to me by Prof Alan Ling. Just an exercise at this point. Should be fun. ;) [1] E. Berkovitch and S. ... Read more …

Tags: uvm computer science

Norbert Blum Claims Proof of P≠NP

2017 August 17

I’m working my way through this and will spend more time on it this weekend. Certainly I’m not qualified to judge, but there are some interesting bits to ponder. A Solution of the P versus NP Problem Fortnow, Lipton, Aaronson have all given a preliminary thumbs down without providing specifics. The next few days should be interesting. Chances are, of course, that it’ll get shot down. For others not hip to the significance of this, here’s the tl;dr: Hard unsolved problem in computer science with important implications. ... Read more …

Tags: computer science