skysight-inc/HackerNews huggingface dataset:
Obviously depends on the kind of projects you're working on but in our experience we've been more productive in Rust compared to when we've built large systems in Python, Go, C and C++.

This is with regards to long-term productivity however. Generally it shows up in building things that work right the first time around, being able to refactor confidently, etc. Personally I still find myself faster in Go or Python if I have to throw a short-term project together very quickly but other members of the team still profess to being more efficient with Rust for these types of projects too.
like the author we're light on details beyond "the culture", "bad at sales". What does this _mean_ exactly?
You can't make these gotchas affecting Linux distributions go away by blaming someone who present things the way many people use POSIX interactive shells.

Being a streamer and a .NET advocate does not make one incompetent in POSIX shell. Thing is, POSIX shell is tricky and it's all too easy to fall into traps, even for experienced people.
And you know this because you've seen it happen? In NL, pre-selection happens at 12 years but actual specialisation doesn't happen until 15 years old. That's three years for children to switch tracks, try things and see what works best for them. And even then, students can pursue an upgrade track after graduation that would still grant them access to university at the cost of an extra year of secondary schooling (which also gives them an extra year of maturity, which often also helps).

I don't know how it is in the UK, but your comment strikes me as a typical boogieman from someone who hasn't actually seen the system in action.
Hm, I don't remember ever seeing these or jokes about these. Also how many mcdonalds restaurants were there in Russia in the 90s, anyway?
String formatting comparison – Pydon't – Mathspp
Tesla is an MBA case study of CEO-aligned board (which is bad for public companies, Im sure you can see why now), probably because Musk had most of the seed capital. As to how he kept enough out of his previous ventures, I dont know.
Exactly! You are getting hang of it!
Apt Z3 Solver Basics
As far as I know, a paid option is very much the plan of telegram. Strictly only the public groups will get some ads based on the topic (a really privacy-respecting way), and you can opt those out with a paid plan. Private chats will always be free of ads, according to the CEO.
Transcrypt – Python in the browser – Lean, fast, open
WhatsApp was 99p/year or something silly wasn't it? Seems too low for the bottom line to be the reasoning to me (vs. preparing to raise it, image/positioning, or something).
I was OBSESSED with the first image of the toroidal station as a kid. Haven’t seen it in so long and this instantly made me feel like I was 8 years old again.
It's a good question. I don't know if this is helpful, but: I dipped my toes in with Solidity and Ethereum on day one, and used Hardhat to help set up a local blockchain, dev environment, and test suite. I quickly found myself scratching my head about many of Solidity's language features (particularly some of its modifier keywords) and spent a bunch of time looking at opcodes at https://www.ethervm.io/ and the really solid technical documentation on https://ethereum.org/en/developers/docs/. Solana was next; it's a whole different ballgame. Luckily, I have some Rust under my belt, so my focus was primarily on writing programs and deploying them.
> Gifted programs do very little or nothing as far as most studies can tell. Any gains in scores are very small, and they don’t appear to make any meaningful difference in student engagement or motivation.

I really don't need a study telling me my child won't benefit from a gifted program. It's a parent's right to decide for themselves. I personally know many people that have benefitted and it made their childhood bearable.
This thread is full of some of the least empathetic people on the planet. Some people just struggle with stuff that others don’t.
In the USA, we fight fires by turning off smoke alarms.
Oso engineer here. It's a good question -- definitely a dearth of content about this topic.

Like pphysch said, using RBAC generally gets you 90% or more of the way there on this, and a good intro to this concept is the Tailscale post: https://tailscale.com/blog/rbac-like-it-was-meant-to-be/

In most cases (even with many 100s of thousands or millions of users), there are far fewer _roles_. So you can generally answer the question of "which users can access this resource" by answering the questions "which roles can access this resource", and "which users have those roles". If you're using SQL to store roles and role assignments, your query for all users becomes:

select * from users
join user_roles on user_roles.user_id = users.id
where user_roles.role_id in [... small list ...]

This can get tricky if you have 100s of thousands or millions of _roles_, and each of those roles can be dynamically assigned access to a significant percentage of your resources. But that might suggest you're structuring roles incorrectly in the first place (and you should be using fewer roles with more users per role).

All that being said, I think there's definitely more to be written here. Keep a lookout -- we might do some more writing about the topic.
I've done various estimates on what it would take to generate a truly self-sustaining (no earth dependence) non-terrestrial (space-based or planet based) society and I don't think it's practical unless you're willing to spend the equivalent of $10 trillion dollars or more over 100+ years.
Counterweight might be good use for excess in the meteor capture & exploit industry.
oh man I wish! The thing about the elements necessary for life, is that by definition they're present in sufficient quantities in all life; and it's not like humans need any special elements. What's true is we spend 80+ years picking up trace amounts of stuff that's inimical to life, but our bodies can't get rid of it. I'm thinking about heavy metals and halocarbons, because they are toxic, they persist, and they are absorbed by the soil ecosystem. Deep well injection seems much more ecological a fate for a human body. Also, in terms of last wishes, it seems bloody arrogant to think that the contaminated shell I used to pillage this planet would be in any way useful after the fact. Chemically speaking, we have declared ourselves independent from nature. And biologically speaking, nature doesn't need any of our filth.

end of the day a dead human body is the ultimate useless tchotchke. "What were they good for?"

"Dunno but they sure cranked out a lot of em"
It just boggles that these people, when confronted with poor math scores think, "we need more instruction about pronouns, etc…" Talk about non-sequiturs.

This is the left-wing version of discouraging the teaching of evolution. Unfortunately in California these irrational folks have a big influence.

From my own experience, I would have been more enthusiastic with less homework, less rote problem solving (of dozens per night) and more visualization. Unfortunately animation/video wasn't really a thing until recently, but might help in the future.
(Author here)

Yjs is an impressive project and probably the most production-ready text CRDT library out there today.

One of our goals was to write down a clear spec for how a rich text CRDT should behave separately from any particular algorithm, as a resource for people working on tools in this space.

In the process we also found some examples where we felt Yjs didn’t maximally preserve intent. One of them is documented in the paper in the section about control characters, and Peritext handles that case differently.

Also, as an implementation note, our prototype sends incremental changes to the Prosemirror editor, whereas I believe yjs sends changes that replace the entire document, which can break the behavior of other plugins [1].

[1]: https://discuss.prosemirror.net/t/offline-peer-to-peer-colla...
What's the alternative? Anyone who uses it (the other sort of 'client') is forced to advertise on the platform, like it or not? Isn't that absurd enough to be obviously not what's happening?
The idea is that if you have a bipartite graph and the sets V and W are the vertex sets for the bipartition, then V is the hypergraph's vertices and W is the hypergraph's hyperedges. A hyperedge w in W is incident to whatever it's adjacent to according to the bipartite graph.
So what does he mean exactly? He just says some vague stuff about "bad at sales" and smth about the "culture" without actually giving any examples of what he really means. He mentions Brexit, mentions hiring then says it's not as big a deal as "sales". Then mentions EU funding for workers, then stops talking.

So what does he mean? Do British sales people not bother contacting anyone, do all British customers hate sales people and tell them to sod off? This is like Brexit all over when someone mentions some vague thing and everyone starts commenting with their own interpretation of what it means but nobody bothers to pin down what it actually means. What does it mean? I have no clue at all. I felt like I knew more before I read this article than after.
What you describe is effectively a tax on carbon emissions
You may know, but to be clear: ads will only appear on large public groups, and will be “targeted” based on the groups’s topic. This is the most privacy-respecting way to introduce ads, without taking away (imo) anything from the great platform.

Private chats are not (and promised to be never) affected.
People who absolutely hate math are driving these bad ideas, thinly veiled as justice or some other high-minded nonsense.

Many of them carefully plotted their way through college, doing as much as they can to avoid math.

Of course the kids are bored when it's taught with this attitude.
It's not a crime to simply not show up. Default judgement that they won't ever pay, and everyone moves on with their lives.
I don't know what to tell you. That's the state of the country. But hey, at least they're honest about why they're doing it:

> San Francisco pioneered key aspects of the new approach, opting in 2014 to delay algebra instruction until 9th grade and to push advanced mathematics courses until at least after 10th grade as a means of promoting equity.

The school failed the most vulnerable children by objective measures, so they're just trying to get rid of those measures entirely.
The PC model that unequal outcomes would disappear if you simply addressed poverty, fought putative structural discrimination via affirmative action, etc. has been repeatedly applied and disproven at massive scale dozens of times since the 60s. It's a nice story but it doesn't seem to reflect reality at all. I don't think the model of "it's because the way math is phrased is racist" is a better model - in fact, it's strictly worse - but it's the obvious next step in tacking more epicycles onto the progression of theories that have been palatable to post-WW2 progressives (who mostly dominate things like school policy).
> A disgrace for education but a win for educational communism.

I was under the impression that (actual) communist educational systems were geared predominantly toward the most advanced students, rather than the other way around. Cranking out prizewinning physicists, mathematicians, and chess grand-masters at a somewhat greater than expected rate.
Maybe some protection based on venue? I don't know how much of NSO Group's assets/customers/etc are exposed to US courts. Maybe Isreal is more willing to protect NSO Group than the UK was willing to protect Cambridge Analytica.
Sure, and if “web3” was sold as “banking for those who cannot use normal banking” and “worthy transactions you want to hide from the state” then I think a lot fewer people would have a negative perception of it. But it isn’t.
Or this one:

https://news.ycombinator.com/item?id=18000533
I don't know if that's what's going on. I suspect some haven't really sat down to think about what exactly they believe and why. Most seem to be parroting various mantras I've seen expressed on Twitter and Reddit without having thought about the implications of what they're parroting.
> These efforts feel misguided. Black and Latino people aren't bad at math because of the language used in math education

Language issues are actually a likely challenge for some Latino students.
Would you mind posting a complete example that compiles and runs? Your above changes to Go#8 break it. E.g. the function 'run' needs to be updated to use your new 'bottomUpTree' and 'inner'.
Pilot Version of Novi Now Available in US and GT [pdf]
No worries, appreciate it, but I didn't feel attacked! Also learned a new word (corpspeak) :)
Jasper C2RTL App: Formal for Algorithmic Designs
Jasper C2RTL App
You can probably make an educated guess at what the C2RTL App does. It formally verifies that very general C and C++ designs match the RTL implementation. A lot of algorithmic silicon blocks are first worked on by the architect(s) at the C level since it is fast and can be used to validate design features such as performance before undertaking more detailed design. Typically algorithmic designs are trading off latency, throughput, and other aspects such as estimated power. The new C2RTL App is targeted at hand-crafted datapath designs with all the complexity that they can involve.
I used to visit everyday then stopped visiting for a long time but try to do it weekly... checking the Ask and Show section mostly, with maybe an additional few minutes paid attention to the first page or two just to see what people are sharing.

I visit the Ask section because it gets me thinking and allows me to see the thoughts of others on certain topics. The Show section either provides me with a new tool or an idea for a new tool or just a "wow thats cool" reaction.
The recommendations are very sane. Actually I would say they are so obvious they are nearly cliche.

The controversial stuff is not stated explicity: Removing advanced classes, forcing all students to adhere to the same curriculum, and grading based on subjective criteria are what people are upset about.

It's a typical motte and bailey switcheroo: put some generic language in a document claiming something like 'rigor expressed only in difficulty' to conceal the reality of what is actually happening.
Wow the dotnet people are still doing this thing when they have screenshots of what to click in VS? So easy to reproduce!
Definitely my first time seeing it and it was just the kind of mischief I needed!
While undoubtedly we trust printers too much in some senses, I think this is mitigated by two factors:

1. Hardware: printers are miserable garbage. They can barely function.

2. Software: again, abject trash. Yes, it's bug-ridden, but it's also deliberately fragile and limited. Marginally able to not crash.
Blockchain isn't even central in Web3, but it surely helps.

Web3 = decentralized identity, full data and connection graph ownership by user, reputation transfer, verification via zero knowledge proofs, support for VR/AR and 3D objects.

All of this stuff is either in prototype or draft phase, but it's ok. These things need to be built to stop horror stories on HN about "algorithm justice" and "data kingdoms”:

- Google accidentaly bans your 10+ year old Gmail account that is a huge part of your online identity, oops. You can't access your important data or reach support if you can't make this situation a huge deal on HN, Reddit or Twitter

- Facebook or Twitter locks your account because you added a new sentence to your About you section

- LinkedIn reads your messages and makes sure you can't automate responses to recruiters, locks your account if you reply in a generic way
So much of the discussion is around how to pace/sequence the same traditional list of topics (geometry, trig, precalc, calc) but maybe we should be considering that these might not be the most important concepts anymore?

More people should know stats, and this doesn't need to be strictly sequenced with those other concepts. Yes, integrals show up with continuous distributions, but we don't need to really care that much. But if we had a population that understood confidence intervals, (in)dependence, correlation etc at a conceptual level, would we fall for fewer dubious claims?

Discrete math, like enough combinatorics to understand why some families of things that sound simple are huge? Or enough to communicate the idea of a homomorphism?

What if our concept of "woke" math introduced posets, and the idea that things can be literally incomparable?
For another data point, I took it in 7th grade too, that was only--oh god 2003 was nearly 20 years ago. Anyway, it was considered one year early for my public school district in Utah. Me and a few others in my 6th grade class who had good math grades were offered the chance to sign up for it early if we were able to pass a test administered by the junior high. I don't remember what the test had on it, I do remember asking people around me (at least parents and GED-holding brother) "What is algebra anyway?" and not receiving an answer, but somehow I passed. One friend also passed but didn't sign up, instead doing "pre-algebra" like most kids, which made me sad. (I'd guess the test had things like "if x + 3 = 10, multiple choice what is x?" as sort of a sink-or-swim filter, or maybe just some more advanced examples of whatever the 6th grade curriculum entailed.)
> Telegram has now joined the club of the apps that have...

Telegram's client app is Free Software, they actually provide an API, and third party clients are permitted, so I think it's in a rather different club here. I think it'd be fairer to frame this as a requirement of their network and network service, rather than their app.
What about it? The excuse-seekers aren't looking to wave away Sweden's mishandling, for example.
As quoted that sounds like a choice of law clause, not a choice of forum clause, and so wouldn't necessarily help in bringing suit in California.

In computer terms a choice of law clause in a contract is essentially a macro that when the contract is interpreted in a court expands to the contract law of the jurisdiction named in the clause.

If a court in, say, Kentucky hears a contract dispute and the contract has a choice of law clause specifying California it is essentially as if the parties wrote California contract law into their contract. For things that a contract does not have the power to alter in Kentucky, Kentucky law would apply regardless of what California law said. E.g., the Kentucky court would use Kentucky rules of civil procedure and would use Kentucky rules of evidence.

A choice of forum clause requires the parties to use a particular jurisdiction to settle disputes. When you agree to such a contract you are agreeing to give the courts of that jurisdiction personal jurisdiction over you for matters involving that contract.

PS: I found the EULA. In addition to a choice of law clause it has a choice of forum clause:

> Except to the extent expressly provided in the following paragraph, this Agreement and the relationship between you and Apple shall be governed by the laws of the State of California, excluding its conflicts of law provisions. You and Apple agree to submit to the personal and exclusive jurisdiction of the courts located within the county of Santa Clara, California, to resolve any dispute or claim arising from this Agreement

PPS: note that the choice of law clause excludes California's conflict of law provisions. That's to avoid the situation where California's law says that some third jurisdiction's law should apply. In theory you could even end up in a situation where jurisdiction X says to use Y's laws and Y says to use X's, and then you've really got a mess.
Monash University is launching a news wire service for academic research
It's not really a problem that not everyone will get it the first time. There's always the second, or third attempt. The latter handled by differing levels thru high-school math.
The 'PC model' has actually done very little to address poverty. If anything, it has actively perpetuated detrimental attitudes.
New emails released in the McDonald’s ice cream machine lawsuit
> My suspicion is the Chinese government doesn't know either but, more importantly, they don't want to know because absolutely no good can come from that becoming public. There is literally no upside.

Sure, the airplane crashed and a lot of people died, but what good can come of the reason becoming public? There is literally no upside because that side got destroyed in the crash.

Or we can be rational and find out how we can prevent these disasters in the future.
Your analysis should start with the people who got the final permanent job, as those are the ones whose careers are at risk. And your comparison of a "cushy career" should be compared to the median American, who earns $36K, not the extreme outliers you mentor. $60K to $100K for high-status intellectual work is something most people would cling onto.
Not really the same vibe as what you're describing but I need to go back and watch Enemy Of The State.

Another one that seems similar to the vibe you describe is Sneakers. Hell, even Wayne's World is kinda the same vibe (in terms of their TV show).
I think people don't credit Zuck with intelligence. Sure he created something simple, but he saw the value he could create, grew it, avoided giving away large chunks of it.
He did go to an Ivy school, presumably knew how to learn on his own.
And also there are people that you could probably trust to give you good advice:
1. business owners not invested in making money off you.
2. your lawyer is effectively a extremely expensive professional advisor, and generally required to be a fiduciary to you.
Not JSON, but we process XMLs on the order of a GB. Largest ones are consolidated invoices (ie a lot of separate invoices in one file). Other large ones contain rules and codelists in multiple languages.
VCs invest in competing companies all the time. There’s even a saying about it “no conflict, no interest” (as a counter-play to “conflict of interest”). They might not invest in a direct competitor, but startups rarely have direct competitors that are each both looking for VC funding and are fundable. Conflicts happen all the time, though, and VCs don’t worry about them as such. They may worry about a fund company that is doing well, because no intelligent VC is going to potentially hurt a successful investment to fund something that has a 90% chance of failure. But when all else is equal (and especially if it isn’t and they can help their successful investments) they will never worry about conflicts of interest.

The more interesting point here is: word gets around. You can see it in another part of this conversation (top comment right now). VCs are worried about their portfolio, it’s true, but they’re MORE worried about their next fund. The success of this portfolio is simply a good way to advertise to LPs that they should participate in the next fund. They are also worried about deal flow — they can’t get into the hot deals if they have a reputation for turning on founders. If the situation is noisily public (Uber was a good example of this) VCs will think very carefully about what to do. If you’re a small company that is struggling to stay afloat, they will ask themselves one question: is the founder the reason the company isn’t successful? If their answer is yes, then good luck. If not, they will simply chalk it up to it being one of the many investments they make that didn’t work out like they hoped.
You need to have a phone number to use Telegram, and (at least in the past) they rather aggressively banned "temporary phone number" based registrations. And the default settings expose your real identity to anyone who already has you in their phone book.

So, no - Telegram never did appeal to those who prefer to remain anonymous - at least those of them who paid attention.