skysight-inc/HackerNews huggingface dataset:
> that is AI above and beyond what many humans can do, which is "awesome" no matter how you put it.

That's not the point being made. The point OP is making is that it is not possible to understand how impressive at "generalizing" to uncertainty a model is if you don't know how different the training set is from the test set. If they are extremely similar to each other, then the model generalizes weakly (this is also why the world's smartest chess bot needs to play a million games to beat the average grandmaster, who has played less than 10,000 games in her lifetime). Weak generalization vs strong generalization.

Perhaps all such published results should contain info about this "difference" so it becomes easier to judge the model's true learning capabilities.
causal link is very tenuous here. i dont think he's ever been involved in the education system and this code is pretty much the only code related thing we've seen out of him since he got his CS degree in 1974
Nicer Cities, Liveable Places: Design Details of ‘Continuous Footways’ (2018)
That and the categorisation of tools into the different ribbon tabs seems completely arbitrary.
Great post, but:

> How Do We Get It?

> I’m afraid to find that out, you’ll need to wait until the next instalment. I hope to get it complete in a few weeks (I was hoping to have a PoC available with the next instalment but that’s just a silly goal at this point).

> If you want a taste though, the general idea is that we can resolve most of the issues I’ve listed and gain most of the properties we want by creating our own format that is built on top of the OCI content-addressable store, and is a Merkle tree with content-defined chunking of file contents. The basic idea is very similar to backup tools like restic or borgbackup. Since OCI has smart pointers, we can define a few new media-types, and then our new format would be completely transparent to OCI image tools (as opposed to opaque tar archives).

> But you’ll learn all about that next time. Thanks for reading, and happy hacking!

Any follow-up on this 3 year old post? This appears to be the final entry on cyphar's blog. Did this ever happen? I've done some hunting but can't find any stated plans for OCIv2 from Cyphar.

There was a hack-session in march 2020 on this topic: https://hackmd.io/@cyphar/ociv2-brainstorm . Really fascinating document. It has a section for each problem, & does a great job citing & discussing prior work in the area. Was a delight to stumble into this. But still seems very formative. It felt like cyphar was already onto a plan, well before this date. I don't see any evidence of v2 forming in the official repo, https://github.com/opencontainers/image-spec/tree/main/specs... . Cyphar does still seem active in the project.

Seems there was a come-together call on the mailing list last June, calling for trying to extend-their-way-forwards rather than do a big revamp/rewrite: https://groups.google.com/a/opencontainers.org/g/dev/c/6DGtH...
Adults do plenty of stupid things too. Kids just have on average larger speeds and accelerations.
I can see where the reference comes from, there isn't all that much to pick if you want to use a color:

https://abcnews.go.com/International/north-koreas-parade-big...
And apk, deb, rpm, whl, msi. Virtually all packaging formats come down to "archive plus metadata."
But is it safer than human drivers?

This is the real question, because a "perfect" autopilot may be impossible because of cases where it must choose between sacrificing something outside the car vs its occupants and there will be disagreement.

Setting the bar at "perfect" is pretty unrealistic given that humans are already pretty bad.
Harold Bloom on Cormac McCarthy, True Heir to Melville and Faulkner
Fully agreed.

Imagine there were no mouse/controller sensitivity settings for example. These and many other settings can have huge impact on how usable something is.
Thanks for pushing us at Render. We want to make sure we build it right (updating the dashboard without too much special casing is a bit more involved than a CLI update) but we're certainly on it, especially now that we have managed Redis.
It's OK to expect better from both journalists and companies.
> How many human beings do you personally know who were able to solve a dynamic programming problem at first sight without ever having seen anything but greedy algorithms?

Zero, which is why if a trained network could do it, that would be "impressive" to me, given my personal biases.

>. If you could get a machine that takes in all of Github and can solve "any" DP problem you describe in natural language with a couple of examples, that is AI above and beyond what many humans can do, which is "awesome" no matter how you put it.

I agree with you that such a machine would be awesome, and AlphaCode is certainly a great step closer towards that ideal. However, I would like to have a number measures the "awesomeness" of the machine (not elo rating because that depends on a human reference), so I will have something as a benchmark to refer to when the next improvement arrives.
Or maybe the problem is that the US and UK also happen to be places that foster an attitude in their people that everyone else should just bow to them and do things the way they want...?
Statistical outliers??

Sorry, but not too long ago I ran into a figure that 2/3 of Omicron cases had previously been infected with another variant.

Covid is mutating fast enough that prior infection provides only limited protection. If you're lucky your body locks onto the spike protein and the protection works pretty well against all pre-Omicron variants. But you're not guaranteed that, your body might go for a much less stable target and do little against a variant.

We are seeing this with the Chinese vaccines. They're killed-virus vaccines, they worked well at first. Not anymore.
It will probably change the types of things a programmer does, and what it looks like to be a programmer. The nitty gritty of code writing will probably get more and more automated. But the architecture of the code, and establishing and selecting it's purpose in the larger scheme of a business, will probably be more what programmers do. Essentially, they might just become managers for automated code writers, similar to the military's idea of future fighter pilots relating to autonomous fighters/drones as described in this article:

https://www.newyorker.com/magazine/2022/01/24/the-rise-of-ai...

Maybe. It might never get to that level though.
I hope the sound design you're referring to doesn't include the dialogue, because me and the two other folks I watched it with in theaters couldn't understand half the dialogue. It was like the Dark Knight rises all over again.
It's nice to have settings, but you also absolutely need to have defaults which work for the vast majority of the user base who will never open the settings menu.
I was surprised to see that, too. It is a rare combination, perhaps a hopeful one if there are problems that funding agencies in both countries see as important-enough to fund alongside their frequently-presumed competitor.

However, a closer read suggests that the author did the work at UMass Amherst, then took a professorship in Shenzhen.
> Recognizing this as a bug in the network stack first triggered by Telemetry makes it clear that this is not the place to have the millionth iteration of flamewars about that service but rather questions like the design of that network loop or not having test suite of the intersection of those particular libraries.

Surely one could adopt a "shared nothing" approach, or something close to it - a separate process for the telemetry functionality which only reads things from either shared memory or from the disk, where the main browser processes could put what's relevant/needed for it.

If a browser process fails to work with HTTP/3, i don't think the entire OS would suddenly find itself not having any network connectivity. For example, a Nextcloud client would still continue working and synchronizing files. If there was some critical bug in curl, surely that wouldn't necessarily bring down web browsers, like Chromium, either!

Why couldn't telemetry be implemented in a similarly decoupled way and thus eliminate the possibility of the "core browser" breaking due to something like this? Let the telemetry break in all the ways you're not aware of but let the browser continue working until it hits similar circumstances (if it at all will, HTTP/3 isn't all that common yet).

I don't care much for flame wars or "going full Stallman", but surely there is an argument to be made about increasing resiliency against situations like this one. Claiming that the current implementation of this telemetry is blameless doesn't feel adequate.
Let's see what shape it will get when it's passed. As the article says, "The legislation would require agriculture equipment manufacturers to make spare parts, instruction manuals and software codes publicly available". This can go both in option 1 and option 2 direction.
Second thought, if one wants to develop DOOM as Carmack did, he would need a NeXT workstation, might not be easy to come by TBH, but maybe there is am emulator good enough.
I give that about 0.3846% chance.
Machine independent representation? One of the explicit goals is a format that works no matter the underlying filesystem it is copied onto. ZFS is supported as a storage driver by most container runtimes, but it isn't desirable to have it be the only supported storage driver.
Turbo Pascal was famous for compiling projects quickly. The current rustc compiler is not. The output of the rustc compiler can be better optimized for run time than the output of Turbo Pascal, though.
They claim that this only affects "propaganda websites" but I honestly do not know how North Koreans use the intranet and what kind of access they have outside the country. Do you see reporters doing in-depth interviews regularly or NK citizens on english language websites? We should be very careful to qualify what we actually know about this country as it is a regime change target. This means most of what we read in the news about it will be war propaganda.
I wouldn’t mind having this as an official feature, TBH. It’s just a few meta tags and makes it a lot easier to figure out if the link is worth following in Slack/Teams/etc.
Iirc that concept actually comes from the netherlands. I’ve seen videos on Dutch road design showing that, i had no idea they’d been implemented in france.
Isn't Minecraft a plain old polygon renderer?
Yup, I hope that'll happen. Then engineers would just end up being done at a higher level of abstraction closer to what designers do with wireframes and mockups.

Kind of the opposite of the way graphic design has evolved. Instead of getting more involved in the process and, in many cases, becoming front-end developers, it'll become more abstract where humans make the decisions and reason about what to include/exclude, how it'll flow, etc.

Even TicketFixer wouldn't be able to do more than offer a handful of possible solutions to design-type issues.
I think the recommendations are not good on Netflix because the content is mostly not good. Lots of Netflix Original stuff that lacks staying power and seems designed to pander and not to actually be good. Fortunately, as time marches on, Turner Classic Movies is starting to show films from the 70s and 80s (I guess something can only be a "classic" if it's at least 40 years old), so I imagine that TCM will get a better and better selection in the coming years. If you have a cable subscription, you can stream their rotating selection of films online.

I also find that Hulu generally has better options for TV series than Netflix. You have to deal with ads unless you pay extra for the premium subscription, but it's not like they aren't harvesting your data anyway, and it's easy to just mute the ads (I always muted them on cable, too) and go do something else. It's also still a lot fewer ads than on cable TV.
> I searched for ‘low more guitar sound’ and top result was an awesome YouTube video recreating the guitar sound of Low - More (song with amazing guitar tone)

I just tried this and the first result I got was "Why does my guitar sound low?" on Quora and the only youtube result on page one was titled "How To Fix Annoying String Buzz On Your Guitar"

The results on Google were just as useless and still arguably worse than DDG, but I was disappointed that our results should be so different considering DDG says they don't buy into the whole search bubble thing. I'd have thought they'd be more consistent
Remember: the US Constitution includes "letters of marque" clause, empowering Congress to grant citizens' requests to wage private warfare against foreign entities. Wish people would exercise this option more.
Okay, so after checking the MUTCD, the "when children are present" sign is allowed, along with either a list of times or when flashing.

One state defines it as any of the below:

> (1) School children are occupying or walking within the marked crosswalk.

> (2) School children are waiting at the curb or on the shoulder of the roadway and are about to cross the roadway by way of the marked crosswalk.

> (3) School children are present or walking along the roadway, either on the adjacent sidewalk or, in the absence of sidewalks, on the shoulder within the posted school speed limit zone extending 300 feet, or other distance established by regulation, in either direction from the marked crosswalk.

So this would be a bit difficult to implement. Probably best handled by defaulting to slow down and let the driver override if they determine no children are present.
you.com. Been using it for technical searches and some other searches.
...and let's consider it from the standpoint of Spotify's First Amendment rights.

If the Citizens United v Federal Election Commission court case taught us anything, it is that "Corporations-are-People"; therefore Corporations have First Amendment free speech rights.

https://www.fec.gov/legal-resources/court-cases/citizens-uni...
One reproductive pair is not sufficient. This can be a religious not a scientific sound statement. Also: if one of them fails (giving birth, hunting, fishing or working accident) the experiment is over. Forever.
> Facts: Tesla was the first to introduce such wide range of safety features in every car they sold.

Please itemize these "wide range of safety features" for us that other manufacturers do not have or did not have until Tesla innovated them.

> They invest in own crash test facilities. Only Volvo is kind of on par.

Audi owns one, for just one.
Exactly. Look at something like a video game. The customization in an MMO needs to be drastically different than pong.

Settings are not a binary good/evil.
Well that's a proper Show HN
It depends. Governments have a lot of laws at their disposal: from hate speech laws to antisemitism. It has worked so wonderfuly in the past, why shouldn't work now ?
Comments state intent, code states reality. If those do not match one of them needs to change.

When it comes to security no one should trust that intent matches reality.
I can do that with homebridge-mqtt (I just stopped doing it in Python because Node-RED did what I needed and gave me a dead easy chart for temperature sensors).
"A mathematician's fame is proportional to the number of incorrect proofs they have published."
This gets at the heart of the difference between science and math. What is actually science? and what is actually math? You may think you know, but most people don't.

Did you know? That in Science, and therefore reality as we know it... NOTHING can be proven to be true. Proof is the domain of logic and mathematics, NOT science.

There is a huge difference between science and mathematics.

Math is an imaginary game involving logic. You first recursively assume logic is true then you assume some additional things are true called "axioms." You assume the entire universe only encapsulates Logic and the axioms as part of your theory and that is everything that exists in your theoretical universe. You derive or prove statements that you know must consequently be true in your made up universe based off of logic and the "axioms." These statements are called "theorems." That is math...

For example the "pythagorean theorem" is a statement made about geometry assuming that the axioms of geometry are true and logic is true.

So of course if it's a logical game, there's no real replication crisis. All theorems in mathematics are proven true based off of logic. You can't replicate conflicting results if a result is PROVEN to be true via pure logic.

Science is different. Nothing can ever be proven to be true. There are basically two axioms in science. We assume logic is true, just like in math. And we assume that the mathematical theory of probability is a true model for random events happening in the real world. Then we assume everything else about the universe is completely unknown. This is key.

Because the domain of the universe is unknown... at any point in time we can observe something that contradicts our initial hypothesis. ANY point in time. That means even the theory of gravity is forever open to disproof. This is the reason why NOTHING can be proven. To quote Einstein:

"No amount of experimentation can ever prove me right; a single experiment can prove me wrong."

So sure mathematicians can make mistakes... and I know the author is talking about higher level details.... but at its most fundamental level, assuming all other attributes are ideal... it is fundamentally impossible for math to have a replication crisis while science, on the other hand, is fundamentally forever open to these crisis so long as the universe is unknown.

The most interesting thing to me in all of this however is that within science, probability is a random axiom. We have no idea why probability works... it just does. It's the driver behind another fundamental concept: Entropy and the arrow of time. For some strange reason Logic in our universe exists side by side with probability as a fundamental property.
>You're effectively arguing that stripping context, denying readers salient details to the story, is magically making it more more factual.

It's not contextual. It was an entirely separate answer to another question on a matter that has nothing to do with whether Hilary called Bernie supporters basement dwellers. At this rate, you might as well include the entire corpus of everything Hilary ever said.

No matter how you put it, this is a cut and dry fact. Again, the question wasn't whether Hilary is condescending. It was whether she used those particular words which she did not.
That's a very odd reason to contest a fine. Clearly it was justified.
I'm afraid I don't follow your reasoning. In your example, isn't the "covert interests" simply: A group of people who is "interested" in having abortions, and a group who's "interested" in preventing abortions?
The only unholy thing I have to do by splitting /64 from my VPS into multiple subnets at home is to use DHCPv6 in my home net instead of SLAAC and use NDP proxy on the VPS.

Probably cheaper and less bothersome than acquiring an ASN and setting up BGP. :)
Reduced-hours software development engineer position at Amazon
I can't believe no one has mentioned this: The researchers claim this material is completely impervious to gasses. Does that mean we've finally got a way to store hydrogen without having it constantly leaking away?
why do you regret having married? What is your long term goal in life?
Inferex | Python/DevOps/K8s | REMOTE EU/US | Well Funded | Early Stage | Full-Time

Our mission is to accelerate the global impact of AI.

TL;DR:
Inferex Magically Productionizes ML Pipelines.

In one line of code, convert any ML pipeline into a production microservice deployed across any provider (including Inferex Metal).

Triggered during CI/CD, Inferex automates microservice creation, containerization, data loading, dependency management, testing, scaling, authentication, logging, exception handling, versioning, DNS, and more! The APIs are versioned alongside git and support historical cold-starts.

We want to build infrastructure, teams, and tooling that will allow us in the future to develop verticals across hundreds of other industries. We’re passionate, funded, and capable - come build the amazing with Inferex.

We were a breakout startup at Web Summit 2021 and voted 2022’s top 50 most ambitious companies.

Read more in The Currency: https://thecurrency.news/articles/68647/with-his-four-man-te...

Skills: python, microservices, databases, CI/CD, k8s, and testing.

I can’t wait to work with you.

Cheers,
Greg
CEO @ Inferex
Yup, I think that's it exactly. I just described this in another comment as a reverse of the evolution that graphic design has undergone in bringing them into programming front-ends.

I can't wait to see how far we're able to go down that path.
You could also argue that Math had its replication crisis in the 17th-19th centuries. E.g. infinite series "proofs" that were eventually shown to be flawed methodologies.

This and other crises led to grounding modern mathematics with set theory, Zermelo–Fraenkel axioms, etc and understanding what's possible (e.g. Godel's theorem).

Psychology and other social sciences are barely a century old.
Yea, I think that they're taking the correct approach. For certification reasons formal verification is not necessary or even really desirable, but a core hypothesis in my thesis is that we can lower the exponential factor of formal methods for Rust compared to C. The type system of Rust really helps simplify the work and I hope that Rust can be one the the languages that finally takes FV/FM 'mainstream' (it'll never be an average tool but less niche/expert).

To that end I'm always on the lookout for moderate length program components (100-1kloc) with clear safety properties that need to be verified.
The standard fare is datastructures, but I'd love to see if we can expand the applications.
I like the guy who jumps in on the comments with "you're doing it wrong".

https://twitter.com/ButchSurewood/status/1488602615407681541

Isn't the whole idea that you're not doing anything?
Regarding some of the conversations about programming something to obey the law or obey human convention:

- it’s tricky because the people on the roads expect human convention and drive for that

- as long as there is a mix of humans that drive by convention, it’s probably best to err on the side of following human convention to some degree

Case in point: center lane

When I first started using autopilot on two lane roads the car would stay dead center in the lane. If a car was coming towards my in the opposite lane, it began to notice humans would veer away from center to provide more buffer between themselves and the oncoming car.

Because I didn’t want to piss other drivers off, I would often disengage and drift to the right of my lane while the oncoming car approached me. If I didn’t do that, there was always a last minute extra drift away from me by the other car.. the conventionally expected buffer distance wasn’t enough to make them feel comfortable due to unexpected (lack of) behavior.

It’s not a law / no law issue above. But I have similar experiences navigation into roundabouts with crosswalks in front of them (autopilot stops at empty crosswalk where normal driver would cruise through until the stop line to check for cars in the roundabout — and if none were there might pass through with a rolling stop/check.
Open source does not mean a price of zero.

I welcome this step.
It's defined in GDPR as something that 'can be reasonably expected for the business' and has 'little risk of infringing on privacy'. They specifically list fraud prevention, information security, dealing with employee data, as valid use cases. Marketing most definitely is not.

This move is basically clarifying that you can't simply claim legitimate interest for most advertising purposes, which the TCF was encouraging/facilitating.
I read the grandparent the same way you did at first. GP is talking about spider silk in all three of those points.