dunham

20 ms·

241.
by dunham 3y ago
My employer did something like that once, and it took out access to github.
242.
by dunham 3y ago
I also enjoyed the last "Next Steps" reference at the end of "Functional Programming in Lean": - Functional Programming in Lean may be interesting to readers who enjoy jokes about recursion.
243.
by dunham 3y ago
Primarily I've been using Zotero and Notability. They each have "save to" on mobile. Zotero has a chrome plugin that requires the desktop app to be running. They both optionally support a dark mode for reading in the dark. I
244.
by dunham 3y ago
As an exercise, I did one two years ago for pi-forall. That had a small scanner for the off-sides stuff. I lost steam after I got it working (and needed to add a bunch of rules). I think I was mainly trying to see if I could get tree-sitter
245.
by dunham 3y ago
It looks like the new D&D set is about $0.10 per piece, including licensing, but it's 3745 pieces so there is economy of scale. The set you link is much smaller and has Disney licensing, which I suspect is of the "how much mon
246.
by dunham 3y ago
As do I, although I prefer them cooked. The article claims that even if they're not toxics, the chitin renders the nutrients unavailable to digestion. (Which is plausible, but I'd like to see actual citations for it.) On the pois
247.
by dunham 3y ago
In city traffic, I rarely have to break. It's basically running the motor backwards (putting a load on it) and dumping the energy back into the batteries. It's limited by how fast the batteries can accept a change, so it doesn&#x2
248.
by dunham 3y ago
I'm not sure. From the description, it sounds like whatever rust does on one thread (compute + destructors) is split across multiple threads in Go (compute + gc), but it's not clear if the base computation workload is spread acro
249.
by dunham 3y ago
I've used protodump before, but have found that some applications don't embed the .proto data. It may be bit-rotted by now, but a couple of years ago I hacked together a python script that would extract a proto definition from Obj
250.
by dunham 3y ago
Also, it was originally written in both Go and Rust, and the author decided to continue in Go. Both are fine languages, but it makes an interesting case study: https://news.ycombinator.com/item?id=22336284
251.
by dunham 3y ago
At one point, SVG couldn't do that. It was a long time ago, but I recall not being able to use SVG to render sideways text because the text tag wasn't supported by browsers. For IE, we had a PNG font that we displayed slices of, a
252.
by dunham 3y ago
Apple has also added PWA to Desktop Safari in the latest OS release (which seems to work well for Tana). So their Safari team is putting some continuing effort behind PWA in general. I used this when I was taking a break from chrome, becaus
253.
by dunham 3y ago
It could be quite possible that for a given pepper, the variables that increase the capsaicin also increase the flavor compounds. It is possible to separate out the flavor, I remember reading about Grant Achatz experimenting with it, but yo
254.
by dunham 3y ago
That's essentially what dependent typed languages do. But the stuff that happens at type checking level has to be known to terminate, so it isn't Turing complete. Without this restriction, it is possible to prove false things to t
255.
by dunham 3y ago
That's only client side, and you also need to "gc" it to get rid of it, or it will still be in .git/objects and can be retrieved via something like `git cat-file`.
256.
by dunham 3y ago
That reminds me that we had a "chief architect" who sent out his fairwell email with a link to his linked-in page in the footer, but the link actually went to a certain music video on youtube. I suppose, if you want to train peopl
257.
by dunham 3y ago
> shitty OEM android control panel on a vending machine crashing out of kiosk mode This spot in Seattle has a digital dot matrix sign (says "Surface Mount Technology" in the street view) that has been in factory reset mode, cyc
258.
by dunham 3y ago
> Same way CCTV cameras are used in retail Back around 2003 a coworker thought she left her credit card at a store (I think Target). She called them, they asked her to read the number off of the receipt, pulled up the video of her trans
259.
by dunham 3y ago
It's 14.8 billion big gulps. I think that's about 44 big gulps for each resident of the United States.
260.
by dunham 3y ago
It's showing the aisle in "search results". Details screens like "buy again" do not show the aisle. I have the mobile app in "in store" shopping mode with a store selected. I used to use it to plan lists
261.
by dunham 3y ago
The erlang thing has bitten me in the past. On my laptop, RabbitMQ would get into a state where it was unavailable and taking 100% CPU. I think it happened when I switched networks (moved laptop home) and the spinning was from repeatedly cr
262.
by dunham 3y ago
I remember there was one for unix back in the 90's, I think called Condor, that could be used to migrate long running processes to other machines. (I think the tricky part was restoring external connections like file handles.) And befo
263.
by dunham 3y ago
The first thing I did when I opened the page was click on "Radio 1" and "Radio 2" lights up.
264.
by dunham 3y ago
yeah, everything keeps getting reinvented worse or made worse by adding unwanted, poorly implemented features. My unstated point was that a version existed decades ago which was more robust than the new, reinvented version. I'm not su
265.
by dunham 3y ago
> Somehow we've failed as a profession to provide people with a home network which continues to function as long as the router has power, and that sucks. This already existed for lightbulbs in the 70's: https://en.wi
266.
by dunham 3y ago
There is an intersection in Seattle (Latona and 50th Ave NE) where I've seen people run a red light from a dead stop, because there are two layers of lights on 50th and the furthest turns green when traffic from Latona is green. https
267.
by dunham 3y ago
> The thing I hate the most in the UI nowadays is to be randomly touching/clicking around to find what is touchable/clickable. Yeah, it reminds me of the old graphic text adventure games (e.g. Zak McKracken) where you had to ho
268.
by dunham 3y ago
Yeah, that's the same shape. I believe it's the proper name, and I've tried searching for it in the past. It seems somewhat rare in the western US under either name. The place that I originally got it from was a tiny market a
269.
by dunham 3y ago
We've ordered this a few times and always keep a few boxes in the pantry. It's a good substitute for deCecco "Galletti", which we used to get in San Francisco. But the corner store stopped carrying it, and I later learne
270.
by dunham 3y ago
Back in the day I disabled blink tags by editing the Netscape binary (in emacs) to change the string "blink" to something else. A little earlier than that, I remember a use-after-free of a graphics context in Amiga Mosaic that wou

More ›