namibj

46 ms·

751.
by namibj 3y ago
I can't wait for Idris2 (or such? It's quite good for programming and having e.g. core data structure implementations verified to uphold their API invariants, without making you prove everything around it.) to get a good fine tune
752.
by namibj 3y ago
They are dry until delivered, because they already max out the transport vehicle's capability (often highly specialized transformer carrier train cars with like 16 axles at each end to spread the weight).
753.
by namibj 3y ago
No analog yet. Also it's a thousand gates, so more like a 4-digit transistor count. For a physical one you pay an extra 50$.
754.
by namibj 3y ago
In similar manner: "what about silicon photonics?" IIUC fiber transceivers have become better than baseband copper differential pair transceivers for same-rack cluster interconnects. And the main issue with them is packaging diffi
755.
by namibj 3y ago
I don't think their codebases are particularly connected: AFAIK Desmos is a client-side browser app, so the software is distributed to the user for using in that way, which seems incompatible with the GPL3+ licensing of the GeoGebra co
756.
by namibj 3y ago
GeoGebra is the closest I know, at least when limiting to copyleft [or theoretically the SQLite model would be fine, but it's pretty unique in dependability and selflessness for open source projects not subject to copyleft] "middl
757.
by namibj 3y ago
The problem is that they're susceptible to accidents like Dahlerau. If this light thing runs into a freight train, it crushed the passengers. It wiped out 2/3rds of the senior grade (2 classes IIUC). But remember that in e.g. rura
758.
by namibj 3y ago
No, but since they got common, Germany switched to the "Triebfahrzeug" terminology in operations, and it translates to "propell[ing/ed] car".
759.
by namibj 3y ago
Some, like the Millennium Tower in SF, do suffer from problems that risk flattening entire neighborhoods.
760.
by namibj 3y ago
On a similar note, I can't wait for LLMs to digest _all_ the research papers readable enough for them and accessible, "take notes" in an index-suitable format/structure, and then act similar to a human who'd done th
761.
by namibj 3y ago
Check out the tooling from the seL4 project. I'm aware they used intermediate levels between raw C and the proof assistant, but I don't see why that should be prohibitive.
762.
by namibj 3y ago
C safe enough to use for parsing untrusted input like this needs to be either formally verified to be safe (not to be correct, at least it's it's the canonical implementation), or written in an intrinsically memory-safe way which
763.
by namibj 3y ago
That's neither the only metric of relevance, nor is that a good proxy for modern superscalar vector processor architectures.
764.
by namibj 3y ago
Prefix delegation naturally follows physical hierarchy, keeping routing tables compact. Mandating something like a static /56 (physical location locked) to be available at no extra cost if the customer asks for it, would work fine, tho
765.
by namibj 3y ago
Is it currently legal to just sell your DIY power supply to US consumers? Or is there still like FCC certification required? Assuming, say, a USB-C charger.
766.
by namibj 3y ago
Thankfully there are "adapters". Essentially just suitably shaped funnels, and thankfully there are materials that shed the droplets so one won't need to clean much before stowing.
767.
by namibj 3y ago
Freeware vs. Open-Source. PNG vs. SVG.
768.
by namibj 3y ago
They aren't the minimal hardware configurations, but the ones in their respective class that they had access to. Besides that, I'd imagine the batch nature of training to do better with paging the weights due to being able to bund
769.
by namibj 3y ago
Liquid methane can use normal thermos technology, with the venting fed through a burner to create your water.
770.
by namibj 3y ago
A kilogram of lift per cubic meter of helium. At sea level; if you let it expand it only goes bigger at altitude, without needing more helium.
771.
by namibj 3y ago
Usually NOR flash. SSDs are usually NAND flash.
772.
by namibj 3y ago
There's also the continuous collapse theory that assumes you start with a mostly classical gravity system and then just reach a runaway where the internal pressure can't keep up anymore, followed by the space time well getting rap
773.
by namibj 3y ago
I'd expect vsync-to-host to be the default, though something more like triple buffering should also work (with the host atomically grabbing the latest completed buffer to compose just-in-time for composing to finish before the RAMDAC s
774.
by namibj 3y ago
That's a poor excuse for shuffling screens that, like rather many (so not a rare bug), don't have unique serial numbers in their EDIDs, just because the user folded the laptop to sleep, and unfolded it the next day after breakfast
775.
by namibj 3y ago
AC transformers have fixed thermal power density, but load power scales with mass to the 4/3rd power (i.e., scales with linear size by the 4th power, while volume and mass and loss only scale to the 3rd power). And no, 99% isn't h
776.
by namibj 3y ago
The German wall socket (Schuko) is actually rated for 250V 10A DC. Or 250V 16A AC. A DC plug isn't hard, considering this already assumes the user will pull the arc by ripping the plug of an e.g. flaming appliance.
777.
by namibj 3y ago
Kinda; actively sucking current/voltage difference away from a circuit breaker can allow you to interrupt a long DC line/part of a larger DC mesh without interrupting sufficiently distant users. Think train line/streetcar gri
778.
by namibj 3y ago
Or the German signal in light/thin buildings. Afghanistan is far, but not _that_ far.
779.
by namibj 3y ago
Thankfully DCF77 transmits the legal time and date including pre-announcing of skips for the country it operates from: Germany. And for logistical reasons, the time zone extends quite far beyond the country borders. Co-inciding with where y
780.
by namibj 3y ago
They allow substantially less than 5. Tho trying is indeed slower for most people.

More ›