gnulinux

9 ms·

91.
by gnulinux 2y ago
Isn't that potentially unsafe though? Random permutations can reduce arbitrary programs to destructive programs, in particular any program can be mutated to `rm -rf /` given enough time. Also even the problem of finding syntactica
92.
by gnulinux 2y ago
I read this paper and I still feel lost as to how can this even be possible . It seems to understand how to tokenize, merge lines, remove tokens etc for arbitrary programming languages. Is there another paper that explains this algorithm a
93.
by gnulinux 2y ago
In our world today it seems impossible to complain about stress. Everyone around me from boss to family to even therapist keep telling me to remind myself of how great of a life I have and that I should know better than to complain. But it
94.
by gnulinux 2y ago
Oh that's very good to know, I stand corrected. I last moved late 2023 (Boston) and I was interested in market in a few cities around that times. It's always great to hear local governments can make progress for the people.
95.
by gnulinux 2y ago
> Just today i’ve read that Costco called back all their butter to destroy it because they forgot to print that butter contains milk. Oh no! What will these multi-billion dollar companies do? Who is there to protect them? I think maybe w
96.
by gnulinux 2y ago
In very expensive cities like NYC, Boston, SF it'll be $4k+ for 1 to 2 bedrooms, $5k+ for 2 to 3 bedrooms. If you have 2 buddies and going on a $5500 3 bedroom in Boston, you'll likely be requested first rent + last rent + deposit
97.
by gnulinux 2y ago
I'm curious about this for DuckDB [1]. In the last couple months or so I've been using DuckDB as a one-step solution to all problems I solve. In fact my development environment rarely requires anything other than Python and DuckDB
98.
by gnulinux 2y ago
Reading this post, and reviewing the documentation of NumPyro/Pyro, I think I'm not following the crucial difference between NumPyro/Pyro. I understand that Pyro uses PyTorch as backend, and NumPyro uses JAX as backend, but o
99.
by gnulinux 2y ago
I strongly recommend checking Souffle programming language. It's a dialect of Datalog that can output bulk CSV data that can be easily imported into other databases (like Duckdb or Excel etc). It creates an extremely intuitive framewor
100.
by gnulinux 2y ago
Python ecosystem is a disaster for certain reasons but there is simply no ecosystem better than Python for other reasons. It's a trade-off. For literally any niche problem you can find out there there will be a Python library somewhere
101.
by gnulinux 2y ago
I see thanks, that's great.
102.
by gnulinux 2y ago
I recently wanted to use tcc for a homebaked programming sideproject and was surprised to find it's no longer supported anymore, at least not by Fabrice Bellard. Upstream git still has some light activity but no releases. I wasn't
103.
by gnulinux 2y ago
This is a fascinating post. It reads to me like some kind of cross between literate-programming and poetry. It's really trying to explain the idea that when you run `just foo` the very 0x0A byte comes from possibly hundreds of cycles o
104.
by gnulinux 2y ago
Duckdb is amazing, I've been using it in the last few weeks to analyze data I generate with datalog/souffle and I was completely blown away by the performance and QOL features. I seriously don't understand how it can be this
105.
by gnulinux 2y ago
Especially if you need 128-bit float precision. It's very well known and understood that quad float is much slower in most platforms, extremely slow in some. If you're using quad float, it's because you absolutely need need
106.
by gnulinux 2y ago
I use it for generating music through physical models. If the model requires a very numeric-sensitive algorithm like a differential equation solver, it's nice to have the extra precision, and usually performance doesn't matter too
107.
by gnulinux 2y ago
@hn_throwaway_99 wrote in that thread: > These types of articles/pronouncement always tend to make a connection that is nearly never warranted. That is, the article quotes this tweet that says "The modern economy rests on a sin
108.
by gnulinux 2y ago
Random one off forums. They were alive .
109.
by gnulinux 2y ago
> However, by now I think we've found our places where the internet is still fun. There's still some forums and chat rooms that keep things interesting without the constant barrage of advertising. I haven't. Internet is no
110.
by gnulinux 2y ago
> Shared memory works as a transport if you either assume that all parties are trusted (in which case why do IPC in the first place? Just put them in a monolith), or you do hardcore capturing (make a copy of each message in the framework
111.
by gnulinux 2y ago
> One thing it's not likely to be, is a neo-classical capitalist system based on the value of human labor. I'm finding it difficult to believe this. For me, your comment is accurate (and very insightful) except even a mostly va
112.
by gnulinux 2y ago
It was only a matter of time. I have a feeling -- not being a lawyer and not intimately knowing the US Law -- that the whole legal structure of the Federal Government will soon experience a tremendous shift. Alphabet agencies will stop havi
113.
by gnulinux 2y ago
> surprisingly This is the problem with these kind of methods. It works, until it doesn't in an unknown way.
114.
by gnulinux 2y ago
I'm sorry but this doesn't work. Over the last 10 years so I was fucked over by countless "software that includes all its dependencies" that stopped working when I upgraded some other totally irrelevant software because
115.
by gnulinux 2y ago
Last I checked podman's support of docker-compose.yml was very limited to say the least. Has it changed?
116.
by gnulinux 2y ago
There is but then you're using two separate libraries, that seems like a fragile point of failure compared to just using jax. But regardless since jax will use different backends anyway, it's arguably not any worse (but it ends up
117.
by gnulinux 2y ago
What about CPU-only loads? If one wants to write code that'll eventually run in both CPU and GPU but in the short-to-mid term will only be used in CPU? Since JAX natively support CPU (with numpy backend), but CuPy doesn't, this se
118.
by gnulinux 2y ago
No it supports less actually. Obsidian is only a markdown editor, it does allow you to edit code fragments like code (so there is basic code highlighting, auto-tabbing etc) but that's it. I personally find this a lot easier in some cas
119.
by gnulinux 2y ago
Literate programming is not just "documentation + code" any more than a textbook you read about Calculus is "documentation + CalculusCode" or a novel is "documentation + plot". It goes way beyond that, using li
120.
by gnulinux 2y ago
It's a literate programming tool. If you find literate programming useful (such as Donald Knuth's Latex) then you can write a Jupyter notebook, add text, add latex, titles, paragraphs, explanations, stories and attach code too. Th

More ›