HNHacker News
TopNewBestAskShowJobs

greydius

1,002 karma · joined July 1, 2015

submissionscomments
greydius··on Boeing lands $1.2B deal for eight F-15EX fighter jets
> What role is the F-15EX supposed to cover

The corporate welfare role

greydius··on Ask HN: What does Congress do to verify constituent communications?
I don't think this is something to be concerned about. Unless you are donating a significant amount of money, your calls, letters, emails, etc. are simply ignored.
greydius··on Show HN: mod((prime*prime-1)/12)
11 x 10
greydius··on Weakening Cycles So That Turing Can Halt
If you've prove a finite upper bound,then you've proven the program will halt. You don't need to know what the exact number is.
greydius··on Max Von Sydow has died
> Casting a `proper' actor as the villain in a silly movie is always a great idea.

Kenneth Branagh in Wild Wild West. (Not sure if that example supports or refutes your claim.)

greydius··on Miranda released as free software
Miranda is also lazy, so that can't be it.
greydius··on Miranda released as free software
Would you mind elaborating on these points?
greydius··on A Pythonista's Review of Haskell
Small correction: Join should be T (T a) -> T a
greydius··on A Pythonista's Review of Haskell
> The dynamic types bring new capabilities above and beyond what is possible with static types.

Not really. "Dynamic type" just means an object that carries around a description of its structure (or more commonly, a pointer to a description). You can do the same thing in many languages with static types. (Including Haskell. GHC has special support for this pattern.)

greydius··on In Defense of Latin
Can you explain how your first two examples mean the same thing?
greydius··on A Conversation with Language Creators: Guido, James, Anders and Larry [video]

    data Maybe a = Nothing | Just a
greydius··on Understanding Convolutions (2014)
Convolutions show up in a lot of places. Multiplying polynomials is a convolution. This provides an interesting technique to create all the partial sums of a sequence. If you have a generating function for the sequence, divide it by (1-x). You'll get a new generating function where the nth coefficient is the sum of the first n coefficients of the original function. Remember 1/(1-x)=1+x×x^2+... ?
greydius··on Ask HN: High-Quality Online Degree for Mathematics?
4k per year? My masters at a US school cost 4k per class :(
greydius··on Can functional programming be liberated from the von Neumann paradigm? (2010)
Order is not always necessary. For an example, just consider why SIMD instructions and GPUs are so powerful: they can do the same operation on a lot of data at the same time. A different example would be the async/await patten. Independent calculations can proceed concurrently. So no, a specific order of every operation is not part of the definition of algorithm. Indeed, if that was the case CPUs could not do out-of-order execution optimizations.
greydius··on Two Years, Four Nanodegree Programs, and a New Career
I tried doing a nanodegree but quit after a month. The two main reasons:

- the videos are not lectures; they're short, scripted segments. While the production is polished, I found the format irritating. I much prefer actual recorded lectures like the many wonderful (and free) ones available from MIT

- the programming assignments were not challenging. I didn't really feel like I gained anything from them.

greydius··on Japan’s special take on a packed lunch
There are at least a dozen food stalls on the lower level of Union Station. Most of the food is garbage, but the sushi place is decent.
greydius··on FDA approves first generic version of EpiPen
The same strategy used by Microsoft, Mathworks, and drug dealers: Get 'em hooked and you'll have a customer for life.
greydius··on Understanding contravariance
> The resulting code is cleaner, simpler, easier to maintain and more straightforward

I'd love to see the day when our profession invents and adopts objective metrics for attributes such as these so we don't have to rely on opinions.

greydius··on Understanding contravariance
From a mathematics perspective, they're a property of mappings between two categories (called functors). I think part of the confusion us simple programmers have (aside from no knowledge of category theory) is that these words are used without explicitly stating what categories we're dealing with. In the case of typed functional programming (e.g. Haskell), we're usually thinking about functors as mappings from the category of types, where the morphisms are function types, back to itself. But in the object-oriented world, these words are usually used in the context of a category of types where the morphisms indicate a subtype relationship.
greydius··on Notes on Idris (2017)

    #include <iostream>

    template<bool B, typename T>
    std::string doSomething(T t);

    template<>
    std::string doSomething<true>(std::string s) {
      return "true!";
    }

    template<>
    std::string doSomething<false>(int i) {
      return "false!";
    }


    int main() {
      std::string foo {"foo"};

      auto s1 = doSomething<true>(foo);
      auto s2 = doSomething<false>(42);

      std::cout << s1 << ", " << s2 << std::endl;
  
      return 0;
    }
greydius··on Engineering and Software Engineering (2010) [pdf]
This is a valid observation; however, we also need to consider that we write orders of magnitude more software in 2018 than we did in 1968. I don't think the defect / LOC (or whatever metric you want to use) has decreased. So while the cost per defect might be far lower, the total number of defects keeps increasing. The mitigation strategies that I've seen reduce costs mainly because they simply choose not to fix a lot of problems.
greydius··on Migrating to React’s New Context API
Today I learned: Haskell is not a "proper" functional programming language
greydius··on Bulgaria played a vital role in introducing yogurt to the West
Where would we be without those ancient humans that decided to drink the juice of rotten fruits or eat chunky spoiled milk?
greydius··on Pentagon halts F-35 deliveries over contractual dispute
Drones have a very real weakness: they rely on a radio signal.

But that aside, the F-35 program was never really about building a fighter jet. It was designed from the beginning as a way to funnel 100s of billions of dollars into the defense industry and to keep that money flowing for decades.

greydius··on “God is a Verb” by R. Buckminster Fuller (1968)
And what will save the planet? Maybe if we all pray hard enough...
greydius··on Retro Review: 2009 Mac Pro in 2018
> The Touch Bar is useless garbage

I think they probably realized this and then decided to put the escape key there to justify its existence.

greydius··on 100 days with Rust: a series of brick walls
> I don’t like how little time I spend solving the problems that are interesting to me.

Welcome to systems programming.

greydius··on Inheritance Often Doesn't Make Sense
> Your ice cube was never just an ice cube in the first place

That's my point. This idea that there are objects with mutable state is a myth. Even at the smallest scale, what we call elementary particles, are abstractions. There is nothing except the state of the universe at a given instant in time.

greydius··on Inheritance Often Doesn't Make Sense
> Bob at time t is still Bob at t+1

I guess we're getting more into philosophical issues now. If I leave an ice cube on my counter, at exactly what time is it no longer an ice cube.

greydius··on Inheritance Often Doesn't Make Sense
> The real world is mutable

Only if you ignore time. It's not possible to change the state of the world at some previous instant (as far as our understanding of physics is concerned). The mutable world model is an artificial construction that aligns with our human perception.

← PreviousPage 3 of 10Next →