skysight-inc/HackerNews huggingface dataset:
No it's not. Engineering does not mean proving a design against a model, although that can be part of engineering (and software has formal proving methods, I might add).

Physical engineering projects are not mathematically proven either. They are verified against some accepted set of tests using models that use various empirically measured properties for materials and the world around the project as proxies for how this will do, and include various factors like 1-in-N year events and some acceptable error margin or chance of failure.

In something like microprocessor design, the physical design and manufacturing of course can be wildly variable and difficult to characterize (as Intel has recently been finding out -- even on a very nicely running process line, variations can result in many devices not working at all, and those that do can have variations of tens of percent in major performance metrics (frequency, power consumption).

Go up a level to digital logic design. Like software there are formal methods for proving logic, but they are absolutely not used to "prove" the entire digital logic part of a CPU. That is much more like software than you might think, thousands of bugs get found and fixed. Many bugs (from performance to correctness) can even get found and after a chip has come back from the factory. They go through intensive verification cycles, and even then it's not at all uncommon for bugs to escape. Many "errata" are just noted and you live with them, some necessitate varying degrees of crippling performance or features (spectre, meltdown, transactional memory, etc). And some actually require new revisions of the product when the errors can't be corrected in firmware.

The only real difference between software and logic design is the cost of "recompiling" means they spend vast efforts with many angles and layers of ways to modify the behavior of a device after it is manufactured. This isn't something you can see, but there are thousands and thousands of dials and switches that can be set to change behaviour, from very low level (oops this bit of logic has a clock-gating bug, we need to flip the switch to disable clock gating for this particular group of gates it will cost 0.01mW of dynamic power), through logical behavior of various algorithms and structures in the chip, right up to higher level big hammers like microcode and micro traps (oops we didn't implement this instruction correctly, switch it to trap to microcode and we'll write a handler for it at a cost of 1% performance).

Is electrical engineering, microprocessor design, circuit design considered to be "not engineering"? Not by many.

Engineering is about applying structured methods to create something that solves problem. Software in some areas is ahead of the game here, using advanced version control tools and methodologies, continuous integration, although digital logic design has been starting to cotton on.
Most people dont realise that aircraft industry and fsrming use special fuel and pay no tax on it. While it makes sence that we sibsidiae cost of food, it is less clear why we subsidise airlines
Putting the xenoestrogens in estrogen.
Ryokan are certainly not just for 'foreign tourists' - many have a very limited interest in serving international customers and do not making booking or staying there easy for non-Japanese speakers. They're mostly dedicated to serving Japanese nationals seeking a relaxing domestic trip for a special occasion.

That said, the Japanese 'business hotel' is really a thing of beauty. They have everything a traveller truly needs, and nothing they don't. Half the time, you don't even need to speak to a human being to do predictable traveller things like check in, check out, or order breakfast. Even the most dirt cheap business hotel in Japan seems to have a shockingly large (by western standards) set of in-room amenities, and though almost trashy, the fact that you can self-serve a beer/highball/sake from the vending machine placed on every other floor for a mere ~120 yen is a nice departure from the egregiously overpriced hotel bar drinks you will find in western-style hotel bars.
Agree with this. If I were searching for something controversial but with some traction already, I'd be inclined to try reddit or even search through HN for links. A lot of non-mainstream but sometimes still reasonable stuff gets posted here and just not voted up. Censorship is less the problem on bigger search engines than the fact that there's nothing to sell on a search for something controversial. At best you're likely to get the most extreme "fox news" (or worse) inflammatory version, necause you're more likely to click on it, if you are able to successfully search on a regular engine.
Squeak's virtual machine was an interpreted one until the company Qwaq hired Eliot Miranda in 2008 or so to develop a JIT compiler virtual machine. His "Cog" VM is what is used for Squeak, Pharo, Cuis and NewSpeak on x86, x86-64 and various versions of ARM. This, combined with faster hardware, makes for a much nicer experience than in 2002, for example.

Of course, some of the extra performance is lost when new layers of code get added, specially in the graphical user interface.
Notably, triple-rank configurations work just fine.
It's just not trivial to find both a dual-rank module and a single-rank module with the same components used on both (so all the sub-timings match and performance will be nice and proper).
The world’s largest car manufacturer (by units) is Volkswagen, FWIW.
> one possibility was to use something radically different from what we already had, such as including LSM trees or B-trees, commonly used in time series databases. Adding trees would bring the benefit of being able to order data on the fly without inventing a replacement storage model from scratch.

> What bothered us most with this approach is that every subsequent read operation would face a performance penalty versus having data stored in arrays.

Unless I missed something non-obvious from the article, I'm not convinced B-tree storage inevitably faces a read performance penalty compared with storing data in arrays on storage - because B-trees can be made of arrays.

A B-tree can be thought of as a flat set of storage blocks, each of which contains the contents for a range of keys in a representation of your choice, and an index mapping key ranges to storage block locations. Usually the index is the same data structure but smaller, and through this recursive definition you get a tree. This is an unorthodox way of thinking about B-trees but it works and generalises well.

That storage block representation can be a sorted array of data if that's what you want.

Reading from a B=tree involves locating the storage block using the index, then reading the data you want from the block, in whatever representation is used. Presumably "data stored in arrays" also involves non-contiguous segments in storage at some size of segment, so small lookups involve finding the right segment, perhaps binary search to locate a first key, and then scanning it, and large range scans involve iterating over segments.

When the database revolves around fast SIMD array scanning operations, it can do that just as much inside a B-tree block that uses array representations for its contents as it can inside a segment of another array storage structure.

Maintaining this structure will slow writes with out of order values, but you have that problem with either data structure.
>It’s been hit twice on the flank with tranquiliser darts
>He kneels next to the elephant and hooks its penis into a device that looks like a huge condom. A conservationist inserts a probe that emits small electrical shocks to stimulate the elephant’s prostate in a process known as electroejaculation.

If a human standard was applied it could be described as drugging and sexually assaulting an elephant!

A noble goal however, the planets biodiversity is in a death spiral.
>"Whereas the airline equivalent is whether to schedule an additional flight. Which is easier to commit to than whether a new track is justified."

Except many world's biggest airports, like Heathrow, are operating at peak capacity and building another runway at heathrow is expensive, controvertial, involves relocating people's homes and is still a political football
The change after would just be a new branch and then a new merge. First merge is adding the feature second merge is the bug fix.
That is still not a good argument.

I do feel for these people though. Depending on their company they could try and fight it and change it (can be possible depending on things like company size, is this being introduced or well established, your influence level w/ the deciders etc) or simply and RUN and never look back.
Ah, got it. We might also want to look specifically at the market for digital cameras. The median age in US and Europe is more like 40; Japan is 48. And the median age of people using digital cameras is surely higher than the population median.
But not everything does translate. Here's a simple enough example:

Some people will tell you that "aloha" means "hello" and "goodbye". That's not really true. It used as a salutation and a farewell, but "aloha" means Aloha: a whole concept that is specific to Hawaiian culture that often translates more accurately as "beloved".
There does seems to be less diversity across the board as services like DNS, SSL certs, etc, all converge into a few big players.

Not to say there aren't choices and smaller providers. Just that a higher percentage of the business is going to the biggest players than in years past.
Tonnels, we are made massive ones through the alps in europe

https://en.m.wikipedia.org/wiki/Gotthard_Base_Tunnel
Why is this a problem when github does it, when tabnine has been doing this for a long time ?
I know a short term solution. Here is the local Canadian example. I forgot the exact details as I read it long time ago. The basic idea was that that the government scammed a man of his money and then was taking their time (years of course) to return. Somehow this man managed to convince the court so the police just came to a government office in Montreal and shut it down threatening to confiscate all the property. Suddenly the whole thing got resolved in few days.

Basically the idea is that in cases like this the government must be made hurting and there are plenty of ways to make them really hurting without doing anything extreme. Just suspend the salary of the whole office and see how their attention span suddenly change. And whoever voted in laws allowing such a gross fuck ups - fine them for negligence when introducing laws without safety measures built in, or give them all inclusive accommodation in Club Fed.

I hear a lot of blubbering here advocating people to be jailed for not following proper security with infrastructure software. Well I think the cases like the one mentioned should be a higher priority.
Fine, so he’s an idiot. Who cares! It changes nothing to me. The entire idea of outlawing misinformation and fake news is absurd. Let him speak, let his viewers be misinformed, the world keeps on turning.
It was conditionally returned to an authoritarian state with the proviso that they’d not bring their authoritarian policies to HK. Can I just say that many thought this was naive back then? And precisely because there was a lack of confidence in any nation (England and allies) to have the will to enforce the terms of that agreement kinetically. The naïveté was banking on the bright-eyed hope that China would turn a philosophical corner as economic prosperity increased, without any will power for the implied contingency plan (retaking HK). And here we are. Far from blind optimism, this was lazy hopefulness. I’m not advocating empirical crusades - simply saying that former empires (and this includes the US) cannot make red line demands unless they can be believed to dominate a kinetic engagement with a sense of real empirical ownership (resources, culture, institutions). As we see in Iraq and Afghanistan, “nation-building” is a losing exercise in attrition. Again, this should be seen only as an argument that because former empires are not capable of that commitment, they should be far more judicious in painting red lines, jealously guard their commitments to mutual defense, and not hand back occupied territory to bad actors expecting anything less than the whole consumption of those resources by that bad actor. We are about to watch Afghanistan fold back onto itself. I think it’s the right thing to do, hard as it will be to watch, but we should all understand clearly what’s about to happen and not feign surprise - it’s paying the price of a mistake made earlier. We’ve just been delaying the obvious too long. The trick to not being in this position is not putting ourselves and other countries into such positions to begin with. Similarly, England was wrong to hand back HK to the communist regime in China without the full acknowledgement that what is happening now was ever a likely outcome. To wring hands about it now is pointless.
> I think a very useful skill in life is being able to read past slogans and actually understand what people are asking for

I think a very useful skill in life is accurately communicating what you actually want to say so that the receiver understands your message. The responsibility of communicating is on the protestor--they are the ones trying to change things.

I don't think that the extremist language had anything to do with getting people talking about the problem. George Floyd's death is what got people talking about it. Seems to me the more radical people are advocating "defund the police" as a solution. If they really want police reform, why not just say that? They wouldn't alienate everyone who thinks that is a silly idea. So tactically it is a major blunder because they've needlessly lost support. Why would someone who disagrees with "defund the police" as a solution risk working with them--what if they actually believe what they say?

> If extremist messaging is what gets people talking about the problem then so be it.

This cuts both ways. Can I assume that you're good with the right wingers' extremism, too? And how are you going to keep it from escalating? They still aren't listening, better make the statement louder, maybe in blood this time? Extremism begets extremism.

I am pretty opposed to extremism, and I think a large part of the problem in the US is that the only voices are the extreme ones shouting really loud. A group of friends driven by loud, extreme voices is dysfunctional, and larger groups are no different.

Besides, reacting to a problem with extremes doesn't solve the problem, it only changes what problem you have. Historically it usually changes for the worst.
US reader checking in. If they'd translated it as "town hall" I'd assume they were talking about a dreadful televised political rally.
Oracle took over OpenOffice in 2010, so a possibly relevant earlier example is X.Org forking from XFree86 in 2004.
I wish I had known of this side of him when I visited Japan 3 years ago :/ Interesting article! Also, the documentary someone else linked below is good!
I believe they were specifically looking at TSDBs vs document DBs.
> You must not have been paying attention. There were a hell of a lot of us, and we weren't quiet. Or wrong.

What? How old are you? Where did you live when it happened? What community or group was against striking back after 911? How can you even say you were "right" when the rest of the country didn't agree with you?

> Oh, of course not. We'll have left behind whole shipping containers full of the things.

Do you really think Afghanistan won't be the new isis state? The government is weak and one of the mightiest militaries in the world couldn't help defeat the taliban. The taliban is battle hardened and it seems incredibly doubtful they won't retake the country. If you disagree, please explain how you envision a happy war free Afghanistan that won't
breed enemies of the United States after we leave.
Breaking car window is clearly nonviolent property crime presumed no one gets hurt.

> because nobody confronted the thieves

Not really because of this, but rather because there was no assault to addition to the property crime. Its not absolutely impossible for that robber with bicycle from the Walgreen's video to repent when guard lazily tried to stop him.
um, about the 8th paragraph:

"The letter informed her that a lawyer in a court case relating to her cleaning business had told the court that she had died, aged 53, in February 2016. Somehow, this unverified claim – there was no official death certificate, how could there be? – was allowed to go unchecked and unchallenged."

Then further down: "“It was a trap, an ambush. She couldn’t win the proceedings while I was alive, so she had me declared dead,”"

It appears that the woman (or attorney) suing her for some employment error claimed she was dead to be able to get an advantage in their lawsuit, and to be able to go after her "heirs".
> Unfortunately it does.

No, it doesn't.

> Hasn't been called up since the Vietnam War

Right, because there is no draft law.

> but the system is still in place and people are still required to register.

No, the registration system is in place, but it would take a change in law for there to be a draft.
Sorry, I was specifically responding to how my parent views open source.

I agree that Copilot was probably trained in part on public code that isn't open source -- GitHub's claim (not saying I agree) is that they don't need a license to train on code.
I appreciate you clarifying you have no examples of non-scammer people who need anonymous payment for websites. That was my question, and you have answered it. Maybe next time you could skip the drama and just say so?
Go Package that Handles file uploads and organises files based on DB entities
"unlicensed open source software" isn't really a thing. If you push something to GitHub with no license it's source-available, not open source.
Ask HN: Google Team Matching Before Hiring Committee
Hi,
I had my virtual on-site last week for L6 at Google. I was under the impression that after that, a yes/no decision would be made by a hiring committee. However, it looks like it will go through the Team matching and then the HC.

Any one with info on this? Is this a new process?

I am applying for L6.
Polls should actually exclude people with homes!
The fact that the stock price of both akamai and fastly increased after these incidents makes it seem like these incidents don’t matter. I wonder what’s the threshold at which market sentiment flips from “everybody makes mistakes” to “these providers are incompetent and will lose customers”.
The more useful skill in life is to take written statements at face value. Otherwise a more valuable life lesson will be learned when you challenge a written contract in court.

Even slogans must be taken at face value, e.g. the Jews in Europe who could have escaped Nazism in the early phase, but waited too long because “they can’t be serious…just read past the slogans, it will all pass.” Godwin’s “law” notwithstanding…just one egregious example among many.

Not suggesting SF is at this stage, but a blasé attitude to what is actually being said in these situations has had severe consequences in the recent past. If you say “defund the police”, you better mean “defund the police” because any mature adult excepting your parents (maybe your grandparents) are going to interpret it as abolishing/crowdsourcing(?) the police. If you don’t mean that, then don’t say that. If it’s just unclear, than stop saying it and say something clearer. It’s the responsible thing to do.

Late in Timothy Leary’s life he was giving his standard spiel and he was surrounded by the usual burnouts and psychedelic enthusiasts who were being unusually silly, naive and annoying. A friend commented to him “Does it ever seem to you that all the neurons you killed off over the years have reincarnated into these people?” You wonder about the homeless being the karmic hair shirt some older SF folks wear to repent for their misspent youth/adulthood or accidentally winning the housing lottery. There but for the grace of tech dollars and Daddy’s money go I.

PS: Doesn’t it seem the cities most bought into these political fads are also those with the most self-indulgent parenting styles? Might be worth a study.
> open source and free for non-commercial use only

That's not open source: https://opensource.org/osd
True Cost Of 2021 Tesla Model 3
[A] passenger version of the X-59 would be two hundred and thirty feet long, about the length of a Boeing 777, and carry around fifty people.

That’s 22ft longer than Concorde with half the px.

https://www.britishairways.com/en-gb/information/about-ba/hi...
--first-parent works for both bisect and blame.
I’m sure Steve Jobs stayed at the highest end spots elsewhere on the planet. It mentions in the article that this place is right near his favourite soba.
Health Benefits of Cauliflower – Usage Tips and Recipes
Health Benefits Of Cauliflower.

Heart health
Mental health
Bone health
Immune support
Weight loss
Digestive health
and Other benefits

Usage Tips and Recipes.
For many, the question is about the code quality as well. Having an AI write substantial chunks of code based on the work of "the average github committer" is being criticized as a problem for security, correctness, and understanding.

I think such arguments are a little overheated, but I do have my copy of tabnine configured to use only local code because depending on the full dataset (which is available over the could only IIRC) seemed like it was going to be more work than it saved.
I'm on record railing against the collective power of BigTech, in particular some of their leaders' public statements about using their power to put the thumb on the scale since the 2016 election.

However, here I'm not convinced there's a huge issue. As I understand it the videos are still available on YouTube, but the creators are no longer able to generate revenue from them (or other videos on their channel). I'm not convinced YouTube owes anyone the ability to generate revenue from videos hosted (for free) on their platform.

I would expect many advertisers would not want to be associated with "fringe" theories; as the money YouTube pays creators is funded by advertising revenue, this makes demonetizing anything that strays too far from socially acceptable norms the sensible thing for YouTube to do IMO.
Define “fund”. I don’t think he directly funds most of those operations simply because there’s no need.

Imagine if Merrick Garland announced that he was using prosecutorial discretion to effectively decriminalize cyber attacks on foreign countries as long as they didn’t affect US interests and the best of its allies. The federal government wouldn’t need to fund the entrepreneurial ambitions of the US talent pool. They’d self-fund and make a mint in the process.

It’s privateering of the modern age. So Putin only “funds” them in the sense that he allows them to operate, providing them implied letters of marque.
It would be the first team using it, not the first user. No one is going to pay Slack to send messages to themselves.