Viewing profile — fabriceleal

As far as conspiracies goes, this one pretty much borders on open secret. > In his first term, Schröder's government decided to phase out nuclear power, fund renewable energies > S…

> Okay, you also get some obscure information like whether there were an even or odd number of 1 bits in the bottom 8 bits of result, but that’s hardly useful nowadays. I'm honestl…

I'm a non native english speaker trying to read this book, sort of gave it up around (i think) half to read other books in the waiting list. Most of the interludes are not that eng…

> If Is it not? > certainly not unique to PHP Doesn't stop it from being an issue in my book, one that prevents updating to newer versions of the interpreter without breaking produ…

So the issue is not breaking backwards compability in the "standard library" between versions?

Sacrificing material for positional compensation is hardly a new concept

Probably more about the difference between "echo" and "std::cout << ... << std::endl;" than the recursive function call.

Reminds me of that robocop scene "You call this a glitch???"

> They made very annoying, aggressive plays that were difficult to counter, not taught anywhere in professional videos, forums or training sites Mind sharing more on these strategi…

That one is an urban myth of sorts i believe

I've been doing some spare chess programming on a GUI myself (non-intensive on-off work for 1 year so far) and I decided to stay with the naive method (12 bits, straightforward src…

Let over Lambda uses this (maybe something like this?). Very cool book. http://letoverlambda.com/

Ah, the pictures here https://www.flickr.com/photos/europeanspaceagency/sets/72157... remind me of Eraserhead :)

Check opendylan [1], which blends dynamic typing with optional type annotations [2]. There's a paper [3] and a "dead" branch in github [4] with an actual implementation of gradual …

Minisat is definitely on my read list; I'll probably need to read it 2/3 times to fully appreciate it's content. Thanks for the "superoptimizer" pointer, I'll explore that.

I just got started on writing a SAT solver (https://github.com/rjmacready/sat-solver) (this is not working ATM) and while I’ve been finding some resources, I feel like I’m missing …

Now this would be very interesting! Been trying to find good resources on this for a while, but found none ...

How are you handling libc? you have your own (or is this even an issue with Lua)? I've been thinking of putting a Common Lisp implementation on bare metal (initially thinking of SB…

A more complete example, giving you a Lisp REPL, and calling C code from Lisp: http://vwood.github.io/embedded-ecl.html And a "port" to Windows: https://github.com/fabriceleal/ecl-…

This is great news, now we just need to lobby for the creation of this specification in machine readable files, using something like the K Framework, instead of using the usual wal…

Personally I would be a lot more interested in a good platform for writing static analysis tools. I believe the community in general would take a more immediate benefit (and what a…