skysight-inc/HackerNews huggingface dataset:
Accord provides global strict serializability. Loosely speaking, strict serializability requires two things:

1) That the result of an operation is reflected in the database before a response is given to the client

2) That every operation that starts after another operation's response was given to a client has the effect of being executed after.

Accord enforces both of these properties. Accord only avoids enforcing an ordering (2) on transactions that are commutative, i.e. where it is impossible to distinguish one order of execution from another. This requires analysis of a transaction and its entire graph of dependencies, i.e. its conflicts, their conflicts, etc. So, if your most recent transaction operates over the entire database, it is ordered with every transaction that has ever gone before.

Cockroach does not do this. If it did, it would be globally strict serializable.
kind of ridiculous to write this without talking about janelia
can we just normalize software being done and finished?

there are plenty of things that don't require dependencies and don't encounter breaking changes. the javascript community's problems, attention deficit and hyperactivity disorders don't represent software development.
600-900 pages proofs are why formalising mathematics is needed (lean)
Good class bungalows are not your typical single family home. They are on huge lots even for a US single family home.

There are townhomes (shophouses), duplexes, single family homes as options as well.

“To qualify as a GCB, the property must have at least 1,400 square metres (approx. 15,070 sq. ft.) of land area, and the bungalow itself is limited to a maximum of two storeys in height”

People in HDBs want to live in condo, condos want to live in shophouses, shophouses want to live in detached freehold homes.

Everybody wants more space. And despite the great transit system, parts of Singapore can be more remote to the point a car being almost a requirement. And that’s what many people strive for.
Maybe after enough of these stories become common knowledge, we'll hear less of the "EVs have fewer parts and are therefore more reliable" argument.

Reliability is largely a function of design and engineering choices.
Checkout leanprover
It makes sense for some use cases but the vast majority of use cases, parsing overhead is simply not a concern. Mobile phones are fast, networks have plenty of bandwidth (and the savings are marginal), parsers are pretty good.

But done right, binary protocols are sometimes worth the marginal savings they provide. We switched over one of our APIs to use CBOR instead of json. It's a search API that we hit a lot and I wanted to cut down on the bytesize of the responses a little. The savings are not that impressive. But I'll take 10% when i can get it.

Otherwise, this was a pretty simple change. We use kotlinx serialization in a multi-platform library. Basically, all we did is configure it to use CBOR instead of json. https://github.com/Kotlin/kotlinx.serialization/blob/master/... Half hour job. Haven't looked at it since; just works. It supports protobuf as well but it looked like more hassle to set up so we went with CBOR instead.
doesn't birthrate correlate with lower IQ though? so there isn't really any evolutionary pressure at present for this to happen.
They could even crowd source this by allowing users to block domains from search results, which should affect its ranking long term.
I think they just assume that they know better what you want than you do.

That you probably don't want the thing you're searching for, but some alternate spelling, even if it's something completely different.

I imagine this probably ends up being the case for the majority of their users, but for advanced users and people searching for specific technical strings, they've cheapened their service.
It always surprised me that gasoline engine manufacturers didn't cut down on the size of the radiator and cooling stuff to save money, and then say "you can only be full throttle for 1 minute at a time, and after that it will reduce to 60%". In a typical car use case, it's very very rare to be at full throttle for over a minute.
How A Crypto Developer Faked a DeFi Ecosystem
It is not.

And it is irrelevant, because the objective here is to produce good-looking documents, not to create or run programs.
Mixed-income neighborhoods are great, but fragile. We are definitely not low income, and living in mixed part of town is so much nicer tgatn thise, supposedly, high income parts. The thing is so, by livng where we live we are actually gentrifying the neighborhood. Whether we want or not (we don't), it is just a matter of fact. Which is said, because despite being by no means hip or artsy of so, the neighborhood is really doverse and colorfull. Despite being mainly housing, there still are small shops and bars. And it is great for kids to be exposed to different social circumstances, our older one went for day care reaons to a school in a more affluent neighborhood, our smaller one to a school just across the street. And the differences are stunning and subtile at the same time.
Word of Mouth Hiring
The most annoying thing about the spacebar thing is that it needs a space bar. So when an app forces a number only keyboard there is no way any more to move the cursor.
> Why do they refuse to give you a manual? Why are there no instructions.

There’s a whole Apple app - Tips - included with every iOS device, dedicated specifically to these small features.

It’s updated by Apple with new tips and tricks regularly, and you can choose to be notified each time a new ‘episode’ is released.
This is the right answer and I was under the impression that this was in the the Google fu crash course these days.
There is a large user manual available in “Books” ; https://books.apple.com/gb/book/iphone-user-guide/id15159955...

I imagine most iPhone users don’t know it is there!
By using the "Creative Commons Zero" (cc0) license, artists can intentionally select for "no rights reserved." This option permits anyone to benefit from derivative works without legal repercussions.
Providing paid service doesn’t make one exclusionary of the poorest. You are free to give discounts or free service to vulnerable groups in exceptional circumstances, requesting a verification of your choice in place of a financial roadblock. While giving them status otherwise equivalent to that of regular paid accounts, you can still apply more sensitive monitoring procedures to them if you have grounds to expect false positives and abuse—good thing now you don’t have to do it with every account.

What being a paid service does make you is a player in a game with certain agreed-upon rules, by which your incentives are aligned with those of your customers. Giving your paying users the right of the ultimate vote (with their wallets), you in a way paint yourself into a corner where you can either act in their best interests or go broke. It matters less if you are a huge corporation (many revenue streams), and it doesn’t guarantee you won’t cheat and violate the rules (take my money and sell my data, why not!), but still as a user I find it a useful signal.
The joke works maybe as some kind of Sally Anne test.

https://en.wikipedia.org/wiki/Sally%E2%80%93Anne_test
You said in the comment that I replied to

> It would 100% be more secure, requiring a state issued id card to reset your password.

And when I criticize that, you say I am making a "straw man" argument.
Saying no to a generous acquisition offer (podcast episode)
Up a creek without paddle? Researchers suggest 'gunwale bobbing'
Once had a client fire one of my contractors for the same thing back in 2016. That made me investigate and it turned out that every other one used it too - just they were not caught. Good thing, because i realised clients were happy (or at least accepted) work results diluted by about 3x with these jigglers - it's only that the clients were not willing to pay $100/h they were ACTUALLY unknowingly paying, but were happy to pay $35x3 :D. Seems to be a psychological thing - "remote developers must be CHEAP".

As a consequence, i simply left hourly work and started doing fixed prices. No need for jiggling bs and my revenue per employee more than doubled, and profit, more than tripled. Clients are calmer when they have no idea how little time their job actually takes.
Long press is in many ways an inferior (slower, less precise, easier to fire accidentally), its benefit is better discoverability. Why not work on making 3D Touch more discoverable?

Sometimes the 1% of power users are right and not listening to them leads to bland and less useful products.
Fun fact: the town of Atherton is also singlehandedly responsible for delaying and almost derailing Caltrain's electrification project, because the electric poles needed would, and I quote, "compromise the quaint character of our neighborhood" (shock horror).

https://www.almanacnews.com/news/2017/12/21/atherton-battlin...

And of course: "Other speakers protested the aesthetic and safety impacts of the taller, and heavier, poles, saying they would also reduce property values."

The town also voted to close their own Caltrain station, because they clearly don't want the kind of riff-raff who use public transport there.
The screen was actually presssure sensitive with a fair amount of precision. https://en.m.wikipedia.org/wiki/Force_Touch
Conversion efficiency from solar radiation to dry matter is estimated for soy beans at 2.1%.
Solar Foods claims 10 times more energy-efficient per hectare than photosynthesis with soy production.
If you assume 22% efficient solar panels and a longer growing season, because solar panels are less temperature and water dependent than plants, this might just work out.
Incompleteness is when your program works, but the computer doesn't believe you
As someone who used this feature every single day, for every single text input on the phone: I 100% agree.

The replacement method works, but it is indeed subpar. It annoys me that my 3 generation newer phone is a downgrade in this regard, but I can live with it.
No code data wrangling tools are significantly easier to learn than R or Python+Pandas. That is their main selling point (inevitably they trade some flexibility for this) and there is a range of them to cover all budgets.
Converting an 80s Typewriter into a Linux Terminal
>"In quantum computing thinking is shifting from a government-funded big science approach to an exploration and exploitation of the more dynamic start-up innovation ecosystem. “We need to try out different things, and use the innovation ecosystem to test, learn and build machines."

this is weird because it's very clear that the basic science of quantum computing is far from done. Investors can pour as much money as they like into a series of holes in the ground, but if the universe says no then nothing will come of it. We do not know how to solve many of the fundamental problems of scaling a QC, until we do I think this is really just stupid.

The QC startup scene looks like 50 Theranos's in search of a lawsuit to me; it's going to be 30 years before serious and usable machines appear - if ever.
Playing action video games boosts brain activity and decision-making skills
is it dumb?

I admittedly havent spent much time thinking about the problem, but it seems to me that the issue of getting one human out of another human is quite a difficult problem to solve.
I love this old video from their "weekly search meeting": https://www.youtube.com/watch?v=JtRJXnXgE-A
Inexpensive, Snapdragon 410-based “4G LTE WiFi Modem” made to run Debian 11
Without discipline you get to nowhere.
At the start discipline is hard because we are a human which our brain wants to do the easiest task available to preserve energy. to prevent this situation we have to train our brain to obey us not otherwise. repeating this pattern lets your mind knows that you are the boss not itself.

The critical part here is *you have to separate yourself from your mind/brain*, in other words you are not your mind/emotions. You can control them or otherwise being over controlled by them.
No of course it wouldn't. Because that would impact poor people who don't have a choice and already optimised their spending a lot more.
Disclo is a HIPAA compliant platform enabling employers to collect, verify, and manage employee health disclosures and accommodation requests.
Disclo helps employees secure the enhancements and protections they need to succeed in their careers without having to disclose their underlying medical condition to their employer.
See that's vim golfing! I kid, I kid.

I use ddO because I use dd and I use O, while I've never gotten 'conceptually fluent' with using the c range to do delete-then-edit. I know it's there but I don't use it.
Next Generation Data Center Security: The Cornerstone of Web3?
Ain't no saints in politics anywhere, are there?
I think the feature got more confusing as Apple started to phase it out. They dropped the feature where you could force-touch to select text (on e.g. a web page rather than typing) and press harder again to select eg sentences/paragraphs. They also made force touch and long press do the same thing in many cases. I think about the only place it works well is in the keyboard but sadly there are now a bunch of bugs there with replacements/corrections not interacting with the text suggestions properly (and they deleted the feature where pressing shift while replacing will capitalise/uppercase the suggested replacement)
Seconded. I don't understand what they meant by two hands/fingers.
Is saving static data really a huge cost sink for them? Seems kind of weird to have a business model of storing and handling highly dynamic data only to come down hard on the easiest use case of the product.
Doesn't it make search worse though? I don't like my searches to end at paywalls and Google being able to do more of that doesn't seem an advantage.
Circles are a good idea in theory.

In practice, for Circles to actually be useful, they need to be scrupulously maintained.

If you send a message to a certain circle about a pool party, and it turns out that you forgot to add a friend to the circle they will be insulted.

Or if you send a message to a circle that included someone who the message was not intended for, once again, you’re in trouble.

Group chats tend to work much better because they are simpler and are only created when you have a specific need. They can last beyond that need if the people in it end up being a useful grouping for the long term, but this filtering happens organically.
United Nations Secretary-General's Roadmap for Digital Cooperation
I see love as a sign of good.

And good is also relative. Mom is a smart egoist. She takes care of her genes.
Actually, often you must first "search" (aka go to some search page to enter search terms) and only then you can click the button "find" - unless the search controls are already on the page you're on.
I don't know why these policies were made, lowering costs at the source is easier than than price control at the margin.

Foods follow a long chain with many hands; farm -> processor -> factories -> distributors -> retail; you want low retail prices and farm to be economically sustainable, moreover sometimes the link in the chain are the same entity sometime they are distinct companies.

You could keep track of prices along the chain (we already do with VAT) and reimburse expenses along the chain to allow farms to sell at higher price without it affecting the final buyer.

Or you could just lower the operating cost of farms by taking the major expenses* and subsidizing them.

The first also is highly vulnerable to exploitation since many farms sell to huge corporations that can outplay them in the regulation game.

* Which I guess are wages, taxes, fuel, and material (food/fertilizer).
> Big and dangerous cars dominate.

Just how many cars do you think are zipping around in a suburban neighborhood at any given time? The roads in a neighborhood are empty most of the time. I find it rich that people talking up the benefits of riding a bike in a big city would seem concerned about the safety of using a bike in a low density neighborhood.

> Speeds in residential areas are high

What? No they’re not. In any given neighborhood the speed limit usually tops out at 25mph.
A complaint that the bill is "compliance intensive" could mean that the "startups" don't want to comply (so it must be a good bill), that the bill imposes expensive and unnecessary bureaucracy, or both.

Correspondingly, the government could be caving in to private interests, wisely redesigning a bad law, or both.
I don't have any issues with MS selling a software codec that requires royalty fees, but it is a kinda dark practice not to use the same hardware codec by default when it is available.

Right now it is surely confusing that MS defaults to suggesting paying for a software codec, when most have already paid for it in hardware they are using.
If you have the version of everything inside Git (e.g. your docker-compose file references Ubuntu 18 or PostgreSQL 13 or whatever), and if your software now depends on a new version you not only update your software but also the versions in the docker-compose file, then it should be possible to spin up docker for the correct version of everything as part of the bisect.
This. I don't want to work too. I like developing software, I like the tech world, I love the intellectual soup this and other communities brew together. But if I was free from the need of money to live without much loss of comfort, I'd rather not choose to work 40-60 hours on the same thing in front of the screen.

Therefore my approach is "I need money, you need work" let's frame the extent of that and fulfill both ends of the contract.

Maybe it's a lack of passion but I've seen so many people break because they somehow feel the need to be a "good bee" for a company.
I like living and that's the most important point on my daily todo list.
It's a good joke, but the delivery isn't very good. Seeing "electrocution" and "conductor" in the same sentence immediately made me get the joke, so I skipped to the end, and I was correct.

Maybe they should have given him a name and used that instead of "conductor", and only refer to him as a conductor 3-4 times throughout the story.
Surely someone internally would have foreseen that? How in the hell was that greenlit.
The only one coping here is that who doesn't understand VMs and language research enough and retreats into childish "it was just a joke lol" remarks when out of their depth.

Incidentally, I write all 3 of C, C++ and x86 assembly, which is why I understand how braindead and unfit for human usage they are.
If someone breaks into my house, should I blame the justice system?
Xtelligent | Data Engineer | REMOTE | Full-time (PT/Contract Considered)

Xtelligent (www.xtelligent.io) is a transportation infrastructure venture developing intelligent traffic signal networks and connected/automated mobility technologies using the latest dynamic signal control algorithms, data analytics, and connectivity.

Our mission is nothing short of redefining the way people and goods move in our cities. By introducing greater intelligence to how the fundamental ground rules of movement are dynamically set and communicated via traffic signals, Xtelligent seeks to create more intelligent, multimodal, and sustainable transportation systems in cities. In the process, we seek to disrupt and clean up an antiquated industry responsible for ~25% of greenhouse gas emissions driving Climate Change.

Our team is currently working on exciting projects related to the LA2028 Olympics, freight movement around the Port of LA/Long Beach, and connected/automated vehicle deployments in partnership with major automotive OEMs.

We are looking for an experienced data engineer to join our team. This person is expected to lead all data engineering efforts for the venture and should have meaningful experience with backend data systems, streaming data, data pipelining, etc.

Email me at mike [at] xtelligent.io if interested.

Thanks!
And also not ideal if your bugfix accidentally introduces new bugs and you later realise you want to go back to the version before the bugfix, or see what the code change of the bugfix was.
My cousin’s Tesla, costing over 100k, is reliably unusable for half the year.

Everyone I know who owns a Tesla is using other cars a significant amount of time due to the repairs issue (they also break down a lot more).

However, the cheerleading leading up to the purchase, and the fact that no one else is talking about this publicly, leads many to not talk about it.

It’s way too much like a cult.
Use tailscale, it’s wireguard with dead simple config and working DNS and exit nodes.
Windows Enterprise is a superset of consumer Windows, so, given the existence of the former, the marginal development cost of consumer Windows is limited to the comparatively modest set of Windows features that few enterprise users care about — many of which are directly attributable to gaming, which, like Office, is another solid Microsoft revenue stream — plus any additional costs associated with producing and distributing multiple editions of Windows with different feature subsets.

Moreover, I believe Microsoft no longer charges for consumer Windows upgrades because they save more money by supporting fewer distinct versions of Windows (with security patches and compatibility with other Microsoft products sold to consumers like Office and games) than they previously made on consumer version upgrades.

Finally, the overwhelming majority of consumer Windows license sales are to OEMs bundling Windows with new PCs, and these licenses offload the burden of frontline technical support on the PC vendor.

Taking all these things into account, it would actually surprise me to learn that Microsoft loses money on consumer Windows.

As for "serious DRM", are you certain this would actually increase Windows sales enough to offset lost revenue (Office, Game Pass, search advertising, etc.) from consumers who would otherwise be running pirated Windows?

So what to make of the 99¢ codec charge? My guess is lawyers: one could make a reasonable argument that there is no material difference between bundling HEVC with Windows and making it available as a free download for all Windows users.
https://www.etymonline.com/word/behave#etymonline_v_8255
"-" still works, "+" was bastardized when Google launched Google+ but you can get similar functionality by surrounding your term in quotes, preventing it to be dropped.
The thing that trips me is that I need my initial finger to move about, I instinctively moved my second finger to move the second (selection) cursor.
So Jesse's feature was moved, not removed (as he can still access the trackpad feature using a different mechanism), and he is complaining because his muscle memory keep using the previous method? I feel for him, but no company can design to cater to all users.
Look at december, as an example. During the roughly 50 year period from 1875-1926, 25 times the average temperature was <= 5.0 degrees. The last time that happened was in 1956, which is some 65 years ago.

I’d say that is more than ”no change at all”.

Edit: I looked at february. Seven times in the same period (1875-1926) the average temperature was >= 5. The last time it wasn’t? 1988, 33 years ago.
Wait what? It's still there for me on every result...
Thank you for the feedback! :D
And I really think that it won't fly for those who don't make purchase from fandom. And that will at some point start to affect the consumer perception for general public.
> thus changing the problem of trustworthiness to one of authority

I wish Google would just penalize Quora. I can't ask any question on Google without seeing a bunch of Quora fake experts on the first page providing vacant answers to any question.
I remember seeing QBasic after getting introduced to GWBasic previous year and getting so excited that every line didn't need to have line numbers as part of source.My first reaction was oh - my gotos won't break all the time anymore :)

It is sometimes hard to imagine how much the DX has evolved over the years.