tmccrmck

18 ms·

61.
by tmccrmck 9y ago
- Fermat's Library - http://fermatslibrary.com/ "Fermat’s Library is a platform for illuminating academic papers. Just as Pierre de Fermat scribbled his famous last theorem in the margins, professional scientists,
62.
by tmccrmck 9y ago
I also find it incredibly useful! I don't follow the development on Phabricator but I read your posts every time they pop up on Twitter.
63.
by tmccrmck 9y ago
Unless you count ripgrep being shipped with VS Code as a data point of Microsoft using Rust, I can almost certainly say that the above poster is wrong. Source: We had an email thread about using Rust on the MS Rust mailing list about a mont
64.
by tmccrmck 9y ago
> If rust ever gets to the point where it's not much harder to write than java/c# then why not got for the fastest one and avoid performance death by a thousand cuts? Sure. If it's just as easy for the task then why not? B
65.
by tmccrmck 9y ago
The borrow checker is Cyclone's region-based memory management combined with linear/affine types. Edit: As an aside, I found a Reddit post the other day asserting that the Cyclone developers knew that it would never become mainstr
66.
by tmccrmck 9y ago
The Rust ecosystem has lost sight of the forest for the trees in my opinion. I highly agree with Graydon's opinion in "Rust is mostly safety" [1] that it's raison d'être is memory safety and concurrency in the syste
67.
by tmccrmck 9y ago
Why use Rust for web development? There are very few web back ends in the world that need the speed of C++ or Rust. Java, C#, Go, Haskell, OCaml are much easier to ramp people up with and hire for.
68.
by tmccrmck 10y ago
What specifically makes you think alias analysis is the holy grail of compiler optimization?
69.
by tmccrmck 10y ago
Any example syntax? Sounds like you're implementing OCaml with Ruby syntax.
70.
by tmccrmck 10y ago
What kinds of jobs allow 20 hours/week? I can't remember ever seeing a single software development job (which wasn't contracting) where the employer advertised less than 40 hour weeks.
71.
Break up the Liberal City(nytimes.com)
2 points by tmccrmck 10y ago|0 comments
72.
by tmccrmck 10y ago
Depends on the task ;) A significant amount of code for Google/Amazon is Java and Microsoft uses C# for a lot of infrastructure.
73.
by tmccrmck 10y ago
Systems programming is a vague term but it usually refers to low latency software (e.g. kernels, browsers, OS's, embedded, databases, etc) which means anything with a garbage collector is out of the question.
74.
by tmccrmck 10y ago
The T470 and the new X1 Carbon both look pretty good this year too.
75.
by tmccrmck 10y ago
That reminds of the legend of the horsemen statue on the island of Corvo in the Azores. Purportedly the statue looked to be dressed in a Moorish style. Besides that, there's plenty of evidence of pre-Portuguese presence in the Azores.
76.
by tmccrmck 10y ago
> I feel like I know more people who are interested in doing math, but are not doing math because the job market is not kind to those who do math. Indeed I am one of those people. I do agree that I took a somewhat cynical approach. Repla
77.
by tmccrmck 10y ago
Outside of distributed systems what is it used for? I've only ever heard of it's use in the formalization of distributed systems.
78.
by tmccrmck 10y ago
He's also the creator of LLD.
79.
by tmccrmck 10y ago
Most lakes and streams at high altitude in the Sierras, Cascades, Rockies, etc are safe to drink. Once you're above the tree line you don't have to be worried about giardia because few animals live that high up.
80.
by tmccrmck 10y ago
It also doesn't care about file type. If you want to copy a malformed file dd will do it - cat won't.
81.
by tmccrmck 10y ago
Unfortunately, I only ever got to know him through the self-paced CS9 series. I truly wish I had gotten to take 61A with him - and before it switched away from Scheme. I don't think the current incarnation is a worthy successor of the
82.
by tmccrmck 10y ago
Could you get CS170 with Papadimitrou, EE 16A/B, and multiple semesters of 61A with Harvey? Thanks!
83.
by tmccrmck 10y ago
How should someone go about contributing to your LLVM backend?
84.
by tmccrmck 10y ago
That's kind of the story with every functional language (Haskell, Clojure, OCaml). I don't think they'll truly catch on until universities start teaching FP.
85.
by tmccrmck 10y ago
Well, how do we get the young to vote in every election? How do we get the 25 year old barista to care about their community when they've been transient since they were 18? And I mean consistently, not just every four years. Among my p
86.
by tmccrmck 10y ago
Rust was originally written in OCaml. The ML languages are great for writing compilers.
87.
by tmccrmck 10y ago
What are some examples?
88.
by tmccrmck 10y ago
He "sort of" implied that he works on Servo which is not Firefox. I brought up my own personal experience because I've also had people conflate where you work with what you do.
89.
by tmccrmck 10y ago
Oh boy. This type of rhetoric is so annoying to people who work at big companies. Do you know what pcwalton works on?
90.
by tmccrmck 10y ago
Yep. We all knew it was happening but turn a blind eye. And then one of these revelations are exposed and we all start wearing tin foil hats for a month or two.

More ›