wiml

36 ms·

541.
by wiml 6y ago
CakeML is interesting, but I don't think any language can guarantee a SIL.
542.
by wiml 6y ago
Big CRTs are pretty much gone as far as I know, but 1-micron ICs are all over the place. They're just not interesting any more.
543.
by wiml 6y ago
They already sell ribbon cables if you want those [1] or of course you can use any 40-pin cable you might still have lying around from the 1990s. Literally the whole purpose of this product is if you want a more rigid angled connection (and
544.
by wiml 6y ago
Reordering disk io requests to minimize seek time and rotational latency has been a standard OS behavior since the 1970s, at least. Whether it's still effective in an SSD+io_uring world I don't know but I'm curious.
545.
by wiml 6y ago
Another tool along these lines is Galois' Ivory language https://ivorylang.org/ , a Haskell-embedded language for writing safe/reliable C.
546.
by wiml 6y ago
I don't think pomodoro is appropriate for all work. Quite a lot of work really wants a 3-4 hour long session (after which I need to eat and move around a little, or I'd stretch it longer). But for some things a 15-20 minute pomo
547.
by wiml 6y ago
Comby looks nice, I miss the "tops" tool from the old MacOSX ecosystem. For a decade or so I've been using the "delta" tool for this[1,2], although it sometimes requires manual intervention to get an extremely small
548.
by wiml 6y ago
Previous discussion on HN, "Grow the IndieWeb with Webmentions" https://news.ycombinator.com/item?id=26258557
549.
by wiml 6y ago
Right, this is effectively an updated version of pingbacks (pingbacks from ca. 2000, webmention from ca. 2010). See last month's HN discussion: https://news.ycombinator.com/item?id=26258557
550.
by wiml 6y ago
I would say that a yacht racer, or other athlete's, "output" is their wins/ranking in competitions. There are devils in the details of how you assign a simple number to that, and Goodhart's law is always lying in wa
551.
by wiml 6y ago
Who's trying to shut down all dissent and doubt here?
552.
by wiml 6y ago
For radiation-hardened semiconductors sometimes you use specialized processes like silicon-on-insulator. Even if you're using a more conventional process, you're probably using specialized upset-resistant gate designs and layout.
553.
by wiml 6y ago
UTC has leap seconds by definition. Conventional POSIXish epoch time is a little more complicated – typically, the length of a second varies.
554.
by wiml 6y ago
The other classic "rags in a corner" ignition source is that drying oils, ie vegetable oils like you'd use for paint or wood finish, generate heat as they "dry" (actually polymerize).
555.
by wiml 6y ago
Disk manufacturers use a hybrid system, don't they, since the sectors are powers-of-two but they use decimal multipliers to inflate the size beyond that? So that a "marketing gigabyte" might actually be a megakibibyte.
556.
by wiml 6y ago
It's not exactly what you describe, but you might find some use in the pv (pipe viewer) command: http://www.ivarch.com/programs/pv.shtml
557.
by wiml 6y ago
For those like me who are out of the loop: * Webmentions are like pingbacks, but use a simple POST instead of an XMLRPC call; * They're not particularly new (2013ish); * Webmention.io is a service to make it easier to participate in we
558.
by wiml 6y ago
"ping me" does have a useful connotation, though, like "touch base" or "give a heads-up" it suggests a pretty minimal communication, just to let someone know that something has or will occur. Making a distincti
559.
by wiml 6y ago
The RFC is pretty readable, but the tldr is that DNS is more strongly typed than that. It's not just a string-lookup service. There's a wire format for names, which some records carry; there are wire formats for v4 and v6 addresse
560.
by wiml 6y ago
One possibility is that people are healthy because we are increasingly paying attention to widespread low-level pollution (like phthalates, lead, asbestos, etc.)
561.
by wiml 6y ago
"Amateur radio" or "ham radio" is a class of noncommercial radio licensees in the US and many other countries. There are reserved radio bands, various rights and obligations, and perhaps most importantly a large commun
562.
by wiml 6y ago
Their comments seem perfectly understandable to me? Take that sentence for example, I read it as: > Emacs is a kind of VM (it provides a portable runtime environment) and has a serialization/persistence facility similar to Python&#x
563.
by wiml 6y ago
1374311 millisecond ping time right now
564.
by wiml 6y ago
That last statement is almost more interesting than the autopilot stuff. How do they determine who's "really" a good driver in order to correlate it with whatever they're measuring that has a bimodal distribution? Is it
565.
by wiml 6y ago
From what I remember (and this was a while back), wifi calling establishes an IPsec tunnel to the cellular provider (using your SIM for auth) and tunnels GSM frames over it. It's intended to let you handoff between "real" to
566.
by wiml 6y ago
For the past ~decade I've mostly been using OpenTaxSolver, a file-based open source US tax utility. It's worked for my uses. It'd be appealing to try to factor out the underlying translation of the tax code and IRS form layou
567.
by wiml 6y ago
Semantically, I think the buttons this article talks about are radio-buttons (if exclusive) or checkboxes (if not).
568.
by wiml 6y ago
In some markets this is called "parametric search".
569.
by wiml 6y ago
That's a real risk but closing the design doesn't really mitigate it, famously: https://semiaccurate.com/2009/07/31/apple-keyboard-firmware-...
570.
by wiml 6y ago
No, I think you're absolutely right, and the author of the Slate piece is a nitwit. Of course it's better to find a quote that can stand alone, but if you can't do that — say, because there's a pronoun that refers to s

More ›