markdoubleyou

11 ms·

61.
by markdoubleyou 8y ago
It seems like this book would have a pretty limited audience since, looking at Wikipedia at least, TLA+ is primary used at big cloud providers who are writing low-level distributed systems stuff. Can any mortals who've used TLA+ discus
62.
by markdoubleyou 8y ago
Hooray for domain knowledge! Any process or tool that drags developers out of their cave to learn about the business context is worth its weight in gold. I recommend pretty much any video where James Coplien yells at a room full of develope
63.
by markdoubleyou 8y ago
I've been looking at this, too, after the recent surge in HN Prolog headlines. You're probably looking for Datalog. The Wikipedia topic has a list of systems that support it: https://en.m.wikipedia.org/wiki/D
64.
by markdoubleyou 8y ago
Hah! Good one. Parent is clearly referring to Ada and the oft-quoted chapter 9 of NASA's Ada Style Guide (c. 1987). https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/198700... The discussion of pitfa
65.
by markdoubleyou 8y ago
Fair point. My particular experience was at Washington Mutual, about 13 years ago, which was not one of the "best large banks" by any objective measure. I left about a year before the collapse while they were still raking in money
66.
by markdoubleyou 8y ago
If you're a dev, don't work for a company where software development is viewed as a cost center--you want your work to be viewed as something that brings in revenue. (Learned the hard way when I worked at a large bank.)
67.
by markdoubleyou 8y ago
I just started my 6 year old on ScratchJr (simplified Scratch for Kindergarteners), using an old Android tablet. I was reluctant to give him more screen time, so we do it after dinner when we'd normally let him wind down and watch a TV
68.
by markdoubleyou 8y ago
The "F# for fun and profit" site by Scott Wlaschin is a great jumping-off point: https://fsharpforfunandprofit.com/ I discovered it when I was reading a lot about domain driven design, and I stumbled upon a talk b
69.
by markdoubleyou 8y ago
Amazon offers "dedicated hosts" and "dedicated instances", which you can specify in the "tenancy" field when launching an EC2 instance. I bet that's the stronger isolation that they're referring to. C
70.
by markdoubleyou 8y ago
That list is missing one of the formative books of my youth: Dr. Wacko Presents Atari Basic and the Wiz-Bang Miracle Machine https://archive.org/details/ataribooks-dr-c-wacko-presents-a...
71.
by markdoubleyou 8y ago
Yes, emacs runs very well under termux, complete with swipe to scroll. For typing, Termux's "extra keys row" makes ctrl and meta combinations possible with your favorite keyboard: https://wiki.termux.com/wiki&
72.
by markdoubleyou 8y ago
Parent is interested in running on an Android tablet, so emacs or vim running in termux would probably work well for him. https://termux.com/
73.
by markdoubleyou 8y ago
That's fair. We're just speaking from two different perspectives: You (and the committee) want the best possible language, and you're willing to wait 5 years to get it. I want to see C++ evolve quickly so I can get some produ
74.
by markdoubleyou 8y ago
Yes, these sound like good ideas... I'm not a big C++ language nerd and not in a good position to judge whether this is valuable or navel gazing. But, as bystander who only dips into C++ a few times a year, I see these antics and wonde
75.
by markdoubleyou 8y ago
Wow, I thought coroutines were pretty much a done deal... I guess all the big compilers implementing the TS wasn't a good indicator of progress. Skimming the trip reports just now, it sounds like some Google engineers tried to use them
76.
by markdoubleyou 8y ago
I love this place--it's one of my family's go-to destinations when the weather's crappy. They have a terrific exhibit right now where they recreated 1980's arcade--got the second highest score on the Centipede cabinet af
77.
by markdoubleyou 8y ago
A precondition for the responses in this vein: Avoid time-suck leisure activities that mess with your brain's reward system and keep you up at night (video games, porn, social media, etc.). You'll claw back some time for hobbies,
78.
Prefab Finds a Home in Fire-Ravaged Neighborhoods of California(nytimes.com)
1 points by markdoubleyou 9y ago|0 comments
79.
by markdoubleyou 9y ago
This article basically says that there's a trend of increasing interest. Well, that's great--I'm sure there's plenty of interest from industrial firms. But there's a lot of grunt work that needs to be done before an
80.
by markdoubleyou 9y ago
I had no idea you could select multiple tabs in Chrome. That's awesome--thank you!!
81.
by markdoubleyou 9y ago
Good list. I'd also add Marc Gravell and Stephen Cleary. I've found that I rarely read Hanselman's stuff any more... he's great if you're playing around with bleeding-edge ASP.NET Core on Linux on Azure, but not if
82.
by markdoubleyou 9y ago
Yeah, wow, Google has written an email to a powerless online community. Bravo, that'll show Ajit! I remember the mass freakout when Wikipedia shut down--journalists and congressional staffers suddenly couldn't do their jobs and su
83.
by markdoubleyou 9y ago
Isn't this what the AutoCloseable interface (combined with try-with-resources statements) addresses for everything except memory? It wasn't added until Java 1.7, though, so maybe the article predates that feature. https:/&#x
84.
by markdoubleyou 9y ago
I'm a member and have visited a few times with my 5 year old son--it's a good rainy day activity for kids. The downstairs area is beautiful space for kids to run around and tinker with robots, and it never seems to be crowded (not
85.
by markdoubleyou 10y ago
Kids triggered an impulse to take my career to the next level, so between work, family, maintaining a bare minimum level of fitness, and professional development, I've got nothing left to give games. TV has taken a major hit, too. Some
86.
by markdoubleyou 10y ago
The Jupyter notebook hosting on Azure is a wonderful, underrated service. Amazing that they offer it for free.
87.
by markdoubleyou 10y ago
Yeah, the industry is aching for a good solution. My favorite articles on the topic are: - Edward Lee's "The Problem with Threads": https://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-..
88.
by markdoubleyou 10y ago
Great first post, hope you keep it up! Only feedback is that I had to reread this sentence several times before I was confident I'd parsed the negations correctly: "I also can’t imagine the Android update problem (a symptom of Lin
89.
by markdoubleyou 10y ago
Along these same lines, Microsoft.IO.RecyclableMemoryStream is also useful. https://github.com/Microsoft/Microsoft.IO.RecyclableMemorySt...
90.
by markdoubleyou 10y ago
Clearly TempleOS/HolyC is the answer we've been looking for. http://www.templeos.org

More ›