skysight-inc/HackerNews huggingface dataset:
Maybe the guidance then should be around how much emphasis is placed on the cert in the resume, rather than the mere presence of it.

I think we have all seen resumes where there is an alphabet soup of certifications and a lack of real projects or positions. But if they just have a cert casually listed near the bottom, it's usually a compliment to the work they were already doing in that area (and maybe their employer paid them to go and get it)
If an invention enables hashes to be computed 10x more effectively, miners aren’t going to reduce their energy use by 90% — they’ll switch to the new equipment, increase their hash rate 10x, and keep using the available energy.
Is that a sell signal?
The difficulty D defines the expected number of double SHA256 hashes E[H] = 2^32 * D that must be computed on average per block to meet the difficulty target, which according to the average efficiency of mining ASICs implies an average amount of energy to be used.
California Core Corporate Policies = CCCP

This definitely gives the Poe away.
I think the key here is that we've already as a society given up a lot of our ownership for the sake of convenience. Most people buy their phones through a mobile carrier, locking them in through the life of their contract. I'm not totally sure about how Google accounts work, but I'd wager that getting your Google drive data back if you're banned is difficult. Kids these days are even purchasing skins for video games with the full knowledge that if they get banned, all of those skins will be gone.

A lot of what we own these days is not "owned" in the traditional sense. Opensea is no different from purchasing a video game that you could be banned from in that both purchase prices aren't ownership, but rather a price to access a product.
How is that different to traditional finance?

Evergrande almost went belly-up as the prices of their real state fell sharply because they sold so much of it to cover their credits.

The financial crisis from 2007 was because the collaterals were nowhere as sound as they were sold for.

Don’t get me wrong I think it’s mostly a house of cards but crypto finance is just traditional finance on steroids IMO.
Actually your question made me look for the language binding pages of Qt and Gtk... I was going to say that alternative language support was much better in Gtk thanks to it having a C API as opposed to Qt with a C++ API (because C is much easier to interface with from other languages)

But now that I see it, seems that Qt has a quite interesting list of language bindings!

Qt: https://wiki.qt.io/Language_Bindings

Gtk: https://www.gtk.org/docs/language-bindings/index
Yeah, and that feeling of someone oversharing something both irrelevant and boring, while you already have an overfull short term memory from your own work, AND being forced to pretend to pay attention, it's just so painful.
>The most confusing thing to me is a discussion of "offline first" applications which starts with, and maintains, the assumption that your only option is a web app.

I didn't downvote your comment but in this author's article, it's deliberate for the starting context for discussion to be a networked collaborative app.

Yes, internet connected apps is a subset of all possible software but that's not the point.

As an analogy, imagine if someone else submitted an article about C Language memory techniques on an embedded chip. E.g.:
https://www.embedded.com/memory-allocation-in-c/

And then a commenter misunderstands that article complaining, "it's confusing to me because this article maintains that the only option is C in an embedded app but over here, I'm using Python with Cloudflare Workers"

In other words, it doesn't seem like you're interested in collaborative apps that require distributed data consistency so this article looks "wrong" to you.
Does anyone know what the one letter bug was, or can anyone speculate as to what that one letter bug might look like?
Maybe he invented it the way that many people think the color blue was invented? Causing everyone to see something for the first time (especially when it was right under our noses) is certainly impressive.
As I said, I think that's a reasonable but nonstandard way to define the word "type" but it doesn't make much difference - type theory concerns itself with them, whatever they're called.

But to support my "nonstandard" claim:

* https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compil... mentions "Types (possibly of higher kind); e.g. [Int], Maybe"

* https://limperg.de/ghc-extensions/#polykinds talks about "types of different kinds", using Int and Monad as examples.

* https://en.wikipedia.org/wiki/Kind_%28type_theory%29 says "the type [] (list) is a type constructor". It uses the terms "data type" and "proper type" for what I think you simply want to call "type".

It's also possible usage is just inconsistent on the subject. (Evidence for this: that second link calls constraints "type-like things", when they're just types according to me.) But my sense is that usually, people engaging seriously with type theory or advanced Haskell would call Maybe and Monad types.

(You're of course right that Maybe is a type constructor and Monad is a typeclass, but that doesn't mean they aren't also types.)
Wouldn't a language with built-in support for proving properties of the code be better? My understanding was that compared to most of the typed functional programming languages, idiomatic JavaScript code is terribly more difficult to prove things about, by hand or machine.
> A nice bonus of using the above-mentioned proxy is that you won’t experience as many of those annoying CAPTCHAs.

Not sure how a SOCKS5 proxy reduces the prevalence of CAPTCHAs when used with a VPN. Does anyone have an explanation?
You could argue that if the system naturally permits this kind of behavior (insider trading), that there is something fundamentally wrong with the system itself. Judicial band-aids are effective in their own way but they don't get to the heart of the issue.
None of what you describe requires or is helped by having a code of conduct.
> except if Tesla do it.

Its because only Telsa does it. Name an example of another manufacturer using a term as explicit and misleading as "full self driving".

You don't see other manufacturers calling ABS "fully tailgating safe".
That's part of his arguments, that some corners of quantum physics that still elude us (quantum gravity and all that) may be undecidable. He then goes on to explain how he thinks these phenomena could have an influence on cognition.

I don't really buy this theory, but the book is basically 80% "here's what we know" and 20% "here's what I conjecture" so it's still a worthwhile read IMO. It's worth noting that it's a book from the late 80's however, so it's a bit outdated in some parts (he didn't know that the universe's expansion was accelerating in particular, which renders his discussion of the curvature of the universe a bit obsolete).
I worked in pricing and I always framed it as a scale with "Greed" on the left and "Customer Service" on the right and the 2 ideas being in a tug of war.

Greed wants to charge customers infinite money and provide 0 product in exchange for it. Customer Service wants to give away everything for free to as many people as possible.

To be a real, viable business you need to find that sweet spot where neither of the two makes too many of the decisions.
Yes. But I guess it can also be used like a general-purpose object store, we just have to pay them for the bandwidth used or have a CDN in front to cache stuff.
There are something like 3.5 or 4 million teachers in the US, so for sure they are not all self-sacrificing saints and there will be a broad mix of motivations.

But FWIW my experience is not like yours. I am a college professor and have seen many students over the years go into teaching, either at the secondary or elementary level (specifically, math teaching). When I meet with them to discuss what they want to do, almost all express that when they think about careers, their interest in teaching is because it is a reasonable career with reasonable pay, yes, but just as important to them is the sense of doing good, of directly helping people. (I have less experience with people in the services but what experience I do have is in the same direction.)
Slack is continuing to have issues this morning. You know it's bad when even the status page is down.
> But the day I saw the first CoC being used in a community I was interacting with, I started to feel uneasy. I cant really say why, but I feel I dont want to interact with groups which need rules like these.

It’s like being in a school with metal detectors. They don’t make you feel safer, they make you feel like they’re necessary because the people around you mean you harm, even when that’s not at all the case. It’s an implicit threat.
Every time I see someone talking about web3, I roll my eyes so hard I can see my brain.
session team are not nazis. they do good work - creating tools useful for human rights folk who need anonymity and security.
"Tradition is a set of solutions for which we have forgotten the problems. Throw away the solution and you get the problem back. Sometimes the problem has mutated or disappeared. Often it is still there as strong as it ever was"

Substitute tradition for "regulations" and you have "Uber of X" or "hot start up industry disruptor" in a nutshell.
This description also works well for the bands of knights in the so-called age of chivalry.

It’s easy to be on the winning side when you’re cruising around on a horse, protected from random arrows and blows from unarmored people on foot, and hacking away at same from above with a sword or axe.
Emphasis mine:

> We found that more than half of all deaths due to police violence that we estimated in the USA from 1980 to 2018 were unreported in the National Vital Statistics System.

Same as astrophysicists interpolating samples of a wide spectrum from a few spikes and declaring they're "searched the spectrum and found no signal".
I suspect it's just a reflection of what they applied for.
The whole movement is American colonialism.
All the reasons you listed are why I didn't use flash during its heydey. What do I have to show for shunning flash? Well, a bunch of projects that never got out of the idea stages, that's what. And a Pygame game that won't run on Py3.

My contemporaries wrote amazing games, finished, and published them.
The attack on this paper is remarkably ad-hominem: in the PubPeer discussion [1], there are 21 tweets from Broslough, over a period of an hour and a half, before he admits that, at that point, he had not even read the paper!

At this point, just two substantive issues have been raised (neither by Broslough): there seems to have been a mistake in the C14 date analysis, and some of the photographs appear to contain repetitive features.

The former issue is plausibly a simple mistake, and I wonder if it would have any bearing on the question of whether there is evidence of an airburst here. The latter seems more serious, if it indicates that pictures have been doctored, but, as the person raising the issue says, this may be cleared up by examining the originals.

While a religious agenda may well distort scholarship, it certainly does not have to. As the only (so far) comment on the Retraction Watch article says, "most of the challenges here are ad hominem against the authors – the same criticism we make about pseudo-science defenders."

[1] https://pubpeer.com/publications/37B87CAC48DE4BC98AD40E00330...
This indicates that Cloudflare are publicly announcing and soliciting application for beta access to their IPFS and Ethereum (JSON RPC) gateways. This is incredibly exciting, and, coupled with the recent R2 announcement, suggests they are very much going to be disrupting existing spaces AND defining new markets (as the Stratechery article also recently posted on HN also describes).

Bullish on Cloudflare :)
Yet another case when counterfeit currency brings one in trouble...
It is about 10 times if you count slaves, 20 if you don't.

They had conquered other territories which they used as auxiliaries, yes, but those were just normal Greek troops and wasn't anything special or unique to Sparta. And the reason small Sparta could conquer them in the first place was the strong army they had. Not strong as in super human, but strong as in numerous well trained soldiers. Anyone who made their kids practice warfare got soldiers to that level.
One project I've spotted along these lines is: https://www.playmultiverse.com/

Some of the stuff they've been posting on Twitter looks rad.
Podcast: A Man in the Tank Wins: IDF Armor, Part 1
Dvt: Like htmlq, MD5, simple jq and others, all-in-one
Agghhhh ugghhhh kaaackooommph
There was a minor controversy nearly a year ago where a MSI subsidiary that was only supposed to get old/refurb stock managed to get new stock of the nvidia 30 series and then proceeded to sell them with inflated pricing. Being charitable I'd say it's likely someone over-enthusiastic at that subsidiary and it blew up in their face, but it doesn't help with them being perceived as fair
Nice contracts you have there SK Broadband, it would be a shame if your anti-consumer behaviors started to nullify their enforcability...
Why job adverts don’t include salaries
Authentication sidecar – a new experience in microservice architecture
Code is Law*

* unless core developers are adversely affected
Would be curious to see how the great recession played into those numbers.
>you're never shielded from inflation

It seems to me that inflation is integral to success of the system. That is to say, without inflation, far fewer people would "win".
Curious why certs would count against you? I know people who spend their free time learning and studying for those exams. Should they simply be spending more time working on open source projects or watching TV?
We can shout at the cloud together.
You can front it with Cloudflare's CDN for free.
Ok, and if you want your non-web app to be compatible with Windows, MacOS, iOS, and Android and you don't want to write more than one app, your options are...?
n-ary list map means a function that does map or map2 or map3 or …. (Where map2 is zipWith, not the one you get from the list monad.)

In Common Lisp the lambda-list looks something like:

(MAPCAR func list &rest lists)

And a slow implementation might look like:

(defun mapcar1 (f list &aux r)
(tagbody
g
(when list
(push (funcall f (pop list)) r)
(go g))
(nreverse r)))
(defun every (pred list)
(dolist (x list)
(unless (funcall pred x)
(return nil)))
t)
(defun mapcar (f list &rest lists)
(prog ((lists (cons list lists))
r)
loop
(when (every #'consp lists)
(push (apply f (mapcar1 #'car lists) r)
(setf lists (mapcar1 #'cdr lists))
(go loop))
(nreverse r)))

To implement such a function in ocaml you need to do something like:

type ('ftype,'output) t =
| [] : ('a,'a) t
| (::) : 'a list * ('b,'c) t -> ('a -> 'b,'c) t

val mapn : f:'f -> ('f,'x) t -> 'x

In haskell you would use a heterogenous list and type families. But note that I didn’t implement mapn in ocaml as it would be hard and unreadable…

One nice quality of dynamic languages is that you get very useful objects like lists or python/JavaScript style ‘dicts’ and lots of standard library functions to operate on them. You can implement them in a statically typed language to some extent but they are much less versatile and less first class. It means you often need to write different functions that do basically the same thing because they use different record or tulle types as input. I don’t think any mainstream languages are very close to static typing with structural subtyping.
Thanks for sharing.

I do not miss GWT but I think it was inspirational.
In Python, a function named "sort" could take an array and return an integer. Or None. Or crash. So knowing that it returns an array of integers is an improvement over the untyped case.

Types like "returns an array" or Java's checked exceptions are attempts at narrowing the possible behaviors from a function.
How is it a scam? You buy stock. You own a share in a company, or in a company that owns more companies. The company makes money. It pays that out by dividends or share buybacks. You sell it decades later, hopefully for a profit.

That's the deal. That's what's for sale.

You want to blame HFTs or whatever? Bah. Worst case you're losing a fraction of a percent of your initial purchase. You've got absolutely nothing on the old-school commissions you'd pay twenty years ago.

Oh, wait. I know how it's a "scam". "Double your money", you say.

It's a "scam" because people went in thinking "buy sell buy sell momentum trade profit profit profit DOUBLE MY MONEY THEN AGAIN AND AGAIN FREE MONEY FREE MONEY" and it turns out there wasn't free money, that the money was in fact very expensive, that you had to assume Risk, that people who make money on it do a ton of Research to mitigate the risk, that you were competing with billion-dollar systems for doing research and managing risk and getting that money. Maybe you even went in thinking "TO THE MOON" and were surprised when your GME stopped trading because your broker was impaired by pre-existing contracts and couldn't make it happen and elected to use the options which they put in the fine-print they asked you to read and you didn't.

Well, boo hoo. Don't play games with your money, don't play games with your food, buy the product that's for sale like a normal responsible investor, and you'll be fine. Or play games, treat it like a casino, but then don't be surprised when you get the casino experience.
Netflix has no association with this ISP, you do. It's your choice to request Netflix streams for delivery through the ISP. Blaming Netflix for this would be like an apartment building blaming Amazon for delivering too many boxes to the mail room.
I made a PWA that used IndexedDB and base64 photos. I ran into a funky max-length issue that was an error from Chromium kind of interesting. But yeah the main problem I had was the base64 images would get too big (if you had too many to load) and then you would see a slower render vs. an image pulled by url.

Still pretty cool since I'm not a native developer and RN is something I've dabbled in but don't use daily.
dang — this thread is linking to the wrong PR. The PR which removes the phrase quoted in the title is https://github.com/ruby/www.ruby-lang.org/pull/2691
Agree. Also tickets being units of work that you can assign "effort" points to and measure "velocity" with is the biggest load of shit I've ever come across. I'm surprised any developers buy it. I've been told "oh no effort is not time" me : "but you always says what's that in days?"
"No but we don't measure velocity like that"
Me internally "oh fuck right off"
I see. So, the salt might be from a tsunami or something splashed up from the Dead Sea.
Without being aware of the fact that they were originally meant to and still do discriminate against Black Americans who were brought to this country against their will in chains to be slaves?

I still don't see the parallel with the Ruby community. I'm American and quite familiar with American politics, and I still don't see the point. The Ruby community has certainly had its sexism problems [1] [2] [3] [4] [5] [6] [7], but are you saying it was also formed with the intent of banning Black people? Please explain.

[1] https://martinfowler.com/bliki/SmutOnRails.html

[2] https://codahale.com/ruby-and-male-privilege/

[3] http://devandpencil.herokuapp.com/blog/2013/10/09/being-an-a...

[4] https://python-list.python.narkive.com/ja3ig3ln/sexism-in-th...

[5] http://blog.ian.gent/2013/10/the-petrie-multiplier-why-attac...

[6] https://www.cloudcity.io/blog/2013/11/06/an-open-letter-to-t...

[7] https://geekfeminism.wikia.org/wiki/Timeline_of_incidents
Coinbase CEO: banning politics was “one of the most positive changes I've made”
The problem is your "once in a blue moon." This can easily read as, "arbitrary time where we don't have any other justification for kicking out someone we dislike."

For the truly terrible people, you really shouldn't need a code of conduct to kick them out. An assumption of good behavior is a decent assumption. For abrasive people that you don't want to deal with, things get harder if they are just difficult in good faith. But, the difficult in good faith people are the most difficult to work with using a code of conduct. Being in good faith, they likely literally don't see the problems they cause. And the code does nothing to educate.
What's a DINO scam? Couldn't google anything relevant.
You might be interested in Tezos' Michelson
Channeling an old po-mo saw, I've commented before to the effect that the social platforms picked "disinformation" as an enemy to persuade you that the rest was real.

To be a conspiracy theorist just means to not be aligned to the dominant narrative, and since most intelligent people gravitate toward coherence, when the dominant narrative becomes absurd, you get theories and explanations from the people repelled by it. They usually suck, but when deception prevails, conspiracy theories become the more coherent option and they have better predictive power than the narrative itself. Today, it is objectively more plausible that a cadre of leaders is co-ordinating to exploit a crisis to drive a radical agenda using arbitrary compliance as a signal and lever than it is that paper masks we can smell farts through are necessary to prevent the spread of disease. Gravitating to the former is the direct result of being repelled by the incoherence of the latter. To sustain the dissonance of the absurdities of power, it requires education and practice, because it does not come naturally to anyone. If you want to reduce conspiracy theories, present a coherent narrative that doesn't require sustaining the dissonance of absurdities.

I like Doctorow's writing, but if he isn't banned, I'm pretty sure FB and other platforms have nothing to fear from him.
It's infuriating to me that WebSQL was killed. 99% of real-world data is relational and yet the powers that be decided that we should all be forced to use IndexedDB and hacky layers like PouchDB built atop it.

I'm excited about https://github.com/jlongster/absurd-sql though.
There are a variety of synchronization methods, and the choice of which is very application specific.

The simplest choice to get started with is to add it directly to your application logic. The main pro of this solution is that you can directly handle the semantics of when and how to add/remove permissions. For example, it's sometimes safe and idempotent to write permissions for data that may fail to commit, because permissions for the data will never be queried in the future. You can also directly control the management of ZedTokens and effectively eliminate the new enemy problem[0]. As far as I know, this is how Zanzibar is used within Google.

Solutions which tail a primary source of truth, such as the database logs, kafka topic, event queue, etc. may perform better in some applications where eventual consistency on permissions is ok. With these systems you are adding some delay in between writing the data and the permissions, which can open you up to new enemy or require UX compensation like adding data on the client side and hoping the permissions replicate before they are ever queried for real.

We will work to write a guide that talks about some of these architectures and their pros and cons.

[0] https://authzed.com/blog/new-enemies/
What do you think of using buffalo rather than cows? I don't think they are native to the swiss but in the US they used to be native to the area, I saw this article on them being easier to handle. https://www.atlasobscura.com/articles/buffalo-in-the-swiss-a...
This is the second (or third?) one of these "acres of flags" things this administration has done, which makes me wonder who is selling them the flags and at what profit margin.
The fullscreen thing is gross, it is them batantly saying pay us 30% of gross revenue to enable.