wk_end

113 ms·

1471.
by wk_end 11y ago
Surprisingly few Genesis games had any kind of save game feature - off the top of my head, there was Sonic 3, RPGs (which were few and far between), and...that's about it?
1472.
by wk_end 11y ago
When talking about graphics that's correct, but I think in this kind of context the "8-bit" refers more to (nostalgic, rose-tinted memories of) the visual style of so-called 8-bit consoles, in particular the NES/Famicom,
1473.
by wk_end 11y ago
Coq doesn't really provide a suitable environment for executing real software AFAIK; it's designed so that, once you've proven your code correct, it can extract a Haskell or Ocaml program out of it.
1474.
by wk_end 11y ago
No one (here, anyway) is trying to take away that right. Freedom of speech also means that others have the freedom to criticize that speech, too.
1475.
by wk_end 12y ago
Type safety is one of the ways we can get more internet safety.
1476.
by wk_end 12y ago
Coq isn't Turing complete - it has a termination checker that needs to be able to determine that your functions terminate.
1477.
by wk_end 12y ago
By this reasoning smoked marijuana is equally as addictive as nicotine and more addictive than snorted cocaine or orally ingested opiates (i.e. prescription painkillers). That seems pretty suspect to me.
1478.
by wk_end 12y ago
Indeed, Russell is famously misquoted[1] as having said "Time you enjoy wasting is not wasted time". [1] http://quoteinvestigator.com/2010/06/11/time-you-enjoy/
1479.
by wk_end 12y ago
Thanks for the comment - that's excellent advice for anyone making a game. I've intentionally kept the scope of this project very, very limited to make sure it's easily completable; the art is just simple blocks and the level
1480.
Writing a DOS Game in 16-bit Assembly Language(github.com)
15 points by wk_end 12y ago|2 comments
1481.
by wk_end 12y ago
I can't say I've tried it myself, but Mercury looks interesting: http://en.wikipedia.org/wiki/Mercury_%28programming_language... http://www.mercurylang.org/
1482.
by wk_end 12y ago
Usually it's just a side-effect of how the system is wired. Consider that GB WRAM mirror, where C000 = E000 all the way up to DDFF = FDFF. Let's look at these numbers in binary: C000 = 1100 0000 0000 0000 E000 = 1110 0000 00
1483.
by wk_end 12y ago
Unless I'm misreading this, there's a slight semantic difference between the two cases: with the GADT-based interpreter, an if expression's two branches must both evaluate to integers: | GIf : bool expr' * int expr&#
1484.
by wk_end 12y ago
It's also, IIRC, based on a logical model called the Calculus of Constructions - or CoC, for short.
1485.
by wk_end 12y ago
Agda and most other dependently-typed languages (e.g. Coq) weren't really designed for "real programmers": they're research-oriented systems for real computer scientists to explore cutting edge ideas in logic and PLT. If
1486.
by wk_end 12y ago
OCaml is (somewhat unconventionally) object-oriented; it has classes, inheritance, what-have-you. The 'O' in the name stands for "objective". Perhaps you're thinking of SML? See: http://caml.inria.fr&#x2F
1487.
by wk_end 12y ago
Currently finishing up my Master's in CS at a German school, Saarland University. The town the school is in (Saarbrücken, near Luxembourg) is extremely dull, especially with my rather poor German skills, but the education I'm gett
1488.
by wk_end 12y ago
Did not downvote them myself, but because of the seemingly kneejerk cynicism, I would imagine. OP is simply praising Go and sharing a success story - there's no need to jump in and point out (with a somewhat condescending tone) that ot