psykotic

13 ms·

61.
by psykotic 6y ago
I'm the author of the tweet. Here's some more context: The main purpose of the testing was to measure compile time scaling on simple code that has straightforward equivalents in all languages. This meant integer and float operatio
62.
by psykotic 6y ago
(I'm the person he was quoting in the article.) When I use setjmp/longjmp error handling I almost always want abort semantics but at the library level rather than at the OS process level. [1] Where applicable it's the simples
63.
by psykotic 6y ago
> But doesn't the dynamic linker still have to do extra work to resolve the relocations in the executable, even when the dependency libraries are already loaded? For dynamic linking there's usually only a single reference that
64.
by psykotic 6y ago
Wasn't one of the issues with earlier Pi versions that the driver just serialized high-level GLES-like commands to a front-end processor that ran a huge closed firmware blob? All GPUs have built-in command processors but this was close
65.
by psykotic 6y ago
The new release of VMware Workstation now works with Hyper-V as its hypervisor but a bunch of people (and I'm one of them) have experienced massive, unacceptable performance regressions for VM guests. I had to disable Hyper-V and hence
66.
by psykotic 6y ago
> In what application are you going to sort an array of a pure scalar type that is native to the machine? All the time in my experience. This is why radix sort is so useful. Many key types can be packed into 64 bits in a way that's
67.
by psykotic 6y ago
Clojure uses persistent vectors which are essentially trees of array chunks (I think 32 elements per array chunk) that support structure sharing and a version of cons called conj that runs in order log32(n) time. But the language isn't
68.
by psykotic 8y ago
You need the Sysinternals utilities to make life tolerable: https://docs.microsoft.com/en-us/sysinternals/downloads/hand... from the command line or Ctrl-F in https://docs.microsoft.com/en-us&
69.
by psykotic 8y ago
> think reparse points, alternate streams, transactions, BitLocker integration, and shrinkable volumes, to name a few. NTFS's USN change journal (which is separate from the transaction journal) is also useful as a robust offline alt
70.
by psykotic 8y ago
If you want something more extensive and less dramatized, I'd recommend Kotkin's ongoing multi-volume biography starting with Stalin: Paradoxes of Power, 1878-1928. It's becoming (if it isn't already) the definitive work
71.
by psykotic 8y ago
> if they were literally at his bed safeguarding information, that seems quite intrusive for someone who did monumental tasks for the government. and it isn't even clear what their gameplan would be in this case. The British state f
72.
by psykotic 8y ago
I consider applicability one of the primary aesthetic qualities in mathematics, but most mathematical applications are internal to mathematics or science, not about solving some highly specific practical problem like improving web search pe
73.
by psykotic 8y ago
>Classical measure theory lives in a model divorced from physical reality. Everything in mathematics is divorced from reality. Unbounded integers are divorced from reality. (Once you move beyond naive realism, bounded integers are divorc
74.
by psykotic 8y ago
It's been forever since I looked at this stuff, sorry. But I think Bourbaki's shortcut to integration theory via continuous linear functionals only works in locally compact spaces. It doesn't let you construct the Wiener meas
75.
by psykotic 8y ago
For what it's worth, my professional background is entirely in game development and systems programming. I'm not a professional academic. All the professional work I've done with mathematics is applied. I think you're ov
76.
by psykotic 8y ago
"Measure theory a la Bourbaki" is probably not what you meant if you did probability theory and statistics. Bourbaki famously sidestepped classical measure theory with sigma algebras by constructing Radon measures as functionals v
77.
by psykotic 8y ago
You represent everything that is wrong with "fans" in entertainment culture and games in particular. Your comment is not only hateful but ignorant and anti-worker. The people who suffer in layoffs are workers, not high-level direc
78.
by psykotic 8y ago
Does he communicate this poorly within his own organizations? Clarity is the most basic quality in leadership.
79.
by psykotic 8y ago
The only serious difference between classical AD and newer efforts like this is that they have an intermediate language ("what goes on the tape") with recursion and control flow operators which ideally lets them implement front-en
80.
by psykotic 8y ago
Stochastic and mini-batch gradient descent work as well as they do in supervised learning because the function you're trying to minimize is a sum or other loosely coupled aggregation of losses over individual training samples, so you c
81.
by psykotic 8y ago
If Google is like Facebook in this respect then a senior engineer who "meets expectations" in a performance review stands to make at least 15-20% of their salary as a bonus. If you get below "meets expectations" you are
82.
by psykotic 8y ago
By an operator I just mean a transformation. Certainly linear operators like differential operators qualify. The fact that these have an algebra in their own right goes back to work in the 19th century by Felix Klein and Sophus Lie on trans
83.
by psykotic 8y ago
Indeed. There were 18th century mathematicians like Gauss who realized the importance of the geometric nature of complex numbers, but it didn't become central to the subject until the 19th century. The appearance of imaginary numbers a
84.
by psykotic 8y ago
They could call it the MIT Computer Science & Artificial Intelligence Laboratory.
85.
by psykotic 8y ago
> The borrow checker only cares about memory safety, and index accessors are implemented in a memory safe manner (whether that's panic!ing or returning an Option<>). Reductio ad absurdum: Implement the entire heap as a single
86.
by psykotic 8y ago
Memory usually accounted for a majority of the cost in those days, so there's a lot to be said for a unified memory system in home computers. The standard memory architecture for home computers from 8-bits like C64 to 16-bits like Amig
87.
by psykotic 8y ago
Agreed with your historical information, but the comment about function calls and calling conventions is not without merit. If you have 256 architectural registers you still can't have more than a couple callee-save registers (otherwis
88.
by psykotic 8y ago
newLISP was the butt of half the jokes on #scheme over a decade ago. I'm surprised it had enough uptake to stick around. Uniquely for a Lisp, all objects are deep-copied by value when passed around. It also doesn't have closures.
89.
by psykotic 8y ago
Yeah, if you use the Moser-de Bruijn sequence for constructing a pairing function you just get bit interleaving. You define the map expand(x_0, x_1, ..., x_n) = (x_0, 0, x_1, 0, ..., 0, x_n), apply it to x and y, multiply expand(y) by 2 to
90.
by psykotic 8y ago
There's a simple recipe for arithmetically encoding recursive algebraic data types (in the functional programming sense) which is related to this. What you might have seen is Goedel numbering where a finite sequence of natural numbers

More ›