skysight-inc/HackerNews huggingface dataset:
Reminds me of 3Blue1Brown "Divergence and curl":

https://www.youtube.com/watch?v=rB83DpBJQsE
A guaranteed TPM on all major computing platforms is kind of a big deal, since it is our best chance at making bearer tokens secure against theft by malware.

Given how long MS supports Windows, this is exactly the right time for this requirement.
If matches are 1:1, perhaps they are counting each side as a match (which seems fair.) So they have 2x4500 matches.
Honest question. 2-to-1 student-teacher ratio?? Where is that? Totally stunned.
I don't know about you but after what happened with smartphones I'm pretty much done giving OS vendors the benefit of the doubt.
I believe what zozbot234 is saying is that Rust focuses on a specific subset of formal verification, and on trying to make a language with that enforces that subset in a way that is still somewhat ergonomic.

I'm assuming "scalable" in this case is referring to the fact that fully verifying a piece of software is currently takes a large amount of effort. Rust's approach is more "scalable" in the sense that they decided to focus primarily on memory safety, and punted on other forms of verification in the hope that it would be more ergonomic/require less effort.
You can also use it to solve labyrinths. Just put a high pressure at the beginning and a low pressure at the end. Solve the Poisson equation. The path through the labyrinth is always the steepest slope. In [1] you can see a small implementation of the idea.

[1] https://simulationcorner.net/maze/
While I don’t know the specifics of JEDI, it seems problematic that military data is being stored in a civilian center at all, and one that’s likely to be internet connected. Every day practically we see a new breach, and there’s two things in common: a weak point in software, and the internet. Will JEDI be completely air gapped?
> Which was very highly regarded back then, but now we know better.

Aquinas is still highly regarded. Virtually every philosophy department in the Western world still teaches him.
Google Cloud bowed out of the race several years ago

https://www.zdnet.com/article/google-heres-why-were-pulling-...
It's probably challenging to argue the government is infringing Disney's copyright: It's not a remotely related field of industry, it's not for profit, and the US government is not technically able to hold IP rights itself to anything.

"Star Wars" itself was the name of a previous defense program, so, I'm sure this debate was had out decades ago.
You create matrices that represent the operator. For instance, suppose you had a 1D function and were interested in the evenly spaced points (x1, x2, x3, x4, x5), with the function values at these points being

y1
y2
y3
y4
y5

If the differential equation had a first derivative in it, you'd construct something like this, multiplied by some constant (e.g. 1/(2*dx) for an unscaled derivative):

? ? ? ? ?
-1 0 1 0 0
0 -1 0 1 0
0 0 -1 0 1
? ? ? ? ?

So the derivative at each element is defined by the difference of the next and previous elements. Multiplying the column of function values by this gives you the derivatives. This doesn't work for the first and last element, and in fact you'll usually modify these rows depending on what boundary condition is needed, so I've just left them filled in with "?".

For a solver, you don't know what the y values actually are, so you construct a column that corresponds to the right side of the differential equation. For instance, if the equation was something like the trivial dy/dx = c and you were using the operator above the column would be

?
c
c
c
?

with the first and last values to be filled in based on the boundary conditions. You then left matrix divide that by the operator matrix (i.e. multiply it by the inverse of the operator matrix). That gives the solution to the equation.

This is just a simple example and in practice the matrices will be larger and more complex.
"I really hate when people describe an ai as something that cannot be understood because they personally don't understand it."

On the other hand, keep in mind that a significant weakness of most modern AI research is that it's extremely difficult to understand: you have the input, the output, and a bag of statistical weights. In the story, you know the (trivially bad) function that is being optimized; in general you may not. It's not without implications for other systems.

Further,

"At the end of the day, student and teacher concluded two things:

"* The initial bizarre wolf behavior was simply the result of ‘absolute and unfeeling rationality’ exhibited by AI systems.

"* It’s hard to predict what conditions matter and what doesn’t to a neural network."
I've tried to watch all the "no this isn't like other superhero movies" super hero movies and have been disappointed in all of them.

I was never into superhero comic books though so perhaps it's just my lack of taste.
The statement was a bit hyperbolic, but not by much. Have you ever used cryptocurrency for any routine transaction? How much total money have you spent in cryptocurrency if so? It's very newsworthy when people like Elon musk say they will accept cryptocurrency for the very reason that most businesses do not. And I would be surprised if more than a handful of Teslas have been sold via cryptocurrency.
Yes, old people living longer pulls up the average life expectancy. That's how it works.

And that's been happening every year by a little bit every year (about 0.15 years). Until this year.

When it decreased by 0.1/year for three years in a row, it was a big deal.

Having it drop by 1.2 in just a single year is effectively astronomical. It is a significant event.
How much would 'build-essentials' add to that do you reckon?
You are simply placing an absurd requirement on the reader. The article is pretty clear. New exemptions are being added to the law. Is this true or false?
This is also the Microsoft that IMO has the best, most user-friendly approach to keeping the computer as the user wants it, while allowing the changes the user wants.

Debian didn't impress me when I upgraded my main workstation recently. A long list of important prompts and not so important prompts, enough to make me click "ok, whatever, get on with it". (Oh, and even Debian also requires a network interface and contains a phone-home package. Getting security fixes without a normal network interface is a Challenge, and security fixes aren't really optional these day.)
Data Sharing Maps the Route to Fewer Traffic Injuries and Fatalities
Y Combinator's Co-Founder Matching on Startup School
No, please never do that.
I don't see it backfiring much to be honest. I see a lot of people keeping Windows 10 as long as possible... until Microsoft pushes an update to their machines with increasingly annoying messages until they accept - a strategy they have already deployed successfully.

Defaults always win and laptop vendors will advertise Windows 11 as more secure. What choice do people have?

If anything, this may push a few people to Apple. If you are going to give up all your privacy and pay for services, why not choose the company with the best hardware and integrated and polished UIs?
Dr David A. Sinclair and Dr. David Brenner Twitter Discusson of NAD Supps
> they are popular in telengana because of oppression by muslims

Yeah No. I am from Telangana.

They are popular here because most of the land in not fertile enough and thus, there is poverty and general lack of development, compared to other parts of the state. Also, the workforce does not migrate much to other parts of the world for work.

It's not a coincidence that large areas of Bihar have seen reduced Naxalism, because their labor and workers have moved across India in search of jobs.

You will not find such thing happening in Odisha or Telangana.
Open 3D Engine
Where the Spencer and Hill movies originally in English or Italian?
That it is reasonable to prioritize freedoms that are actually exercised to freedoms that are nice in theory but never used.
Ransomware attack on Kaseya, a software firm, threatens businesses worldwide
Fair enough. But suborbital hops are so 2010. Not gonna get out of bed for anything less than LEO.
There's no evidence they caught coronavirus

There's no evidence they were even sick

Nobody knows which workers they are or who their names are

The article in the WSJ that really ignited the story about the "three researchers at WIV" is the same guy that in 2002 co-authored the piece in the NYT with Judith Curry about Saddam Hussein's nuclear WMD program.
The philosopher Hubert Dreyfus argued that computers, who have no body, no childhood and no cultural practice, could not acquire intelligence at all.

Similarly, nuclear submarines, which lacking all of the critical organs of fish, are completely unable to swim.
Why? IT professionals raise concerns all the time and those concerns are virtually always dismissed by management because costs. Someone made that decision and they should be held to account for it.

You're perpetuating the problem.
Google withdrew from the original bid due to objections by its employees.
VSCode (and maybe Atom?) also send a telemetry event along the lines of USER_HAS_DISABLED_TELEMETRY.
> Last year, the Pentagon’s inspector general released a report saying that the award did not appear to be influenced by the White House.
However, the inspector general noted in the 313-page report published in April 2020, that it had limited cooperation from White House officials throughout its review and, as a result, it could not complete its assessment of allegations of ethical misconduct.

Everyone knows the Bezos-run WaPo is Pravda for the Democratic Party. It’s not a huge stretch to think Bezos is being repaid for his 2020 contributions. It really feels like both MS and Amazon should have been kept out of bidding for this out of CoI fears.
I'm very curious what the success rate of startups are of people who meet via platforms like this, in comparison to co-founders who have worked together before and have a history of knowing each other.

This is a rather interesting shift, since in the past YC themselves advocated against co-founding with someone you don't know well.
[deleted]

Touche, realized I was being trolled again.
random diversion, but in the US at least, Jeep Wranglers come in a Rubicon version, with that word printed prominently on the hood/bonnet.

It's supposedly the commonly purchased trim level because it costs more, so Rubicon the word is used for wealth ostentation.

I've made a sport (a demented sport admittedly) out of asking folks with them what "Rubicon" means. I've not yet found a correct answer.
> making network requests that aren't necessary to carry out the expected functionality

I think regularly updating the package formulae for homebrew is actually necessary to carry out the functionality most users expect from homebrew.
I was surprised to learn about "shadow groups": I thought all lobbyists were required to be registered, but turns out that's actually not the case in the US.
I'll definitely keep an eye on this! Much appreciated.
A good question is why Google is using only one tile to measure LCP for sites that have maps taking 50% of the viewport.

Is it just a coincidence, or did they make it to avoid ruining LCP metrics for large sites using Google Maps extensively (Airbnb, rent.com, etc.)?
Probably because it would be an unpopular move. I have a friend who had the Zephyrus GA502, a quite successful gaming laptop, and he hated not having a front facing camera.

Hardware shutters is what people should push for imo
The importance of freedom and the economy are not in dispute. The point is that both would have suffered less in the long term if "draconian" lockdowns had been implemented in the short term. It's game theory, and NZ chose the winning strategy while much of the world chose the losing one.
I’m CTO and have an admin account for whatever i need but… I STILL have an off domain laptop for emergency or diagnostic or debug use.
Watching English show with English subtitles is different, because I can just ignore the text (this is actually how I learned to watch movies since all movies in movie theaters here are subtitled so I just listened for the English words and watched the movie).

Sometimes I do watch some TV shows with subtitles on (English dub & sub) if they have very inconsistent audio equalization i.e. during some scenes music is super loud and then they dip into really quiet dialog so I don't miss the beginning part.
> Or the search query you did use was shared to the data broker and now whats going viral to you already matches what you would have looked for

This sounds like a conspiracy theory. Search engines generally aren't sharing your queries?
Menuet32/64 is pretty small, and I think it runs a Webkit browser.
Literally all the software in question is free. Yeah, you can both tell each other to buzz off and no one will be upset.

http://i.giphy.com/Qp45SP1P3PbbO.gif
DHH’s answer at tweeter
> Hotwire, Stimulus, and Turbo have moved to a new domain. You can now find them at http://hotwired.dev. The code remains at http://github.com/hotwired.
I dont understand what 'graph' has to do with this. Could you explain?
This is incredibly exciting!

However, as someone who has been asked my many founders for help finding a co-founder, there are some yellow flags going off for me.

Beyond trial projects, how does this initiative seek to build trust and values-alignment between new co-founder matches?
something strange, No Iran firms, No N Korea firms, No Chinese firms no Russia firms under attack
I can't see a critic taking that dictionary definition very seriously. If you had looked at Wikipedia instead, you'd see no animated show is discussed in the article on sitcom, suggesting animated shows are considered a separate genre.

If you opened a textbook on mass media, it might have a definition of sitcom that is more culturally relevant.
The expectations placed on military compliant service is pretty significant, in that it's generally going to be dedicated boxes and networks and significant controls to prevent any easy movement between enterprise or consumer users and government. (Most government cloud customers are already on a pretty separated area from everything else.)

But presumably Internet connectivity is the entire point of why they'd want a cloud contract: The government already has servers in buildings. It sounds like they particularly want the global reach of a cloud service, probably for activities intentionally intended to be on the Internet.

I mean, bear in mind, if you're a state-level actor that engages in cyberattacks, you need to be on the Internet to do them... Not saying that's the purpose of the JEDI contract, just that... there's plenty of scenarios where the military wants Internet-connected things.
Your attempt at reading my internal mindstate was wrong, I'm afraid. I was simply correcting your assertions that have not been backed up by real data, and the fact that you've glossed over the changes in the virus that have been observed in the wild over the last few months.

But let's talk about this: having an immune system be as strong as possible is not a good thing. Weak immune systems are bad. Overly "strong" immune systems result in auto-immune disease.

"Natural immunity" to COVID is no different ($) than vaccine immunity, and our vaccine-given immunity comes with far less risk. We've been given a miraculous vaccine technology, tested it at scale and found that it's safe. If you want to make some real change, focus on changing the minds of the anti-vaxxers that are extending the pandemic through their lack of action.

Sure, getting everyone fitter would help. Getting people more vitamin D will help with other things (but again, probably not to a great extent with COVID). But that doesn't change the fact that we were grappling with a deadly virus that can quickly overwhelm health care systems and cause long-term "long-COVID" damage that we are still not completely understanding.

($) I don't have the numbers at hand, but the last study I read suggested that getting COVID was slightly better at preventing future COVID than a single Pfizer dose, but worse than two Pfizer doses. Will look for this again.

EDIT: https://www.gov.uk/government/news/past-covid-19-infection-p... is the study.
One man's 'procedure' is another's political vindictiveness. GST is how many years old now ? That should have been ample enough time to fix the problems that shouldn't have been there in the first place.

You challenged the notion that GST is a pathetically flawed implementation. So I gave you one. Rest is your call.

GST is a mix of a miserably poor implementation and crass political arm twisting by the party that holds sway in the center to force state governments run by opposing parties to fail.
"The Secret Life Of Machines" was a very bright spot in my childhood. My mother recorded the episodes on VHS cassettes and I wore those things out playing them. I've been rewatching them as Tim posts them on YT and I'm delighted to find that they're as brilliant and hilarious now as they were 30 years ago.
They introduced a new abi for arm that seems to be compatible with emulated x86_64. Maybe trying a WOW64 but for ARM?
Ask HN: Limit to Nesting Volume Sliders?
Just thought of a hypothetical that made me very curious about multiple volume bars. Right at this moment I have a volume slider for spotify, then a layer up there's one for my computer, and a further layer up there's one physically on my headset. I don't know much at all about how volume information is passed (scaling the magnitude of the signal representation of the sound?) Is it possible to nest things deeply enough to actually lose sound quality, or break something, or is everything just nicely passing a float with the percent of maximal volume, and a lossless representation of the sound?
One point here - support emails do not help you identify problems that less invested users may be having with your product.

For example, I used to work developer relations on TensorFlow. We wanted to make the framework accessible to enterprise data scientists. The problem was that these users were not familiar with the tools that we commonly used to get feedback - GitHub issues, the mailing list, etc.

Most of them were using TensorFlow on Windows via Jupyter, which wasn't well-represented among the users that we had frequent contact with.

It was really hard to understand the universe of issues that prevented most of these users from getting beyond the "Getting Started" experiences. Ultimately, these users are better served by easier to use frameworks like PyTorch, but I think a big reason that TensorFlow couldn't adapt to their needs is that we didn't understand what their needs were.

Another big problem is that it takes a certain level of technical sophistication to know how to send maintainers a useful crash report. If you rely on this mechanism, you will have a very biased view of your potential user base.
The problem that comes into my mind is that dispensers are tech, while bins are literally a bunch of plastic/cardboard/metal.
But on the pros, your system is a FIFO queue, while the system in the video is LIFO, the latter is not good for goods with an expiry date.

I am currently working in a warehouse with 80k unique items, i am planning to automate the system (because currently it's using little to none automation, mainly because there is a conflict of interest) and a system of bins with the pickers/refilles zooming on the top is the best solution I've found so far.

I think that i will make the project open hardware/software.
"They aren't requiring a network interface to collect telemetry - that's a slippery slope" was a common refrain a decade ago, too.
Thanks for calling this out, I thought it might cause confusion. Matrices are super weird objects because they don't fit nicely into the {scalar, vector, function, operator} classes that maybe we're used to. A matrix is a function in that it can take in a vector and map it to a new vector. It is also an operator in that it can take in some other matrix (a function!) and give you a transformed matrix (a new function). It is also a function in the sense that it can map vectors to scalars, where the input vectors (x, y) are the coordinates and the scalar stored there is the output. All of this gets further complicated by the fact that the elements of a matrix can be scalars, complex numbers, or even matrices! They are really strange objects and maybe I'll write up a whole post just about that strangeness.
>Aquinas reconciled some Aristotelian and Neoplatonic views with the Catholic Church

I wonder if you might be mistaking Aquinas for Augustine? Augustine introduced huge amounts of Neoplatonism into Christianity very early---little more than a century after the original Neoplatonist, Plotinus himself. It's also worth noting that Plotinus was a disciple of the mysterious Ammonius Saccas, one of whose other disciples was none other than Origen, a very influential early Christian writer (albeit later considered a heretic).
Precisely the sequence I had in mind. I wowed a news.ycombinator commenter with this a couple of weeks ago in a thread about how spinning drives store data.

Here is a direct link to the scene: https://youtu.be/g1JlUcFKm5o?t=537
I managed to compile for a 386 as a target for a no_std rust, but as far as running the compiler goes, might be SOL on that one.

https://github.com/teknoman117/ts-3100-images/tree/master/ru...

(for this SBC: https://docs.embeddedarm.com/TS-3100)

My goal was to follow blog_os on this board for fun. Main sticky point is the 386 not having any hardware atomic operations (which didn't show up until 486).

I recently got a current Gentoo base environment booting on a 133 MHz AM5x86 based industrial SBC and it takes 3 minutes to compile hello world in C++ (70 seconds for C) so I'm not super confident you'd even want to use rust compiler on a 486, even for "a day in a programmer's life from 30 years ago" experiment.
In taking a contract like this, I (as a company owner) would be more concerned with the thought that I just added my datacenter to someone's priority target list.

On the other hand, let's be honest... In strategy for a modern war, Microsoft and Amazon's major datacenters are already on someone's priority target list.
Oxford tutorials do this. They typically have one, two or three students.
TikTok algo forbids phrase “black people” but not “white people” among others
What I'm talking about doing is literally reporting on already public data.
Ah. So I took your use of the word "want" more literally than you seem to have intended it. I "want" everyone to get the vaccine. You seem to be specifically calling out the desire to "compel" which I am much more ambivalent about. (I'd probably be in favour of "incentivising" with a careful eye on unintended blowback).

But the phrase "finger waggers" is just divisive and raises the temperature. I'd strongly suggest you moderate such phrasing on HN.
Here's a reason I think humans will embrace space habitats and colonizing other planets: we can't let go of the idea of infinite growth, and we want to preserve life and nature(and biodiversity). Those two facts are incompatible with each other if we remain only on earth.

So we'll build carbon-neutral space launch platforms. We'll figure out asteroid mining and space manufacturing. We'll grow beyond Earth because we will never, as a whole, accept death.
there's also the poor ethics of greenpeace lying about a job interview as well as releasing that content. way to stay classy greenpeace. Also pretty sure that's illegal in many countries.
Right now, it's only built with a single founder looking for another single founder in mind. That said, we've seen a number of folks hack around this by mentioning in their profile introduction that they already have a partial team and are looking for a third/fourth co-founder.

We actually do ask about whether you're interested in working on design, or interested in finding a designer as part of the matching profile. It's in the "Which areas of a startup are you willing to take responsibility for?" section.