ms013

8 ms·

31.
by ms013 8y ago
I do almost all of my development work in WSL since moving off of macOS earlier this year. Works fine for my workflow: ocaml compiler/toolchain, anaconda python, gcc, X11 server on the Windows side for GUI apps, (g)vim, etc. I don’t
32.
by ms013 8y ago
That comment about academia is not universally true at all. Grad students frequently get first author status on papers they do the bulk of the work on. The typical abuse that is more commonplace is the inclusion of advisors as last autho
33.
by ms013 8y ago
Where does it fall relative to Scala?
34.
by ms013 8y ago
Ocaml is a perfectly good modern day language. Our entire codebase at work is built on it and we’re pretty satisfied.
35.
by ms013 8y ago
Exactly. I've always bounced between OSes over my career. Switching between them is not that hard at all - just need to mentally page in the key modifiers, shell commands, and other little idioms and pretty quickly I'm running a
36.
by ms013 8y ago
Re: macs. Yes. MacOS releases up to 1999 lacked features common in other systems, like full preemptive multitasking and memory protection. Windows NT had that in the mid 90s, and various Unix flavors had it for decades. I liked the UI o
37.
by ms013 8y ago
It can be sluggish at times (SB2 13”, maxed out specs), usually on boot when a bunch of background tasks are starting up. I haven’t run Linux on its own on this specific machine, so I don’t have a good comparison. It is tangibly slower th
38.
by ms013 8y ago
It would be publicly visible on github, such that the community can see the dispute and the response (or lack thereof) from the other project. While it won’t necessarily fix the problem, it is more visible.
39.
by ms013 8y ago
I just dug around in the rush GitHub, and was surprised to find no pull requests by the author of Lerna trying to rectify the missing copyright ("Hey guys, you forgot to keep my copyright in there since this is a fork of Lerna, so here
40.
by ms013 8y ago
I lived through the 90s too. It's been 20+ years since the peak of the Microsoft that gave them the reputation you're reflecting. If "I lived through the 90s" was how I measured technology and companies, I'd sure a
41.
by ms013 8y ago
I use it daily for all of my development work (Ocaml, Python, LaTeX, vim, emacs, and a host of other tools, including X11 apps). It is the single biggest reason I was able to ditch my 2017 MacBook Pro a year ago for a Surface Book 2 after
42.
by ms013 8y ago
I don’t have a good answer to the framework question, but I do have an opinion about cross-platform. Why make cross-platform a priority over efficiency and user experience? I bounce between Mac and Windows daily, and my least favorite app
43.
by ms013 8y ago
I came to a similar realization a few years ago. I followed a number of people who were/are widely followed in parts of the FP community that are generally caustic, but I assumed their popularity implied that they had something useful
44.
by ms013 9y ago
Responded to someone else earlier about this. Used solvers for problems that end up requiring solutions to problems like minimum set cover or schedule optimization problems. Basically, problems where a naïve or brute force approach will t
45.
by ms013 9y ago
Graphs show up all over the place. Social media: who is connected, which people interact. Cybersecurity: which computers/programs/users interact with which other computers/programs/users. Retail analytics: which produ
46.
by ms013 9y ago
I know R and have used it in the past. I just don’t like the language. I keep RStudio around though because on rare occasions I do look around in it to see if it has something I need. So rarely though that I forgot to list it...
47.
by ms013 9y ago
One data problem boiled down to being an instance of the set cover problem ( https://en.m.wikipedia.org/wiki/Set_cover_problem ). Pretty easy to pose as an integer constraint problem, and Z3 solved it in about 20 minute
48.
by ms013 9y ago
Mathematics. Which branch of math is domain dependent. Stats come up everywhere. Graphs do too. In addition to baseline math, you really need to understand the problem domain and goals of the analysis. Languages and libraries are just to
49.
by ms013 9y ago
I use Regus currently. I think it’s fine: coming from an open office plan at my last company, the fact I can visually and audibly tune out people via a door and walls is awesome. I hated being forced to live in headphones land. My only c
50.
by ms013 9y ago
I have to agree - same gripes for me. This MacBook is my 8th Apple laptop going back to sometime in the late 90s (my first was a pre-PowerPC PowerBook), and it's the first one where I really and truly have regretted the purchase. I&#
51.
by ms013 9y ago
Why is an "SV-based disrupter" at all necessary? That's an absurd and bizarre question. Just pay them - you say you read it often, yet you don't pay. Say you read 6 articles there per year - that works out to a whole
52.
by ms013 9y ago
Pantex still exists. The facilities discussed in the article replace Rocky Flats, which was shut down in the 90s.
53.
by ms013 9y ago
Nobody is arguing that not to be true. The issue is arguing that NVIDIA foresaw their systems being relevant to AI/DL/ML: they simply were lucky. They opened their architecture to HPC people, concerned largely with fluid dynamic
54.
by ms013 9y ago
Exactly! Plus, even before CUDA existed, people in numerical computing had already noticed that GPUs were ideal hardware for certain classes of problems and were doing awkward things like embedding numerical calculations as shaders and oth
55.
by ms013 9y ago
It's been a pretty slow, sad unraveling of LANL (and to some degree the other two DP labs). The latest stories are pretty predictable given the transition from UC to LANS about a decade ago (I left the lab after the transition, since
56.
by ms013 9y ago
I'm not sure why this would be impressive. That's how science has always worked, and scientists very often get excited when new data increases the likelihood that some previously held idea is false. In fact, more often than not
57.
by ms013 9y ago
The same reasons people migrated to Python in the late 90s from matlab, Fortran and C++: Python addressed pain points in those languages and ecosystems. Julia addresses deficiencies in Python the language. Unfortunately, it lacks the ecos
58.
by ms013 9y ago
I cofounded a company recently that is using code transformation and optimization methods to accelerate data analytics code on special purpose hardware. Our compilation toolchain is all ocaml, and the language that is compiled/transfo
59.
by ms013 9y ago
I assume you were just not interested in passing the state around to the functions that needed it, and preferred the fact that the state monad hides that plumbing for you via bind and return. It's worth noting that there exist Ocaml l
60.
by ms013 9y ago
In production code we tend to use ocamlyacc or menhir. There is nothing about ocaml/ML that prohibits the use of the kind of parser generators one would expect in any other language.

More ›