thechao

52 ms·

421.
by thechao 2y ago
Why doesn't BLOSC have a little chart comparing itself to LZ4, Zstd, etc? Kinda like this: https://stackoverflow.com/questions/37614410/comparison-betw... Because it seems like such a trivial chart to make.
422.
by thechao 2y ago
CPUs are fairly orthogonal in terms of capabilities; if the instruction can encode it, the CPU can interpret it. Coprocessors (GPUs, NPUs, etc.) have ISA where the legal encoding space is much larger than a the legal instruction space: the
423.
by thechao 2y ago
I really think something like Ghidra/SLEIGH and a formal specification of the p-code could help; but, only if the following things happened: 1. A p-code parser front end in C existed; 2. An alternate XML/JSON version of SLEIGH; an
424.
by thechao 2y ago
I recently bootstrapped myself from your level to algebraic geometry — enough to read an annotated version of Einstein's paper. If I had to do it again, I'd just skip to the parts that worked: (1) hit up Michael Penn on YT, but wo
425.
by thechao 2y ago
> They'll be scaled such that the point not on a plane will evaluate to 1 when plugged into the equation. Evaluating a plane equation with a point will give a signed distance from the point to the plane. However, unless the equation
426.
by thechao 2y ago
This is my experience. We use the EV for everything, except drives to West Texas — although I saw plenty of EVs in Alpine, and a few down in Terlingua(!). If I had a no-shit 400 mile EV, I'd never look back.
427.
by thechao 3y ago
Fine. Artificial intelligence. I'm still waiting on the General.
428.
by thechao 3y ago
When I was at Intel 10+ years ago, they had this down to an art . They had a name for it, like, "the pool"; they'd reorg all the time. Everyone went into the pool, then the mgrs would pick teams. Your actual progress through
429.
by thechao 3y ago
I think LLVM missed the boat, on this, by being an early mover. A lot of the optimizations are resource-only analyses; the few that re not are "just" various levels of interpretation. That kind of implies we need a framework to
430.
by thechao 3y ago
I'm sorry, why would an AGI be interested in programming? My kids are AGI, and they're not interested. I think there's a real moral conundrum when we say "programmer AGI" because, I think, we're implicitly talk
431.
by thechao 3y ago
I have always struggled with my weight — since I was 10 or 11. It's hard. I don't have any advice; just a random person on the internet letting you know that you're not alone!
432.
by thechao 3y ago
My EV lives outside & right beneath the only safely accessible part of my roof to put solar on... so an explanation would be grand! My only issue is that I need solar->battery->car, as the car is at work 3/7 days...
433.
by thechao 3y ago
The "reasonable limit" is 0 days per year.
434.
by thechao 3y ago
CloudFree is great, but I wish I'd been able to pitch the name 'clearsky' to them. I hate , I do mean loathe , all of these cloudy smart things. So... I'm pretty pleased you posted this. Now, I just gotta figure out wh
435.
by thechao 3y ago
> Disclaimer: I self installed one for my house (13kWth) and I'm very glad I did My HVAC guy keeps telling me to install a couple of heat pumps (he doesn't like driving out to me), solar panels, and an in-house battery; what so
436.
by thechao 3y ago
I think this is my favorite idea. I already pay for commute time for the plumber, electrician, HVAC, etc. I'm paying for their time, and it works pretty great: I know where their office & my home is, and I know they're hustlin
437.
by thechao 3y ago
I live in a pretty remote part of Texas; so, see, what I did was walked out of my front door, down the road a little while and introduced myself to Justin — a local roofing expert, and small (medium?) business owner. I offered to help him t
438.
by thechao 3y ago
How's that pronounced? "Eee" or "Eh" or "Nehemiah"... ?
439.
Clickety Clack: Relay Computer(youtube.com)
1 points by thechao 3y ago|0 comments
440.
by thechao 3y ago
I'm be written lots of C code that runs on lots of architectures & platforms: PDPs, x86, ARM; Windows, BSD, Linux, VMS. My projects have spanned them gamut from tiny to gargantuan (millions of lines of code). I've never needed
441.
by thechao 3y ago
We're just speed-running the NN pendulum, at this point.
442.
by thechao 3y ago
I flew into Kansai in 2003(?), with a J-rail foreigner pass and fell asleep on the Shinkansen (which I wasn't supposed to be on). 9 hours & ~1100 miles of train rides later I ended up at my buddy's place in Tokushima. It cost
443.
by thechao 3y ago
I always thought that it'd be nice to build an expository version of eq-sat that just operated on straight-line code, and didn't try to use the complicated e-graph structure (does it still use pi-nodes? I've not looked at the
444.
by thechao 3y ago
If you're willing to work in the SSA domain, and not do any spill/fill, you can do optimal RA in polynomial time. (Usually quoted as linear, but quadraticish IRL.)
445.
by thechao 3y ago
When we first reviewed the equality saturation paper, we thought there was one major pro, and one major con: [pro] phase-ordering invariant; [con] at the time there was no (believable) way to extract the transformed graph in a non-hand-wavy
446.
by thechao 3y ago
My HVAC guy likes heat pumps, but he thinks their lifespan is about 1/2 or 2/3 the life of an HVAC unit; the equipment is the same (pumps, motors, etc), but the heat pump runs nonstop year-round. He still prefers heat pumps, since
447.
by thechao 3y ago
Work with me, here: dedicated seaplanes for megasized offshore windmills. This would put TailSpin one step closer to being real. Clearly a civilizational win.
448.
by thechao 3y ago
I build a lot of walls, so I might be sensitive to this. I went back to my photo album (which, to my family's great frustration is about 1/3rd wall pics), most are out 1–2°; the exterior wall of the plaza is wavy , my pictures ha
449.
by thechao 3y ago
Your comment history is pretty wild. It's akin to performance art.
450.
by thechao 3y ago
We're not organized, like other professions, where third parties can actively judge your performance based on public information (publicish...?: lawyers, architects, doctors, etc.); but therws's not an obvious direct relationship

More ›