joppy

28 ms·

241.
by joppy 6y ago
One way of understanding why complex differentiability is so strong is looking at a complex-to-complex function as a real function of two real inputs and two real outputs. The fact that h rather than |h| appears in the denominator of the co
242.
by joppy 6y ago
Are vector spaces really the right category? In particular the product and coproduct of vector spaces are isomorphic (both isomorphic to the direct sum).
243.
by joppy 6y ago
What is your opinion on config files used by the Bazel build system, written in a programming language called Skylark [1] (much like Python)? I haven't looked into it but it seems plausibly Turing-complete, or at least powerful enough
244.
by joppy 6y ago
What kind of server-side analytics are people using today, for personal blogs and things? Projects like GoAccess which eat an nginx log file and output some analytics seem like a nice middle ground for those of us who want some feedback on
245.
by joppy 6y ago
In my opinion, ordered or orderable is a better name than comparable for types implementing (<=). It evokes more of a "totally ordered" vibe than just saying "comparable", which is what we actually want in these types
246.
by joppy 6y ago
“I know of no widely-used language that solves The Expression Problem while satisfying the constraints of independent compilation and static typing” - kind of implies that the problem is different from whether or not the language is statica
247.
by joppy 6y ago
I tried to use this handbook yesterday to answer the question: “how do I start the SSH server on Debian?” and I couldn’t answer it. Compare this to something like the FreeBSD handbook [1], where the information is very easy to find. [1]: h
248.
by joppy 6y ago
What is the rationale behind this? '==' works all the time, and 'is' only works sometimes. Using 'is' wherever possible requires the user to know some rather arbitrary language details (which objects are single
249.
by joppy 6y ago
Perhaps it's time that this kind of work is recognised as being more valuable than it is today, precisely because not many people want to do it.
250.
by joppy 6y ago
A very high progressive tax is compatible with the belief that people should work to earn a living. If I have a lot of money, I can invest it and for almost no work grow my wealth or get another income stream. How is that fair? And why does
251.
by joppy 6y ago
Is there some book of best web dev practices where stuff like this is written down?
252.
by joppy 6y ago
This is equivalent to the matrix solution. The matrix has eigenvalues φ and ψ, so working with linear combinations of powers of the matrix is the same as working over Q(φ, ψ) = Q(√5). This is not just an equivalence abstractly mathematicall
253.
by joppy 6y ago
Do you know if there is a compiler switch that can insert run-time checks any time it makes assumptions which could be invalid (such as “this random pointer is aligned”) and abort with an error message (or something) when it is not true? I
254.
by joppy 6y ago
You don’t think it would have needlessly obscured the point of the article, which was about giving a concrete example of some interesting category theory concepts? This is clearly not a post about lambda calculus, but about explaining some
255.
by joppy 7y ago
I think that usually when people say “algebra over a ring” they assume that ring to be commutative, so that the word “bilinear” in “bilinear multiplication” is useful. It’s possible to define an algebra over a non-commutative ring as a bimo
256.
by joppy 7y ago
Yes, I’ve thought about it before, since at my university they started on an entirely-eclipse sort of syllabus, and then overcorrected massively to command line. A bunch of new CS undergrads were driven off because they thought that program
257.
by joppy 7y ago
I think one of the interesting things about Conway is that there were better contemporary mathematicians by a contemporary measure of “better”. He just sort of did his thing and worked on problems that he found interesting, not necessaril
258.
by joppy 7y ago
I think that this is mixing up two different skills. The first skill is learning to program, and in particular learning to program data structures, or algorithms, or whatever. For this you don't care at all how your code builds, you ca
259.
by joppy 7y ago
It's more like US$13.50/hr if you take the exchange rate from a few months ago, before the COVID-19 crisis.
260.
by joppy 7y ago
Sorry that I confused the terms "round function" and "Fiestel function", I thought my intended meaning would still be clear. The Fiestel construction still takes a non-invertible function and produces an invertible funct
261.
by joppy 7y ago
I think this is pretty dismissive of what the author is trying to explain: the round functions for ciphers are non-invertible, and there is a construction which strings them together such that the whole thing is invertible. That’s pretty in
262.
by joppy 7y ago
Nim has a heavy focus on metaprogramming using both templates and macros, and so the syntax is designed to be very permissive, and parse (but not understand) a very wide grammar so that users can write macros/templates to transform the
263.
by joppy 7y ago
Some would argue that having fun and feeling fulfilled are essential to life, and for some that would put those three things firmly on the list. And interacting with other people is (in my opinion) basically the point of being alive, and it
264.
by joppy 7y ago
What companies hire new grads for $200k?
265.
by joppy 7y ago
“Concurrent data structure” is a well-established term (both in common use and in the academic literature) for a data structure which is safe to access from multiple threads of execution.
266.
by joppy 7y ago
Right, but then you take on a bunch of baggage you don’t have in a GC setting. For instance if you want to make zillions of these objects and delete them you are paying overhead for lots of allocations and deallocations made heavier by the
267.
by joppy 7y ago
How does Rust deal with long-lived objects that cannot be block-scoped (or request-scoped, in the context of a server for example)? A typical example here would be a UI framework, where memory has to be managed for the window and its widget
268.
by joppy 7y ago
A linear scale for that graph is completely appropriate: it’s showing how one data series has flattened out and the other continues to grow at an increasing rate. I would also argue that since one of those data series is clearly not exponen
269.
by joppy 7y ago
Surgical masks have an air gap, so are not comparable to N95 masks at all in that regard. They are solving different problems.
270.
by joppy 7y ago
Thinking about maths is fun, and some people do it for leisure and write what they find in innocuous places like blogs. Usually the things you come up with are already well-known by a different name (as was the case here), so one would usua

More ›