skysight-inc/HackerNews huggingface dataset:
The UK has had an issue with early-stage financing for nearly a century (the Macmillan Gap). There are numerous examples of these schemes working in the UK and without: in East Asia, ICFC, Scottish Enterprise, some programs in the EU...there is no real question that this can work (this isn't replacing venture capital btw, this is just...not what this is for, the idea that this wouldn't work though is also totally incorrect, you could have believed it in the 80s, not now).

Equally, the UK has a gap in research funding. The private sector has had, literally, decades to close it. The gap is closed in many other economies by the govt, so this is a reasonable solution. The govt has also done a huge amount to involve the private sector, most of the approach has been about the private sector but this is targeted on an area where it is basically understood there is market failure.

There are always risks around politics, this has happened to an extent with Scottish Enterprise and the new SIB, but this problem isn't going to solve itself, and the path to oversight is relatively straightforward. Saying that has to be corruption just makes no sense when any funding is going to be under the same constraints as most other govt funding (I have no idea why people FOI is public scrutiny, it isn't, FOI would not help you uncover corruption to any degree...that isn't what it is for or how it is used, if you believe that the govt is corrupt, defund all services, that is it...that is the only logical conclusion that can be drawn from that belief, we have FOI and it isn't stopping corruption...so defund it all).
> passion does not come from a guarantee of continued employment.

Then why do founders work harder than hired managers?
There is also a new format for JSON feeds: https://jsonfeed.org/
With iCloud, you need to trust your photos with Apple. That trust has some benefits and some costs. Some people like the convenience, but others are more worried about decreased privacy and decreased autonomy.

Our solution is a peer-to-peer network of your own devices -
we help you manage your own photos. You don't need to trust any cloud provider to store your photos and not rip you off for it.
Yes. It was of no value to them anyway. That's what the legislation is about: preventing platforms with market dominance capturing most of the advertising revenue with no real return to the organizations producing the content.
There is the community license program, but I don't think it includes the x86 port yet: https://vmssoftware.com/community/community-license/
Max Tegmark made a nice comment on the Lex Fridman podcast recently. This advancement tells us things about the messenger (gravitational waves) as well as the message (big objects interacting). So it's a twofer, at least.
I have avoided going the management route because I have a very strong fear of losing touch with the deep technical aspects of software engineering, which I love and have been doing my entire professional career. As a lead developer now, my role has changed in that I interface more with product owners and management, so I can already see that I need to delegate quite a bit, which makes me feel uneasy since I want to be the one doing those tasks. On top of that, as a lead I am expected to know it all while also somehow delegating.
1. Sandboxing might help prevent certain types of attacks but the App Store review process goes above and beyond simple API restrictions and imposes rules on how you're allowed to use those APIs to prevent abuse of privacy. For example: just because I grant an app access to my contacts/photos for a legitimate purpose doesn't mean I want that company to exfiltrate that data and sell it to a third party. Sandboxing won't help you there.

2. Sandboxing is no panacea as we've seen from multiple Android malware attacks that abuse system vulnerabilities to break out of the sandbox. You're also underestimating the amount of damage that can be done even within the sandbox:

- The CryCryptor ransomware abuses file access APIs to encrypt photos and videos on external storage and hold them hostage. (https://threatpost.com/emerging-ransomware-photos-videos-and...)

- The DEFENSOR ID banking trojan abuses accessibility APIs to steal login credentials, text messages, and 2FA codes. (https://www.welivesecurity.com/2020/05/22/insidious-android-...)
Could someone summarize both positions? It seems pretty reasonable to me - my understanding is that Australia wants Google and Facebook to pay lump sums to have their content on their platforms (as opposed to per-click). Google and Facebook can basically say yes or no. How is this different than, say, The New York Times saying the same thing about their content?
Not OP but for me I prefer subscribing via RSS as it helps organize what I follow rather than add to more clutter in my inbox.
It’s telling that the author now wants to hold a discussion on Clubhouse to discuss the post. Lots of different takes on Clubhouse, but today it’s a much more “entitled” venue than Twitter or a Reddit AMA. Holding the talk on Clubhouse shows how much the author values filtering his audience. Whether the blogpost says that or not.
I hadn’t heard of Blitz until now but am loving the look of it. Congrats on the beta!
What you want is Windows 10 S mode.

https://www.microsoft.com/en-us/windows/s-mode
I'll take the counterpoint. Tribal instincts exist because it is impossible to have rational/conscious debate about most things. It's basically over engineering the problem.

How would you convince an entire lakeside community to site a water treatment plant somewhere else? How many man-years of training would be required for them to have enough fundamental understanding to even enter a rational/informed debate? And what other topics are competing for that time? vs. "Chris is the expert and I trust Chris, so we'll do what Chris says"
I was surprised to see they're almost exclusively anglosphere websites, i would have guessed a broader variation
Imagine hating something so trivial that provides real tangible benefits so much.
I guess you talk about group leaders, not project managers. Group leaders are from developers, with added responsibilities (and that means with added work).
The Clubhouse App and the Rise of Oral Psychodynamics
The Community License page has checkboxes for Alpha and Itanium. The box for "x86 (planned)" is not yet enabled:

https://vmssoftware.com/community/community-license/

I guess I shouldn't be surprised that this is a VM-only product, but there's something unsatisfying about an O/S that can't boot real hardware.
“One-handed surfing”
It’s almost like console gaming would be easier, where if you want to buy a digital game, there is only one marketplace to use [1].

Oh wait.

[1] yes, you can also buy physical games for most systems, but that’s in its way out too. If this plays out as expected, this complaint is going to have a lot of collateral damage.
Antitrust regulation isn't just about monopolies, it is about the cost to entry and the harm to consumers
There are many ways to prevent material being subject to FOI. Commercial confidence is one, classification/generic national security grounds is another. There are also some good reasons for this - in many cases, there are genuine commercial concerns.

This might be controversial, but it's very hard to have negotiations in good-faith with a company for services, and drive a hard bargain, if the company knows that the pricing offered to government can be FOI'd by a rival or other customer, to get granular price offered.

If you want to get the best value for money, and get below list price, you need the ability to have a commercial negotiation, with the confidence that granular pricing information (i.e. emails with discounted price lists for government customers) aren't becoming public.

That's not to say the total amount spent should be kept secret, but if exact breakdowns of unit pricing were going to be made public, it would likely cost the public more in the inability of government to negotiate around price with suppliers (or rather their unwillingness to enter into such negotiations)

Similarly, any kind of serious negotiation needs to have secrecy - it's very hard in a practical sense to have a negotiation with a party that has to (or might be forced to) publish everything. The number of startups (and even larger companies) that do everything as price-on-request should show industry's willingness to see the kind of price tarnsparency that FOI would expose. And that would give the taxpayer poorer value for money in the long term.
Oh yeah 100%, no doubt. But I can dream.
I just bought two yubikeys; a month later, I returned both. Here is a (major) problem. On a ubuntu box, I installed `libpam-u2f` and set it up for one user account. Turns out it breaks all other user accounts on this ubuntu box, meaning no other user could log in without the key. I contacted their support. No solution.
Just wanted to say thank you, and how much I appreciate your work for the Elixir and Erlang communities.

A common complaint with Elixir and Erlang is that it isn't suitable for numerical computations, well now it is!
I fell like an article written by Sarah O'Conner might be biased against robots.

https://en.wikipedia.org/wiki/Sarah_Connor_(Terminator)
Six Skeletons Found in Wreck of 18th-Century Pirate Ship Sunk Off Cape Cod
I want more!
It was a little uncomfortable that the author found it necessary to keep referring to Rationalists as "nerds and weirdos". Presumably he left these irons in the fire in case someone tries to associate him with the Rationalists. Not sure I want to read his book if the conclusion is "I only feel like I can talk about them safely if I call them derisive names".
How to win $ 65 a day without capital and without effort.pdf
You might want to read about what this person did.

https://en.wikipedia.org/wiki/Angus_Barbieri%27s_fast

I lost 70 pounds (nearly a third of my weight) through just restricting my intake to two tiny meals a day. It sucked really hard at first (I was in what felt like physical discomfort and didn't defecate for a week when I started), but it worked and I've kept it off. It takes time (for me the better part of a year), and making a decision and the willpower to stick with it no matter how much it sucks (as long as you know it's safe).

My hunger is still all in my head to this day. I'm sure the challenge of not overeating will last the rest of my life, but the tradeoff of weighing less is worth it.

If you want to read about how far the mind can take you, read David Goggin's book, Can't Hurt Me.
Amazon, MIT team up to add driver know-how to delivery-routing models
U.S. Authorities Charge North Koreans in Long-Running Hacking Scheme
This is gorgeous!
Really makes you think about the real reasons RSS was killed basically overnight.
Didn't the ICBM development come first? The Mercury and Gemini programs used barely modified ICBM boosters and the engineers at first didn't want to put controls in at all, they were already confident of their ability to maneuver and navigate in orbit. At some point I think the simplest explanation is the correct one - it was a giant contest of wills between the superpowers.
Automatic return type inference is a joy, compared to TypeScript and Flow: https://tour.dlang.org/tour/en/basics/functions

A zero-overhead foreach loop is great compared to JavaScript and C#: https://tour.dlang.org/tour/en/basics/loops

Uniform function call syntax: https://tour.dlang.org/tour/en/gems/uniform-function-call-sy...

Sophisticated reflection, without any of the runtime overhead, since it occurs at compile-time: https://tour.dlang.org/tour/en/gems/traits
Nice article, but gives me an "Invalid URL" error when I click. It works if I remove the "beta" from the URL. Maybe test and resubmit?
I actually think it is you who doesn’t understand the market.

Nobody cares about centralised achievements any more, and most people don’t particularly like having different friends lists for each service.

People would rather organise a game through something like Discord that is entirely seperate to the store ecosystem.
Building a High Performance Text Editor
The bridge is unfeasible because the channel is around 200m deep in places which makes it crazy expensive. I also found a couple of references to nuclear waste in the trench, but that might have been for another site.
makes me realise the internet is so powerful that the idea of 'voice calling' has now completely changed to 'data exchanging' devices. I mean if you think about it cellular will soon lose its 'cell' meaning. The idea of phone numbers might not go away but everything will likely be IP based which means it doesn't matter how your packets are routed technically.
The auto lock on device removal with udev rule would be the same idea, in fact you could use any USB device like a basic flash drive if you wanted. Changing PAM's login to use the device for login would require a bit more device-specific stuff--I'd search around to see if Safenet already provides a module to drive PAM auth.
> A century ago, the Chinese were indeed oppressed by foreigners, who humiliated and dominated them. However, these outsiders were paper tigers, when the people were united and stood against them. The only reason these foreigners were oppressing them was because of the weakness of their leaders, compromising with the outsiders instead of kicking them out and putting up walls.

This is not a contradiction. In china's case, it did not last long once they realised the actual weakness of their oppressors. They were never in a situation of being both overwhelmed and (perceived as) more powerful than their enemies. Chinese governments were not in a position of force when colonialists were in place. You could argue that it applies to post-colonialist China, and certainly to Maoism, and I think that is a valid point. What Eco describes is broader than just Mussolini's Italy or Hitler's Germany.

The difference with totalitarianism (not only fascism) is that the contradiction is a way of functioning and thinking over the long term. This is actually a fairly common idea and is central to Orwell (both 1984 and Animal Farm), for example.

> Indeed, many anti-colonial struggles can be described that way. Foreigners ("immigrants") oppressing a local population in collusion with corrupt local elites and chieftains. And an indigenous population too divided to do anything about it. Fascist scholars would say that Fascism would have protected the American Indians. Plenty of Black nationalists like Marcus Garvey were actually self described Fascists, and wanted to use Fascism to resist European colonialism.

I don't really see where the contradiction is. There is nothing preventing Black people from being fascists or exhibiting fascist tendencies. Being oppressed at one point in time does not prevent anyone from becoming an oppressor in other circumstances.

> Indigenous tribes that have had their social fabric and identities compromised by foreign influence and corrupt elites allow themselves to be colonized. Usually it is capitalism that corrupts them. A flood of cheap goods completely undermines them, and destroys their way of life. They almost always outnumber their oppressors, and if they could just reclaim their sense of national identity, they could easily rise up and take back their country.

Yes, and plenty did without going all the way to a nationalist, totalitarian regime. Patriotism is not unique to fascism, or even nationalism.

> Anyway, I'm not saying that I agree with Fascism, but I do think that Eco is presenting a straw man of it, which is not a good thing if you are opposed to Fascism and want to defeat it.

I actually think you agree with him more than you might think, but some vocabulary has shifted slightly over the decades. And, as has been pointed out several times, this is not a rigorous equivalence, as in "all fascist regimes do this, and any regime that does this is fascist". It is a spectrum.
It doesn't matter what Epic's intentions are. Allowing creation of 3rd party stores is great and consumers and developers. I'll continue to support the organization whose incentives are aligned with mine.
Another perspective then, worldwide bitcoin co2 emission is less than residents of Tampa, FL, which has less than 0.1% of US population

Bitcoins emission is big, but in the bigger picture it is not that much at all.

US military emission alone should be like 200x bitcoin alone
On the other hand, if one is not of the viewpoint labeled as politically correct, then prepare to be ostracized in a very passive aggressive way. Not that I mind much, but passive aggressiveness is annoying. E.g. mentioning anything that smacks of religion, or discussing guns, or expressing skepticism that we modern people are the smartest thing since sliced bread.
You already answered my question earlier, perhaps by accident. It was mostly about clarifying which optimizations are being talked about. I'll paraphrase myself here:

I was curious whether, when only using optimizations that involve re-ordering instructions/finding instructions that can be executed in parallel, there is proof that the optimal solution is incomputable.

In context it appeared that may be what you meant, but you clarified that you didn't.

Under these constraints one might say it appears somewhat obvious that the optimal solution, i.e. a solution that executes the most instructions in parallel is computable. It's done by building the dependency graph of instructions, then ordering/distributing the instructions across execution units. For anything more than that you will run into the halting problem, but anything more would involve changing/removing/adding instructions or otherwise making changes to the program logic, which is not allowed.

One might complain that the optimizer now in some cases can't know whether two instructions depend on one another without running the program (writing, then reading unknown memory addresses for example), but any attempt to optimize cases where we can't statically infer or where the memory addresses are only sometimes the same would result in changing or adding instructions anyways (inserting a branch)[1], so as far as we are concerned these always depend on one another. We're not allowed to add/change instructions after all.

A valid criticism of this class of optimizers is that they fail spectacularly for self-modifying programs or programs that read their own instructions. A contrived example would be a program that reads some parts of its own code. We can't really do anything about this since we're not allowed to rewrite these instructions to make them still work correctly - if we even can. It's more useful to just exclude that class of program.

Anyways, a short proof that it is possible might look like this: There is only a finite number of permutations of the original program that satisfy these constraints (re-ordered/parallelized instructions), generating them all is trivial and choosing the one with the most instructions executed in parallel is as well.

Which brings me back to:

> The best we can do is identify _some_ concurrency optimizations

So my point was really, that assuming "concurrency optimizations" only includes re-ordering instructions and distributing them across execution units using whatever technology, intuitively it would seem that we can identify all of them.

But that's not what you meant. You included things such as completely replacing the algorithms with equivalent ones in "concurrency optimizations".

[1] There is an assumption here that one could disprove by example. The assumption is this: You can statically infer two values are the same when they are always the same. If this doesn't hold and the instructions using them could be run in parallel but aren't, I'm just wrong.
> bringing light to a viewpoint most people haven't even ever considered.

Why do you think this statement is true?
I didn't know there's an editor integration to Carbon. Is there a specific extension for VScode?
To say that propaganda is part of the art of persuasion would be stretching the meaning of persuasion beyond its general usage. Persuasion implies a respect for its recipient and their rational faculty and trying to convince them by reasonable evidence and arguments. That is missing from propaganda. In fact, propaganda and advertising is most often the opposite, in that it aims to overpower the rational faculty with irrational appeals to emotion.
you make him sound like Uhtred in Last Kingdom season 1, returning home to find his chief servant pilfering from his land, prompting him to leap off from his horse and plunge a sword through his heart ("now THAT ... is justice!" Uhtred boasts to his horrified wife). perhaps 'feudal kingdom' was a bit over the top?
The link to OpenCellid is interesting

> Locate devices without GPS

So I guess they offer triangulation between towers to find where a device is?
I may be rather opinionated on this, but there are literally
community efforts to transcribe memes and other pictures
containing text so visually impaired people get access to
content, and meanwhile about every 3-4 weeks HN features yet
another web app that basically takes human readable text and
stores it in one of the most inefficient and inaccessible ways
possible. It becomes invisible to screenreaders, impossible to
copy-paste like you'd otherwise expect from text based content.

I don't want to come across as all too negative, but it somehow
feels really strange to have so many websites that basically
just take a fancy screenshot of text. To me it kind of comes
across like a developer version of those Instagram pictures of
meals at restaurants.
> Australia is a lucky country run mainly by second rate people who share its luck. It lives on other people's ideas, and, although its ordinary people are adaptable, most of its leaders (in all fields) so lack curiosity about the events that surround them that they are often taken by surprise.

- Donald Horne, 1964
Great dissection and incision of the OP's "fetishizing of the actual process of the making of the sausage vs the sausage itself."

Creativity requires space. Space between work and space to think, be it on a yoga mat at 12 PM or a 4 PM refresher.
A charitable explanation is that he would like to motivate his workers by equity... but in the company as big as Google, equity doesn't work that way anymore, and there is no good substitute.
> "I feel that Pixar’s mastery of storytelling is overrated."

me too. the incredibles was pixar's high point of storytelling imho. of the first six films, i liked the toy stories the least. a bug's life, monsters, inc., finding nemo to the incredibles was like a crescendo of animation, reaching a satisfying zenith of art. cars, which came next, was ok (but unoriginal for storytelling, the characters were mostly great!), but then ratatouille through inside out were all groping for relevance while nakedly harvesting their reputation. of the last 8 movies, only coco has been worth watching so far (i haven't seen the good dinosaur or soul yet). so perhaps a quarter of their 23 films have been good enough to watch again for me; contrast that with the studio ghibli collection, nearly all of which are imminently re-watchable (spirited away is an absolute masterpiece).
While I totally agree with your Really Care and Just A Job characterization, I think that money does play a significant role in overall picture. People behave very differently after they run into six, seven, eight figures. And that behavior isn’t perfectly correlated with how much they put into the job. There’s a fair place for the “entitled” narrative, and when these people have outsized leverage on the company or product, it can create outsized problems.
It's just natural that big game companies want to start their own gamestore, it's easy money without having to come up with original ideas again and again. And you can take a big cut of the profits of the ones that makes the actual work.

But we can vote with our wallet, it's a free market. I only buy things on GOG.
Auditors are testing hiring algorithms for bias, but big questions remain