silasdavis

Having been using Copilot for a few weeks I would substantially agree with this.

However, just yesterday in a module with quite a lot of context and types it autocompleted a function I was pondering for converting between different schema languages.

It was subtly wrong but the basic structure was correct. I had wanted to implement this function for a while but, having not really thought it through, imagined it would be much more complicated and would have required reading the ABI spec for the target. I never would have attempted it unless it had shown me the way and that it was relatively simple.

This is probably a piece of code that saves significant manual code. Copilot doesn't need to nudge me towards writing that many high leverage pieces of code to start becoming a big multiplier.

Aren't humans already reasonable radiation hard? Cells are full of error correction. I would have thought with greater tolerance than an off the shelf chip.

I'm being rather vague with my defitions admittedly.

If s is a non-integer number

It was would be nice for this to be automatic but filter does work like this it you pass a type guard as the predicate:

``` arr.filter((a: A): a is A & { kind: 'bar'} => a.kind === 'bar') ```

If you define:

``` function isKind<K extends A['kind']>(kind: K): (a: A) => a is A & { kind: K } { return (a): a is A & { kind: K } => a.kind === kind; } ```

Then you can write:

``` arr.filter(isKind('bar')) ```

and get a properly narrowed return type array

It is also kind of an abstraction over cash and treasury bonds. A more liquid fractionalised cash/bond unit.

Though that seems to have been the problem here.

The original idea with a 100% collaterilised peg was that the entire reserve would be cash. Somewhere along the way treasury bonds were considered cash equivalent. Which on the face of it seems sort of reasonable but clearly they do have a different risk and liquidity profile. This allows the centre consortium to earn a yield.

So I'm not sure I think a USDC is a dollar, but also I'm not sure it's particularly different to what banks do with deposits to earn a yield.

One difference is you can reinvest the same USDC to earn a yield while the underlying backing USD also earns centre a yield.

Beyond all else it remains driven to make a recapitulating summary.

And remember, have sex with animals, while they're on fire.

Plenty of people would choose a fatter phone. Phones are thinner than wallets. I always assumed it was discharge heat surface. Phones are hotter than wallets.

Since using productivity blocker I've consistently done less than I used to before. Can't recommend it enough is enough.

Thanks, yeah attribution is an interesting one. You usually have the cryptographic address of the maker but not any link to FTX account that might be responsible, and as you say the ability to correlate an order with other positions

> Certain order types that may rest on the exchanges order book but either don't have a specific price or display doesn't make sense.

I suppose orders than are designed to only be consumed by a matching engine don't need to be made public unless they are matched.

How is information on order books non public? Usually crypto order books are public APIs.

Also the internal product is, in effect, a compulsory purchase by teams A and B, therein lacking the selection pressure that normally drives product development.

What other approaches to shared-something cross functional product teams are there?

An exchange doesn't have the ability to mint unlimited token and to expect it hold it's value any more than a central bank doew.

It is a bit, but if stylometric equality was a thing you'd expect it to be symmetric, so if stylometric simmilarity is a thing....

> imagine what a company with millions of dollars and a couple dozen PhD linguists could do.

Could they do much better?

The top hit for me, though not a very high correlation (0.3 ish), is to my surprise someone I have met. I don't appear on their top 20 though.

Why not put it into the sea from whence it came?

Maybe it wasn't meant that way. If they hadn't had been there then somone else would have been. You can be on the crest of a wave and not be responsible for its power.

I was looking for a new data notebook toy to ease the tedium of reporting some metrics.

I found the clojure-based https://github.com/nextjournal/clerk which I like the look of and remember clojure being rather pleasing interactively.

That lisp and Julia might have some commonality made me look for something similar (that isn't jupyter) for Julia. Seems like https://github.com/fonsp/Pluto.jl is such a thing.

Does anyone have any experience of either they could share?

Ah hah! Thank you

palegoldenrod is stuck in my brain for some reason.

Does golden rod mean something other than what it sounds like? A tube of gold? What is colourwise peculiar about a golden rod?

Paperwork and bureaucracy conducted face-to-face is completely different in its capacity for bribery, cronyism, and discriminatory behaviour outside of the official system.

Automated systems can be quite awful (original research: Spain) but neither paper or digital systems would officially state the human factors involved in turning them over. There's simply less opportunity for these human factors in more automated digital systems.

Perhaps you could link the thesis?

Do you assume responsibility for your nation state?

Golang is an example of a language defined by a spec not an implementation? Discuss.

Classic missing the punto HN side comment (sorry), but as a británico learning Spanish I thought it would be good to try and learn the Spanish keyboard layout. Barra punto is horribly hard to type. I keep having to switch when I want to run something in CWD. I do appreciate the dedicated jamón key though.

Thanks. Is this always an energetic issue, like the bit gets flipped or is it about long term material changes?

What is radiation hardening of chips?

Stuff on the outside to absorb? Different band gaps in the silicon?

'Direct from manufacturer' can be much worse when they themselves have outsourced fulfilment to a warehouse in Ireland as their European agent with limited to no support contact.

Yes I thought so, as in you're quoted thing was exactly what I meant, sarcasm doesn't serialise well

Oh noes you just doxxed their email address on the https