csl

13 ms·

91.
by csl 11y ago
Happy to see my thesis advisor's paper on the HN front page! This paper really helped me when I was implementing a simplified version of Paxos using OpenFlow. I also remember Hein recommended me to study Paxos before delving into Raft,
92.
Making a simple VM interpreter in Python(csl.name)
1 points by csl 11y ago|0 comments
93.
Compiling and using em-dosbox(csl.name)
1 points by csl 11y ago|0 comments
94.
JFK Solomon Swims Survivors(orwelltoday.com)
9 points by csl 11y ago|1 comments
95.
by csl 11y ago
I work with reservoir modelling, and it continues to amaze me that everyone coming from non-CS fields seem to have programmed solely in Fortran. Besides, I believe the Intel Fortran compiler is extremely fast. I wouldn't say there&#x27
96.
by csl 12y ago
Also, if this thing is truly mangling bytecode, it's not portable between different python versions [...] seems to be done by interpy_untokenize, which boils down to some string mangling It uses the Python file encodi
97.
by csl 12y ago
I'm sympathetic with your feelings. My advice is to focus on yourself instead of comparing yourself with others. I've often found solace in Max Erhmann's "Desiderata" --- http://mwkworks.com/desidera
98.
by csl 12y ago
I've used model checkers before, but never SMT solvers. Looks really cool! Anyway, here's a great post on solving a Project Euler problem using Z3/SMT-lib, which may be inspiring for other novices like myself: http:/&#x
99.
by csl 12y ago
> is it a common problem to have, not knowing the set size? Yes. It could be as simple as receiving values from a Python generator (or equivalent mechanism in your favourite language), where you don't know the number of items before
100.
by csl 12y ago
The cool thing is, of course, to find like-minded people locally! It would be nice to be able to see results by specifying a geographic radius.
101.
by csl 12y ago
It's a library that talks through the shell. I was kinda disappointed when I learned that. But it may be on purpose, as someone else mentioned. I've used it while making bindings for it for my Scheme project: https://
102.
by csl 12y ago
So I just donated €20 and I invite others to do it as well. (And they use Stripe for payments, which of course is relevant here on HN. And as a first time user, it was a breeze to donate.)
103.
by csl 12y ago
I remember that the book "The Neverending Story" also employed a similar scheme: Red and green ink was used to distinguish between the book's two worlds. See, for example, https://greaterthanknowledge.wordpress.com
104.
by csl 12y ago
If anyone is interested, I just wrote a simple guide on how to get your own DOS programs up and running with em-dosbox: https://csl.name/post/em-dosbox/ Em-dosbox and emscripten are really amazing projects. An emu
105.
by csl 12y ago
I had huge problems falling asleep for several years (10 years or so). Then I stopped reading in bed, avoided coffee after five and started to consistently go to bed before midnight. Now I regularly fall asleep within 20 minutes or sooner.
106.
by csl 12y ago
I guess the underlying problem is that C++ doesn't have a standardized ABI. So you get things like QStrings, etc.
107.
by csl 12y ago
It always depends on your needs. Before you start avoiding std::string, note that the article said that one of the problems was that they went from std::string to C-strings and then allocated a new std::string. This often happens when you u
108.
by csl 12y ago
The interface and behavior of std::string is standardized. Library writers are free to implement it in any way that honors the standard. However, sometimes the requirements may lead to less than optimal implementations, I believe. So as l
109.
by csl 12y ago
Well, the idea here is that with libraries in pure source form, a partial evaluator could be able to specialize and shrink down the program automatically, as you describe. So you'd get the best of both worlds. I'm not aware of a
110.
by csl 12y ago
It would be interesting to plot the PageRank score of each person's page as well, showing their significance. I would expect a long tailed graph (as we filter only the very significant persons the farther back we go in time; less notab
111.
by csl 12y ago
> I remember the days when C was just yet another systems programming language deemed too slow for any serious work. I've heard that remark several times. Which languages were faster than C back then, except assembly? Fortran? Algol
112.
by csl 13y ago
and then runs the function 1000 more times, measuring each run independently and reporting the average runtime at the end. When it comes to measuring the performance of code like this, averaging run times is not the way to do it. To remov
113.
by csl 13y ago
I also did a scan of the book; it seems pretty good! However, if you're serious about learning C then I strongly recommend getting the K&R book [0]. It's short and quickly gets down to business --- the first chapter alone giv
114.
by csl 13y ago
As an aside, do anyone here still use IRC regularly? It seems some open source projects have permanent channels, but I don't know how active these are. Haven't really used IRC since the mid-90s, but perhaps it's a good way to
115.
by csl 13y ago
I wouldn't be so quick to call BS. They state in the abstract that it's not limited to dogs: Several mammalian species spontaneously align their body axis with respect to the Earth's magnetic field (MF) lines in diverse beha
116.
by csl 13y ago
Here's my hobbyist, incomplete implementation: https://github.com/cslarsen/mickey-scheme There is also the much more robust Chibi Scheme that implements all of R7RS.
117.
The MIT tic-tac-toe machine made out of Tinkertoys(rci.rutgers.edu)
2 points by csl 13y ago|0 comments
118.
by csl 13y ago
Can anyone in the know give an opinion on the claimed proof? I see Wikipedia has already been updated: Considerable work has been done on the weak Goldbach conjecture culminating in a 2013 claimed proof by Harald Helfgott. Taken fr
119.
by csl 13y ago
No idea, but you can start here: http://www.norway.org/studywork/work/work/
120.
by csl 13y ago
I'm talking about occupational pensions, which I believe is in addition to the one given by state. I'd be happy to hear any comments on this. The 40-hour work week is the norm --- it most definitely is not a lie. Of course, some high-end

More ›