reikonomusha

6 ms·

1.
by reikonomusha 24d ago
Ricing your car [1] is to make cosmetic changes to (usually) make it look faster or more powerful than it really is. Sometimes now just refers to extremely personal cosmetic changes one makes to their OS/DM/WM/SW. See also th
2.
by reikonomusha 4mo ago
Packaging software for Linux users is a nightmare. Unless - your program is extraordinarily simple - you can manage to statically link libc - you can ship (or statically link) all .so files - you can ensure your app can run in a sandbox - y
3.
by reikonomusha 5mo ago
The problem is that the intersection between your business's interests and the interests of the small pool of available developers is usually very small. Building banking apps? Well, even if it's Haskell, the Haskellers were dream
4.
by reikonomusha 5mo ago
Haskell is typically terse in addition to expressive. So "tight" seems more apt. Lisp is traditionally not so terse, but still expressive.
5.
Dotcl: Common Lisp Implementation on .NET(github.com)
186 points by reikonomusha 5mo ago|47 comments
6.
by reikonomusha 5mo ago
For a brief period of time over 60 years ago, yes. :)
7.
by reikonomusha 5mo ago
What evolution in particular do you think? The developers use it for commercial products in quantum computing and defense [1]. That doesn't mean it's done in some complete language ecosystem sense (which is discussed in [1], and o
8.
by reikonomusha 5mo ago
For all practical purposes, the syntax of Lisp isn't just a cosmetic choice, though.
9.
by reikonomusha 5mo ago
<meta>I've noticed this more recently on HN. Either the top comment has to be some negative sentiment even if seemingly good-faith, or a comment on something completely tangential (like the color of the website), or a comment on
10.
by reikonomusha 5mo ago
What you say is entirely true in theory. An editor can have whatever it wants. Anything is possible—but somebody needs to do the work. If your favorite code editor is Zed, chances are nobody wrote proper Lisp indentation in it or any sort o
11.
by reikonomusha 5mo ago
"It should be easy enough for" sets a UX bar, not a target audience. Kind of like the English phrase "X is so easy that even a toddler could do it," regardless of whether such a statement is figurative or literal.
12.
by reikonomusha 5mo ago
For historical interest, Lem did used to advertise itself as a Common Lisp development tool specifically, but that has changed relatively recently (past year?). From my distant vantage point, it looks like general interest in it grew, and L
13.
by reikonomusha 5mo ago
Something like SLIME isn't essential to execute Lisp code, you're right, but it is essential in order to understand the efficiencies afforded by interactive development, which may as well be one of the pillars of the language, sin
14.
by reikonomusha 5mo ago
Coalton is also a full-featured embedded language of Lisp that is sufficiently paradigmatically different than run-of-the-mill Lisp code you'd see in a Common Lisp textbook, since it has a complete, Haskell-like static type system and
15.
by reikonomusha 5mo ago
Not that I've seen.
16.
by reikonomusha 5mo ago
It is not known, and the model problem for this is Hilbert's 13th [1]. Nonetheless, "elementary function" is a technical term dating back to the 19th century; it's very much not a general adjective whose synonym is &quot
17.
by reikonomusha 5mo ago
You can calculate, measure, draw, construct, write a power series for, express as hypergeometric function, etc. the Bring radical too. All of these concepts, from sine to real numbers, Bring radicals to complex exponentials, can all be defi
18.
by reikonomusha 5mo ago
The Bring radical has a great geometric interpretation: BR(a) is where the curve x^5 + x + a crosses the x axis. Like sine or exp, it also has a nice series representation: sum(k = 0 to inf) binom(5k,k) (-1)^(k+1) a^(4k+1) / (4k+
19.
by reikonomusha 5mo ago
Not a typo! Think of f(x) = x as a seed function that can be used to build other functions. It's one way to avoid talking about "variables" as a "data type" and just keep everything about functions. We can make a fu
20.
by reikonomusha 5mo ago
To be fair to Spivak, he did say it was comprehensive introduction. :)
21.
by reikonomusha 5mo ago
EML can represent the real absolute value, so long as we agree with the original author's proviso that we define log(0) and exp(-∞), by way of sqrt(x^2) as f(x) = exp((1/2)log x). Traditionally, log(0) isn't defined, but the
22.
by reikonomusha 5mo ago
This fundamental "cheat" gave rise to some of the most important pure and applied mathematics known. Can't solve the differential equation x^2 - a = 0? Why not just introduce a function sqrt(a) as its solution! Problem solved
23.
by reikonomusha 5mo ago
You are correct, it is undecidable by Richardson's theorem [1]. [1] https://en.wikipedia.org/wiki/Richardson%27s_theorem
24.
by reikonomusha 5mo ago
Arnold (as reported by Goldmakher [1]) does prove the unsolvability of the quintic in finite terms of arithmetic and single-valued continuous functions (which does not include the complex logarithm). TFA's result is stronger, which i
25.
by reikonomusha 5mo ago
Wikipedia says: > More generally, in modern mathematics, elementary functions comprise the set of functions previously enumerated, all algebraic functions (not often encountered by beginners), and all functions obtained by roots of a pol
26.
by reikonomusha 5mo ago
As is usual with these kinds of "structure theorems" (as they're often called), we need to precisely define what set of things we seek to express. A function which solves a quintic is reasonably ordinary. We can readily compu
27.
by reikonomusha 5mo ago
Combinations of the NAND gate can express any Boolean function. The Toffoli (CCNOT) or Fredkin (CSWAP) can express any reversible Boolean function, which is important in quantum computing where all gates must be unitary (and therefore rever
28.
by reikonomusha 5mo ago
The definition of "elementary function" typically includes functions which solve polynomials, like the Bring radical. The definition was developed and is most fitting in algebraic contexts where algebraic structure is meaningful,
29.
by reikonomusha 5mo ago
"The quintic has no closed form solution" is a theorem that is more precisely stated (in the usual capstone Galois proof) as follows: The quintic has no closed form solution in terms of arbitrary compositions of rational numbers,
30.
by reikonomusha 6mo ago
This is an awesome piece of software, one of my favorite little pieces of magic. Finding more precise or more stable floating point formulas is often arduous and requires a lot of familiarity with the behavior of floats. This finds good for

More ›