vmchale

24 ms·

241.
by vmchale 6y ago
Haskell taking over the world
242.
by vmchale 6y ago
Fair enough.
243.
by vmchale 6y ago
I use fzf in my terminal to search my history. https://github.com/junegunn/fzf
244.
by vmchale 6y ago
Good stuff! Idris keeps getting more impressive.
245.
by vmchale 6y ago
Sounds like a challenge! Time to write JavaScript that's even more questionable.
246.
by vmchale 6y ago
That's a void type, not a bottom type.
247.
by vmchale 6y ago
My 2c is that they will be popular the way hand sanitizer once was, I could see shortages so the earlier you get your order the better!
248.
by vmchale 6y ago
Literally got investors because their name sounds like Tesla lol
249.
by vmchale 6y ago
Did not expect this.
250.
by vmchale 6y ago
CBP remains the worst law enforcement agency in the country
251.
by vmchale 6y ago
> I find the “gosh it’s just cultural mismatch” theory to be a modern stigma against mental disease. You can break any bone or system in the body - except for neuro/behavioral, that’s just another type of person that needs some cult
252.
by vmchale 6y ago
Are you a US citizen?
253.
by vmchale 6y ago
100%. Medicare is available for a good chunk of voters, they have a "fuck you got mine" attitude so nothing better for the rest.
254.
by vmchale 6y ago
It's impressive how bad the US employer-provided healthcare system is for the privileged. Back when Obamacare was being debated, people had to be reassured they'd be able to see the same doctor... I guess that's how they get
255.
by vmchale 6y ago
> it doesn't actually insure you against catestrophic costs. Unless you're old enough to get medicare. Works for the people who vote :\
256.
by vmchale 6y ago
> Fast desktop chips with fast single threaded performance We can dream :p
257.
by vmchale 6y ago
Police used to be very popular/trustworthy (in the public imagination) until recently.
258.
by vmchale 6y ago
Too busy enrolling people for hydroxychloroquine trials.
259.
by vmchale 6y ago
I mean, given the difficulty of payment processing for sex work...
260.
by vmchale 6y ago
Payment processing has all sorts of extra steps for sex work.
261.
by vmchale 6y ago
C has many advantages over Zig, mostly because it's standardized and extant. Don't think Zig is worth it when it doesn't have linear or affine types.
262.
by vmchale 6y ago
That's not on par with linear or affine types.
263.
by vmchale 6y ago
> how many function types does Rust have again? Three? It has to, right? ATS has many function types as well, plus stack-allocated closures (I think Rust has that too??)
264.
by vmchale 6y ago
> I do understand the basic rules of the borrow checker It ends up being doable. I dabbled in ATS, developed Stockholm syndrome, and now Rust ain't too bad. Higher-order functions are difficult in Rust or with linear/affine typ
265.
by vmchale 6y ago
Soundness has a technical meaning. Point is, the type system at least isn't a shaky foundation.
266.
by vmchale 6y ago
Linear types would be even better though. Still safe like Rust.
267.
by vmchale 6y ago
> I wonder why controling this problem which casued so many loses of lifes (not necessary deaths), took this long to be the target of the government. Lots of shit falling apart here...
268.
by vmchale 6y ago
Really? Just made me more reluctant to use a language without sum types :p
269.
by vmchale 6y ago
> Facebook does some OCaml too Using an ML or a Lisp for language tooling is the way to go. Nothing else in that league.
270.
by vmchale 6y ago
Good stuff! Love OCaml and functional programming in the spotlight.

More ›