skysight-inc/HackerNews huggingface dataset:
Curiously, I’ve never seen anyone in forums take this premise to its logical conclusion and advocate the use of a language which has a much more powerful type system than Rust does, like dependent or refinement types. Haskell, Scala, Idris, and others (even Python with crosshair!) natively or with extensions support enforcing some very sophisticated constraints on a program. Tagged unions and interfaces are hardly the limit of what’s possible. However, I don’t think cutting edge type systems, theorem provers or other sophisticated tools for program validation have demonstrated enough business value to receive widespread adoption outside of only some (albeit very important) market sectors.

Really, I think most argumentation comes down to “the type system of the programming language I want to use anyway is the right one, and everything else is wrong”.
I appreciate the effort. But, won't this need a google API key? Is this something you are passing as build argument?
Your comment got me thinking, Apple probably was already buying large blocks of pentest time, and the comments in the thread make it seem like these were obvious flaws. Is that right? If we assume Apple already had a contracted pentest firm, can you speculate why didn't they find these flaws?
If you ever personally split up a company, I strongly advise you to hire a branding consultant. :D
They don't ship with coolers?

Man the lack of a 5700x is really making it hard for me to not justify getting a 3700x on sale
https://www.mintpressnews.com/shocking-origins-jeffrey-epste...

Whitney Webb is arguably the premier investigative journalists of our age. Any publication that doesn't source her work is simply not credible.

https://www.thelastamericanvagabond.com/category/whitney-web...
But they do and we all know they do... By default we can see our own search history.
You can also underclock the high end parts by lowering the voltage and/or thermal limits that govern the behavior of CPB/XFR/PBO (the CPU's internal clock-setting mechanism(s) at P0). That might correspond more directly with the benefits associated with a 65W SKU without hampering performance more than necessary.
Unicode [0].

You'll need a terminal that supports Unicode (but most do nowadays, AFAIK) and a font that can display Unicode characters.

Oh, and make sure you're using a locale that supports UTF-8, of course.

---

[0]: https://en.wikipedia.org/wiki/Unicode
Lockdown -> O(1) traveling salesperson solution.
I think constant runtime is technically not polynomial hard...
But seriously this is very cool. Glad to see progress in mathematics.
I haven't ever seen that measured or heard of that hurting memory bandwidth, do you have a link?

Most programs are not memory bandwidth constrained because they aren't optimized well and are bottlenecked on memory latency.

Prefetching is going to be wasted much more on programs that are hopping around in memory, which will be constrained by memory latency and far from having memory bandwidth problems.

Programs that run through memory linearly with short or no branches will be using all the prefetched memory.
Google, Stanford, & MIT Top NeurIPS 2020 Accepted Papers List
Founder of EnvKey here. I'm glad to hear you're a happy user :)

There's certainly room for alternatives in this space! I'd say the major difference from my perspective is that EnvKey uses client-side end-to-end encryption and a signed desktop application instead of a web app interface, giving it quite a different security and trust model than Doppler.

Because Doppler is delivered as a web app, its users are implicitly trusting Doppler's servers on every request. If their servers were compromised, user data would be at risk despite any tokenization or encryption they might be using on the back end, because the attacker could simply inject malicious javascript into the html of the initial web app request. EnvKey's architecture doesn't allow this.
But three of those 7 models (eUp, Citigo, and Mii) should count as one, beucase they are the same car, manufactured at the same assembly line with different badges.
That's fascinating, but now you know why people in the US are quick to embrace DoH in its default configurations. And, of course, nothing ties DoH to major US corporations. You can DoH to a NUC in your cousin's bedroom closet.
Which macbook do you use? Thinking about replacing my thinkpad e590 with macbook pro 16
Anyone know what effect this will have on folks drawing a pension from IBM?
See my comment above. An elevated (or submerged) tube with rails (or a track) inside cannot be less expensive than those rails or track elevated (or submerged) alone. I get the pipeline metaphor, but a pipeline with infrastructure inside is just infrastructure + pipeline. So instead of a train system the proposal has always been to build a train system inside a pipeline, which has to be more expensive than either. We have no indication of cost savings here.
Nope. It's a poor press release because that is not what "general public" means.

You shouldn't have to analyze the takeaways of what Waymo really meant when they used the extremely common phrase "general public."
Commission Announces Second Presidential Debate Will Be Virtual
I'm glad too but it's difficult for me to imagine the improvement when it's

> 0.2 billionth of a trillionth of a trillionth of a percent
It also depends on what they mean by cloud. If cloud is their Softlayer acquisition, I am not impressed.

I would love to see them build out a real cloud solution, perhaps even using datacenters full of their z15's. I can't imagine anyone competing with that on commodity hardware in terms of deployment speed and connectivity speed between instances in the same location. It would be crazy expensive though and I doubt they would ever consider it and someone at IBM would have to write a web interface / API into the system that mimics the options of all the current cloud providers.
Do you really care about the longevity of the taxi company whose cars you are riding in? Half the time, I don't even know which company that is. Or the longevity of the particular farm from which your grocery's tomatoes have been sourced from?

This isn't e-mail. The cost and hassle of switching to a competing service is nearly zero.
When you're playing by Google's rules, there's not much to be accomplished in the form of complaining.

The problem that so by now many companies have been infected with the idea of using "Google's rules" as a playbook that it's still going to take several years for the contagion to wash out of the system.

Meaning we need to keep pushing back on multiple fronts. Given the insidiousness of the problem (and the psychological cost it has imposed on a generation of engineers; not to mention the sheer time cost) -- public exposure, followed by heaping mounds of ridicule (you can call that "complaining" if you like) would seem to be not only a valid, but unfortunately necessary part of our suppression strategy.

Otherwise, the people who keep foisting these questions us (as if they were a cool and nifty way to size up candidates) -- just aren't going to get it through their heads.

Personally, I would like to see what people thing about the actual solution to this particular problem...

I used to enjoy solving problems like these, during my high school and college years. Sometimes really, really enjoy it.

But now that I build real systems for a living (which generally involves much meatier problems to solve) -- and it's become part of the standard hazing process in far too many shops, for far too long -- I couldn't begin to care less.
stack wise but heap foolish
Maybe if Google had bought Sun after torpedoing it, we wouldn't be having this discussion and everyone was enjoying a Go style management with Java stuck at version 6.
Well, because it says "man" and that means a male. Never mind its from the German where 'man' meant 'person'; today in English we are where we are.

And 'a hundred years' is not much of a defense. Women couldn't sign a mortgage in the US in the 70's. I imagine folks defended that too - "Its the way we've always done it."
Interview with Wes Kao, Co-Creator of Seth Godin's AltMBA
> Since its publication, the RaTG13 virus has served as the founding evidence for the theory that SARS-CoV-2 must have a natural origin. However, no live virus or an intact genome of RaTG13 have ever been isolated or recovered. Therefore, the only proof for the “existence” of RaTG13 in nature is its genomic sequence published on GenBank.
Yes, this quote stuck out for me immediately as I thought of the custom network hardware run at Google, AWS, etc.
5% of Coinbase Employees Take Severance Offer over ‘Apolitical’ Stance
They've gone from 4-core CCXes with 16 MB L3 as the atomic unit of CPUs, to 8-core chiplets with 32 MB L3. So, broadly, workloads that fit in 32MB but not 16MB will perform much better on Zen 3.
> Even if next year, for instance, a facial recognition company can develop tech that works on protected images posted this year, if we are able to advance our protection to match advances in facial recognition next year the user will still be protected in real time...

This isn't entirely clear to me. Are you saying something to the effect of, "While historical images would indeed be compromised, there is value in at least the current images not being compromised"?
Good point.

I have yet to take the dive into buying or building a Linux workstation for development. Probably very worth it, but I have found the endless fiddling you can do with Linux to really distract me from doing the actual work I turned on the computer to do.
Hi, congrats on the launch! Potentially a little off topic, but I'm curious how you came up with the name Doppler. After the audio effect, or the Witcher creature, or something else entirely?
Same but I think the problem is tech people don't buy Oracle products on purpose, suits do that.
Does it talk much about DeFi?
Waymo was started in 2009, they have existed for half of Google's existence. The amount of research and money that has gone into it is not comparable to things like Google Reader.

Also, they seem to have the lead over most and the market opportunity is huge.
Affirm confidentially files for U.S. IPO
Mechanical Computer Videos
Measure, Integration, and Real Analysis – Sheldon Axler (Open Access)
Is American Democracy in Decline?
Right now I see many similarities between the United States and pre dictatorship South American Countries.
Huh. I have a benchmade 940 and honestly I'm not a fan. The main thing is that I don't like thumbstuds for deployment, especially since the lock is sticky. Also the ergos never felt great; the knife is too slim for me. I never tried a griptillian, thanks for the rec!
No I don't, I don't have the need to show the finger to the man.
Uh maybe I'm just an eternal cheapskate but suggesting a $150+ knife as a starting point seems a bit ... rich.

No idea what to suggest instead, but suggestions are easy to find.
That's not exactly free, whereas waiting for a bit has zero overhead.
Most of the spent flying short routes isn't spent in the air. The process of getting to and away from the gate is so unpleasant and inefficient that it makes me a little angry if I think about it too long.

And that's if everything goes well. Delays are frequent. Add on top of that the cramped cabin, luggage restrictions, and that they ask you to not get up or use the bathroom for so long while the plane is going up or coming down (most of the ride on these short hops).

And it's _expensive_.

Flying is awful and I hate it and will gladly choose the train if it's remotely competitive.
Weirdly, I feel about the same but the downgoing part only started around 2015. We met once at a company you were doing due diligence at, so I happen to know that you are about 15 years older than me. Maybe it's just an age thing and we're getting grumpy? :)

After all, complaining about the state of the world decaying goes back to at least the ancient Greeks.
https://www.youtube.com/watch?v=dmeWo7BLN9Y
According to DF, 4k games are bottlenecking on the CPU via the 3090
That actually seems like a reasonable idea--get the cheaper cpu now, which would still be a big boost over my old system, then swap later when supplies allow.
Check out ctf competitions. They have a number of "problems" of varying difficulties. Depending on the competition, the easier ones start out with simple stack buffer overflows, SQL injection, etc., and many competitors will post writeups after the competition.

Ctftime.org is a good place for a list of competitions (note: some are more difficult, in that an unexperienced person won't be able to do the intro problems). I'd recommend checking out picoctf as a good intro one.
I don't know what "obvious flaws" means. I know from like a dozen years of consulting experience, and from 10 years of vuln research prior to that, that putting a different set of eyes on a target tends to get you a different set of bugs. Finding vulnerabilities is as much an art as a science, which makes sense when you think about what hunting for software vulnerabilities actually entails. If you could do it deterministically, you'd be saying something big about computer science.

I think we're on firmer ground saying that there are ways of delivering software that foreclose on "obvious bugs". But when we talk about fundamentally changing the way we deliver software --- in secure-by-default development environments, on secure-by-default deployment platforms, with security as a primary functional goal prioritized over time-to-market --- we're actually into real money now, not just another $250k on pentesters.
As far as I know, you can request a trial without jury (decided by judge) in the U.S.

Many defendants opt for this because they know they can't trust laypeople to see past sensational details and rule on the concrete facts and law.

(Any lawyers know if there's a jurisdiction or circumstance that demands a jury?)
It looks pretty round to me.
Quantity doesn't affect the correctness of facts but it sure affects questions of perception, and your argument seems to be one of perception.

> By the way, once you make that assumption, those other scenarios you presented are also excluded.

Even more of a reason that "flaw" shouldn't even be considered.

There is no hidden trickery and no reason to assume the game isn't fair.
> Are you claiming that online advertising doesn't work

I'm not the GP, but I think the idea is that advertising isn't coercive. When I see an ad for a Swiffer WetJet, I'm not immediately compelled to go out and buy it against my will. I only buy it if it actually meets a need that I have. Ad-tech tries to guess who actually might be most likely to have that kind of a need and target advertising accordingly (eg it would be probably dumb to show a Peloton ad to a handicapped person, etc).

> gathering large amounts of data about individual users to tailor ads to them doesn't increase the effectiveness of those ads?

Is just a lot of words for "being able to find people that might agree with some ideas and showing them media that expresses those ideas". In a world with free expression, it's hard to see what the problem with that is.

From where I sit, there appears to be opposition to the fact that there exists people who have the appetite for certain "bad" ideas, and the only way to blunt those peoples' democratic power is to curb the ability for them to be exposed to those viewpoints.
Nice! That must feel good.

What advice would you give other self-funded companies? I'm trying to compete with much larger players in our space as well.
What was awful was that HPE had some solid products and could have been a great company, but management at all levels was so bad. I was at an HP partner at the time and it was years of watching a train wreck as they muddled along running their acquisitions into the ground.
That's not the risk. The risk is introducing harmful bacteria into a bottle and then having it reproduce for some days before someone drinks it. Since you're not storing milk in the glass it's not an issue if it isn't completely sanitized.
Can the person program at all. Do they consider the performance of possible solutions. * Are they good at explaining their thought process. * Do they consider edge cases? * Do they write tests?*

That's what you'd like to think it's testing for.

In reality, it's testing for: "Here's a hoop - would you like to jump through it for me please? BTW not only will stumbling or even hesitating pretty much disqualify you - we love to dish after hours about those who fail to make the cut."
Just using more doors (both for the total, and the number he opens) is probably enough to make it clear. Like 1000 doors. If I choose one at random I am pretty unlikely to be right on that first choice. But then he opens 998 of the unchosen doors, knowing he won't open the door with the car, I would think oh if it was originally in any of the 999 unchosen doors it is in the one he didn't open.
Yes, but you can't use 105W CPU in your laptop anyway.

In a company where I work, almost every front-end developer uses a laptop with an external display because it's a portable solution.
So Waymo One riders can now get a ride without a safety driver if they want to? Sounds like the OP has a point.
Wait a couple weeks and you can snag a navi along with it
I know the community is generally very negative/skeptic on this (at least based on the 21 comments so far below), but this is an amazing technical & business accomplishment. Congratulations!

The blog post is relatively clear that ramp up will take a few weeks - "we’ll start with those who are already a part of Waymo One and, over the next several weeks, welcome more people directly into the service through our app"

before you comment watch: https://www.youtube.com/watch?v=kBLkX2VaQs4
If one bounty hunter got $100k for a single exploit, these guys should’ve gotten millions...
Fungi, Folklore, and Fairyland
How Organized Crime Networks Are Using Drones to Their Advantage
In our case they are milking the past - and doing a good job of it. My current consulting customer has some kind of cloud mainframe agreement with IBM as the result of an acquisition. I don't know the specifics, but I'm integrating data off of it. It's not easy to work with and a lot of tools don't support it. My initial suggestion was migrating to AWS RDS, but there are too many existing integration points and business rules coded to make this cost effective. The cost of migration is something like 20x the annual platform cost.

Edit: I should also point out that they provide stellar support and a great transition from on site hardware to their cloud service. They have always been great to work with - at an appropriately high price.
QuickSync is all in the CPU (no GPU needed). IIRC it's part of the Intel Graphics (built into the CPU) so maybe it's not exactly fair to call QuickSync part of the CPU but it's included in the physical CPU chip and I have no discrete graphics card in my server right now. I know I can get a GPU to offload decoding/encoding to but QuickSync is pretty awesome for my use-case and buying a graphics card has it's own issues (space in case, cost of card, getting it play nice with Plex in docker, etc).
Yes, but from the perspective of those Greeks they were dead on! But good point about grumpy old people :)

Nice to meet you again, mail in profile.
A follow up to Coinbase being a mission focused company
SDR stands for Software Defined Radio in this case.

That's some amazing work in my eyes, how long did it take?
Umatrix is deprecated now. I currently use NoScript and it sort of fills the same role.
Yeah it took over a second to get to this comment page. A lightweight js app could have popped up a modal, I put in my comment, click send, and hide the modal and show a spinner on the bottom right changing to a checkmark when the comment goes through. That's feeling instant, not waiting for the back and forth to a server. The other stories could be lazy loaded in the background as I scroll.
The simple way to understand the utility of a data lake is "S3 is phenomenally cheap".

Some people treat this as an excuse to throw whatever they want into it, without any organization or standardization... and the consequences of that are quite predictable.

But it doesn't have to be that way. You can accumulate diverse and large data sets, in cheap cloud storage, while knowing what everything is and where you can find it.

As a trivial example, let's say you have a typical OLTP database (or perhaps many), with useful data that is, unfortunately, mutable. You can store entire copies of those tables in your data lake for pennies a day, giving you the ability to recall a transactionally-consistent view of that data from various past times. This is something we've always been able to do using traditional tools, the difference is that storing the data in a "data lake" (i.e. S3) is orders-of-magnitude cheaper.

Another major use case, perhaps the most significant one, is storing the raw ingested data -- e.g. from telemetry collection, 3rd party exports, etc -- along with each stage of its transformation. By preserving the original input, along with all intermediate outputs, no information is ever lost. If a buggy transformation is discovered it no longer means your output is irrevocably corrupted, fixed results can be re-computed from wherever in the transform pipeline the bug manifested. And again, this was always possible, a data lake just makes it cheap enough to actually do on a large scale.
If you have a messy codebase with logic mimicked on both the back and front end its not just the developer experience that suffers - the user experience will eventually suffer too.
Notoriously lax regulations.

https://www.12news.com/article/news/local/arizona/ducey-to-u...
I believe that you are downplaying the effect of being hit across the head with a staff. It is no different than a hammer in the sense that you can break someone's limbs and kill them with a blow to the head. Combat staffs were not non-lethal.

Take for example the Bo that can easily break bones and can bend even a Katana with a proper strike.

Even pool cues will kill when used in bar fights.
I absolutely love Nick Shabazz's youtube channel. I also occasionally check out Michael Christy's channel, which is pretty hardcore and aimed more at steel/sharpening enthusiasts instead of your everyday joe types. Bladeforums has a lot of smart people discussing knives, but I wouldn't call it a site specifically for reviews per se.
I'm a magit-er now. In multiple repos, the history for one repo is limited to that repo, which is usually more topical for people working on it.

If I've got changes on an old version of the repo, and try to merge against a new one, I find conflicts in the changes others have made to the same repo -- I have the 'before' version, they have the 'after'. I frankly don't investigate too much when it hits.

As for history, I love rebase for two reasons: (1) I can squash mistakes in my history so they're gone forever. (2) In reconciliation I'm watching my changes filter through the history of the repo. When I understand what's up, this is great. When I don't, it's a catastrophe of me re-applying changes that haven't actually been applied yet, then conflicting with their application later. Ugh.
The 9 might be round but the 1 has a bunch of pointy edges.