gnulinux

9 ms·

61.
by gnulinux 1y ago
Just in case people consider this seriously, I just want to add my two cents: Ulysses although is prose, it's so much more of a poetry than prose compared many other novels. I personally don't think listening to someone's rea
62.
by gnulinux 1y ago
This is extremely true. Reading Dostoyevsky as an adult was like finding a long lost treasure in ancient scrolls. I never understood what's the point in High School. Some of the classics are really classics because they're so much
63.
by gnulinux 1y ago
I implemented the same in some of my programming languages. If you look into very generic mixfix operators in some languages like Agda, you'll realize that operator precedence is a mess and it feels so much better to get rid of it. O
64.
by gnulinux 1y ago
Disclaimer: Never used Ibis before but I daily use polars and DuckDB. It seems like Ibis uses DuckDB on its backend (by default) and has Polars support as well. Given this, maybe see if Ibis works better for you than polars. If you very spe
65.
by gnulinux 1y ago
It's not that it's a proxy for memory use, but FD is its own resource, I've seen many software with FD leak (i.e. they open a file and forget about it, if they need the file again, they open another FD) so this limit can be a
66.
by gnulinux 1y ago
Why not? Why do you think it's irrelevant? The reason why I included that is very simple: it models the situation I want to express exceptionally well. In "mathematics" we learn in school none of the discussion relevant to th
67.
by gnulinux 1y ago
The reason decidability makes no or very little sense to tons of CS or Math majors is because the logical basis of decidability is almost never explained in school. Even if you're in a logic/computability class you likely won&#x27
68.
by gnulinux 1y ago
I just Ctrl+P print the reader mode output to PDF. Takes 1 second. I've been doing it for years and it works perfectly. I have articles I saved from a decade ago in Dropbox. I'm honestly surprised people use a whole app for such a
69.
by gnulinux 1y ago
I personally prefer Agda to Lean or Coq [1] to prove my theorems but this frontier is imho among the most exciting research in theoretical CS in many many decades. I really wish more programmers and mathematicians knew about automated theor
70.
by gnulinux 1y ago
Principia was written during the naive Logicist era of philosophy of mathematics that couldn't foresee serious foundational decidability issues in logic like Godel's incompleteness theorems, or the Halting Problem. Formalism/
71.
by gnulinux 2y ago
I'm sorry I know this is horrific but I still love it. This looks like a better version of Boost Lambda2. I would potentially maybe replace `$` with `_` before using this (which should be easy as a layer) like Boost::Lambda2 but otherw
72.
by gnulinux 2y ago
It's not at odds at all but it'll be "Monadic" in the sense that the output of system A will be part of the input to system A+1 which is complicated to organize in a systems setting, especially if you don't have acc
73.
by gnulinux 2y ago
> Teotihuacan rather famously was not a literate society Isn't this going a bit too far? Sure they didn't have a modern writing system like Mayans, or even proto-writing systems like Inca's quipu but we do have hard eviden
74.
by gnulinux 2y ago
> if I told you 10yrs ago that we'd have AI that can do math/code better than 99% of humans This not even remotely close to true. Like not even a little bit. I use Cursor and Gemini for work daily and I'd be hard pressed t
75.
by gnulinux 2y ago
I don't see any issues in Android Firefox, works pretty much the same as my OSX Chrome or Firefox. What is the problem you're having I wonder?
76.
by gnulinux 2y ago
My boss regularly criticizes me for thinking too much. Sometimes I stop and think if this is the best way to implement something, and then suddenly receive a lecture about velocity, moving fast, being efficient, being ok with pushing bugs t
77.
by gnulinux 2y ago
You can absolutely do this with hypothesis stateful testing. https://hypothesis.readthedocs.io/en/latest/stateful.html
78.
by gnulinux 2y ago
DuckDB is mind blowingly awesome. It is like SQLite, lightweight, embeddable, serverless, in-memory database, but it's optimized to be columnar (analytics optimized). It can work with files that are in filesystem, S3 etc without copyin
79.
by gnulinux 2y ago
I'm personally very sympathetic and interested in avant-garde, experimental software development methods like this. I understand that most devs reading this is mortified and doubt about my sanity, but I do unironically use extremely,
80.
by gnulinux 2y ago
They are related and the reason is the last point of the OP article: Abstraction. Things can be "physically" deterministic, but can be abstracted as non-deterministic. This seems strange at first but it actually makes a lot of s
81.
by gnulinux 2y ago
You can also use a different but similar tool e.g. use sqlite to keep user information, use duckdb to keep user data. I find this combo very effective since sqlite is best as fast btree based indexed operations and duckdb is best at multipl
82.
by gnulinux 2y ago
This is a lovely comment and I agree with your list. At least, it's been my experience.
83.
by gnulinux 2y ago
Did you read the executive order? It clearly states it also covers parents that are here legally through visas like H, F etc... It is not just about illegal immigration. E.g. if you work in the US on H and have a kid with a student on F vis
84.
by gnulinux 2y ago
I didn't say Western music is anti-human. Treating it as the only possible form of music is.
85.
by gnulinux 2y ago
The difference is in the model. The same way you can model mechanics with Newtonian mechanics, or statistical mechanics, or quantum mechanics and each of them can be useful in different scenarios, and irrelevant in others. If you're ma
86.
by gnulinux 2y ago
You're misunderstanding what I'm saying. Music theory from other cultures are of course music theory as well. Each composer can (and almost always will ) have their own idiosyncratic music theory as well. There is nothing contrad
87.
by gnulinux 2y ago
No you're simply wrong. This is how a "classical Western" musician thinks of music, but this is not necessarily what music is. Timbre is the main expressive content in many cultures. Check my comment here: https://
88.
by gnulinux 2y ago
This is exactly what I'm talking about. In Western music timbre is akin to fonts. You have a composition for piano, you play it, record it in MIDI, and reskin it with some other timbre in studio. This is an extremely Western way of loo
89.
by gnulinux 2y ago
Found the classically trained musician. Any and all formal, mathematical, informal theory about music can be called music theory. Music theory is about modeling music. Period. It does not matter if it's about harmony, rhythm, pitch,
90.
by gnulinux 2y ago
In the US, a random/personal selection of major works that will be public domain are: * Ernest Hemingway's novel "A Farewell to Arms" * Ludwig Wittgenstein's essay "Some Remarks on Logical Form" * The firs

More ›