Details
-
AboutSelf taught programmer and anime otaku.
-
SkillsHaskell, interested in dependently typed languages like Agda, Idris, Coq and ATS.
Joined devRant on 6/5/2016
Join devRant
Do all the things like
++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatar
Sign Up
Pipeless API
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple API
Learn More
-
You laugh now, but it would be a valid identifier in agda.
-
@7Raiden I think that looks like his foot thought...
-
@irene but who doesn't want 6-dimensional coffee? (If coffee were measured by volume, i.e s^3, coffee squared would be measured by
ρ^2 = (s^3)^2 = s^6.
Dimensional Analysis for the win.) -
It does not look like your monitors are actually on fire! -1 point!
(Just kidding, that's really cool! ;-)) -
Hej, välkommen till devRant!
-
I also quite like Haskell.
-
Worth a try at least.
-
It's not the frameworks that sell JavaScript, but the platform. So in effect, yes. They would just appear as a consequence.
-
Hello, and welcome!
-
Because you make it a string and then parse that same string.
-
160 something.
-
@mt3o 10 digits
-
I got to 10 billion after about 4h. Next task is to write to disk.
-
@sljux Rewrote it in rust, but still took 8 GB RAM at 2 billion something.
-
@sljux I really mean "I copied from Haskell wiki," but i think it was Eratosthenes sieve.
-
@Wexalian Close, but no. It's a language called Idris.
-
foo : (bar : a) -> Bool
foo bar = True
If anyone knows this language I'll be a bit surprised. 😀 -
I think you used the wrong tag, as you wrote wk29, instead of wk39
-
I don't hide it, I really don't care. I like it though.
-
Have you tried 'fuck'. https://github.com/nvbn/thefuck
-
@MartinZikmund Two steps further: Wipe their hard drive.
-
Especially if you hide it in a mountain of header files.
-
@jakobev Blue screen of death
-
Norwegian or danish? I will bet on danish. Also, I love that it says hardware in a different language.
-
@Stefan7650606 Think of the horrors of a compiler showing -1 when storing error count in an unsigned. : )
-
That shows that one should use an unsigned integer for error counting, an that you have a lot of errors.
-
@filthyranter I did : )
-
@filthyranter looks German to me.
-
@rayanon Yeah... But not that cold.
-
You should live in northern Sweden during winter as it always is night during winter, no matter what time it may be.