skysight-inc/HackerNews huggingface dataset:
I was a huge fan of the graphic novel, but that show disgusted me from the moment I saw how they had demonized Rorschach. I'd tend to agree with OP that many fans of the graphic novel were turned off by the TV nonsense. 'Right-wing trolls' kinda seems like crying wolf - it's an easy scapegoat, but basically impossible to prove.
This is specifically the council. Local resident care an awful lot about their trees and there are many local campaigns to make sure something like that doesn’t happen again. I think the local labour party ended up replacing some of the MP’s involved. (I live in Sheffield)
> the broader concern is that this is part of a government effort to push homegrown phones

I would say government officials carrying equipment they haven’t fully audited into sensitive meetings or using it to work on secret documents would be a HUGE no-no.

In the early 2000’s I was helping to get across the message it was a terrible idea for the Brazilian government (military included) to rely on (mostly) Microsoft products for office applications and that, instead, it’d be better to invest in local collaboration over open source software equivalents. For a lot of things, it stuck.
Yes, there seems to be a few zeros missing from my bank account. Are you sure can truly prove that the money wasn't taken from me? Here's a screenshot of when the value was correct.

I don't think that argument is going to hold up very well.
Smart name. I think if this was called “Apple Underrepresented Developer Camp” or something, it would be less effective and possibly seem a bit demeaning IMO. This is not about setting up some easy-track for only certain kinds of people. I don’t even think this confers any benefits beyond just a little community and collaboration with a single apple rep for only 1 year?

Calling it Entrepreneur Camp reflects better on what I assume is its goal: get more diverse entrepreneurs into Apple’s platforms. There’s many folks out there that would derive value from the confidence boost and community of like-people succeeding.

Seems like a good idea to me.
I gave you a straightforward explanation of why silently protesting a speaker by departure isn't an effective protest, but loudly voicing opposition to objectionable speech may be. Your whole line of argument seems premised on the idea that a person speaking may not be opposed at all, which seems more appropriate to a church or court than to a public forum. You have never addressed the question of why people in the audience should not exercise their own speech rights, which they did not give up upon entry unless they signed some sort of waiver/contract.

As you know very well, I'm not arguing that 'free speeech must be limited because of people like Trump', but using him as an example of an extremely skillful public communicator who understands the psychology of mass communication.
Denver: https://data.colorado.gov/Environment/Tree-Inventory-of-Denv...

(the ability to get info on a specific tree seems to be broken)
windows…
Thanks! I spent a lot of time trying to get the introduction just right in a way that was practical and accessible, I’m really happy to see it’s been landing very well with people.
Senate confirms Biden FCC pick; “FCC can act swiftly to restore net neutrality.”
Not only humans, the math says it’s not knowable whether any open ended hardware/software is inherently safe.
Oh the domain name is the last thing I read. It's all the way to the right!
Your right. Your pushed to read or watch the same shit because of "the algorithm" I'm resigned to the fact ninety percent of the content out there I really want probably has no reviews whatsoever and there is nothing I can do about it if I stay in a corporate ecosystem.
Google "[company] logo", download the image and add it to your website.
I agree with Apple nickle-and-diming in general – they talk about the "app economy" and the low barrier to entry into the App Store when it's annoyingly not so.
It is very good, especially if you don't have to rewrite your code.

Try to do it yourself (say take a merge sort implementation and try to make it scale), it'll be roughly this much after a few hours of work.

Now imagine the compiler is doing this for you.
Thanks everybody, your feedback and replys make me feel less lonely, I really appreciate it.
zero click zero days cost literal millions, sometimes tens of millions

these exploits aren’t utilized haphazardly - someone has to be willing to pay
True, but there’s a real question about how effective they’d be. NSO has the veneer of legitimacy which means they can hire top notch talent by pretending their products are just law enforcement tools – fewer people would be comfortable working for a Russian mercenary group or able to tell their friends and family their work for a Chinese government vendor wasn’t helping oppression. That doesn't mean that everyone in the world is comfortable working for them but think about how it is for Palantir where a significant percentage of top tech talent don't seek employment there due to ethical concerns - NSO has similar problems but they'd be an order of magnitude worse if they weren't in a close ally country.
For computer I give you a French ordinateur and a German Rechner (computer is more common but Rechner is still used).
I'd guess it's a combination of labor required to rewrite them and that you'd more or less have to use a safe systems language in order to not have a performance regression
> Sen. Ted Cruz (R-Texas) warned about the return of net neutrality rules when he spoke against the Gomez nomination on the Senate floor today. "If confirmed, she would give the Democrats a majority at the FCC that would enable them to impose a radical left-wing agenda, including investment-killing and job-killing so-called net neutrality rules, otherwise known as Obamacare for the Internet," Cruz said. "I strongly oppose her nomination and I encourage my colleagues to do the same."

He is a Clown in every sense.
Don't build a sandcastle that Udacity can knock over with a single legal challenge.
Lockdown mode means you're able to use less stuff. In this case the "pass" feature doesn't exist in Lockdown mode and that's the attack target AIUI. So, if most people don't use it (because less stuff works) then it can be "successful" statistically because maybe the attackers aren't targeting the stuff you're allowed to use and you don't get exploited.

But this isn't a stable solution really. If Lockdown is popularized, NSO obviously will attack the things which are available in Lockdown. Apple shows no sign of only allowing it in Lockdown once it's actually safe - instead they've just arbitrarily decided what to allow and what not to allow.
Wow, I came to see the comments and saw mbanzi answering, and ohh, boy, everyone is hammering him. He genuinely tries to address concerns and questions, but there are many comments with plain intentions to create a flame. Good job on keeping a cool head and explaining the same thing repeatedly.

Congratulations also. Getting here and raising a significant amount of money is never easy.
For the love of god, please do. You’ll be capturing disappearing history, and roll in some YouTube dough.
> where GPT is used to generate text, BERT is used to generate embeddings for input text that you can then use for predictive models (e.g. sentiment prediction)

Ok, but isn't text generation more general? E.g. you could ask it to predict the sentiment of a sentence and write the result as a sentence?
Yes, it’s in the article
Instead of tidily blaming a specific politician and then moving on as if nothing can be done, this type of principle agent problem should be eliminated. Simply put, mayors and city councils should not have an unrestricted authority to legally bind cities.

I'd say that any contract longer than around 3 years (and/or larger than a certain dollar amount) should require direct approval by voters, or it shouldn't be considered as having been duly executed. Furthermore any terms of a contract that restrict/require a municipality to enact certain laws/ordinances (including through financial incentives) should be straight up illegal and thus unenforceable.
There’s a similar concept in the Islamic world called Abjad (https://en.m.wikipedia.org/wiki/Abjad_numerals), ebced in Ottoman. The building dates of most public buildings (mosque, fountain, etc) are embedded in the text written on them. It was heavily used for numerology and divination, too.
There was a sign saying no parking, you parked anyway, and got fined. Hardly society eating itself.
Are you sure? I set up tailscale recently on Arch and the daemon is definitely running via a systemd system service (not a user service).
It depends. If something like HIV was airborne, it might very well spread to everyone on the planet. You might get 5% of people that don’t get it but will that be enough to sustain a future.
So measles is a royal sickness.. I guess Korean wins haha
I think it's a false comparison to say 80m per engine today.

When SLS was being architected 10+ years ago, I believe the idea was that the RS-25 engines would be cheaper, and there were spares around. Also there were no $1m engines, not even close. Perhaps there might have been a competitor for 1/2 the price, but would that be worth it over an engine that you already have flight ad maintenance experience with? Probably not, it's certainly not a convincing argument.

Lastly there weren't any Methane engines – both of the hottest engines in the market now (pardon the pun) are Methane based, the Raptor and BE-4, but the decision to use Hydrogen as the fuel for SLS was set in stone years ago and unrealistic to change.

Basically there weren't convincingly better options at the time the decision was made, and changing that decision now would mean basically going back to the drawing board on the entire rocket.
SpaceX is on record with not wanting to use hydrogen for the "pain in the ass factor".

It boils at a lower point than oxygen, so you have to insulate the tanks from each other, it's very.. undense (sparse?) per volume so you need bigger tanks, and it's the smallest molecule that exists and makes leaks and shipping harder.

Methane is slightly less efficient but way easier logistically.
> To take this to an extreme, are you saying that under UK law, it would be legal for Parliament to legalize slavery or permit other activities that would unconscionable and illegal without such action?

definitely. why is this surprising? countries permit all sorts of unconscionable things (the US had slavery and only banned it "except as a punishment for crime", literally has the death penalty right now) and by definition legislatures turn things from "illegal" to "legal" and vice versa constantly. the US could re-legalise slavery via a constitutional amendment any time it wanted, Ireland could ban divorce again, Australia could un-repeal Section 127, etc etc.

the only difference in the UK is that there's no "basic law" / "constitution" that's harder to change than regular laws.
It depends very much on the opportunity. Generally I think you’ll learn faster as a junior in person.
Elon Musk ordered Starlink to be turned off during Ukraine offensive
> in that case it's no longer a matter of reasonable cost/yields.

This is an interesting point. Considering the extremely difficult engineering problem of the ASML machines, China might opt for an entirely different technology that, although more expensive and impractical for those with access to ASML EUV machines, could eventually allow them a better evolutionary path towards smaller geometries.

Blocking access to tech can have unintended effects.
> weakens belief in our system of governance as a whole

That already happened with 2008 GFC. Whats happening with NASA is a small rounding error compared to the amount of pure junk that has accumulated on the FED balance sheet since then, to keep delusions afloat. So the stock market/health care/edu/real estate/iphone/sls prices keep rising. Even though its all pure junk.
Solving 4. with 5. - Would make a lot more sense if it was Leia who rammed the ship and if took a huge amount of "Force" to do so

(explaining why Leia _Skywalker_ could do it, but not any ordinary Joe)
0-click for iphone up to around 10 million

other 0-days for iphone up to around 2 million
It is strange to see Slavic lumped in with Germanic. Is this common practice?
Realize that people actually pay to NOT get the same results as google.
> The US can spend this kind of money .. with not much progress .. and no real consequences for failure. Adversaries see this as weakness because that is what it is.

I donno about this. Adversaries might just as well conclude the opposite, that the US can blow that kind of cash on SLS and other dumb stuff all over the world without major problems. IIRC, UBL's thesis was A-stan is/was the graveyard of empires and would also be the US', but it turned out to be an otherwise forgotten Pentagon rounding error.
The diagonalisation argument shows that if f is a total function i: N -> j: N -> [0..9] (which calculates the j-th digit of the i-th real number), then g j = (f j j + 1) % 10 is a total function N -> [0..9] and has the property that for all i there exists a j, such that f i j /= g j.

To me, that's an entirely constructive proof that there is no (computable) surjective map from the integers to the (computable) reals, but if you disagree, then I guess that's just a debate about definitions.

I have no idea what Gödel has to do with any of this or why you think we would have to prove some axioms consistent. We don't have to prove our axioms consistent to do mathematics, thankfully, because that would be impossible.
No, it sounds like you just have a mostly "I write code that goes on servers" type job, and haven't been burned by the issue of older binaries, that won't work with new libcs.

This is a real problem with Linux (not MacOS or other BSDs from what I understand) because it doesn't have a stable ABI (the ABI is basically glibc). It's a design choice, and a pain in the ass for people who want to distribute things as binaries. Which, well, it's not something I do, but, it has burned me using other people's things.

Could docker/containerization solve this problem? Yes, in the same way that a shotgun would serve for eliminating mosquitoes...
The translation that let me finally understand this sentence was:

"Buffalo bison that other Buffalo bison bully also bully Buffalo bison."

And from my other comment:

"Mighty bells hearty maidens ring vibrate nearby chairs."
Allowing a US+Israel-approved* company to do this makes higher revenues possible, meaning they can attract higher talent => more hacks. Which would be fine if we prevented them from selling to unwanted customers. With weapons, we control who gets them, regardless of money.

* I was going to say "sanctioned," but that word can mean two entirely opposite things, it's dumb
Which is essentially open ended liability...so their lawyers must be very darn sure there isn't much risk.
I love it when someone says they’re going to cut costs by “Encouraging Innovation”. Almost as much as “Reducing Fraud”.

Political types love these announcements they’re going to get something for nothing.
Orders of magnitude is used as an expression, no need to “hackthually” someone about it.
> Here’s another way to think about it. Why does ISA matter in CPUs?

Honestly the answer is that it mostly doesn't.

An ISA isn't viable without tooling, but that's why it's the first thing they all get. The only ISA with any significant moat is x86, and that's because there is so much legacy closed source software for it that people still need but would have to be emulated on any other architecture. And even that only works as long as x86 processors are competitive; if they fell behind then customers would just eat the emulation overhead on something else.

Other ISAs don't even have that. Would anybody actually be surprised if RISC-V took a huge chunk of out ARM's market share in the not too distant future?
This sounds great!

Is this built into the existing VSCode extension, or as another extension you need to install?
Odd article. The Saudi Railways Commission was formed during King Abdullah's reign. Around 2011-12 there was an agreement to connect KSA, Bahrain, Qatar, the UAE and Kuwait by rail. Work started in the various countries (land reclamation on the Saudi-Bahrain side) but the project seems to have stalled. Money problems. There was talk of rebuilding the old Ottoman-era railway to connect with Jordan, but...crickets.
I also find the inability to get root on my device terrifying
Steam reviews are fantastic. It's one of the main reasons I don't touch the Epic store. I find it especially useful to specifically seek out the negative reviews on things to find out common gripes - it can reveal games with "mostly positive" reviews that I might love, and games with "very positive" reviews that I'm probably still going to hate.
>like hundreds of meters

IIRC Tsinghua SSMB ring design has circumference of ~140m for kW EUV light source. My understanding, at least how SSMB was/is being sold is: storage ring technology mature, price per tool / light source will be relative low.

E: tsinghua ssmb update from last year

https://conference-indico.kek.jp/event/160/contributions/287...
> for HTTPS, they usually can only support transparent byte relaying anyway.

On my LAN I run Squid on a Raspberry Pi, and have my personal laptop configured to use that as a HTTP and HTTPS proxy.

All TLS HTTP connections going through the Squid proxy are intercepted.

This only requires that my laptop trusts a self-signed TLS certificate that Squid uses.

Someone could easily run the same kind of thing on the internet, providing free proxy service and telling their users to trust a certificate signed by them, without properly explaining the consequences of that. And a lot of novice users would likely use that proxy service. Gleefully unaware that even the “encrypted” traffic is completely visible to the proxy.

In fact, I would be extremely surprised if there aren’t a whole gazillion of services out there doing exactly that.

But in many jurisdictions running a service like that would likely be cybercrime. And even if it wasn’t illegal, it’s still not nice. So, you know, don’t go and actually create a service like that.
I was looking through the YC companies from the past year or so and struggled to find any that actually sounded like they were doing someone innovative, exciting, and useful.
I've been thinking about doing something like this but only inference and written in rust. I thought it might be a good excuse to learn SIMD but it seemed like a big undertaking so I've been putting it aside for a long time
The other test is what can the “other” party do with any power you give the government. I define “other” as the party with viewpoints you are opposed to.
How is kaput universal? That's just a German word that some people might know, but most won't.
what’s the easiest way to get this on my TV roku stick so i can watch the HBO that I pay for in French?
They do, but some of these bugs are beyond what fuzzing can do. We don’t know that this is a buffer overflow or how complex the exploit chain was - the one linked above was anything but something you’d get by fuzzing.

I agree it is disappointing that this stuff isn’t all Rust or Swift yet but that’s in process. Of particular interest, did you notice how the new Lockdown mode is apparently a countermeasure? I would not be surprised to see some of those motivations expand into the base OS as they have time to improve.
They're considered fillers that mark a continuance on part of the speaker so that the other participants know that they will continue speaking. Different languages not only use different sounds, but in many cases continuation markers can also be "normal" words from the language. In English some examples would be "well", or "yes" which can be pure filler words to bridge to the next utterance.

That being said, what is a word anyways? You could argue that they're well understood units of language that convey meaning, which I would argue is pretty much a word
"Lightspeed skipping" was just offensively absurd. They're teleporting around at random, but wherever they wind up, they're dodging between things on a planet's surface? Flickering through the galaxy like a slideshow? I don't even know why spaceships have chairs. You're never going to travel long enough to need to sit down. It was a fun visual spectacle that made no sense and flew in the face of all the worldbuilding and scene setting they'd been doing over the last 40 years of star wars movies.
...he ended up with a movie that was visually very striking, without any plot fundamentals that felt like a deep betrayal to the universe.

...he ended up with a movie that was visually very striking without any plot fundamentals, that felt like a deep betrayal to the universe.

Behold the terrible power of a misplaced comma, and the warped reality it inflicts upon the careless reader.
> define a function f in some programming language to be a real if it can be proven from a specific set of axioms that...

Fine, but these programs only comprise constructive reals. Similarly, with my choice of Real := Nat -> Digit, there are only countably many functions you could actually (create a process to) write down which inhabit that type, but that doesn't make the type countable.

There are at most countably many programs one can access in any type. This follows from what programs are: finite (though arbitrarily long) strings over a finite alphabet. That doesn't refute other interesting properties about the "sizes" of these things, as given by the existence or non-existence of certain maps into and out of other types.
Yeah it seems like there's a lot of fair criticism of the politics of the program, how work was allocated and bid for, etc. I know very little about it, but it doesn't sound great.

However I think a lot of the criticism focuses on things that aren't really true. The price is one aspect, where the amortisation is now paying off and it's no more expensive than alternatives. Another is the capabilities of the plane – it's not designed for warfare from the movies or from the age when many armchair onlookers were growing up, and so it's easy to make it sound like a boondoggle, when in reality it's a modern platform built for how war works in the 2020s.
By “we” I assume you mean the US. The NSO group and others are services that powerful people in the US regularly employ.
Which adversary are you thinking of that has less corruption and less waste than the US? And then has the economy to take advantage of this?
I’d put money on there being an Android variant of Pegasus out there in the wild right now.
Maybe you don't know everything that happens in your gnu linux system, and I think that's okay (to some degree).

But the difference to windows and macos is that you can know whats going on.

With looking at the documentation, man pages, looking at the configuration files and maybe even reading source code. If you really want to know what exactly happens, you will know on a FOSS linux system.

With the closed source systems like windows and macos, you'll probably never know 100% of whats going on.

With linux you are also free to create an installation from scratch where you exactly know every piece because you wrote every configuration file for it etc. This is much work, but otherwise you will need to use magic (like the author described it) programs, which do most of the heavy lifting for you.