gfredtech's submissions

1.		Ghcup – The Haskell (GHC) toolchain installer (haskell.org)
		2 points by gfredtech on May 22, 2021 \| past
2.		Why Is Google Translate Spitting Out Sinister Religious Prophecies? (vice.com)
		2 points by gfredtech on July 23, 2018 \| past
3.		Google AI Research Center in Africa (googleblog.com)
		3 points by gfredtech on June 13, 2018 \| past
4.		Ways of expressing 'bottom' in Haskell without resorting to unsafe operations (okmij.org)
		1 point by gfredtech on May 9, 2018 \| past
5.		Examples of algorithms and proofs that seem correct, but aren't (cstheory.stackexchange.com)
		2 points by gfredtech on April 25, 2018 \| past \| 1 comment
6.		From C/C++ to native development: Rust and Fortran plugins in CLion (jetbrains.com)
		1 point by gfredtech on March 14, 2018 \| past
7.		Func – Header-only functional additions to C (github.com/saschagrunert)
		1 point by gfredtech on March 4, 2018 \| past
8.		Abstract Forth Machine Written in Golang (github.com/zignig)
		2 points by gfredtech on March 1, 2018 \| past
9.		The Discrete Charm of the Turing Machine[pdf] (asimovs.com)
		5 points by gfredtech on Feb 21, 2018 \| past
10.		Buckhacker – Amazon AWS S3 bucket search engine (buckhacker.com)
		2 points by gfredtech on Feb 14, 2018 \| past \| 1 comment
11.		Sulong – A high-performance LLVM bitcode interpreter built on the GraalVM (github.com/graalvm)
		62 points by gfredtech on Feb 11, 2018 \| past \| 17 comments
12.		Stealth Ethereum-Based Company pays ~$1B for land in Nevada (reddit.com)
		3 points by gfredtech on Jan 27, 2018 \| past \| 1 comment
13.		The Psychology of Human Misjudgment by Charlie Munger [pdf] (moiglobal.com)
		3 points by gfredtech on Jan 27, 2018 \| past
14.		Nicholas Taleb on Bitcoin: “It may fail but we now know how to do it” (medium.com/opacity)
		2 points by gfredtech on Jan 23, 2018 \| past
15.		Unchained Podcast Interview with Vitalik Buterin[audio] (unchainedpodcast.co)
		1 point by gfredtech on Jan 15, 2018 \| past
16.		Sorting Real Numbers in O(n √log N) Time and Linear Space (arxiv.org)
		2 points by gfredtech on Jan 4, 2018 \| past \| 1 comment
17.		I thought I understood Open Source. I was wrong (medium.com/kelset)
		2 points by gfredtech on Jan 2, 2018 \| past \| 1 comment
18.		Microsoft Removes Google’s Chrome Installer from the Windows Store (theverge.com)
		19 points by gfredtech on Dec 19, 2017 \| past
19.		Procedural generation with 3D Lindenmayer systems (jobtalle.com)
		1 point by gfredtech on Dec 17, 2017 \| past
20.		On false proofs of P=NP, or how not to use induction(2013) (farkasdilemma.wordpress.com)
		2 points by gfredtech on Dec 6, 2017 \| past
21.		Airbnb’s Money-Laundering Problem (thedailybeast.com)
		92 points by gfredtech on Nov 27, 2017 \| past \| 43 comments
22.		Writing fast and safe native Node.js modules with Rust (risingstack.com)
		2 points by gfredtech on Nov 26, 2017 \| past \| 1 comment
23.		Post-Scarcity Academia (4gravitons.wordpress.com)
		3 points by gfredtech on Nov 25, 2017 \| past
24.		Perl and Undecidability (2008) (jeffreykegler.com)
		67 points by gfredtech on Nov 20, 2017 \| past \| 117 comments
25.		1Caml – implementation of 1ML targeting the OCaml runtime (github.com/1caml)
		1 point by gfredtech on Nov 16, 2017 \| past
26.		Results of The Pentagon's Bug Bounty Program (wired.com)
		1 point by gfredtech on Nov 14, 2017 \| past
27.		Malloc from Scratch[video] (destroyallsoftware.com)
		3 points by gfredtech on Nov 10, 2017 \| past \| 1 comment
28.		[dupe] A major vulnerability has frozen hundreds of millions of dollars of Ethereum (techcrunch.com)
		151 points by gfredtech on Nov 7, 2017 \| past \| 16 comments
29.		Tikzcd – A simple visual editor for creating commutative diagrams (github.com/yishn)
		141 points by gfredtech on Nov 3, 2017 \| past \| 12 comments
30.		Trump campaign adviser pleaded guilty to lying about Russian contacts (washingtonpost.com)
		5 points by gfredtech on Oct 30, 2017 \| past
		More

HN For You