Pete_D

27 ms·

211.
The Emacs Calculator (2009)(nullprogram.com)
177 points by Pete_D 9y ago|53 comments
212.
by Pete_D 9y ago
I remember that one. https://www.theatlantic.com/magazine/archive/2017/09/has-the... > Typically, the characteristics that come to define a generation appear gradually, and along a continuum. [...] I
213.
Using SSH Multiplexing (2015)(blog.scottlowe.org)
1 points by Pete_D 9y ago|0 comments
214.
by Pete_D 9y ago
It's not just to save typing - having an `A=b foo` form built-in instead of relying on an external program means `foo` can be an alias or shell function.
215.
by Pete_D 9y ago
This is sort of how it works in the UK. You pay 9% of what you earn over £X for 25 years (with X and other details like interest depending on when you started borrowing). In theory, this stops when you pay off your loan, but the most recent
216.
by Pete_D 9y ago
On the one hand, I'm afraid that what you describe will eventually become commonplace. On the other hand, I wonder why it didn't already happen during the Flash days.
217.
by Pete_D 9y ago
Parent probably meant Kakoune: http://kakoune.org
218.
by Pete_D 9y ago
https://www.lysator.liu.se/c/pikestyle.html includes the rules under the header "Complexity", and is dated 1989.
219.
by Pete_D 9y ago
I can't remember where I first heard it, but I'm sure it was before I'd used command lines. I always thought it came from the little flags on the side of some mailboxes. etymonline doesn't have an entry for flag as a nou
220.
by Pete_D 9y ago
It always felt to me like when people use words like "intuitiveness" or "usability", they're all pointing at slightly different things. Matt Fuller's partitioning of user-friendliness into "easy to use&quo
221.
by Pete_D 9y ago
If I'm reading this right, the blacklist only applies to people who leak their legally purchased copies, not everyone who's ever used a pirated copy.
222.
by Pete_D 9y ago
Have you tried Gentoo? I switched from Arch to Gentoo a few years ago (before systemd was on the radar). After installation, which is admittedly more involved, I found it felt much the same as Arch for day-to-day usage. And, for all the pos
223.
by Pete_D 9y ago
Not a command as such, but I recommend skimming the readline man page[0] and trying some of the bindings out to see if you're missing out on anything. I went years without knowing about ctrl+R (search command history). [0] http:&#x2
224.
by Pete_D 9y ago
Yes; it's a readline command called quoted-insert and is by default bound to ctrl-V in both modes. $ set -o vi; bind -q quoted-insert quoted-insert can be invoked via "\C-v".
225.
by Pete_D 9y ago
I'd recommend this even for non-emacs users who use terminals a lot. The tiny bit of extra comfort from ctrl-C in a shell alone is worth it. Add in tmux ctrl-B, or any readline shortcuts you use a lot, and you're onto a winner.
226.
by Pete_D 9y ago
Frama-C lets you prove all sorts of useful properties about C code, including memory correctness. (Actually writing the proofs is a lot of work though.) https://frama-c.com/acsl.html
227.
by Pete_D 9y ago
For some very stubborn processes, I've had to resort to attaching to them using windbg.exe and killing it from there.
228.
by Pete_D 9y ago
My dictionary (Pleco) says: "introduction, elucidation of the theme, transition to another viewpoint, and summing-up-- the four steps in composing an essay". I would guess that kishōtenketsu is a loanword from this, qĭchéngzhuănhé
229.
Structural Regular Expressions (1987) [pdf](doc.cat-v.org)
2 points by Pete_D 9y ago|0 comments
230.
by Pete_D 9y ago
A calendar of the upcoming 100M anniversaries: $ for x in {15..21} > do > printf '%2d %s\n' $x "$( > env TZ=UTC date -d "@$(($x*100000000))" > )"; done 15 Fri 14 Jul 02:4
231.
by Pete_D 9y ago
Maybe the next frontier in browser anti-tracking is to stop sending a User-Agent header, or to build in functionality like one of the browser add-ons that randomly pretend to be different browsers.
232.
by Pete_D 9y ago
Shift-key slippage kept biting me so hard that I gave up and bound an unshifted key to command mode (personally `nnoremap <Space> :`). No more accidental :Q.
233.
by Pete_D 9y ago
I had this problem recently. The solution was to install Python 2.7 as a software collection: https://www.softwarecollections.org/en/scls/rhscl/python27/ This installs it to /opt/rh, and you ca
234.
by Pete_D 9y ago
A while ago, in a fit of defmacro-envy, I wrote a preprocessor that would let you wrap Python snippets in #python/#endpython blocks: http://codepad.org/5B388Wsh . This lets you write silly things like http://
235.
by Pete_D 10y ago
Wow! I don't think I've ever got close to that. When I was first toying with the concept, I wrote a C implementation and tried a depth-first-search AI to see what kinds of scores were possible. As I remember it, it would get 400
236.
Show HN: NumPop, a small mathematical puzzle game(petedeas.co.uk)
17 points by Pete_D 10y ago|8 comments
237.
by Pete_D 10y ago
I would add rxvt-unicode to the terminals list. Its client/server model makes opening new terminals practically instant.
238.
by Pete_D 10y ago
I am not a doctor. May I refer you to the following paper? https://www.ncbi.nlm.nih.gov/pubmed/6859052 "Vigorous supplementation of a hypocaloric diet prevents cardiac arrhythmias and mineral depletion." I wr
239.
by Pete_D 10y ago
There's a great segment in one of Richard Feynman's books where he talks about picking up tricks like this, and ends up beating an abacus salesman in a cube-root-finding race. I think it involved memorizing log tables.
240.
by Pete_D 10y ago
At the risk of asking a naïve question, why do you think the Peano axioms are ugly? As a mostly-lay mathematician I always thought they were quite elegant.

More ›