News for hackers. Stuff that matters.

_cvuy

Re:Vercel, formerly Zeit, raises $21M Series A on Tuesday April 21, 2020 @07:39PM (#22940481)
What do you feel like JS solutions are still missing?
Re:Apple engineer in need of OSS maintainers on Tuesday April 21, 2020 @07:29PM (#22940407)
Well, if your company is _not_ like this and you're interested in being featured on a job board for companies with employee-friendly IP policies, drop me a line (email in bio).
Re:Apple engineer in need of OSS maintainers on Tuesday April 21, 2020 @07:15PM (#22940345)
> I spent most of my career in Silicon Valley, where employers routinely take the position that they own every thought their employees have, and every work they create. That position, legally enforceable or otherwise, has always rankled me.

I'm bit surprised that practice is so prevalent in SV, with California Labor Code 2870 and all. Because of that law, I'd rate SV/CA as the place that position is the least enforceable (in the U.S. at least).

> I am personally very intrigued by ATS

As am I. I'd say this, along with Idris and Agda are showing how useful types can be.

> Do you consider it ready for adoption

People have written non-trivial software in it[0], but because it hasn't yet reached a 1.0 release, I wouldn't say it's quite ready for adoption. It seems to be more of an academic project for now.

[0] https://github.com/xlq/aos

You'll definitely want to check out ATS[0].

It's a functional, dependently-typed language with performance on par with C(its compilation target), and has a type system and theorem prover that guarantees memory-safe code.

[0] http://www.ats-lang.org

Re:Ask HN: What elements of websites annoy you the most? on Saturday December 29, 2018 @12:39AM (#18782094)
Those chatbot/assistant pop-ups. 10x worse when they make that 'pop' sound.
Re:Asana raises $50M at a $1.5B valuation on Friday November 30, 2018 @04:43AM (#18567917)
I also recommend Meistertask[0]. You'll have to manually change it back to version 1.0 for the best experience though.

[0] https://www.meistertask.com/

If only they didn't use flash for their web app