wlib

16 ms·

31.
by wlib 5y ago
Not without some modifications, which I did not make because the complexity would get crazy with shell scripting
32.
Show HN: Run unknown shell script with a line-by-line confirmation prompt(gist.github.com)
158 points by wlib 5y ago|82 comments
33.
An HTML Quine(gist.github.com)
1 points by wlib 6y ago|0 comments
34.
by wlib 6y ago
Dependently typed Golang when?? In all seriousness, it feels like go's reputation of simplicity is at odds with its design. Instead of making a simple and highly generalized core from which anything can be composed, it has a specialize
35.
by wlib 6y ago
Glad to see this, a great related TED talk by Allan Savory that introduces why this is true can be found here https://youtu.be/vpTHi7O66pI
36.
Google search query takes 6 seconds(google.com)
2 points by wlib 6y ago|0 comments
37.
by wlib 6y ago
Say you have a simple expression within your code: 4+3*2. Rather than computing the result at run time, you can reduce (fold) that expression into 10, because it's a simple constant that only needs to be computed once.
38.
by wlib 7y ago
That's what I meant
39.
by wlib 7y ago
Isn't this solved perfectly with an affine or linear type-aware optimizing compiler? Where all data is immutable unless the types prove to the compiler that there are no mutation conflicts. I believe Rust implements this and Idris 2 do
40.
by wlib 7y ago
Interesting point. Lambda calc is equivalent, where the expression can be seen as equivalent to the ticker tape. So when a reduction occurs in lambda calculus, it's just like a group of symbols being interpreted and overwritten. But th
41.
by wlib 7y ago
Yes, I mistyped that bit. I meant to say that because types (as a grammar) are values, they can be inputs and outputs of functions. The functions can fill in the hole that dependent/refinement types fill, by taking context into account
42.
by wlib 7y ago
I'm feeling both really pissed and validated right now. I thought this was going to just be a normal thoughtless config language that would only be successful as a Google project. Then I looked at the theoretical basis page. I have no
43.
by wlib 7y ago
I'm on my phone in the country side with slow internet so I cant look up a link, but if I remember correctly, you should search "Alan Savory TED Talk" on youtube for an introduction to the use of livestock to reclaim land. Es
44.
by wlib 7y ago
While it is only a design concept, Mercury OS [1] might interest you. When I first came across it, I was blown away by the idea. It basically makes the user intent first class rather than the application/program. What I mean is that in
45.
by wlib 7y ago
Every once in a while I find a site like yours that has conveniently aggregated a ton of stray thoughts and expands my world a little bit. Just wanted to take a moment to say thanks for doing this
46.
by wlib 7y ago
Great straight forward writing that still sparks interest!
47.
by wlib 8y ago
Implying that said hallucinations, tailored by evolution, are actually a bad thing.
48.
Why You Must Actually Understand The Ω and Y Combinators(medium.com)
5 points by wlib 8y ago|0 comments
49.
by wlib 8y ago
Environmental problems will only be solved if 1) people can earn money by solving it 2) people hit a breaking point, and actually drop what they're doing to help ...and #2 doesn't seem very likely for a while. So the only practica
50.
by wlib 8y ago
Exactly. The definition of life that is taught in school and widely cited is very limited to simply what we traditionally consider alive. But where are fr he lines drawn? Must life be conscious, or at least experience qualia? Does conciousn
51.
by wlib 8y ago
Thank you for this
52.
by wlib 8y ago
Piping program output is just function composition. The downside is that it works over expensive system processes, and data must be serialized. It's a fragile system where instead of using built-in functions, we use "standard&quo
53.
by wlib 8y ago
Good insight, thank you
54.
by wlib 8y ago
My point wasn't about python, just an example of how a shell around python, made only for python function calls, would be a useless abstraction.
55.
by wlib 8y ago
A more syntactically friendly Haskell-like language
56.
by wlib 8y ago
That misses my poorly written point. Do you use a separate, awkward tool to call functions you wrote in python? Or do you call the function in python itself? The shell is a useless abstraction that was only necessary in unix because the alt
57.
by wlib 8y ago
Why did we keep the language of the shell and the OS separate? It seems like a needless abstraction which creates more harm than good (read a shell script vs any other language). While I'm at it, why is the filesystem and syscall api n
58.
by wlib 8y ago
"Invent" comes from Latin and simply means "find". If you think about it, no matter what language, there is no fine line. An invention is just a discovery, but we typically use the word to describe a very specific disc
59.
by wlib 8y ago
Yes, I realize that it is obviously Chinese propaganda, but I used it to show that deserts are entirely reversible. You are right that the altitude definitely has a cooling effect, but it also doesn't change the fact that the trees sta
60.
by wlib 8y ago
Did you see [1]?

More ›