gnulinux

81 ms·

901.
by gnulinux 6y ago
Functional languages do have statements. a : Int -> Int a x = x + 2 both `:` and `=` are statements, not expressions.
902.
by gnulinux 6y ago
Why does it matter? If you want to read scheduling code of linux, no one forces you to read 5M+ lines of driver code. If linux was just a microkernel, and distros shipped drivers, you'd still have to read roughly the same number of lin
903.
by gnulinux 6y ago
TikTok has been getting popular since summer 2019.
904.
by gnulinux 6y ago
I've been watching Netflix on linux since late 2018~early 2019 (can't remember exactly when I opened an account). Not sure when it's fixed but I had no problem. Criterion Channel doesn't work on linux though, which I rea
905.
by gnulinux 6y ago
The value of definability is moot at best imho. "Mathematics" is also not easy to define, there are volumes philosophers of mathematics discussing this, some even say "mathematics is what mathematicians find interesting"
906.
by gnulinux 6y ago
> The idea of using "rewards" as a learning mechanism and a path to actual cognition is just wrong, full stop. I'm a layman (just a software engineer) but am curious, I train my cat only with rewards (never punishment beca
907.
by gnulinux 6y ago
It is undecidable. If we had an algorithm to compute # of steps in Busy Beaver (n) (let's call it S(n)) then for all Turing Machines with n states run S(n) steps. If it doesn't halt, it will never halt. Halting problem solved! (we
908.
by gnulinux 6y ago
"If you find me nth Busy Beaver program for any n>10, I'll give you $n"
909.
by gnulinux 6y ago
> why he put it there. Because they're gonna shut down on Dec 31 2024? Would you prefer them shutting down without a notice?
910.
by gnulinux 6y ago
> Wikipedia feels like a 25yr old website. This is a feature. I don't want a 2020 HTML5 bloated wikipedia just to read some text.
911.
by gnulinux 6y ago
When I was an undergrad (UC Berkeley) all Math and CS classes beyond basics (like Calculus etc) allowed "cheat sheets" in exams and some were "open book" (i.e. bring whatever the fuck you want (nothing digital of course,
912.
by gnulinux 6y ago
> Is this a necessary distinction? It is the only possible way to study languages scientifically. You don't go prescribe physical objects, you look at physical objects treat their behavior as a black box and build models to predic
913.
by gnulinux 6y ago
Linguistically, there is no such thing possible that a native speaker not being a master of their languages. It is by definition true that all natives speakers who do not have intellectual disability are masters of their mother tongue and a
914.
by gnulinux 6y ago
If you make thousands of random claims, it's only natural some of them will end up being true. It doesn't mean Hinduism has any predictive power. I'm not saying it doesn't, I'm just saying we cannot determine that f
915.
by gnulinux 6y ago
Why? Just use mypy and disable Any types. So, it's not longer optional. Then make it so that if mypy fails, your code doesn't run. test-all: mypy main.py pytest test/main.py
916.
by gnulinux 6y ago
Why wasn't done in the first place? What was the rationale of using typing.List? Did they want to reserve `dict[x]` for some other semantics?
917.
by gnulinux 6y ago
4/10. I mean I knew I was ugly but still didn't feel good.
918.
by gnulinux 6y ago
Latvian and Lithuanian are Baltic languages, which is a language family within Indo-European language family. Among Indo-European language family, Baltic and Slavic languages are the closest (aka Balto-Slavic language family).
919.
by gnulinux 6y ago
This is amazing. I already wrote this to another comment, but quoting myself: > Is this a USA vs the rest thing? I've worked in many startups in the US and almost everyone uses emacs. Last few years, VSCode has been getting popular
920.
by gnulinux 6y ago
Is this a USA vs the rest thing? I've worked in many startups in the US and almost everyone uses emacs. Last few years, VSCode has been getting popular though. I had a similar experience when I was a student in UC Berkeley, although
921.
by gnulinux 6y ago
Oracle is way past the point for that comment to be non-sensical. For any other company it'd be bizarre, but "hostage" doesn't even begin to describe Oracle customers.
922.
by gnulinux 6y ago
I even do _ : (f x y) == expected; _ = refl makes tests shorter. I also put my tests in the same file that define them by adding a private module module X record X : ... private module test where _ : (f x
923.
by gnulinux 6y ago
Yeah I guess my point was at that point you'll have different APIs for square and circle.
924.
by gnulinux 6y ago
Not yet, it's been one of the things I wanted to do for about a year since cubical-agda was released. I dabbled with it but I don't know enough type theory/topology to digest cubical type theory well. I tried a few times, but
925.
by gnulinux 6y ago
My grandma has this super old wooden house in the middle of nowhere. One summer I was staying there with her, I went downstairs, turned off all lights and played Amnesia. I honestly thought it'd be fun, but I stopped after ~1 hour. It
926.
by gnulinux 6y ago
I would share my github projects but unfortunately I don't want this HN persona to be associated with my real name (my github name is my name_lastname unfortunately). Look at some of Ulf Norell's (agda's main author) projects
927.
by gnulinux 6y ago
That doesn't make any sense. If you want to represent an ideal circle, calculus doesn't help, best you can do is pick an epsilon and add zillions of points to create an approximate circle. Even then most computational geometry alg
928.
by gnulinux 6y ago
I code real life programs in Agda. Some part of my server and my tools are in Agda. One time I was in #haskell freenode IRC channels and people started acting out as if I'm some crazy person. Agda has seemless integration with Haskel
929.
by gnulinux 6y ago
I would still prefer having a multiline lambda. We have this: def f(x): y = foo(x) z = bar(y) // ... return x some_obj.do_later(t, f, a, b, c) I would prefer: some_obj.do_later(t, lambda
930.
by gnulinux 6y ago
Why skip spacemacs? I've been in this mentality since early 2010s and I've been maintaining my own N k line of elisp script for ~15 years. Last year I installed spacemacs and TBH although not everything is exactly how I want, it&#

More ›