xelxebar

36 ms·

451.
by xelxebar 6y ago
> I am curious if anyone uses ed as their editor of choice these days, assuming an actual screen and such of course. If so, why? I use ed extensively. At least I have EDITOR=ed by default. This started mostly as an experiment to "st
452.
by xelxebar 6y ago
Nice. I live inside tmux as well. As far as I am aware, newsbeuter is no longer maintained, and the newsboat fork exists to pick the thread. Newsboat gets continual bugfixes and has recently added some commands that fill holes in the macro
453.
by xelxebar 6y ago
For the CLI junkies like myself, newsboat[0] is pretty nice. [0]: https://newsboat.org/
454.
by xelxebar 6y ago
Section 7 of the manual pages contains some gems indeed. I was unaware of intro(7)! In addition to exploring your PATH, here is a nice proxy for a list of useful concepts : man -s 7 -k ''
455.
by xelxebar 6y ago
Infrastructure Engineer / DevOps | Remote Location: Hokkaido, Japan Remote: Only Technologies: Linux userspace, Google Compute Engine, git, Abstract Algebra, Topology, Linux kernel, virtualization (quemu/xen), contai
456.
by xelxebar 6y ago
I don't think it's paradoxical. I just get the impression you may have jumped to building models without carefully considering the exact phenomenon you claim to deconstruct. "Self-awareness" or "consciousness"
457.
by xelxebar 6y ago
Looks like I mispelled the name. I was simply referring informally to Eliezer Yudkowsky and the LessWrong-style thoughts on optimization processes. You can read the initial idea here[0]. If you haven't heard of LessWrong before, then y
458.
by xelxebar 6y ago
Is your definition actually accurate enough to capture instances of intuitive judgements that "this is a conscious being" without being overly broad to include "obviously non-conscious" things? By calling it a spectrum,
459.
by xelxebar 6y ago
By that definition, a GPS module with an SSD is an "I". In discussions that invoke the words "self" or "consciousness", I find it common to hear pithy or clever definitions. However, rarely do those answers off
460.
by xelxebar 6y ago
The frustration is inarguably real, but... Programming language syntax sucks because none of it maps to things that non-programmers know. Every time a new token is introduced, whether it be an ascii symbol or a word it's one more mappi
461.
by xelxebar 6y ago
Bosnianbill's YouTube channel has featured some nifty "unpickable" designs: * Inaccessible keyhole: https://invidio.us/watch?v=OLsJDELd4lo Sounds related to the lock you describe, except this one is purely me
462.
by xelxebar 6y ago
Your self-description aligns very much with my own. Feel like we might get along well. Would love to chat. Shoot me a PM if you're willing. Cheers, mate. There definitely is a place for people like us in the world.
463.
by xelxebar 6y ago
Also $ info info $ help help
464.
by xelxebar 6y ago
This reminds me of a nice sed one-liner I recently happened to craft. Do you ever collect families of functions in your shell scripts under different sections? Here's a nice way of printing out all the functions under a given section:
465.
by xelxebar 6y ago
This hits home too hard. My job search is going so poorly, that I have started to doubt my technical value at all. Confusingly, personal one-on-one interactions with companies or hiring agencies almost invariably result in positive feedback
466.
by xelxebar 6y ago
My motto: Be the somebody in "Somebody should do that." Location: Hokkaido, Japan Remote: Yes (with experience) Willing to relocate: No Technologies: Google Cloud Compute, Abstract Algebra, Differential Geometry, Linux
467.
by xelxebar 6y ago
Typsetting is hard. I think the bulk of problems may come from an impedence mismatch between the expectations and reality of typesetting. How many people actually look at the output file texput.log? What about using the family of \tracing*
468.
by xelxebar 6y ago
Enjoying the article. Looks like there's a math typo at the tail of the "Precision Bound" section: $$ \log\left(\frac{x e}{n}\right) \leq \frac{1}{n}\log(\eta) $$ is not equivalent to $$ \frac{xe}{n} \leq \eta^
469.
by xelxebar 6y ago
I love that gopherpedia (Wikipedia over Gopher) is a thing. Probably one of the best lynx experiences one can have. My first introduction to Gopher was actually by recently bumping into Gemini [0], which tries to fix a lot of the known prob
470.
by xelxebar 6y ago
The rate.sx site is pretty nifty. It provides a simple REST endpoint that server cryptocurrency exchange rate info. The nifty part is that it's built to be used on the command line! $ curl rate.sx # outputs a nifty table o
471.
by xelxebar 6y ago
> > ... a function is both its implementation and its "extension" (its effect on all inputs). > Note that, according to definition of 'function' most common in math, this is false. The standard definition of fun
472.
by xelxebar 6y ago
For anyone interested in formal verification, there's this super slick project Metamath Zero [0] by Mario Carneiro that is working to implement a verifier that can verify itself, compiled binary and all. As discussed on the project pag
473.
by xelxebar 6y ago
Not the point of the article at all, but in my experience when an author says "canonical map" it can typically be made precise as a unique natural transformation between whatever functors capture the objects of discussion. I think
474.
by xelxebar 6y ago
Neat. I was unaware of this manual. For the lazy but curious: https://software.intel.com/content/www/us/en/develop/downloa... And if you want ALL THE THINGS: https://software.intel.com&#x
475.
by xelxebar 6y ago
Your comment is a prescriptive approach to emotional analysis. The comment to which you are responding is taking a descriptive approach. Very different things.
476.
by xelxebar 6y ago
Have been digging into segmentation and paging in Linux as well as x86_64 instruction encoding lately. Almost all the technically detailed information I know of elides discussion of historical context. Coming to these things for the first t
477.
by xelxebar 6y ago
I agree that figuring out what the symbols mean can be a frustrating part of mathematics, but once that part is done, I find the notation to be lightyears ahead of what normal programming languages can do in the way of communicating an idea
478.
by xelxebar 6y ago
One huge advantage of the notation conventions in math is its concision. The current practice is, at its heart, that a we assign a single glyph to each concept. The notation is tailored for mathematicians communicating to other mathematicia
479.
by xelxebar 6y ago
> Plagiarizing some work doesn't really hurt the work, it hurts you . Funny enough, this idea is almost certainly one you are plagairising. Perhaps you could find nuance, depth, and understanding by turning those words on themself?
480.
by xelxebar 6y ago
> no wonder people don’t believe in global warming, these “experts” prioritize politics over everything I read this as a clear expression of your frustration. Completely reasonable given the situation. Are you familiar with the YouTube c

More ›