HNHacker News
TopNewBestAskShowJobs

greydius

1,002 karma · joined July 1, 2015

submissionscomments
greydius··on Escaping Hell with Monads (2017)
It's called abstracting. The problems fit the Monad interface. Details are in the implementations.
greydius··on Ask HN: What Algorithms are you using to make money?

    while (alive) {
        hussle()
    }
greydius··on Does China’s J-20 rival other stealth fighters?
That is not likely to ever happen. Defense spending in the US is mainly welfare for US defense contractors.
greydius··on Functional exceptionless error-handling with optional and expected
A lot of people dislike the terseness of that style (especially the use of operators.) I'm not one of those people, but I can understand their point of view. Fortunately, Haskell also lets us write code in a way that managers can understand.

    getCuteCat img = do
        cropped <- findCat img
        withTie <- addBowTie cropped
        withSparkles <- makeEyesSparkle withTie
        return (addRainbow (makeSmaller withSparkles))
greydius··on Dell Offers Computers Preinstalled with Ubuntu
>Still can't figure out why people who develop software for Ubuntu servers work on OSX instead of Ubuntu. What a waste.

It wasnt an option. I think, especially in larger organizations, that IT departments dont want to support yet another OS. My previous employer didnt even offer macs.

greydius··on Why did we choose Rust to develop TiKV?
Haskell is almost 30 years old and still considered 'new' and 'weird'.
greydius··on Moving Java Forward Faster
I just had the horrible realization that java will still exist in 2118.
greydius··on Professors’ unprofessional programs have created a new profession
I don't have time to give a fuller answer right now, but if I were to write an ebook as you suggested, the recurring theme would be "design for collaboration." Make your project easy for others to use and contribute to. And, contrary to what many people have stated in this thread, I think this aligns with the incentives of academic research. If someone else can easily extend your project with some new ideas, then you've just co-authored another paper. In addition, projects that gain traction beyond your own research group are more likely to get funding.

1) test suite - this shouldn't require explanation

2) documentation - both top level docs with examples and well-commented code. keep track of units

3) one-step build - I should be able to download the project, type 'make' (or something equivalent), and start using it

greydius··on Professors’ unprofessional programs have created a new profession
Mostly luck. I applied on a whim since my previous job (enterprise Java) was dull and tedious, and probably got the interview based on development experience and a math degree.
greydius··on Professors’ unprofessional programs have created a new profession
I do this kind of work. It's frustrating how awful most of the code is. You'd think people smart enough to pursue stem phds would understand basic programming abstractions, but that is often not the case. Another issue is that researchers don't normally use good software engineering practices. I have yet to be given any code that has even a single unit test. Source control is being used these days, but the repositories are usually unorganized messes with unhelpful commit histories. No one keeps track of system dependencies, and few understand build systems. I can spend a week just trying to get some software to build.

I could keep complaining, but I don't want to give people the impression that I don't like what I do. It beats the hell out of writing CRUD apps.

greydius··on Jamie Dimon blows up at DC's dysfunction
Would the US not also benefit if Apple just paid the taxes?
greydius··on Tagged unions, or ‘variants’, in C
Type classes are a completely different concept. Tagged unions are sum types.
greydius··on Why is the Internet so Slow?
10 million. Light: 300000 km/sec, car: 0.03 km/sec
greydius··on Algorithm generates practical paper-folding patterns to produce any 3D structure
Check out [1] for videos of Erik Demaine's lectures on folding. Also, I highly recommend the videos for the algorithms and data structures courses he's taught/co-taught ([2] for example)

[1] https://ocw.mit.edu/courses/electrical-engineering-and-compu...

[2] https://ocw.mit.edu/courses/electrical-engineering-and-compu...

greydius··on Reddit Users Lose Real Money After Meme Currency Bot Dies
> You can not just spend other people's money

This is exactly how banks operate.

greydius··on Concerns with JPMS spec and Jigsaw implementation
C 8.6kb
greydius··on Machine-generated husband chatter
Does that include starting sentences with "so"? Is anyone else annoyed by this?
greydius··on Ghost in the Shell
Same here. The original is one of my favorite films, so I went in expecting to be disappointed, but it wasn't that bad. The story is different, but they made an effort to preserve some of the themes and kept the "Hollywood dumbing down" to a minimum. And it was cool to see some of the iconic scenes from the original brought to life.
greydius··on HN: List of April Fools' Day Announcements (2017)
Scala changing name to Skala, embracing German keywords and grammar: http://scala-lang.org/blog/2017/04/01/announcing-skala.html
greydius··on System76 Galago Pro [video]
I bought a Gazelle 3 years ago and also have a 2015 MBP that my work got for me. I'll admit that the MBP is built very well and the retina screen is fantastic, but I prefer using the Gazelle. I like the keyboard better and Ubuntu (in my opinion, of course) is superior to Mac OS in every way. Also, I haven't had any problems like others have reported.
greydius··on Happiness report: Norway is the happiest place on earth
I believe one of the keys to happiness is simply appreciating what you have. I've met people that live very comfortable lives but are perpetually miserable because nothing is ever enough for them.
greydius··on C++ value category cheat-sheet [pdf]
Which is it? C++ programmers are smart enough to not need the features that Rust provides? Or C++ programmers aren't smart enough to learn basic concepts that they should already know considering their compiler doesn't help them write correct code?
greydius··on Poland confirms 98-year-old Minnesota man was Nazi commander, seeks extradition
In my mind, it's not about prosecuting an individual. The point is to demonstrate that civilized society should, without exception, pursue justice againt war criminals.
greydius··on Zen and the Art of Unit Testing
You might be interested in the "free monad" approach used occasionally in scala and haskell. It separates the effectful operations from the effects by first building a data structure that describes what to do and then interpreting that data structure. The key is that you can interpret the data structure in different ways. That is, one interpreter for production and another for testing. The advantage this has over mocking is that the business logic becomes a collection of pure functions.
greydius··on Was object-oriented programming a failure? (2015)
This is the basic stategy that I try to follow as much as possible:

Classes that hold data have no methods (beyond getters/setters). Classes that implement behavior have no mutable state; they exist as namespaces for the functionality that they provide.

I've been quite successful with this approach. It leads to code that is easier to understand than a big ball of stateful objects.

greydius··on What programming languages are used most on weekends?
I would absolutely take an intern with Haskell experience and teach them Java.
greydius··on How an obscure cult grew to become the dominant religion of the Western world
> transformed from a collection of warring barbarian bands to nations by the cultural standardization brought by christianity

That's a common western viewpoint. I wonder how the 'warring barbarian bands' felt about the 'cultural standardization'.

greydius··on House Passes E-mail Privacy Act
I suppose it's a good time to invest in hard drive manufacturers.
greydius··on Ask HN: Which book have you re-read recently?
This was made into a movie a while back as well. It really liked it.
greydius··on Study reveals substantial evidence of holographic universe
It's an awkward sentence. The 2-dimensional surface is the boundary of the 3-dimensional surface. I think what they're saying is that they believe the 3-dimensional universe is a 'reverse-projection' from the 2-dimensional surface.
← PreviousPage 4 of 10Next →