Location via proxy:   
[Report a bug]   [Manage cookies]                

Platocracy

May 22, 2024 at 11:38am

> At 33 years it is at its best age. 15 years for development, 15 years for maturing and 15 years to become old. We have another 12 years to go before a replacement is mature and needed. In the meanwhile x.org is still the primary solution for showing windows on your screen.

anon

August 25, 2018 at 5:01pm

Hillel’s Brainfuck Interpreter, explained

It took me some fiddling to get Hillel Wayne’s original vim-macros-only Brainfuck interpreter running, so I figured I’d share an asciinema, in the spirit of reproducible shitposting!

Any mistakes are mine; The interpreter itself is based on Hillel’s.

image

Keep reading

July 22, 2018 at 11:16pm

Popularity of Haskell Extensions

Recently on lobste.rs, there was some discussion of “small” language features that add stuff to learn for beginners, but can be pretty ergonomic for more experienced users. (well, it started as a discussion of PEP 572, but let’s not revisit that flamewar here).

I mentioned that the Haskell community’s / GHC’s solution to this is to throw all of these behind {-# LANGUAGE #-} pragmas (so that PEP might be {-# LANGUAGE Colonoscopy #-}, but probably something less silly), and /u/minimax mentioned that that didn’t really help, since it was so common to run into Haskell projects that use a large number of extensions, you basically have to learn them all. This is definitely something that I struggled with when I was learning to contribute to LiquidHaskell. Let us start, as, he did, by just asking ghc how many extensions there are:

Keep reading

December 4, 2015 at 3:12pm

Proof that $\sqrt[n]2 \not\in \mathbb Q$ for $n>3$

Suppose for the sake of contradiction that $\sqrt[n]2 = \frac pq$ for some $n>3$. Then $p^n = 2 q^n = q^n + q^n$ in contradiction to Fermat’s Last Theorem. $$\tag*{$\blacksquare$}$$