gfredtech
Re:Companies headquartered in California can no longer have all-male b...
on Monday October 01, 2018 @05:45AM (#18111195)
Imagine being a female on the exec board of a California company and knowing the reason why you're there.
Re:Ask HN: What podcasts do you listen to regularly?
on Wednesday September 26, 2018 @05:16PM (#18080354)
You'd have to pay for them, episodes 2-52
Why Is Google Translate Spitting Out Sinister Religious Prophecies?
Google AI Research Center in Africa
Ways of expressing 'bottom' in Haskell without resorting to unsafe operations
Examples of algorithms and proofs that seem correct, but aren't
Re:Ask HN: Which search engine do you use, and why?
on Sunday April 22, 2018 @12:05PM (#16896760)
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 pages. I use Google rarely for very specific things(like to check the date a TV show's latest episode is going to air)
Re:Hennessy and Patterson win Turing Award
on Thursday March 22, 2018 @05:22AM (#16647078)
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 grasp it the first time I read a section, but after going over it, I almost always understand.
From C/C++ to native development: Rust and Fortran plugins in CLion
Func – Header-only functional additions to C
Abstract Forth Machine Written in Golang
The Discrete Charm of the Turing Machine[pdf]
Re:Age of Empires 2 Scenario Editor Is Turing Complete
on Thursday February 15, 2018 @09:04AM (#16384017)
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.
Re:Physics Travel Guide: a tool that makes learning physics easier
on Wednesday February 14, 2018 @03:23AM (#16374348)
Getting 552: connection timed out here
Buckhacker – Amazon AWS S3 bucket search engine
Sulong – A high-performance LLVM bitcode interpreter built on the GraalVM
Stealth Ethereum-Based Company pays ~$1B for land in Nevada
The Psychology of Human Misjudgment by Charlie Munger [pdf]
Nicholas Taleb on Bitcoin: “It may fail but we now know how to do it”
Re:Richard Stallman's lifestyle
on Saturday January 20, 2018 @12:40PM (#16194314)
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 from his machine). Is there anyone else who uses methods similar to those mentioned in the article?
Unchained Podcast Interview with Vitalik Buterin[audio]
Re:Is Your English Accent British or American?
on Sunday January 14, 2018 @05:29AM (#16143628)
Let's just say that I'm used to pronouncing words the American way
Re:Is Your English Accent British or American?
on Sunday January 14, 2018 @12:38AM (#16142966)
Even though I grew up in a Commonwealth country, it says I've got 85% British accent which is totally not correct
Sorting Real Numbers in O(n √log N) Time and Linear Space
I thought I understood Open Source. I was wrong
Re:I Know What You Download on BitTorrent
on Wednesday December 20, 2017 @01:07PM (#15972101)
I rarely download torrents, however it shows just a list of a bunch of movies I haven't even heard of before
Microsoft Removes Google’s Chrome Installer from the Windows Store
Procedural generation with 3D Lindenmayer systems
Re:Fourteen Years of Software Engineering at ETH Zurich
on Friday December 15, 2017 @10:06AM (#15932298)
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.