wahern

62 ms·

811.
by wahern 2y ago
> So even 2000-3000 ppm, which is quite noticeably stuffy and uncomfortable is only .2-.3%. That's certainly the consensus internet "fact", which is presumably why this tweet was posted in the first place. Which poses the
812.
by wahern 3y ago
See also aspect-oriented programming (AoP): https://en.wikipedia.org/wiki/Aspect-oriented_programming Algebraic effects might be a little too strict and narrowly defined for something as generic as, e.g., injecting ad
813.
by wahern 3y ago
> How a SIGSEGV can be handled by the program to continue execution normally need some OS specific code A JVM's use of SIGSEGV might include platform-dependent details for recovery. But for simple application usages (e.g. eliding in
814.
by wahern 3y ago
On Unix targets it installs a signal handler for SIGSEGV and checks if the faulting address falls within the range of the stack guards. See https://github.com/rust-lang/rust/blob/411f34b/library/std&
815.
by wahern 3y ago
Notably, the C standard does have an undefined behavior annex, Annex J.2, since C99. It's not mentioned in the post, and this omission in tandem with repeated usage of "C and C++" at various points might suggest otherwise t
816.
by wahern 3y ago
Protecting JIT-compiled code, e.g. within browsers, is at least as important a concern. Some would argue much more important, especially as usage of services like Cloudflare Workers increases. Techniques like CHERI could replace MMUs in som
817.
by wahern 3y ago
Interestingly, RISC-V's Zicfilp proposal includes an optional, 20-bit label operand so that call sites and targets can be paired more strictly. I'm not sure how or if it addresses trampolines and similar thunks that interpose call
818.
by wahern 3y ago
As a ROP mitigation measure some recent CPU models have a feature that can require code to branch to a special instruction signifying a valid target; jumps to an address that doesn't contain that instruction result in a CPU fault. On O
819.
by wahern 3y ago
Prop 13 restricts reassessments for commercial properties, too. Ultimately, the fundamental calculus is similar in that commercial development is deemed to be better for city finances, but the difference is much smaller than if commercial p
820.
by wahern 3y ago
Chevron deference was originally defended by conservatives concerned about judicial activism, particularly wrt liberal judges holding sway over regulatory policy. A cynic would point out conservative enthusiasm for Chevron waxed and waned a
821.
by wahern 3y ago
There's a strong case to be made that MBAs, specifically the business, financial, and economic scholarship undergirding elite MBA programs, truly are the root cause. Profit motives aren't stronger today than yesterday, and prior g
822.
by wahern 3y ago
I didn't comprehensively investigate the issue to learn whether this reflected a more systematic change in reported types, but FWIW a code comment from some Lua bridging code: -- 2022-12-30: On macOS 12/x86_64 methods returnin
823.
by wahern 3y ago
Deliberate or not, the NHTSA and automakers have found a symbiotic relationship where mandatory safety requirements become integral to a planned obsolescence sales cycle. Cars are more reliable and longer lasting than ever, but safety featu
824.
by wahern 3y ago
AFAIU, LL/SC is the more generic, powerful primitive. In theory LL/SC can be used as the hardware primitive for a much broader range of lock-free algorithms, as well as for software transactional memory generally. CAS algorithms a
825.
by wahern 3y ago
The analog to strace in macOS would be dtruss. (AFAICT after some quick Googling, Linux strace is patterned after the old SunOS command, truss. SunOS had a trace(1) utility, too, but truss is the successor with features like fork following.
826.
by wahern 3y ago
Gödel lived from 1906 to 1978. You also seem to be rationalizing an assumption that there were no atheists thousands of years ago, and yet there were. There's no reason to believe that our critical thinking powers are any stronger toda
827.
by wahern 3y ago
> It's like if sperm/eggs went around making all of the important decisions and only bothered to spin up a human briefly for reproductive purposes. That's very close to the thesis of Richard Dawkins' seminal book, the
828.
by wahern 3y ago
Relative to every other nation, including other democracies, the Supreme Court of Israel does indeed have exceptionally strong powers to strike down government laws and actions, powers that it adopted itself at the behest of some very stron
829.
by wahern 3y ago
The salt used in processed and prepared foods usually isn't iodized, contributing to declining iodine intake given the increasing consumption of these foods.
830.
by wahern 3y ago
Hyperloop would have been built on pylons, theoretically mitigating the impact of a line cutting across farms or cities, which in the case of CAHSR has caused immeasurable political problems. I suspect the actual technology within the tub
831.
by wahern 3y ago
> which is more than can be said for CFB+MDC mode That seems like a red herring, at least if taken out of the context of this thread. OCB mode is already supported by GnuPG and had been added to the draft RFC before GCM was added. Werner
832.
by wahern 3y ago
On Linux seccomp is what provides syscall restrictions, and seccomp was originally added to Linux to support untrusted app sandboxing--CPUShare and later Chrome Native Client (NaCl). See https://lwn.net/Articles/332974&
833.
by wahern 3y ago
> And then the whole thing is really terrible security theater as you are technically out of certification if you apply any non-inspected updates. The days when FIPS compliance required using relatively weak ciphers and modes were lament
834.
by wahern 3y ago
I don't know if that's the case here, but costs for large, long-term projects are often quoted by year of expenditure. Costs to be incurred more than a few years out are adjusted for expected inflation, with total costs the sum of
835.
by wahern 3y ago
How historical is the importance of strict aliasing? AFAIU, strict aliasing survives not because of alignment issues when type punning, but because optimizing compilers heavily rely on non-aliasing to guarantee semantic correctness when reo
836.
by wahern 3y ago
> Well, presumably you'd only get paid to not-drill if you otherwise had the drilling rights? So if you bought the rights to extract from an oil field in Alaska or the Gulf, you could get paid not to use them. At least in the U.S.,
837.
by wahern 3y ago
I meant to address the notion that LLMs manifest emergent structures, perhaps derived from but qualitatively distinct and independent from the indisputably human intelligence-centered structures. Whether and to what extent human culture its
838.
by wahern 3y ago
At the very least, NASA couldn't find any cause in software: https://www.transportation.gov/briefing-room/us-department-t...
839.
by wahern 3y ago
> The basics are seriously optimized for typical use cases, take a look at the source code for the dict type Python is well micro-optimized, but the broader architecture of the language and especially the CPython implementation did not p
840.
by wahern 3y ago
> Neural nets do seem to have some sort of emergent structural concept graph, in the case of LLMs it's largely informed by human language (because that's what they're trained on.) To an extent, we can observe this empirica

More ›