gpanders

Any resources you’d recommend for someone interested in doing this?

I’m so sorry, this sounds truly awful.

Seconded MMM, that blog changed my life.

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.

> 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 will ask what I’m doing on the computer, and I have to try and figure out a way to explain that I’m customizing a text editor...

What baggage, specifically?

> 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 terms, a Watt-hour).

> 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 conductor.

When you apply a voltage across a conductor it generates an electric field, and the electric field propagates at the speed of light (it’s an EM wave). I could be wrong, but I think that is why the electric impulse transmits quickly even though the drift velocity is so slow.

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, which allows ijq to be used in a pipeline.

That said, the fzf solution seems great for quick one-offs!

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?

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.

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 you code in yourself. Chisel also offers this via FIRRTL [1]. I can't decide whether to be excited about the fact that there are multiple ideas in this space or frustrated that these disparate teams aren't simply collaborating.

[1]: https://github.com/chipsalliance/firrtl

Why is this so bad, and what do you suggest as an alternative?

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 the main draw, but I've never had any interest in it. Does anyone know of any active MUDs that don't have any roleplay requirement?

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.

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 many of the files that you do need get modified anytime the block design is used to build the design which causes git to report file modifications. All in all, I don't recommend it.

However, managing a Tcl script is very doable, and this is my preferred method now. This has some drawbacks too of course -- you have to ensure that you use the same arguments to the `create_bd_tcl` command every time you update your script, and if you need to make any modifications to the script then you need to have a process for doing that. But it's much better than the alternative.

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. If you care so much about budget waste, there are a myriad of other places you could complain about (how about defense or healthcare spending?)

The practical benefits of NASA's science and engineering efforts have been laid out many times in many different places. There are also less practical benefits; for example, how can you quantify the impact that the Blue Marble photo had on the environmental movement? That was only possible because we put someone on the Moon.

Curmudgeons like you will always be around, and those of us who enjoy seeing humanity push itself and accomplish incredible things are happy to ignore you :)

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 fish_user_paths $fish_user_paths ~/.cargo/bin

once from an interactive shell, and you’re done!

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 main "TV" page. I can use Siri to search across all services, e.g. if I ask Siri to play The Office it will find it on Peacock and play it directly from there.

The large exception here is Netflix, apparently they don't hook in to the Apple TV API like the rest of these apps do (I imagine it's the same on the Google TV).

If you use Weechat for IRC, there is a Matrix bridge plugin that would allow you to connect to Matrix from the command line.

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 in zsh. The totality of my fish config files, not including functions, is maybe a couple dozen lines [1].

Regarding a bare shell: perhaps I’m not understanding your exact needs, but fish is able to check whether or not it’s being used interactively with `status is-interactive`, so you could certainly try wrapping all of the plug-in loading machinery around a guard like this.

[1]: https://git.sr.ht/~gpanders/dotfiles/tree/master/item/.confi...

But then it’s right there in the URL, so I don’t think this actually solves anything

As someone who has to use Tcl fairly often as part of an FPGA tool chain, this description is accurate.

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 and it hasn’t failed me yet.

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 though.

Another thing many bash-ers sometimes miss is the !! substitution, e.g.

    $ apt update
    # permission denied
    $ sudo !!

This doesn’t work in fish, BUT fish does offer a handy keybinding out of the box to prepend ‘sudo’ to your current command line (submitted by yours truly). So when using fish, you’d handle the above scenario like this:

    $ apt update
    # permission denied
    # press Up or Ctrl-P followed by Alt-s
    $ sudo apt update

There are so many other great things I love about fish, but this comment is already long enough.

Be sure to read (or at least scan) through the user guide on their website. It’s an easy read and not dense. You can also view it at any time by running `help` from inside fish.

I can’t recommend fish highly enough, I’m excited for your journey :)

> Everyone here is completely pro-Apple anti-Google

Both extremes exist here, just like everywhere else. Anti-Apple articles/posts/discussions also get a ton of upvotes and frequently end up on the front page, and the discussions are filled with comments of people swearing off Apple forever.

Apple is a polarizing company in the tech world and that is just as true on HN as anywhere else.

> Privacy (in a consumer and marketing sense) is a major market advantage. I think that Apple has determined that keeping data away from 3rd parties is a good way to capitalize on that market edge vs. giving up the edge and engaging in the same consumer exploitation as their competitors.

I agree, this seems like the simplest and most straight-forward explanation to me.

Many credit cards literally give cash back (in the form of a statement credit).

This is authored by Karl Dahlke, the original creator of edbrowse [1].

[1]: https://www.edbrowse.org/

> But you can achieve similar results in vim/emacs with more research, fiddling with config and manually installing deps.

And some people find this fun and enjoyable, and that’s okay. Others find it tedious and obnoxious and that’s okay too. Thankfully there is something for everybody.