y1n0

I would never vote again if it wasn’t anonymous. Retaliation is real.

I haven’t kept up to date with cochlear implants, but their capabilities used to be pretty crude. The bitdepth of sound being profoundly reduced to just 5 or 6 bits equivalent.

It wouldn’t take much to just sound like jumbled noise.

I have heard of it, but other than giving something a name, what can be done about it?

It’s pretty terrible. I started losing my hearing in my mid 30s. Best guess is genetics. My loss right now in my early 50s would be termed moderate, not quite severe but it continues to get worse.

Hearing aids have come a long way but all of the ones I’ve used still basically suck when it comes to understanding speech. Part of it, I think, is that my loss isn’t bad enough that fully closed ear pieces are recommended and as such background noise is still free to obfuscate conversation.

It basically makes conversation in anything but a quiet room extremely difficult. My brain works overtime trying to fit possible words to what I hear. Sometimes I fail with pretty humiliating results.

It doesn’t take much before you just stop trying to talk with people. Especially with the younger crowd because they tend to speak the quietest. It varies by individual, but at least older people who’ve had some loss themselves will speak louder to compensate.

The worst is restaurants. Usually I can guess what’s being said by the server, but not always. Accents increase difficulty.

I used to be pretty out going, joked a lot with people. Now I avoid most conversations when I can.

Compared to software formal methods have greater adoption. But there are a lot of things that fall under the “formal” umbrella.

The most common type that is used would probably be logical equivalence checking. Proving RTL and a netlist are equivalent is useful for catching synthesis bugs.

Or proving two netlists are equivalent after inserting test functions directly into a netlist, or some other netlist edit.

Property checking is what I use the most. You can check these during simulation which I wouldn’t call “formal” but you can also prove them using tools that use SAT solvers and whatnot to prove things mathematically.

As always, the tricky part of verification is writing the correct test or model. With formal we can use SystemVerilog assertions to write properties and sequences, but the difficulty in getting them right goes from trivial -> inscrutable very quickly.

It’s extreme easy to write assertions that pass and never realize your assertion was not doing what you thought and you weren’t proving what you meant to.

I haven’t used some of the more advanced tools so maybe they have ways to make this easier. But because of this I tend to just write assertions that are pretty easy to understand at a glance, and therefore closer to the trivial side of things.

If a peer has to solve a sudoku puzzle in their head to understand your work, then it’s unlikely the peer review will be worth anything. So I do what I can to make my work understandable at a glance (from a competent peer in the industry).

Of course making something simple can be quite challenging and often takes more time than leaving something complex and opaque.

I’ve never been involved in the foundry side of the work, and for ASICs, that is often half of the schedule.

I’d look for a change in slope. A permanent change that adversely affected tourism would decrease the slope, but maybe not so much as to make it negative.

If you look at the record, republicans out match democrats 3 to 1 for balanced budget years.

But it doesn’t matter. Those historical parties have nothing in common with their namesake parties today.

There hasn’t been a balanced budget for 25 years. Today’s parties aren’t the same.

I was so excited to get road runner, which was an isp from I think time warner, rolling out cable modem service in the early 2000s. I ended up taking a day of vacation just to ensure I was going to be home for the installation window.

I don’t remember if my computer at the time had built-in Ethernet or if I had to buy a card.

I have been always-online ever since. Wouldn’t have it any other way.

But I do still miss the BBS scene.

Orthogonal means independent. One doesn’t inherently affect the other.

I’ve often wondered about die thinning. I mean just looking at sd cards and micro sd etc, it was clear that there had to be a thinning step (or many steps) and it seemed amazing to me that such a complex step could be economically viable. And yet it clearly is. All a matter of being able to operate at scale I guess.

It’s not a step I’ve seen discussed very much, so it was kind of neat to see it discussed front and center in a lay article like this.

It’s a spinal tap joke.

The problem I’m finding, at least with today’s models, is that it produces disposable software. It’s not good at making well-architected, durable software. Stuff that could be maintained and bug-fixed.

I mean you can get good stuff out of it if you know what you are doing and guide it, but if you just say “here’s a regression suite. Write an implementation that passes” you will get something that works for a while but ages quickly and will need to be thrown away.

Given the absurd commit messages I see, basically along the lines of “oops” “lmao” “wtf” I don’t see the issue.

I wish all this shit would just stop trying to search as I’m fucking typing. It’s like that person we all know that can’t hold their tongue for five fucking seconds and let you finish a sentence before the blurt something out.

It works fine for me but my wife has this exact problem. It’s absolutely mystifying how something so basic could get so messed up.

Hell yes. The risk of abuse is absurdly small.

I drive too even though there is a risk of death. The juice is worth the squeeze.

Except even armed with positive identification, the police won’t do anything. Laws with enforcement are worth nothing. Stalking and whatever else has happened with the data is already illegal. But who gives a shit without enforcement.

More info and agent setup: https://github.com/jcolinpatrick/kryptos/blob/main/README.md

We talked about them in my neighborhood mainly because of package theft. If I ever thought there was a real chance of enforcement action, I’d be in favor.

When I lived in FLA and it was super easy to get a concealed weapon permit. I carried a gun not infrequently just to exercise that right. I was serious about training with it as well.

The other states I’ve lived in haven’t been so straight forward.

I would expect it happens more organically where people’s discussion of the benchmark and posted results find their way into the training data, like anything else on the internet.

CLI is preferred from my point of view if only because it's the supported standard interface. VSCode's version control interface is reasonably close to a standard, and I love the tree view there. But generally I don't want to use random third party things because they either aren't consistent (i.e. now I have to learn what joe schmoe thinks a version control interface should be), or don't stick around long enough.

But I don't tell my team what they have to use as long as it's compatible. The last thing I want to do is try to teach them a different VCS when they've spent time learning how to get by with git.

I've told them about JJ, what I like, what pain points it solves for me. They are all adults, they can make their own decisions about it.

JJ is for me. It helps me unwind some rather elaborate problems we've had with rebasing, or dealing with conflicts from bringing some old support branch up to date, or back porting some particular thing. It helps me create pretty clean MRs, break things up into smaller reviewable chunks, etc. You can do all this with git, but it's easier in JJ. In particular if you have to do shuffling and rebasing and conflict arise. JJ lets you solve conflicts asynchronously to rebasing. Git stops you in your tracks. There's some rerere thing that is supposed to help but give me a break. Git's a train wreck of dumpster fires. But it's still been basically better than everything else since svn.

Until JJ IMHO. Valid arguments can be made for other things like maybe mercurial or even fossil. But JJ is the most pain-free vcs evolution I've seen.

Mercurial's big failing was making too many critical things optional. It's the same screw-up riscv is going through now in the chip architecture space.

That must be what I was remembering. Thanks for the link.

Sonic Pi was done in clojure once upon a time. Looks like ruby now?

> Cook inherited an Apple that was already a behemoth, and completely ignored (or never knew) how they became one.

Cook joined apple in 1998. They were not a behemoth. His first year, their net income was 300 million for the entire year.

I was a skeptic until a few months ago. It’s my daily driver now. I’ve got sizable amount of people committing to the same repo, many are not skilled with git. So I deal with weird crazy “how did you ever get the repo into this state” issues not infrequently.

JJ is just so low friction. The seamless and painless shuffling of commits, working up and down the commit chain without explicit rebasing, unchanging change-ids. The min identifiers in change-ids being highlighted. Being able to make commits and worry about the message later. Snapshots of changes while you are working serving as a tool agnostic undo.

Painless and sensible cli args that are vastly more consistent than git.

Superior conflict handling.

You can “jj undo” anything and it works perfectly.

It’s fabulous.

> "@--+::"

I have no idea what that means and I’ve never had to type anything remotely like it.

The rev specification language is pretty elaborate but you don’t need to know it.

This is interesting and I think the analogy to playing a song in your head is a good one.

With regard to how visual the minds eye is, I have this anecdata:

For me, when I’m visualizing mentally, usually with a memory, replaying something, I stop registering what my eyes are presently seeing. No visual memories form of what my eyes were seeing while I was absorbed with reliving the memory or visualizing some idea.

I have to be careful about this when I get bored while driving.

Yeah I generally lean libertarian but I tend to agree with reversing citizens united.

I must be the only person in the world that thinks so many of these fonts are casually indistinguishable.

I feel like I’m reading reviews of wines. This font has chocolatey overtones that bring the reader to a meditative state of hyperflow.

Not when you consider the sheer amount of compute to calculate a single token. Today, at least.

Maybe if we have some breakthrough in how to get equivalent ai capacity out of less compute it’ll seem crazy in retrospect.

But the magnitude of flops per token on SOTA models is mind boggling huge.