skysight-inc/HackerNews huggingface dataset:
Adding to this, here's a couple more options (also written in Rust):

Meilisearch - https://meilisearch.com/
Sonic - https://github.com/valeriansaliou/sonic#readme

Sonic is slightly different in that it returns the indexes to the documents that you use to go and get from an external store, but the engineering behind it is super cool: it uses finite-state-transducers to build the trie's which are then search.

Edit: updated to correct link
Probably a habit built up over time. You don't just go from upstanding guy to con man overnight.
> Trade secrets were invented as a riskier way to extend your monopoly by giving up government protection.

You're definitely mistaken on that point. Trade secrets enjoy protection in the law, both in the US and worldwide:

https://www.uspto.gov/ip-policy/trade-secret-policy

> If the government is going to give trade secrets the same protection as patents (or even more, because patent infringement doesn't come with jail time), companies have zero motivation to publish.

Despite both forms of IP enjoying legal protections, there are many reasons to prefer trade secrets over patents or vice versa.

It's much much easier to accidentally lose trade secret protection by inadvertantly divulging those secrets, so in that sense patents are more "durable".

You also can't use trade secret protections to prevent reverse engineering, so any invention that's easily observable and reversible is not suitable for trade secret protection.

Trade secrets also can't be used to protect from independent invention, so if someone else discovers your trick, you have no recourse.

Conversely, trade secrets apply to things that cannot traditionally be patented. The classic example is, of course, the recipe for coke, as recipes in general are not patentable subject matter

Trade secrets also have no expiration date, hence again, Coke.

Obviously this is a deep well and I've only just barely scratched the surface.
If you accuse someone of theft, shouldn't the burden of proof be on you?

Also, if two people make a bet, and one person wins, is that theft?
I was with you until

> Both my Mac and my Pc from 2005 are way snappier than todays OSX or Win10. Not as fast but has way less latency.

The single most dramatic performance increase I have ever experienced on a computer was with the advent of the SSD.

Load times < 2009 when SSDs became mainstream were atrocious.
Well, let’s consider a simplistic example: an obscure currency, let’s call it FAKE, that can be traded for USD.

That currency is only used by people in a small island, and that island only exports clamshells and imports Big Macs.

In this scenario, and unless I’m mistaken, the FAKE/USD rate will vary depending on:
- how much clamshell those people can export and how much US people value them
- how much BigMacs those guys import and how much those guys value them

Enters a day trader - someone who will never buy a Big Mac nor any clamshell. The guy speculates and there are two possible outcomes :

- He fails. Technically he basically gave “value” to either USD holders or FAKE have holders. Too bad for him, but he kinda made this happen.

- He succeeds. Now what? Isn’t that kind of a parasitic behavior? Couldn’t that be considered theft to some extent?

I guess the question may boil down to “why would they even let the day trader be part of this?”.
This is the right move. Get two u2f keys. Keep one on your person on your keys, keep the other in your car, at your parent's, or in a safe deposit box depending on your personal threat surface.
Kudos! You have to admire anyone for executing on a launch this well as a solo dev. SaaS products targeting the more casual professional have a huge potential to grow right now.

IMO the killer feature will be the seamless import/export of content from phones to Web UI to social media account. Any platform allowing a frictionless experience in this regard will open the market to the much broader audience, which I think you're well branded for.

I'd love to hear more about your experience building the rendering stack with ffmpeg - and whether or not you recommend using it.
Oh. I hadn't been following the story and had assumed somebody was facing justice over the woman killed by Uber's unsafe self-driving car experiment.

... How silly of me.
You did the right thing. Thanks.
That's what you get with an ETF consisting of futures contracts...
This speculation is silly, uninformed and unhelpfull.

There was a primary fire of fireworks, you dont need to invent conspiracy. Besides one does not need a drone to start a fire in an unattended warehouse.
Didn’t accuse anyone though :)
> The other versions are native. It's one of the things that sets 1Password apart. Is the Linux version Electron?

Yes, it is very obvious from the screenshot that it’s built on top of Electron [1].

GTK nor Qt have that type of UI elements, they are obviously HTML elements stylized with CSS.

Another hint is in the files contained inside the Debian package used during the Linux installation [2]:

root@3cb1637b3070:/# apt-get download 1password
root@3cb1637b3070:/# dpkg --extract 1password_0.8.0-22506_amd64.deb temp
root@3cb1637b3070:/# ls -lia ./temp/opt/1Password/
total 177900
661008 drwxr-xr-x 5 root root 4096 Aug 3 18:23 .
661007 drwxr-xr-x 3 root root 4096 Aug 3 18:23 ..
661011 -rwxr-xr-x 1 root root 129796744 Aug 3 18:21 1password
661010 -rw-r--r-- 1 root root 1060 Aug 3 18:21 LICENSE.electron.txt
661023 -rw-r--r-- 1 root root 4710103 Aug 3 18:21 LICENSES.chromium.html
661021 -rwxr-xr-x 1 root root 6322128 Aug 3 18:21 chrome-sandbox
661017 -rw-r--r-- 1 root root 179981 Aug 3 18:21 chrome_100_percent.pak
661013 -rw-r--r-- 1 root root 321151 Aug 3 18:21 chrome_200_percent.pak
661022 -rw-r--r-- 1 root root 10505952 Aug 3 18:21 icudtl.dat
661012 -rwxr-xr-x 1 root root 243992 Aug 3 18:21 libEGL.so
661014 -rwxr-xr-x 1 root root 8948960 Aug 3 18:21 libGLESv2.so
661024 -rwxr-xr-x 1 root root 3103488 Aug 3 18:21 libffmpeg.so
661020 -rwxr-xr-x 1 root root 4488304 Aug 3 18:21 libvk_swiftshader.so
661018 -rwxr-xr-x 1 root root 8483376 Aug 3 18:21 libvulkan.so
792826 drwxr-xr-x 2 root root 4096 Aug 3 18:23 locales
792824 drwxr-xr-x 2 root root 4096 Aug 3 18:23 resources/app.asar
661015 -rw-r--r-- 1 root root 4791423 Aug 3 18:21 resources.pak
661009 -rw-r--r-- 1 root root 50592 Aug 3 18:21 snapshot_blob.bin
792821 drwxr-xr-x 2 root root 4096 Aug 3 18:23 swiftshader
661019 -rw-r--r-- 1 root root 170903 Aug 3 18:21 v8_context_snapshot.bin
661016 -rw-r--r-- 1 root root 107 Aug 3 18:21 vk_swiftshader_icd.json

You can use “npx asar extract /opt/1Password/resources/app.asar source” to access the JavaScript files [3].

[1] https://i.imgur.com/pGJ4Wvd.png

[2] https://support.1password.com/cs/getting-started-linux/

[3] https://stackoverflow.com/a/38524534
Intellectual property robbery
The problem is that it would break all employment as we know it. Now all I have to do is get hired on AdWords, steal the algorithm, & start a startup to undercut Google. I can price at a loss because I'm a small fish. Google can't because they've got monopoly concerns. Even outside of that extreme example, this would come up regularly for any pure technology startup looking to exit with an acquisition.

That's not to say it's not necessarily a better system (no trade secrets - all innovation is public) but the monetization strategy to reward novel innovation is much less clear (you can only get so far on support contracts).
> would anyone choose to book a trip on one of these new Boeing aircraft rather than anything else?

To me getting to/from the airplane (any model) is usually of significantly more concern[0] than flying itself, so the only reason I would actively choose a specific airplane is if I get to fly in a new or interesting model. So there, you have a definite yes from me.

[0] Traffic accidents, possibility of losing possessions, issues at immigration, untrustworthy taxi drivers, etc.
From the videos I have seen the Tianjin fireball seemed to rage even for a longer duration. In the Beirut one maybe because of daylight, fire is not visible after the big blast. I wonder what would cause that difference, the Beirut one supposedly had more material as well.
> How do the likes of Google and Facebook get away with fines <1% of annual revenue? This seems disproportionate

Google and Facebook spend more on lobbying.
This isn't even a hard technical constraint. With async javascript "module" loading, and stuff like the new federated webpack stuff, you can have a lot functionality loaded in on-demand.

That won't always work out or be necessary though.. For an app like Lucidchart or something, I can deal with DL'ing updates every now and then. I spend most of the time in the running app.
Take a marketing class to defend yourself.
How to Create Unlimited Rotating IP Addresses with AWS
I wonder if this means they'll build for Windows ARM64 next or continue ignoring it until after they support it for macOS
well i do the same work twice as fast and with twice as less bugs. people are not machines we don't have all the same output and don't all deserve same money
This is a prototype of the bottom part for the upper (second) stage of SpaceX's next-gen rocket — Starship.
At least for right now. We'll see how things look in a few years. If Intel can't get back on track, ARM might actually surpass them and that's a very good reason for Microsoft to be looking to support ARM.
Putting people in an enclosed room for 18 months sounds pretty barbaric vs. the measures I am recommending which is basically live a modest free life like the middle class of America.

Why is that harsh?
Differences in opportunity, in the formative years, will actually make a person dumber, and that is likely permanent. The IQ test doesn't cause such an effect; it just reveals it.

Since tests are necessarily biased, maybe the way forward is to tune the bias to the test subjects. Then, out the window goes "standardized", at least for that interpretation of "standardized" which means everyone takes exactly the same test. (And which is never literally true, because year over year, you cannot use exactly the same test questions.)

I think tests tuned to cultural differences would never fly in America because the idea is contrary to political correctness. Everyone is equal by definition, why would they need a special test. Cultural differences, what? We are all Americans; gear the test to American culture!

And then, what if it turns out that members of a certain minority group do better on IQ tests designed for them, yet is is found that white, upper-middle class kids also do better if given those tests? Oh the horror: members of minority X are actually dumb, and the test they are given isn't actually tuned to them culturally, but nothing more than dumbed down. The conservatives would have field day.
> the death of high quality software engineering

I think this is the crux of it. It isn't client side or server side rendering, it's simply bad code. Both approaches can be bad if they're poorly engineered. With modern trends we see front end based rendering more prominently, and with that we see a lot of truly terrible implementations. A lot of this is the ease at which you can include a library that does some task for you, but often at the expense of bloating the payload. Good software engineering is hard. It requires effort. It requires more time. It's the antithesis of agile development; moving slowly but being robust. Most companies or side projects aren't willing to choose to build features more robustly if it means cutting the dev speed in half.
You can always 'create' more oil by pumping it out of the ground once the prices hit a certain amount. So it's not really 'zero-sum'. If the supply isn't locked or restricted it's hard to say that.

Same thing with Tesla shares, or whatever it is. If you can create more Tesla shares its not zero sum (which is done often).

Currencies too are printed when needed. About the only thing really zero sum are some cryptocurrencies.

You could argue in some way that it is zero-sum, but if the price goes down and oil companies don't pump oil out, they don't really lose anything - especially with derivatives as it is on a future outcome.
There needs to be a buyer and a seller for any trade. You don't know the stories of the other participants in those transactions - maybe if they didn't get rid of their oil on that day for pennies (or negative dollars), they would have been forced into far worse consequences, defaulted on their legal obligations, or forced into breaking a trade. If you read the terms of the futures market, it is very specific in how you must take delivery and where, and failing to fulfill those requirements exactly would result in way worse consequences (imagine an oil trader who is banned from trading... yeah way worse than losing a bit of money). There is a set of counterparties out there that collectively decided that paying those guys $500M was better than their next best alternative.
Some people always take the path towards “more.” It doesn’t matter how much they’ve got, if they can find an opportunity for more they’ll take it.
Bayesian analysis of tests with unknown specificity and sensitivity [pdf]
Covid-19: accelerates the Future of APM
Thank you, it explains a lot. However, I'm struggling to imagine from the top of my head a problem, where I'd need a DB that is both bitemporal and graph-based, while keeping in mind that both conditions are relatively "expensive" compared to what more common relational design could offer — so I really better have a good reason to chose something exotic like that! Do you perhaps have some example?
Why is it offset from center? To stress test the steering?
Longer fire = less energy for explosion?
I never said an AGI cannot know its own code, I said it cannot know both its own code AND its own truthfulness (while being truthful and satisfying certain other idealized assumptions). As for why this is the case: it's not an assumption, but rather, a theorem, one which has been known for a long time.

Here's an extremely oversimplified proof: suppose Turing machine #500 encodes an AGI X and that AGI X knows "My knowledge is truthful" and "I am encoded by Turing machine #500". Using Goedel's diagonal lemma, there is a sentence phi, in the language of Peano arithmetic, which expresses "Turing machine #500 knows the negation of phi". Since X knows himself to be Turing machine #500 and X knows himself to be truthful, X should be able to infer that phi is false (because if phi were true, then Turing machine #500 would know the negation of phi, so (since Turing machine #500 is truthful), phi would be false, a contradiction). So X knows that that phi is false. But phi is synonymous with the assertion that X knows phi is false---so, since we have shown "X knows phi is false", we have in fact shown phi is true. Absurd. Our only escape from the paradox is to acknowledge that X cannot know "I am truthful" and "I am Turing machine #500" simultaneously (and also really be truthful and satisfy idealizing assumptions that allow X to make the above inferences).

You're right that I keep using words informally, because this is hacker news and not a logic journal. If you want to see things spelled out in gruesome detail (warning: math), you can read here: https://philpapers.org/archive/ALEMTI-2.pdf
I think that would be true if I were to pay them by the hour. Fortunately, I'm not (at least not in the case of the remodel I'm going through now), but it means it's on me to make sure everything is the way it should be. I guess it's still a way for them to gamble - if I find a problem, they'll come back and fix it, but if I don't, that's some saved time for them. I'm ok to play this game, but it's not making me believe in "pros will do it right".
I pulled the plug on 1password because I hate subscriptions.

There is also no logical reason to pay agile bits for single-purpose back-end infrastructure when we already have dropbox, etc.. An encrypted password file is tiny.

Subscription apps (and subscriptions in general) are simply not scalable in their current implementation.
One of my colleagues was in grind mode and switched to a 6 day life week by living 28 hour days so that he could be on certain machines all night when normal humans were sleeping.

Yeah he burned out quickly and left with a masters.
Electron is still the best cross platform toolkit when you need browser support too.

Agree, just though it was too much for something simple as displaying logins/pass but looks like it has lots of features?
It is quite amusing that he thinks the English language has "rules" as though it were a well designed programming language.
What you don't get a sense for in the video is the size of this thing... It's absolutely bonkers.

9m (30 ft) in diameter
50m (160 ft) in height (or would be with the nose-cone)

That's the height of a 12-story building. And this is the upper stage of the full rocket.
> it’s not true that renewables are not commercially viable.

Ah, I think this is perhaps a language problem. Given you said in Poland I suppose that it's plausible English is not your first language. Here's what I wrote:

> In the UK where green energy isn't commercially viable on its own the subsidy is implemented as Contracts for Difference.

Now, what I intended here is that "where" is a conditional constraint on the subsequent explanation. I can see what you thought I meant, and it's a valid reading of the sentence but isn't what I intended. What I was going for is roughly equivalent in meaning to:

> In the UK, if some particular type of green energy isn't commercially viable on its own the subsidy for that type of green energy is implemented as Contracts for Difference.

Thus, CfDs are no longer available for some proven plant types, it makes commercial sense to build these anyway, so no need to subsidise them. But for others subsidy is still very much necessary. Tidal projects are an example, you can make power from tidal forces, on the coast and Britain has lots of coast because it's an island - but right now all projects have a huge up-front capital investment that can't be justified by low electricity prices so a large subsidy is necessary if they are to be developed other than as small research projects.

You're correct that risk reduction means it can make sense to offer (and bid for) CfDs even when the strike price will be below expected market prices. And it's anticipated that a future UK government "Pot 1" auction for onshore wind will work out that way, there's no way new onshore wind needs £40+ per MWh but that's what you'd get on the open market today, however the risk reduction is valuable at a lower price.
After putting it off for a while, I finally moved from LastPass to 1Password around the beginning of the year.

Inertia kept me with LastPass, but I really should have fought that. There's just no comparison between the pile of slow crap that is LastPass and it. I guess I just accepted that a password filler would be clunky, but... no. 1Password is much, much better.
Note that since ammonium nitrate has relative efectiveness (RE) factor of 0.42 [1] those ~3000 tons of AN would yield ~1.2 kt rather than 3 kt.

[1] https://www.bits.de/NRANEU/others/amd-us-archive/fm5-250%289... page 30
but convenient :)

I'd feel really uncomfortable if it wasn't a backup option. But if it's a backup option it's a security hole. That's a tough circle.
History is boring because you don’t want to feel it
The 'thrust puck' the engine is mounted to is designed for multiple engines, none of which are in the centre.

They are only using one engine this test, but are testing the flight-design thrust puck (as opposed to some interim structure with a centre mount for the single engine).
Pretty sure you can't upgrade the RAM in the newer models.
People in the security industry have told me that this sort of thing often comes down to ego and self-importance.

In Intelligence, people have been caught selling state secrets for 10-20k a pop. The kind of secrets that can land you decades in jail. It makes no sense from a monetary standpoint.
Well they don't really have only one of each category. They just market it like that and instead of giving variations a different product name, they treat it like the same product but with different attributes. For the laptops for example, they have different size models with different performance specs and hardware that changes over time. But they sell all of those options as a Macbook Pro. You might have a 2018 Macbook Pro 13", but by calling it just the Macbook Pro, they keep the number of models that users need to know about manageable.
So which traders lost $500M?
What are the current best options for hardware tokens then?
A speculator does one thing only: takes assets not in (peak)demand today and bets they are gonna be in demand in the future. He takes a calculated risk and a lot of times it doesn't pay off. Everybody involved is getting paid and all the transactions are voluntary.

If you think that is theft then I don't know what to tell you.
You mean the one who was jaywalking and wasn't visible until a split second before she was tragically killed?

Do we afford the same condolences to the tens of thousands of other traffic victims?
Create a Scale-Out Hive Cluster with a Distributed, MySQL-Compatible Database
My brother always says "It's either good, or a good story." I guess Type II Fun is the good story. I imagine this guy's friends and probably he himself will consider this Type II with time!
Numerous manufacturing delays, the dismal perception of their service centers (I'm a part of Tesla owner groups and nothing gets people riled up like talking about their service experiences), the constantly changing prices, the consistently missed deadlines.

Let me be clear. I own a Model 3, and I love it. I also own Tesla stock. And I cheer when their sales go up.

My criticism is from wanting them to be better. They've got all the really difficult stuff right (the car is amazing, comfortable, and we all love it). It's the easy stuff that's "boring grown up stuff of running a business" where they need a lot of help.
And who supervises the kids? Drives them to school? Makes their lunches? Teaches them?
I imagine they also reduce their support resources, and improve their customer retention, by pricing where they do. Low-cost shoppers are going to be hard to retain.
There is an air of elitism in SV generally and sometimes on HN (I attribute this to lack of education rather than purely bad intentions). Coming from a background of unskilled blue collar work (commercial roofing, assembling buses, carpentry apprentice) this was slightly satisfying read in a sadistic way. Much like playing piano or other instrument, manual labor is a skill; watching a senior craftsman perform at a level 10x-25x of what you could do is awe inspiring.
Fyi, the word is "queue".
Video Transition Effects with FFmpeg
Something I've noticed is that Dead Code Elimination for Javascript sucks. Yes, there are the (relatively) single "tree shaking" algorithms, but there because of various language issues, it's very hard to mark code as completely unused. Because of this it's extremely common to pull in a library and have a bunch of code that's never used in production!
Apple brags about their custom timing controller a minute into the original 5k iMac intro vid:

https://youtu.be/6vBEiPaegjM?t=60

This is most certainly why video input does not exist. What's ridiculous is they clearly figured it out to support the LG 5K display which is the exact same panel and over TB3 which the iMac fully supports.