Hacker News Reader

some_thoughtson Stanford president resigns over manipulated research, will retract 3 papers

But research fraud does delay finding treatment. How many hours of wasted time chasing dead ends.

some_thoughtson Elixir's “Set Theoretical Type System” prototype/demo/showcase

So I have very little experience with elixir, but I appreciate the effort to bring static typing. With that said, I find the use of parenthesis pretty hard to read. As in I need to spend more time than a quick glance to grok what's going on. Maybe it's because I'm not familiar with the ecosystem, but coming from a typescript, python, and go background mostly, I find this

negate :: ((integer() -> integer()) and (true -> false) and (false -> true) and (a -> a) when a: not(integer() or boolean()))

harder to reason about quickly than say this

negate :: (int -> int) & (true -> false) & (false -> true) & (a -> a) when a: ~(int | boolean)

Is there a reason that syntax was chosen? Is it just for showcasing purposes or is that basically just how the language works?

some_thoughtson Launch HN: Hypercontext (YC S21) – Meeting notes, actions, and OKRs in one app

This looks really clean, congrats!

But also from my end, this leaves me pretty unmotivated. I've been working on an mvp to launch my own startup the past month, and today I find out it already exists in your product.