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 |