gfredtech

5 ms·

1.
Ghcup – The Haskell (GHC) toolchain installer(haskell.org)
2 points by gfredtech 5y ago|0 comments
2.
by gfredtech 8y ago
Imagine being a female on the exec board of a California company and knowing the reason why you're there.
3.
by gfredtech 8y ago
You'd have to pay for them, episodes 2-52
4.
Why Is Google Translate Spitting Out Sinister Religious Prophecies?(motherboard.vice.com)
2 points by gfredtech 8y ago|0 comments
5.
Google AI Research Center in Africa(africa.googleblog.com)
3 points by gfredtech 8y ago|0 comments
6.
Ways of expressing 'bottom' in Haskell without resorting to unsafe operations(okmij.org)
1 points by gfredtech 8y ago|0 comments
7.
Examples of algorithms and proofs that seem correct, but aren't(cstheory.stackexchange.com)
2 points by gfredtech 8y ago|1 comments
8.
by gfredtech 8y ago
Duckduckgo, because I don't memorize rarely used git commands/language and/or library features, and so when I search for how to do something, it gives me the answer instantaneously without having to wade through stackOverflow
9.
by gfredtech 9y ago
I'm currently using it for my Computer Architecture class(MIPS edition). It's rather unfortunate that I'm just grokking the book for the grades, it's a very good book and explains a lot of concepts quite well. I may not
10.
From C/C++ to native development: Rust and Fortran plugins in CLion(blog.jetbrains.com)
1 points by gfredtech 9y ago|0 comments
11.
Func – Header-only functional additions to C(github.com)
1 points by gfredtech 9y ago|0 comments
12.
Abstract Forth Machine Written in Golang(github.com)
2 points by gfredtech 9y ago|0 comments
13.
The Discrete Charm of the Turing Machine[pdf](asimovs.com)
5 points by gfredtech 9y ago|0 comments
14.
by gfredtech 9y ago
well, since the halting problem is undecidable, then no. One thing I still do not understand is how languages like Coq and Idris can almost always ensure that programs written in them terminate.
15.
by gfredtech 9y ago
Getting 552: connection timed out here
16.
Buckhacker – Amazon AWS S3 bucket search engine(buckhacker.com)
2 points by gfredtech 9y ago|1 comments
17.
Sulong – A high-performance LLVM bitcode interpreter built on the GraalVM(github.com)
62 points by gfredtech 9y ago|17 comments
18.
Stealth Ethereum-Based Company pays ~$1B for land in Nevada(reddit.com)
3 points by gfredtech 9y ago|1 comments
19.
The Psychology of Human Misjudgment by Charlie Munger [pdf](moiglobal.com)
3 points by gfredtech 9y ago|0 comments
20.
Nicholas Taleb on Bitcoin: “It may fail but we now know how to do it”(medium.com)
2 points by gfredtech 9y ago|0 comments
21.
by gfredtech 9y ago
I read this article[1] a while ago and it seems he has a lot of time on his hands. It's very hard to come across a piece of tech that isn't proprietary, yet Stallman has a workaround in such cases(like how he accesses web pages fr
22.
Unchained Podcast Interview with Vitalik Buterin[audio](unchainedpodcast.co)
1 points by gfredtech 9y ago|0 comments
23.
by gfredtech 9y ago
Let's just say that I'm used to pronouncing words the American way
24.
by gfredtech 9y ago
Even though I grew up in a Commonwealth country, it says I've got 85% British accent which is totally not correct
25.
Sorting Real Numbers in O(n √log N) Time and Linear Space(arxiv.org)
2 points by gfredtech 9y ago|1 comments
26.
I thought I understood Open Source. I was wrong(medium.com)
2 points by gfredtech 9y ago|1 comments
27.
by gfredtech 9y ago
I rarely download torrents, however it shows just a list of a bunch of movies I haven't even heard of before
28.
Microsoft Removes Google’s Chrome Installer from the Windows Store(theverge.com)
19 points by gfredtech 9y ago|0 comments
29.
Procedural generation with 3D Lindenmayer systems(jobtalle.com)
1 points by gfredtech 9y ago|0 comments
30.
by gfredtech 9y ago
Meyer is the creator of the Eiffel programming language. Most of Eiffel's OOP features were borrowed by other successful OO languages, but I still don't understand why Eiffel never took off.

More ›