skysight-inc/HackerNews huggingface dataset:
evidence: https://www.law.berkeley.edu/our-faculty/faculty-profiles/jo...

That being said, these students are the most listened-to class on the planet. Their awful mass media-drenched suburban backgrounds along with the race for interesting opinions that they engage in to try to distinguish themselves from those backgrounds is lowering the quality of education in general.
Maybe they mean "calling scientific method a form of racism?" Just a thought.
Strange Days is sooo good.
I don't think anyone is asking institutions to spend resources on ideas which have been discredited. I believe the ask is for academic institutions to avoid creating an atmosphere where ideas are abandoned before they can be evaluated because they run counter to the activist ideas promoted by the institution.

EDIT: or an atmosphere where certain ideas are favored because they support the activist ideas promoted by the institution.
Niacin is also used by some of the nootropics crowd to improve cholesterol.. to reduce cardiovascular risk: https://www.mayoclinic.org/diseases-conditions/high-blood-ch...
looks like https://starship.rs/
Elegance. I keep hearing that from obj-c devs and I really don’t understand what is so elegant about it. Maybe it’s more to do with familiarity? I find swift much easier to deal with and more “elegant” to read.
Mutation Testing in Rust
Hi guys!
I did a little write up about my approach to mutation testing, and why it's a valuable tool.
Any constructive criticism is welcomed.
Hetzner's site looks fine to me. Highly readable and to the point unlike modern web shit where you have to scroll through 5 miles of marketing animatinos.
But one teacher's history is not another teacher's history, and the same for philosophy, and science in some parts of the country/world. Much of the private school system is run by money, and that money comes from people and places that have an interest at heart...it is not just a free giveaway like it may seem sometimes. Take the private funding away, and you have less bias, but now you have underpaid staff. Lose, lose.
Do you have a link to explain this? I dont think its true.
If you start talking about Palestine in your Differential Equations class, that is indoctrination. If you start talking about Jews in your CompSci 102 class, that is indoctrination.

There is no reason to talk about anything besides the class, in the class.
"Building more housing is like building more freeways."

Possibly. But what building freeways does exactly is itself not uncontroversial. The article in this HN thread isn't great, but some of the comments are at least thought-provoking.

https://news.ycombinator.com/item?id=39353710
Can you elaborate on why you believe this is the case? Your comment as-is lacks substance, and it would be helpful to describe what of Popper's ideas you agree with, and how and why they apply to GP's comment.
I am fascinated by the film The Matrix. The film's depiction of a virtual reality world was groundbreaking at the time, and it has had a lasting impact on the way we think about technology and its potential.
Depends on the cloud provider. Local SSDs are physically attached to the host on GCP, but that makes them only useful for temporary storage.
Oh, cool. They implemented a `download_more_ram()` function![0]

Does it crash safely as well? I did not test it, I more than 640 KB of ram.

- [0] https://github.com/Speykious/cve-rs/blob/d51f52dd64f148a086e...
Code that's full of memory bugs is likely full of other bugs too. Improving testing methodology, perhaps establishing official guidelines, would address ownership issues and more. The goal should be to write robust software, because robustness implies memory safety but the reverse is not true.
How is that different from how cores, mem and network bandwidth is allotted to tenants?
This is the kind of comment I come to HN for.

I think this is an absolutely right read on the situation. To put it in a slightly different context, the magpie developer is more akin to a "sociopath" from V. Rao's "Gervais Principle" [0], doing the least amount of work for the company while forging a path forward for their career. In this case, it just happens to not be within the same company.

[0] https://www.ribbonfarm.com/2009/10/07/the-gervais-principle-...
I always assumed so, and I never feed it anything sensitive.
Disclaimer: I work for OCI, opinion my own etc.

We offer faster NVMe drives in instances. Our E4 Dense shapes ship with SAMSUNG MZWLJ7T6HALA-00AU3, which supports Sequential Reads of 7000 MB/s, and Sequential Write 3800 MB/s.

From a general perspective, I would say the _likely_ answer to why AWS doesn't have faster NVMes at the moment is likely to be lack of specific demand. That's a guess, but that's generally how things go. If there's not enough specific demand being fed in through TAMs and the like for faster disks, upgrades are likely to be more of an after-thought, or reflecting supply chain.

I know there's a tendency when you engineer things, to just work around, or work with the constraints, and grumble amongst your team, but it's incredibly invaluable if you can make sure your account manager knows what shortcomings you've had to work around.
I have a copy of every piece of Valve hardware except for a Steam Machine, and if there's anything that that's taught me, it's that Valve cannot make hardware v2 in anything. I snapped up the transparent case OLED Steam Deck immediately because I do not expect there to be a Steam Deck 2
They do this because they want SSDs to be in a physically separate part of the building for operational reasons, or what's the point in giving you a "local" SSD that isn't actually plugged into the real machine?
The author is ex Microsoft, Google and was a senior staff eng at Twitter; i don’t know them but my experience with their blogging over the last decade is that they seem generally very well informed. To me it seems unlikely “the penny hasn’t dropped”, like you say.

On the actual criticism you’re raising: In what concrete way would moving to micro services help with reducing data integrity bugs? In my experience I’d expect the exact opposite - micro services systems generally being harder to test and generally having more possible interleavings and partial failure paths.
It is a compiler bug, yes.
I don’t think this is a surprise to anyone here (I just assume anything done on any of these services is being “used to improve it” i.e. “spying”). But if Schneier is talking about it, maybe it will get more attention.
They provide the editing tools for a musician to build up the dynamic composition and state machine that drives it, plus the runtime component which executes all that inside the game.

It's basically a whole DAW specialized for games: https://www.youtube.com/watch?v=7A1HMOsD2eU
Both this article and the article on Turchin himself don't pass the smell test. They both read more like opinion pieces than informative articles. Like they were written by either Turchin himself or people who know him.

Contrast the article on Turchin to the one on Tim Berners-Lee (https://en.wikipedia.org/wiki/Tim_Berners-Lee).

No wishy-washy weasel language. No vague claims of contributions, just straight up: He was here, he did this thing.
VS Code.
My biggest concern with Rust is the sloppiness around the distinction between a "compiler bug" and a "hole in the type system." This is more of a specification bug even though Rust doesn't have a formal specification: the problem is the design of the language itself, not that a Rust programmer wrote the wrong thing in the source code: https://counterexamples.org/nearly-universal.html?highlight=...
I didn't say anything about financial analysis. But static typing is a good defense mechanism against type errors at runtime (I don't think anyone would argue against that). When you're running a financial services product, the cost of a type error in production can be dramatically higher than in non-financial code. Speaking from firsthand experience.
The whole paradigm of deterrence is avoiding war by convincing your opponents that attacking you will be futile, or at least excessively costly. What good would a deterrent be if people didn't know you had it? Obviously you're not going to give away enough technical detail to help a would be adversary to defeat the system, but announcing the general existence of such a system is routine.
Spacecraft returned double the amount of asteroid rubble
FYI seems on Windows this has special installation instructions with a Python dependency. Too bad it's not just an executable binary I can drop in and run.
Yes that was a great series. Though it went a bit off track in the second season with the story all over the place. I wasn't surprised they cancelled it.
I think that's the best description of a lifetime I've seen so far.
pretty cool comparisons. quite some differences there.

tangent, I remember reading some post called something like "Latency numbers every programmer should know" and being slightly ashamed when I could not internalize it.
The Guardian removes mention that Julian Assange's life at risk if extradited
OpenAI is more like a subscriber to the Times. Somebody who reads an article about housing policy, and writes their own paragraph on Facebook utilizing ideas from the Times article.
Teachers aren't robots.

Teachers are more effective when they can connect with students on a personal level.
“Fund, fund, subsidize, and subsidize” contain embedded sacrifices for someone*. (If they didn’t, we’d fund and subsidize even more than we currently do, by an enormous margin.)

* In this case, the sacrifices come from competitors/substitutes to the things being funded or subsidized, consumers who are ineligible for a particular subsidy program (but for which the demand is increased for the product by those eligible), and of course, often from net taxpayers.
Those would be valuable to know, but I bet separating the non-point-sources is unachievable. I mean, we may be detecting latent (> 1 year old) hydrological concentrations from the combination of lawn, ag, failing septic tanks, and point sources that conveniently become non-point.

On that last source: the design is to concentrate liquid manure, which as a point source is a liability, and spray it over an area. I believe this makes it a non-point-source for the purposes of carveouts in the clean water act.
> Everything was essentially made up by the Buddha

obvious self contradiction, fwiw

Besides, do you really think he made up his loneliness, having to travel to find anyone who really wanted to learn, and then die as an old man on the side of the road? I doubt he would have chosen that, after all, why come to contribute to this world if everything were already hunky-dory,.. and frankly, it seems abusive behavior towards him to pretend he chose to suffer our stubbornness, ignorance, and pride. Again, girardian scapegoat mechanics.

> he expanded upon the teachings of the Brahmins before him

He referred to himself clearly as self-born and someone who saw the world on his own. One can't expand on something that doesn't contain a teaching.... sort of like your own descriptions, actually, if you don't mind my directness.

> but much of what we think of as Buddhism was made up by people other than him.

> The teachings he left were sufficient for the people of the time but today I think them more a trap than a gateway to truth.

You need to know the fact that when people tried to transmit his teaching, they couldn't help but damage or change it. This is an unavoidable consequence of the fact that they had a lower level of consciousness than his or didn't have the ability to verify singular points of knowledge and control their karma. Maybe 1-2 people could transmit it without damaging it terribly.

You and others today also can't always tell the difference between his words and what his words were changed into by many people - because you aren't yet sufficiently familiar with the law of existence and disillusioned with lies.

An apple, no matter how nourishing when fresh, becomes poisonous when rotten (degenerated). Instead of poisoning your body, the deteriorated truth poisons your apparatus of awareness - your consciousness. So you're right that you can't study his teaching and probably can't recover the real teaching or a sufficient teaching for saving your life if you're in danger, as far as I know - unless you have the help of another Tathagata. Chances are if you contact Buddhism without a truthful guide, you will lose yourself. That's why I wanted to tell you what the Lotus Sutra says and I wanted to tell you that it is clear that an actual Buddha has to appear in the world in order to reveal the dharma. Until then, people forget what the teaching is, far from being able to even enunciate it without damaging it. So please do not cheat yourself by believing your thoughts.
Planner programming blows my mind
I wonder what percentage of Google's daily searches are actually coming from scrapers
Tesla FSD v12 can make U-Turns
Describe the indoctrination you think is taking place currently.
WebKit is probably the most common embedded engine. From game consoles to kitchen appliances.
In my experience over-engineering is far less of a problem than badly engineering. I see way more total messes than "enterprise" engineering.
I was just thinking today, "I wish there was diskprices.com but for RAM". THANK YOU! Please could you add other locations? (In particular amazon.co.uk)
And Windows 10, IIRC.
Datacenters are up to 400 Gbps and beyond (many places are adopting 1+ Tbps on core switching).

However, individual servers may still operate at 10, 25, or 40 Gbps to save cost on the thousands of NICs in a row of racks. Alternatively, servers with multiple 100G connections split that bandwidth allocation up among dozens of VMs so each one gets 1 or 10G.
Can you point to a curriculum or lecture where that has occurred?
Yep, using a middleman is the easiest way to go. No need to incorporate in the country, understand local taxes and labor laws and you just get a check. They usually even handle invoicing and collection, if you're a contractor. Fees tend to be reasonable for the services offered imo.
Also mapping all of the western world, and sending the most detailed 3d maps of western infrastructure to servers of a company that's a part of the chinese military complex.
I think it's important to understand what bias is. Bias is not having an opinion. Bias is when several particulars to you influence your opinions in ways that don't reflect certain values, like the common good, truth, accurate representations of the matter, or similar values. I also think conveying certainty when there is none is a form of bias (when advocating for change, for example), as is equally advocating for absolute ignorance where there are some principles we can have confidence is.

That's different from neutrality, which for me is avoiding expressing opinions at all. I think neutrality is valuable if otherwise dialogue would be misinterpreted or cause conflict. Conversations need a well moderated (safe, welcoming, with vigilance for good-faith discussion) and freely exchanging environment to be productive, otherwise I think neutrality is the best option. Neutrality is also a good option when there are different cultural notions/opinions that can coexist without coming into conflict (this is a case where promoting uniformity and uniform agreement can be harmful, I believe! -- like, we don't need to agree that basketball is superior to football or something like that).
In the 80s we were worried about the bomb and US-USSR relations deteriorating into a nuclear war.

Now it turns out our worries about Russia were correct, with the exception of nukes. Nukes are to have, not to use. Russia must be stopped, because they've taken the place of Germany in the 1930s and 40s, and the only way to stop an imperialist is with force.
> If I didn't want others to use my code or make money with it, I wouldn't have gone open source in the first place

> I'd rather use an AWS service with an open source core than a closed-source service.

I guess it’s just a problem with the people who work in software engineering. You won’t use anything closed source, but also don’t care if other engineer’s valuable open-source tools are hijacked by companies with billions in resources.

Basically, you want to have your cake and eat it too.
I use Obj-C++ so I can mix the two languages ad-hoc. I’ve done it this way since the days of NeXTStep.

This allows me to use existing code bases and SDKs, such as the AWS one.
>so this part "same way how rust includes some runtime code during compilation for memory safety" is factually wrong.

RefCell includes runtime code. Fundamentally, because of Rice Theorem, the compiler cannot predict the state of memory at all points in time, so runtime checks are needed.

>Can you substantiate that?

I mean, double free relies on using free() twice. Mempool malloc()'s once, and free()'s once at exit. Use after free is mitigated by making sure that the pointer to the memory is set to zero (mempool either returns struct or a pointer to a pointer on allocation, and you access the requested memory through that).

Furthermore, you can have multiple mempools, and keep critical data separate, so if the pointer doesn't get zeroed out in the implementation, use after free won't leak anything critical.
Not really, I wouldn't endorse the disposition on anyone's part.

I'm glad that for the most part HN is moderated in a way that encourages civil discourse, even in disagreement. Not making fun of each other, not ad hominems, not swearing or even trying to make people bad, like other sites on the Internet sometimes do.

I've said plenty of immature or "cringe" things in my past and probably will in the future, so for what it's worth, I appreciate gentle nudges in the direction of being better and nicer to those around me.
Didn't OpenBSD keep platforms like VAX going for some time? Googling, they discontinued it in 2016, which is pretty late for that.
>> I know very few people who would pay for a search engine.

A 'fact,' which, if true, makes little sense when you look at it from the PoV as a tool.

With real physical tools, if you only use it occasionally, get a cheap one. But when you use it all the time, it pays to invest in a quality model.

Considering the frequency even the n00best of tech normies of the world use a search engine it makes sense for everyone to obtain such "a quality model." Sadly, that doesn't mean everyone will do so.

[me: Kagi unlimited user since they did the pricing change a couple of months back]
I assume it's true for anyone offering AI as a service.
Anytime you hand your data over to someone else they will use it for whatever benefits them. No one should be handing them sensitive data.
All teaching? So which position am I taking when I teach students how to compute the determinant of a matrix?

Of course I can imagine that, say, constitutional law might currently be a bit more difficult to teach. But I still do not see what concretely the Yale administration is called upon to stop doing.
Is there a Qt app that looks great on Windows? Breeze is awesome when on KDE, but I don't remember a single Qt app that'd actively look good on Windows.
400G is fairly normal thing in DCs nowadays
>Critical Race Theory axiomatically requires white people to be written off as evil and the enemy.

For the sake of argument, lets grant your point about the Marxist framing oppressor vs oppressed stuff.

Cannot the system itself be the oppressor, instead of "white people"?
Show HN: nudge: A command line tool for sending notifications via pushover
Version 0.6.0 is out. Brings image attachment support.
Embark extends well vertico + consult workflow (selection/narrowing in minibuffer)
https://youtu.be/d3aaxOqwHhI
The financial impact was just to highlight a scope in terms that can result in a single calculable easy to understand number. And also most transactions are automated and rarely validated manually so I’m not sure how many inconsistencies we’re catching. Look at the UK post office scandal and that was basic distributed systems bugs used in the auditing software where the system was granted privilege over manual review (sure there’s lots wrong with that scandal but it is illustrative of how much deference we give to automated systems since that tends to be the right tradeoff to make).
I want an AI that better interpolates between different viewpoints in Street View.

Because right now I often get lost when going from point to point.
Bandwidth delay product does not help serialized transactions. If you're reaching out to disk for results, or if you have locking transactions on a table the achievable operations drops dramatically as latency between the host and the disk increases.
I realise from working a few places that this isn't entirely common practice, but when we built the data warehouse at a startup I worked at, we engaged with a consultancy who taught us the fundamentals of how to do it properly.

One of those fundamentals was separating out the steps of landing the data vs subsequent normalisation and transformation steps.
> people with their smartphones out when they’re ‘watching’ a Netflix show

I noticed myself doing this years ago and when I really reflected on it, I felt very unsettled by what was happening to me.

And meanwhile most of us have people (partner, kids, friends) you'll have (hopefully) a lifetime with, and pursuing some kind of deeper connection with them instead in those moments actually would result in some kind of meaningful reward. Yet you keep on scrolling and seeking out another kind of reward which invariably never really comes. Disturbing stuff when you break it down. But most of us kind of shrug it off. No big deal.
I wonder if we use LLM because LTM (and LSTM) was taken.
The thirteenth floor was also pretty ok though clearly a low budget effort. Plot wise it was a little in between the matrix and Inception, sans the action.
> Cairo is in a maintenance-only mode.

That's too bad. Is their a successor planned or is Skia the recommended alternative?
Yes. Force them to be neutral. Teach both sides of climate change and the Panama papers. For sure...
It’s also not failure evident.

I’ve managed a very large tenant with a number of carve out T&C. I’m aware of at least a dozen times that settings reverted during upgrades or migrations. O365 is a huge service with a lot of humans and duct tape holding things together.

Unless you’re auditing them, you have no idea.
Ah, the dream of fully-featured, performant M:N threading. Spawn tasks left and right, optimize with a small declarative config, and sit back and relax. I'm very interested to see how close we can get.
Yeah, the market is quite bad. I’m a SWE with half a decade in FAANG on my resume and CTO experience in a VC funded startup I cofounded and while I’m getting a slow trickle of responses, response rate is easily 10x less than it was in October 22, last time I was looking.

…with that, I am starting to seriously plot a bootstrapped startup, as it’s just taking a long time to find a job and I might as well go and build something.
You're assuming too much.

Not saying we shouldn't change anything.

I am saying that adding ownership is't the change that's needed, since you won't be able to convert most C code to that regime.
If you're at G, you should read the internal docs on exactly how this happens and it will be interesting.
The products I’ve paid for and enjoyed for years usually become worse when businesses feel they need to spend more of their resources on b2b.

Basically, enshittification.
It really isn't a problem... like, at all as it only affects variables within the same scope.

foo = "Hello"

if true do
foo = "Bye!"
end

foo # `foo` is still "Hello" here

I guess if you have REALLY long functions it could be ¯\_(ツ)_/¯