dgreensp

27 ms·

241.
by dgreensp 7y ago
I’m reminded of a similar online NY Times piece I read, years ago, I think by a woman named Gladys, which was entirely about the harrowing process of procrastinating on, and eventually writing, the piece. All I could think was, poor Gladys
242.
by dgreensp 7y ago
Sounds a bit like the awesome Geometer’s Sketchpad?
243.
by dgreensp 7y ago
Most Jepsen reports seem to find glaring flaws, including subsystems that add complexity while reducing correctness, like the “auto-retry” features here, or novel consensus schemes that just aren’t airtight and therefore technically don’t w
244.
by dgreensp 7y ago
Yup. In a codebase without static types, large-scale refactors are probably just not practical, which may be why fans of dynamic types don't have this problem; they can't, and thus don't, do substantial refactors without rew
245.
by dgreensp 7y ago
Call me a critic, but I don't see any "realistic transitions"? I mean, the positions of the limbs are continuous, barely. Stopping is very jerky. Sometimes the dog does a sort of "downward dog" pose for a long ti
246.
by dgreensp 7y ago
If you need a rich text editor, I would just plug in a framework-agnostic rich text editor (e.g. ProseMirror).
247.
by dgreensp 8y ago
Can you summarize the insights you have had beyond what the paper covers? Sounds fascinating. I don’t know why people aren’t more actively pursuing this stuff, either.
248.
by dgreensp 8y ago
A lot of the stacks seem to be missing?
249.
by dgreensp 8y ago
Is your employer hiring?
250.
by dgreensp 8y ago
I’ve had trouble finding those systems or algorithmic jobs too, like the grandparent, where some kind of engineering quality matters, be it performance or correctness or something. Everyone wants to hire a “full-stack engineer” to write ap
251.
by dgreensp 8y ago
This doesn’t work anymore.
252.
by dgreensp 8y ago
Static types are great because they make certain classes of bug impossible to write, but they have their limits. There are escape hatches, like casts and Object types, even in statically-typed languages, though fewer of them in languages w
253.
by dgreensp 8y ago
I'm reading up on the author's Symmetric Interaction Calculus now, this stuff is wild and fun!
254.
by dgreensp 8y ago
I can see why someone who stumbles on Skip would classify it as "systems-ish": General-purpose statically-typed language that compiles to native code with an emphasis on being fast with predictable performance. Go is thought of a
255.
by dgreensp 8y ago
The author of the CAP theorem says the same thing about CAP: https://www.infoq.com/articles/cap-twelve-years-later-how-th...
256.
by dgreensp 8y ago
This is the clearest presentation of why CAP is misleading that I’ve ever seen! Wonderful. If the app programmer knows they don’t have global consistency, just consistency per partition, I wonder if in practice there are ways to achieve th
257.
by dgreensp 8y ago
Anyone hiring engineers to implement stuff like this? That would be my dream job.
258.
by dgreensp 8y ago
While that's basically true, git grep doesn't scale... With ever-cheaper RAM, ever-faster SSDs, and cloud computing, it could actually make sense, now or soon, to scan through an entire repo, either on "disk" or in RAM.
259.
by dgreensp 8y ago
I see, so geo distribution could be as simple as making the file available in multiple locations, with IPFS doing the rest.
260.
by dgreensp 8y ago
Thanks for the recommendation
261.
by dgreensp 8y ago
It is a real cultural problem how engineers get more excited about machine learning than basic usability. GitHub search can't even search for a literal string, let alone a regex. It can't search a subdirectory. Ranking is indist
262.
by dgreensp 8y ago
Is IPFS really a store, let alone a store with any particular performance or availability properties? If I want to be sure a file is available, don’t I have to host it or pay someone to host it? And if I want to make sure it is geo distri
263.
by dgreensp 8y ago
If we’re comparing a bus or train to a Lyft or Uber carpool or line of some sort, wouldn’t you expect it to be more cost effective to drive people around in buses rather than cars, even if the app coordinates things so that there are two pe
264.
by dgreensp 8y ago
Does a software license actually have the power to prevent you from selling consulting services? All a license can do is grant you rights you wouldn’t otherwise have because of copyright law, right? I’m new to the matter, but I do see in t
265.
by dgreensp 8y ago
There’s nothing pathological about simply seeking and obtaining social acceptance online, if that’s what you’re saying, and social acceptance is part of the self-worth equation, according to the article. Needing people to like you has littl
266.
by dgreensp 8y ago
Is there a video or screenshot anywhere, I wonder? I'd like to see it in action. Rendering HTML could mean a lot of things. It's not clear how much of a browser they are reimplementing. Features include XSLT and local storage,
267.
by dgreensp 8y ago
All I know is what the articles and commenters were saying then, as an interesting contrast to this comment now. Every article on AlphaGo described a general state of shock at achieving something that (even if at a purely psychological lev
268.
by dgreensp 8y ago
I agree it looks sloppy, but that doesn’t mean it isn’t reliable. All it has to do in any given moment is make progress towards the goal of having the cube in the proper orientation, on average. It may be that it can do that very reliably
269.
by dgreensp 8y ago
In 2015, it was commonly thought that it would still be decades before a computer could beat a top human player at Go. Now, you are calling it “easy,” because it’s been done. The first chess program was written by Alan Turing on paper betw
270.
by dgreensp 8y ago
Brains don’t solve problems by manipulating symbols. None of these layers are intended to be synonymous. Meditation is basically 4 and 1, with 2 and 3 coming and going. Driving is intended to be an example of just 1 and 2. Saying that d

More ›