jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
I strongly agree that byzantine fault tolerance theory by itself is a vastly insufficient model for explaining the workings of a cryptoeconomic consensus system. Cryptoeconomic consensus systems actually have to deal with five separate problems:

1. What mechanism is used to process a batch of state transitions during each round? (blocks in bitcoin, a BFT algorithm in Pebble, etc)

2. What mechanism incentivizes correct participation, as opposed to incorrect participation or non-participation, during a round? (block rewards, slasher penalties, etc)

3. What mechanism disincentivizes nodes from replaying a given round or set of rounds after the fact with different state transitions? (ie. the short-range double-spend problem) - block rewards in BTC, slasher deposits in PoS, being voted out in DPOS

4. Assuming a replay does happen, what mechanism do nodes use to determine which of the branches is correct? (PoW scoring in BTC, other scoring algorithms in PoS)

5. What mechanism invalidates long-range forks? (PoW for bitcoin, social checkpointing for PoS systems)

BFT consensus algos are equipped to only solve (1), and even there only part of (1) (specifically, given N participants, how does the next block get produced; the neglected part is how to pick the N participants given a free-entry economic system in the first place). It's an economics problem more than anything else, really.
What about ruby ?
This provides an engineering anecdote that adblocking is worth more than half a gig to a large fraction of the population. Looking at prices on tigerdirect you're dropping about $10 per gig (I'm sure apple charges $200 per gig for laptops, but they're price insensitive so don't matter). Anyway that provides a data point that ad blocking is worth at least $5 to the average user.

Also from a scaling perspective I wonder if its linear with tabs. There are various tribes of tab users and if its linear, a "normal user" who uses about 3 or so would scale down to approximately nil.
Does anyone know if these will be recorded so they can be played back later today?
I repeat the mantra because I thought it engaged the ideas of the ethics of SAAS and in food service. Would you care to present a counterargument to what I've presented.
I don't even use an adblocker. I simply use ghostery to block trackers and almost no ads being there anymore is a nice side-effect.
I myself most often write "uBlock" and pronounce "you-block", as in "users decide".

I originally used the mu character in place of the u to emphasize smaller resource footprint relative to similar solutions out there.

I've never been good with picking name etc., unfortunately now we are stuck with it.
I think people confuse confidence with bluster.

Confidence is delivering "I don't know" with an air of acceptance.
OnePointOne (https://onepointone.com) | Senior backend Software Engineer (Python) | Full Time | Remote (US Only)

OnePointOne (OPO) is developing the world's most advanced indoor plant production facility. We seek to develop and deploy a global network of industrial-scale automated indoor farms, giving OPO the unique ability to support and augment much of the world's plant production in a wide variety of industries. OPO’s mission is to aid in nourishing the OnePointOne billion people that began this millennium hungry, while preserving the Earth and her resources. With an incredible team operating at the nexus of plant science, automation, data science and brainpower, a new form of agriculture is being born at OnePointOne.

The primary responsibility of this position is to collaborate on the architecture, design, implementation and testability of the backend software system that operates the most technologically advanced cultivation platform on the planet.

Find more information and apply here https://www.onepointone.com/jobs-senior-backend-sw-engnr
If you're interested in what truly logic-less views look like, you should check out this framework. Plenty of frameworks seem to be claiming logic-less views, when really they just removed the 'if' from the conditional.
Actually printing money is pretty cheap. The issue isn't the imaginary points; its the goods and services. Can we produce what people want and need, without them working in factories? I think that answer is Yes.
They're not mutually exclusive, but it's easy to test how switching things around on the menu will alter the order ratios.

Overall we are exceedingly good at rationalising choices, even when we provably had no influence on them (look up experiments done on patients with severed brain stems).

You are certainly right that people get annoyed with multiple choices, though. I don't remember if it's Cialdini ("Influence") or Jonathan Haidt ("The Happiness Hypothesis") that cites experiments that shows that people are happiest with their choices when they have a small-ish number of alternatives. Above a relatively small number of alternatives, peoples satisfaction with the choice they end up making drops rapidly. Not only is the process of choosing tiresome, but we get far more room for doubt about whether or not we made the right choice.
I actually like the basic income idea, though I hadn't arrived at it from an automation perspective.

If you're guaranteed money, you do away with the marginal effects of means-tested benefits. Basically, if you're a low income earner it can happen that you face a very high effective tax rate, in many countries. If you're guaranteed money, you don't have this marginal tax problem; you can sit on your ass or work for a bit of extra money. If you already make more, take it as a tax allowance.

This in turn means you do away with the means testing system. No more forms to fill out; no more mandatory courses that do nothing but line the pockets of the course provider. No more looking over people's shoulders to see if they're cheating. No more pressure on doctors to write iffy diagnoses.

There are of course issues with this system. For instance what do you do about immigration?
"An injury to one is an injury to all" and if you can do this to board members who will have the wealth to fight this - what would they do to the rank and file.
I just love this story. It really describes the ideal world for me, and kind-of gives long-term meaning to my projects.
A comfortable enough life that you can actually choose what to do rather than having your hand forced by circumstances.
It is a very good idea, but there's another problem at hand: It's not novel. I remember hearing about this many years ago, though that was using vibrations in windows to get the sound inside a building. IMO there's nothing to patent here. Unless this is the same group it's just appropriating someone else's work.

Besides, random people do think of cool stuff all the time. They just don't normally patent it or start a business based on it. I thought of real-time music streaming to phones as a subscription service way before Spotify was a thing, but there wasn't much that 15 year old me could do about it. To this day I still have no idea how I would have gone about with a similarly good idea if I got one again.
In my opinion it is a misconception that React "mixes" representation and logic.

You can _implement_ both representation and logic with React. (instead of JS for logic, and some clunky template language for representation).

This does not mean that you should mix it. usually you end up with "representation" components that are "dumb", and logic components, that do not care about the representation of their children.

see https://medium.com/@dan_abramov/smart-and-dumb-components-7c...

Just because it shares the implementation mechanism, it does not mean that they are mixed together. You can of course, but most of the time, you should not.
Right! There was no control in that experiment, nor can I imagine what one would look like since they don't change any variable.
Some what ridiculous that we must figure out what the point of his post is instead of him just telling us.
If you find yt-dlp particularly slow, you can use aria2c to perform the download itself. It doesn't solve any startup latency problems, but it generally can do the HTTP requests faster.
The hyperbole doesn't help. Stallman would not tell you that you need to starve in the streets. He is well away that most programmers get paid at least median income, and often much more, and they are normally people who can make choices in their lives, few of which will involve starving in the streets. You don't have to agree that the choices are attractive to acknowledge that they do not need to include starving in the streets.
I've started learning Godot to replace Unity for the prototyping role, but under no circumstances would I ship a game in stock Godot except for a game jam.

The stock editor workflow is solid enough and overall fairly pleasant, but the documentation is abysmal, features aren't up to par with the Unity of even a decade ago, and code quality is "improving". I also have absolutely no clue why the world needed an even worse rehash of python that has absolutely no compatibility with any of the python ecosystem. I've read their blog post. I still do not understand.

Godot 4 looks much more promising on the feature front, GDNative is passable, and at the very least, you can fix the engine yourself if you need to. I don't feel much of a sense of loss from ditching Unity.
Twitter doesn’t have interests beyond making a profit. The shareholders of Twitter don’t have interests beyond making a profit. The company’s owners are aligned with Twitter insofar as they both seek maximal return on investment.

Just because the interest of the company’s owners is small does not mean the interests aren’t aligned. In other words, magnitude != direction.

The board of Twitter has maximal power, but minimal interest. The owners of Twitter have minimal power and minimal interest too, relative to their other holdings, but maximal interest relative to the board.
Zero Knowledge Podcast Episode 175. ZkSync platform overview for scaling ethereum, and much more.
Have you looked into pgcli, psql is great but pgcli is a little nicer.

https://www.pgcli.com/
I think it is, which is why it hasn't happened. We shouldn't couple ourselves to the GUI itself (widgets, layouts, etc.). When you decouple the data and core operations from the presentation, you get APIs. Slap a flag parser around those and you've got yourself a CLI. (PowerShell is an interesting case study here too.)
Which is also why Windows uses backslash (\) as their path separator. Because forward slash would have collided with the slash option marker Windows inherited from VMS.
> It would be pretty easy even with today's tech to stimulate neurons similarly to braille touch which we know works

Citation needed
> This could have been a single command line command.

... that you could have copied and pasted.

When it comes to technical support on Linux, few people seem to realize how much easier it is to provide support with a handful of shell commands. Describing how to do things in a GUI usually involves awkward descriptions, multiple screenshots, or a video demonstration. Actual support involves doing all of that in both directions (or having someone else log into your machine to do that for you). With a terminal, you're just copying and pasting text.
In my experience at Google, only Go does flags like this. Everything else (python, java, c++, blaze) all use the same flag syntax, which is all via long args with two dashes.
`find` is weird anyway. The stuff after the arguments aren't really flags, they're a tiny filter language, with significant ordering and operator precedence and all that stuff. Using "normal" option syntax wouldn't make a lot of sense for it either.
Hmm, I'm not sure what this provides over the built-in thesaurus support¹. Perhaps, the README could include a little comparison?

¹ http://vimdoc.sourceforge.net/htmldoc/insert.html#i_CTRL-X_C...
It would be better to update browsers, to display a different warning, in a place where a page can't change at all. (And while we are there, Firefox, please, do the same with the master password dialog.)

But I doubt any of them will do that because, security be damed, it messes with the minimalist fashion.
Well, Google Analytics is very generous. It's just that what you save by getting it for free, you have to invest in educating yourself.
If you want a job, learn PHP or go C#. Keep the others as 'having some experience in'. C is still your best asset though, some operations done server-side will always need some C.
That is the most fascinating myth I continue to hear about the market. As a non-seat owner, you see three prices: The price of the last trade OVER 15 minutes ago, where a buyer and a seller agreed to buy. The highest price someone offered to buy the stock 15 minutes ago, and the lowest price someone offered to sell the stock 15 minutes ago. When you actually buy or sell a stock, you often do not buy from or sell to a long term owner. Instead, the transaction happens with a "market maker" an entity that is a seat owner, knows the current offers right now as opposed to 15 minutes ago, and trades with you. There is almost NEVER a "meeting of the minds" on price between a buyer and a seller. In fact, there does not have to BE a buyer if a market maker decides the value of the stock makes it worth acquiring or selling at your offer price. (If you check "Market" for your offer price, I suggest you read almost anyone who writes about trading, but plug your ears because they start shouting "no" really loudly). So, to finish (sorry about the length of this), a huge or in some cases a simply mis-priced offer to buy or sell may unnerve the market makers. They may hesitate. The lack of quick sales at a given price to the market makers causes repricing by the sellers, which causes the price of the stock to fall. Try pricing a limit bid between the buy and sell price on your electronic brokerage. You'll see. Sometime it will sell right away, and sometimes it won't. If you want to sell right away, you'll drop the price. And, if you happen to find a stock in "free fall", you'll never sell, because the price you see is 15 minutes old.
Looks a bit Romulan if you ask me.
Right, and coinbase offers USDC as well. The problem is the long tail of exchanges overseas that only offer USDT.
It does point out that all of the items except milk are vegan…
This conservative supreme court is a disgrace. It is a court that always sides with the prosecution over the defendant, the state over the condemned, the executive branch over the legislative, and the corporate defendant over the individual plaintiff.
Private industry!
Just curious: why do a lot people recommend only the white of the egg, and not the whole thing?
At least in chrome, mousing over a hyperlink pulls up the destination address in the bottom left corner (for now).
The great thing about free market capitalism is that people can form worker cooperatives anytime they want.
Believe me, I feel the same way. I've spent a great deal of time at campsites and trails that are extremely popular and difficult to get permits (like Yosemite). But that's not really a technical problem: it's an inevitable problem when you have vastly more demand and a small finite supply.

What I was pointing out is that a lottery does not on its own help with bots. Bots are good at making reservations very quickly at a specific time of day (in reservation systems that are first-come-first-serve), but bots can also easily be scaled up in number to sign up for an arbitrarily large number of slots in a lottery.

> The experience of exploring our national parks should be an escape from our hectic every day lives.

I totally agree, and it bums me out too. I have visited Yosemite several times per year for the last 6 or so years, and it's only gotten more and more popular. I rarely visit the valley any more, because it's such a madhouse. Even in the last few years I've seen demand go through the roof even for relatively difficult wildnerness backpacking trails. But the fact of the matter remains: way more people want to go than there is capacity for, and I'm sure they all want an easier calmer way to get reservations.
I am wanting to be social again after a divorce, and am not willing to join any of the dating apps currently available.

Here is what I'd like to see:

First-name only user names, real names/account names should be hidden or opaque

No association with or dependency on external social media accounts

Reasonable monthly service fee (around $10/month) with the promise of no advertising, tracking, geotracking, or selling of user data

Pull only notification

Strict never-match criteria

Hyper-local geographical matching, with ability to turn on (I'm heading out tonight and am available) and turn off (the rest of the time)
All of that seems more plausible than the possibility that whatever is “outside” is something that any of us would actually want or be able to escape to.
Sorry I confused the term. What’s a non taxi service called some times? “Black car”?

In any case: being able to hail a taxi on the street doesn’t mean it can’t be useful to pre book one with an app too. I you want to go to the airport in the morning from a house where few taxis pass, that’s what you need to do. In the 90s that meant calling a phone number but these days you want to use an app, pre pay in the app and so on.

(On a side note, I take buses every day but I have never seen someone signal for one. If I’m at the bus stop it stops, if I’m not - it doesn’t. This varies between cities too I guess)
The going rate for an IPv4 address is at least $10 each. Selling a /8 block would be a nice $160 million profit.
My understanding is that git-subtrac is more like git-submodule, except that the submodule repository histories are copied into the parent repo (separate from the parent repo history) and tracked using an auxiliary .trac branch. I guess subtrac is short for submodule tracker.
Have used React Table in production and it's a great, reliable library. Thanks Tanner!
It sounds like Wikipedia is working the way it should work here. If there are no reliable secondary sources that wrote about your boss' other career, there's nothing for Wikipedia to cover about it. The alternative, of people who believe they have firsthand knowledge about subjects just writing free-form in encyclopedia pages, obviously wouldn't work.
You don't need to recompile a typesafe config. Application.conf overrides reference.conf - the latter only provides defaults.

Recompiling a Config.scala file is fast anyway unless you change the type signature.
As has been alluded to, gravity is an extremely weak force, so any gravitational effect is easily masked by electroweak forces until you accumulate a very significant mass. There's no way they can measure this on a single atom.
I second this, especially for similar photos.
> One idea I've had is to disallow conversation in the app, and instead focus on making date plans if there's a match.

I like that idea.

The business model is tricky to figure out. You'd have to ditch subscription fees and advertising (since both of those models disincentivizes real matchmaking in favor of long-term endless use of the app).
Payment going to message recipient is going to create perverse incentives and people are going to monetize this aspect.

So you’ll have many frustrated users who are simply being gamed for messages.
Yep, this is my reaction too. People are conflating two fundamentally different problems. One is having the ability to know what's real, the other is actually knowing.

Ability is what interests me most. Faking this sort of content - a continuous, closeup shot of the President saying something - has basically never been possible before. If a total stranger had showed you this video in 1969, it would have been clearly authentic. Not clearly truthful, you wouldn't trust that the landing had really failed as opposed to e.g. Nixon recording speeches for both outcomes. But you could be pretty sure it wasn't an imposter or an edit or anything except the real Nixon on camera.

Deepfakes challenge that ability, but I don't think they'll destroy it. Official sources will sign video. Untrusted sources will use verified timestamping and other methods to prove specific claims about their footage.

Actual knowledge, on the other hand, can't be destroyed by deepfakes because we already don't have it. There are a hundred ways to lie to people - with photoshopped images, deceptive editing, or just lying and having people trust that the evidence exists somewhere. People who aren't easily fooled today will become skeptical about video footage too. People who are easily fooled are already fooled, have been fooled since before photography straight through to the present, and will just stay that way.

"Banning political deepfakes" or anything similar is not just a case of closing the barn door after the horses have left, but without ever getting the horses into the barn.
> It breaks down when you are using something like Excel with complex macros/calculations. This is why most companies continue to use Microsoft products.

It breaks down because you need some serious backup in your organization (for example from the owner) to switch to something like LibreOffice. People got enough on their plate and changing their tools for (from their perspective) no apparent reason will get a lot of push back. I think technically LibreOffice is perfectly up to the task. Sure if your a statistician then maybe Spreadsheet won't work as well for you as an Excel replacement. But other then that...
Lex Friedman interviews Gilbert Strang this week:

https://youtu.be/lEZPfmGCEk0

Gilbert’s Linear Algebra course:

https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra...
I mostly lived in London just before Uber.

I don't know if they still do, but many nightclubs would have some arrangement where there was someone from a minicab company in the lobby or just outside. You'd say "W3", he'd say "That'll be £20, in 10 minutes time" and you could wait in the warm until the car arrived. (Of course, if you knew a number for a different company, you could phone them yourself.)

The drivers were pretty clueless -- even a fairly large inner-London station name like "Ealing Broadway" would frequently be misunderstood, and they'd want to slowly type a postcode into a satnav -- but otherwise they were OK.
>Funny. I grew up in the city and lived there for most of my adult life and never had any issues with any of those things.
>Source: someone's who's spent more time in Chicago than someone's who's visited a handful of times.

Of course you'd like it, you're used to the place. The city is called "the windy city" for a reason, and is certainly not known to have weather resembling southern California. If you like it, that's fine, but not everyone likes cold, windy midwestern weather.

For prices, your experiences are simply invalid. The OP was likely talking about prices he'd see as a visitor, the large part of which would include hotel rooms. Do you spend a lot of time in hotels near your home? Of course not. And if the OP is comparing various international cities, then I can see why he'd complain about Chicago: it's a large American city and would likely have extremely high hotel prices, because hotels in America are generally very expensive unless you want to stay in a roach motel. It's much cheaper, as a single traveler, to stay in most of western Europe (except probably Switzerland).