gpanders

9 ms·

121.
by gpanders 6y ago
That makes sense. Thanks for sharing your perspective.
122.
by gpanders 6y ago
One downside to lowering the barrier of entry in all of these areas is the lack of any kind of quality control or content curation. Sure, anyone can publish their thoughts online for free, which I agree is a good thing for openness and free
123.
by gpanders 6y ago
Where were you a mechanic that it only cost “a few pennies”? I feel like I get bled dry every time I take my car in...
124.
by gpanders 6y ago
> The people in a country that has outsized influence in the country I live in came to their senses and voted out their leader. As one of the people in said country, this was one of the highlights of my year as well.
125.
by gpanders 6y ago
Any resources you’d recommend for someone interested in doing this?
126.
by gpanders 6y ago
I’m so sorry, this sounds truly awful.
127.
by gpanders 6y ago
Seconded MMM, that blog changed my life.
128.
by gpanders 6y ago
If the code proofs are automated, then how do you prove the proof? Pardon my ignorance, but I’m being sincere. I don’t know much about this field.
129.
by gpanders 6y ago
> I really enjoy it and it comes with a nice shot of adrenaline when you're able to tweak your environment just how you want it. This is so true. I too enjoy tweaking my Vim setup recreationally. It’s fun for me. Sometimes my wife w
130.
by gpanders 6y ago
What baggage, specifically?
131.
by gpanders 6y ago
> Watts are a measure of energy, just different units than calories or BTU. Sorry to be pedantic, but watts are a unit of power, not energy. Power is energy divided by time. The unit of energy is a joule (or, more commonly in household t
132.
by gpanders 6y ago
> Re the movement of electrons: in fact they move very slowly on average under the influence of an electric field, but by their "bouncing against" their neighbours, the electric impulse is transmitted quickly through the conduc
133.
by gpanders 6y ago
Fzf really can do everything :) I will say, though, that a couple things ijq can do that the fzf snippet cannot are autocompletions of JSON keys (very useful IMO when working with large documents) and the ability to read in from stdin, whic
134.
Show HN: ijq – Interactive jq(sr.ht)
11 points by gpanders 6y ago|5 comments
135.
by gpanders 6y ago
All of these except for the first two seem like good rules in general. Was the ban on the ternary operator just a style/readability thing?
136.
by gpanders 6y ago
Basically every (non-C) string implementation in existence has to do dynamic memory allocation under the hood, which is hidden from the programmer. That’s the overhead.
137.
by gpanders 6y ago
I want Chisel to succeed so badly. I'm so sick and tired of writing VHDL. Verilog is no better. Also it looks like LLHD is perhaps analogous to LLVM in that they offer an intermediate representation instead of providing a language that
138.
by gpanders 6y ago
Why is this so bad, and what do you suggest as an alternative?
139.
by gpanders 6y ago
I really enjoy MUDs and I have played them off and on for many years. I first got into Achaea when I was in my teens! The thing that always ends up turning me off from them though is the roleplaying aspect. I know for some people that is th
140.
by gpanders 6y ago
You can just do `:r !ls` to do that. Using <C-R>=system('ls') is way overkill. That said I do agree that the expression register is amazing.
141.
by gpanders 6y ago
I have tried both versioning the entire "raw" block design files and it is a mess. Vivado creates a ton of files and it's not clear which ones you need in version control in order to regenerate the BD from a fresh clone, and
142.
by gpanders 6y ago
From Wikipedia: > NASA's budget for fiscal year (FY) 2020 is $22.6 billion. It represents 0.48% of the $4.7 trillion the United States plans to spend in the fiscal year. NASA uses less than half of 1 percent of the federal budget. I
143.
by gpanders 6y ago
I LOVE the way fish handles PATH. I just modify the $fish_user_paths variable (which is a universal variable) and I don’t have to modify any config files. E.g. to permanently add `~/.cargo/bin/` to your PATH just do set
144.
by gpanders 6y ago
I am not sure what the GP is referring to, but the Apple TV does exactly this. On my Apple TV I can search for shows on HBO, Amazon, ESPN, etc. All of my recently watched shows, regardless of streaming service/channel, show up on the m
145.
by gpanders 6y ago
If you use Weechat for IRC, there is a Matrix bridge plugin that would allow you to connect to Matrix from the command line.
146.
by gpanders 6y ago
This is interesting as I had the exact opposite experience. Fish is screaming fast for me compared to zsh, primarily because I don’t need to use any plugins to achieve all of the functionality that I needed to use many plugins to achieve
147.
by gpanders 6y ago
But then it’s right there in the URL, so I don’t think this actually solves anything
148.
by gpanders 6y ago
As someone who has to use Tcl fairly often as part of an FPGA tool chain, this description is accurate.
149.
by gpanders 6y ago
If you want a plug-in free solution, you can try the following: $ exec bash -c ‘source script.sh; exec fish’ This has some caveats and won’t work in all cases (both bass and replay.fish go into more detail), but this is what I use
150.
by gpanders 6y ago
Do it! You will never look back. The most common tripping points are the minor adjustments in syntax, probably the biggest one being command substitution: Bash: $ echo “$(ls -al)” Fish: $ echo (ls -al) You get used to it t

More ›