s20n

5 ms·

31.
by s20n 6mo ago
Thanks for working on LispPad, I'm really enjoying using it. > Polar complex number literals are actually not part of R7RS I actually thought they were part of the spec. Specifically, I am referring to the last paragraph from sectio
32.
by s20n 6mo ago
For me man(3) is the most interesting of them all. Run `apropos . | grep "(3)"`; you'll be surprised how many libraries come with man pages for their functions (e.g; curl). Now I wonder if there are any IDEs that can automati
33.
by s20n 6mo ago
I just tried this out, this is amazing! It does actually have a lot of R7RS support (like #!fold-case) however it doesn't seem to work with polar complex numbers (e.g; 2@1.5) or complex numbers with infnan (e.g; 3+inf.0i or +inf.0+3i).
34.
by s20n 6mo ago
Does this have an MCP server?
35.
by s20n 7mo ago
I'm sure this is really smart but boy is this a pain to read. I even tried holding the orbs in hopes of reading the text but it kept reflowing so much that I gave up after 5 minutes. Edit: I just realized that clicking once freezes the
36.
by s20n 7mo ago
Structure and Computer of Interpretation Programs
37.
by s20n 8mo ago
> I’ve been using Copilot - and more recently Claude - as a sort of “spicy autocomplete” and occasional debugging assistant for some time, but any time I try to get it to do anything remotely clever, it completely shits the bed. This see
38.
by s20n 9mo ago
But the article says "our human ancestors" which implies they are not talking about other hominins." Edit: Okay I just found that Human can also refer to other hominids from: https://www.merriam-webster.com/di
39.
by s20n 9mo ago
Of course, just as the highlight tool is used for redaction, wingdings is used for encryption!
40.
by s20n 10mo ago
I used i3 for the longest time and I'd say a wayland based alternative like sway or miracle is a better choice nowadays. Even KDE Plasma recently dropped x11 support [1] so going forward, most apps will target wayland first. Migrating
41.
by s20n 11mo ago
I've been using Emacs 30 on my android tablet for a few months now with a bluetooth keyboard. Needless to say, you can't really leverage eglot so it's basically a no-go for any meaningful software development. I've been
42.
by s20n 11mo ago
Not having gpg-agent is a huge deal breaker for me. I feel gpg-agent doesn't get enough love. Not only can it do all the ssh-agent operations, it can also be used with gpgme-json[1] to do web authentication with your [A] key. It'
43.
by s20n 11mo ago
One distinction is that compilers generally translate from a higher-level language to a lower-level language whereas Transpilers target two languages which are very close in the abstraction level. For example a program that translated x86 a
44.
by s20n 11mo ago
> Lie #3: Transpilers Target the Same Level of Abstraction > This is pretty much the same as (2). The input and output languages have the syntax of JavaScript but the fact that compiling one feature requires a whole program transforma
45.
97% of people can't distinguish between AI-generated and human made music(newsroom-deezer.com)
2 points by s20n 11mo ago|3 comments
46.
by s20n 11mo ago
I use KaTeX for my blog, and indeed KaTeX was faster than MathJax 2, but MathJax 3 (a complete rewrite) has significantly improved performance from the previous version and is now a bit faster than KaTeX in my experience. This website has a
47.
by s20n 11mo ago
> This extends at first to the Rust compiler and standard library, and the Sequoia ecosystem. By Sequoia, are they talking about replacing GnuPG with https://sequoia-pgp.org/ for signature verification? I really hope the
48.
by s20n 1y ago
> It is interesting though how this same conversation doesn't exist in the same way in other areas of computing like video game consoles Yes, there needs to be a lot more uproar for these cases as well. One of the most appalling cas
49.
by s20n 1y ago
I remember using these for impedance matching back when I was in college. Basically when you connect two transmission lines (like coax cables), you need to match their impedances so the signal does not bounce back. (Ik this is a gross overs
50.
by s20n 1y ago
Obviously, it's the voter's responsibility to cross-check whether whatever BS the LLM spat out is credible or not. I believe if the voter can be trusted with the vote, then they can also be trusted to make an informed decision.
51.
Random Numbers from Hard Problems: LWE Based Toy RNG(blog.s20n.dev)
21 points by s20n 1y ago|2 comments
52.
by s20n 1y ago
The man is a legend. I remember watching his videos when I was just starting out.
53.
by s20n 1y ago
Ah yes, yak shaving < https://en.wiktionary.org/wiki/yak_shaving >
54.
by s20n 1y ago
I believe mathematics was much tamer before Georg Cantor's work. If I had to pick a specific point in history when maths got "so abstract", it would be the introduction of axiomatic set theory by Zermelo. I personally cannot
55.
by s20n 1y ago
For Europe, I'd say there are quite a few good options now like Volla[1], Fairphone 5 (the best supported phone for ubuntu touch) [2] and the Furi FLX1s [3] I'm from India and I cannot import any of these devices (due to extreme i
56.
by s20n 1y ago
Attention Is All You Need - The Beatles ft. Charlie Puth
57.
by s20n 1y ago
Man, that went way over my head. But if you just want to run C++ in a REPL, you can use Clang-Repl < https://clang.llvm.org/docs/ClangRepl.html > which uses the LLVM JIT to "interpret" C++.
58.
by s20n 1y ago
It's hilarious that Stream Ciphers are the closest thing to the One-Time-Pad (which provides "Perfect Secrecy") and this thing is a Monoalphabetic Substitution Cipher which provides no security whatsoever.
59.
by s20n 1y ago
That's how it is done in debian packages. The full text of each license is only mentioned once and given an identifier which is then used to link the license to the relevant copyright statements. For example: https://salsa.d
60.
by s20n 1y ago
Personally, I and my friends self host matrix for our organization but Mattermost is also a fine free-software alternative. There are plenty more reasons to avoid using Slack, see: Reasons not to use Slack by Richard Stallman < https:&#x

More ›