skysight-inc/HackerNews huggingface dataset:
The latent space is useful because it reduces the dimensionality, in some cases to one-hot encoding. Yes, the "latent space" (it's not latent if it's in the input :) ) of a pixel map is of very little information (but not zero[1]). But neural nets can build very informative latent dimensions, which can correspond to abstractions: the network can abstract things like "Is this object a car?", "how red is this object?", "how large is it?", and so on, as latent parameters. Abstraction is one of the fundamental properties of (efficient) thought, that allow dealing with such large amounts of information efficiently by reducing its complexity, reducing it to essential data, that's essentially what latent parameters can be. Indeed I believe several experiments have shown emergence of such latent parameters (which confirms expectations). Also several papers do "latent space interpolation" for generative modeling, which allows mixing of abstract notions (such as gender, size, age, and so on) right in latent space to produce interpolated results (such as images or even text, etc.) that are not pixel-space averages but "conceptual averages" (conceptual interpolation) of some results. This possibility is also evidence of the validity of interpreting the latent space as abstracted data[2].

[1] For example, you can use the pixel space directly when comparing very similar images, say affected by additive noise, using Euclidean distance in pixel space is a pretty good distortion metric for human vision (and you can do classification in some cases as well of say digits using euclidean KNN in pixel space but depending on very large datasets).

[2] I think it's important to note that abstraction isn't necessarily quite 'dimensionality reduction', or removal of redundant data. I think abstraction is more like computational simplification, and in some cases you might need even more intermediary simplified data than you began with (consider the memory usage of some efficient algorithms that far exceeds the dataset size). So the abstract classes and dimensions of the data could be even more than the data size itself, but they tend to signal computationally independent characteristics, like say 'is there a car in the image?' and 'is there a person in the image?' -- you could have thousands of such classes each represented in a single dimension in binary encoding.
It may not be common but it is becoming more regular. You like those odds?

I wouldn't immigrate here, especially if I wasn't white.
Are you sure? It was back in... probably 2017 that it all broke and I gave up.
Don’t know why you’re being downvoted. Scrolling through TikTok or most social media it’s obvious most content is just people doing their own variation on some stupid trend.
Elon Musk is part of a big framework we've created to stop things going off the rails. It's got humans in the loop at pretty much every step, and sometimes still goes wrong, for example, working conditions in amazon fulfillment centers. You can argue whether that's offset by the benefit of cheaper and faster shipping. But even then, there are definitely cases where we outsourced our desires to organizations that went on to do bad things, even with humans running them.

Why would you expect an AI to listen to you? We can train them, but it's not clear when they get smart enough that they'll learn to do what we want, or just learn to pretend really well. A child punished too much will generally learn to lie very convincingly, because it's too hard to avoid every possible misstep. Is that what is going to happen with AGI? It would be good to figure it out before we build one that's a lot smarter than us!
Yes, but one of these was a plugin for $25/mo and the other is the whole damn tool to do your job for $5 a month on a device you couldn't run it on in the past. I expect it to not actually be bashed.
LLMs: The Rubber Duck Debugger for Creative Work
ImageBind: a new way to ‘link’ AI across the senses
https://www.imagebind.cc/
They aren't taking away your spot though? your unit will continue to exist with its two spots and units like it will be available at market rate to to those who value it, and any new construction can still build units with more spots than the minimums if the market demands it.
It was quite telling how easy it was for Musk to buy Twitter. Most founders of successful startups fight tooth and nail to hold on to their company but Twitter rolled over so fast the deal was done before Musk had a chance to change his mind.

The problem is with the product space not the product. There is no fix for all these issues - only compromises. Bluesky will not be any different - people will be toxic, unhappy with moderation, unhappy without moderation, want blue checkmarks, think blue checkmarks are BS - blah de blah blah blah.
99% of everything is garbage but that 1% is the successful part.
Well yeah, but that’s hardly
a metric for performance.
See also https://news.ycombinator.com/item?id=35874670
Incredible, my kids will love this..! Thanks!
Is it realistic or sensible to expect every driver to know how to use their seatbelts?
> On the other hand, if you had something like ELF, PE or Mach-O but designed for cross-platform distribution and which had a nice and convenient cross-building toolchain and a portable dynamic linker, then it'd be a lot easier to compile and distribute once but use on every OS.

I mean... .NET VM and JVM kind of achieve this, but I think I get what you mean, you would either have to build the environment that these binaries run on for each OS, and recipients would have to install it, or you hope the OS vendors adopt your standard. I would love to see such a project though.

Bonus points if it can be similar to DMG files where you drag it to your "Applications" folder to install, delete it to uninstall.
I've been thinking about this for quite a while, and I don't think its luck in the sense that one might think of it.

There is something that separates people who care very much about providing real value; they are not common. Yes, thousands of e-commerce businesses might have attempted to take off, and maybe Amazon can be criticized for a lot, but every now and then I ask myself why I still shop from Amazon, and their customer focus wins the day every time.

There are many major e-commerce sites (including Best Buy, JC Penney's, etc) which, when I visit without a VPN (and even sometimes with a VPN), will instantly block me simply because I'm located in Ghana. There are some that will not block me, but will cancel any order I make from them, for the same reason. There are many e-commerce businesses you can't readily contact on phone. It takes a business with a strong focus on actually solving a problem well, to actually succeed.

Luck is important because this focus on providing value is not usually all that is required. Also, businesses take advantage of lock-in, rent-seeking behavior, reliance on brand reputation, and all sorts of other tricks to survive and thrive. But generally, in situation where reasonably fair competition pertains, the companies that become dominant are those that are actually doing something right to solve problems.

Apple is similar. You can criticize them for many things, but I bought a Macbook years ago, and with each passing year I realize my previous problem of having to replace my laptop every two years is solved. I'm getting a new Macbook soon, but not because my daily driver is unusable.

Toyota is another example.

Now, one might think these business provide some value as a side-effect of their dominant position, but I don't really think so. They became dominant through a combination of strong problem solving focus and yes some luck in not going bust before they could come into their own. Even Honda wen bust a number of times, and still their quality won though.
Great comment. I am big fan of warm capitalism. It means you don’t choose for the cheapest, but the most sustainable.
Audio2image looks insane. Can't wait to see how this tech develops over time.
Multinet from Process Software does the whole TCP stack, including SSH.
Don't forget to view the trend lines. Don't go any place where they're headed up.

Checks data... that means... No to America.
Maybe just release and sell a complete and polished product? And add significant value to that product again before asking for more money? What about the notion of having enough pride and confidence in your work that you can make a solid value proposition regularly, and not yoke your customers to you permanently with a nebulous agreement?

Also, practically, consumers in the audio software market are more savvy and have higher expectations than those in other markets. In particular, they expect a fair ownership model (something provided by many plugin and DAW shops, big or small), and are wary of subscriptions and things like them. Perpetual licenses are the norm - in fact, even things uncommon in other software markets like the ability to resell your licenses are often provided due to market pressure.
Given that he added that middle "initial" himself and he didn't actually have a middle name, I like thinking that he added it precisely to make that joke work. Probably not true, but I still like it.
>> This sounds fishy. Sounds like their primary result was nothing

If you combine results from a bunch of studies that really didn't do anything, it's going to mask the results from the ones that did.
> I knew someone would jump on it with soccer/non-American football fields.

There is no such thing as "soccer". The correct name is "football", because you use your feet to move the ball inside the field during the game.

There is also American football, which is an entirely different game, that's neither played with feet, or a ball.

;-P
Verify-and-Edit: A Knowledge-Enhanced Chain-of-Thought Framework
BentoJS – Use AMP’s highly performant components in non-AMP pages (2021)
I am surprised to see these are subscriptions when the Mac versions are one-time purchases. I wonder if they will make the subscriptions work for both these new iPad versions as well as for the Mac versions of the apps.
The immediate uptake and application of this technology to everyday lives is what different here. Bitcoin was NEVER hyped outside of Silicon Valley to much of a degree that people here think it was.
giving children a source of constant distraction, full of apps made by billion dollar corps whose sole goal is taking their attention and money, while in an educational environment, is not a good idea period.
> I would like to see what happens to your "free speech beliefs and how they don't affect you" if you happened to accidentally say something wrong on a video and then be bullied by thousands of nutties on the internet, including doxxing and swatting you on a regular basis.

Another comment supporting pain and suffering for the people they disagree with. "You are wrong that free speech does not have consequences" is a common anti-free-speech strawman, a dishonest tactic, and is not even remotely what I said
Get buntu/debian, and take a snapshot/mirror of the entire repository (using aptly?). That way you don't have to worry about anything and if you get curious, well you can install it, just like you would online.

I would also get something like a couple full TV Series and audiobooks. there's some playlists of panel shows on youtube that you can yt-dlp.

There's also fullstack programming environments around. but if you're only interested in android then...
The System Manager claims that he needs it for cluster failover.
Additionally, here's a link the blog post about it, which I feel might actually be a better place for this post to link to instead of Verge's coverage of it: https://ai.facebook.com/blog/imagebind-six-modalities-bindin...
The type of decisions those chore-bots make are rather inconsequential, whereas the ones that will decide which digital content you can trust or whether its something you shouldn't want to see could get very nasty.

This latter type is already heading our way and I posted a comment about it a few days ago here: https://news.ycombinator.com/item?id=35850279
Wouldn't a show usually hire you for multiple years?

But yes if it's that irregular then the height of the pay spikes is reasonable. And also being that irregular is awful.
I'm stunned someone like GM could entice anyone from top-tier tech firms AT ALL, regardless of compensation.
Sounds like you're not a kid to me. I didn't have $200 to spend until I was halfway through college. But I sure as hell would have been able to afford $5 a month.
> He can, he just doesn't want to. And if he did we'd probably have no insight into what even happened

Of course we do, the order would be ignored. (To whom would he even give the order?) English history is written in constitutional crises.
Rubbish.

Legislation is used to protect vulnerable groups and health data. Strong reasonable legislation is hard to write, and expensive to enforce, but effective enforcement will cause changes to internet sites. Think GDPR.

It is hard to manage cross-jurisdictional issues on the internet. In this case, Sweden could probably design good restrictions since it is a site local to Sweden?

Trying to get everyone to become security professionals is highly unrealistic.
> Edit: Actually for a much easier visual, it's right about 2.5 American football fields.

OK, but how many elephants would that be?
Ask HN: Most Secure Way to Communicate?
A friend of mine lives in a country where they need to discuss politically sensitive things. He wants to communicate with folks outside the country in a way that is as secure as possible. He cannot be sure his phone or device isn't compromised.

What's the safest way to do this?
> that the "if I don't do it, they'll just get someone else who will" rationalization is probably correct.

That may be correct, but from an ethical point of view, it's completely bankrupt. People who justify doing things they know to be unethical on the basis that someone else will just do it anyway are, of course, being unethical even if they are correct.

Even worse are those people who think others will do it anyway, so it's better if they themselves (obviously being good people) do it instead of those other, terrible people.
Are multi-format embeddings — like this one, or simpler ones like text-to-image — inherently bijective? I.e. could a model like this be configured to use any of its trained sense data types as either an input or output? Or is there some bias in the way the training data is ingested that makes the model better at transforming in certain directions?
https://web.archive.org/web/20060813213704/http://www.prince...
And we see where GM stands.
Show HN: Weekly SaaS Growth Strategies directly in your inbox
Thing is, you can't trust that the take over of a technological innovation will actually improve people's lives, the economic incentives for their use lining up can lead to a local maximum where some balance sheets look better but in every other way people's lives got a little worse, or much worse.

We already saw the web drastically go down in quality when guided by the invisible hand of PageRank and ad networks, content was optimized to appear on the frontpage of Google searches and bring in ad revenue, while being of low quality, extremely sparse in useful content, and melting your computer as your browser renders the ungodly amount of ads that are bundled with it.

That's a very direct precedent already, no need even to make analogies to historical developments happening in entirely different contexts or to other industries.
That's fair and may. I don't know what the caloric needs of a slime mold are. But this is completely off topic, tbh. The point is that they solve problems in a way that is alien to us, and alien intelligence is interesting. I may have given a poor explanation before, but efficiency is not the important part.
>Last time I hired an embedded software engineer from them, the guy felt he was in a very tiny niche within the company and it was a fluke his group still existed to write code.

I've worked there. There are two types of people: "Lifers" which are the people you described. They are content with doing their pieces and never taking a step outside the cog they are part of. This is most of the people there.

Then there are temporary workers. Contract or Independent minded, these are the people who have no trouble calling out the problem and working on it, even if its outside the job scope. They didn't learn this at GM, they learned this somewhere else. They are temporary because they see that GM is a zombie company. There are too many useless cogs that you described. There are likely more people tracking the completion of work, than those doing work. These people are looking at their resume and how they can grow their skills to leave and make more money.

I feel like finding good workers at large companies are like playing the lottery.
A VR analyst observed the port could also be related to future headset: https://twitter.com/SadlyItsBradley/status/16559348583074693...

"This is notable because the Apple headset is supposed to support every iPad app on Day 1 of its launch

If you want professionals to do things with it, you need the software to push it. With or without a connected PC"
Direct buffers? I mean, they're going to be 'virtual direct'? Or can I can't fathom how but I would imagine they're not going to be 'actually direct'.
It is not. You can open iOS/iPadOS GarageBand files in MacOS, but you cannot open MacOS GarageBand files on iOS/iPadOS.
Startup reveals airless tyre made from nickel titanium alloy
There is a world of difference between free speech and the right to voice your opinion, and interfering with other people's right to go about their business unimpeded.

What we call 'The King's Peace' is the British sense of fair play. You can do whatever you like as long as you don't interfere with my equal right to do the same. Where those two try to occupy the same space, then the current majority opinion will prevail and the minority suppressed.

Breaching the King's Peace is a public order offence.

The right to protest in the UK is the right to be heard and listened to voluntarily, not to dominate proceedings or act in a manner that heads towards terrorism. Where there is intelligence that physical disruption was on the cards, the authorities are right to step in and head it off. That is the British way.

Most people in the UK still support the monarchy. Nobody stopped Spiked publishing their views on Republicanism, and nobody was forced to read it. That's free speech.

If the individuals objecting had waved a few placards and otherwise been respectful to those whose views differ from their own they would have been left alone. They didn't do that and were removed. I suspect that was the idea since that leads to greater publicity.
My takeaway is to keep eating fish.
The feasibility of automatic verification and ease of specification played incredibly important roles in the historical development of specification languages. This raises an interesting question: what new computational tools are coming on the scene, and what role will those tools play in the next generation of specification/programming languages?

Reading this article, I was struck by how noneterminism was all over the place in ur-specification languages. I think the answer to the question above will turn out to be something about: 1. nondeterminism, and 2. LLMs, RL, and diffusion as a way of resolving/refining nondeterminism.

That aside, I like the taxonomy. Some personal footnotes:

1. I would list Hoare Logic as the ur-language instead of GCL. Dynamic logics are in this family. I had never considered Spin and dynamic logic as being related in this way. That's kind of neat, and I'm glad I read the article.

2. I would probably give type theories a place in the list, even though you have to squint a little bit to make them fit in a list of specification languages.

3. The history of temporal logics is fascinating, and https://www.cs.rice.edu/~vardi/papers/etaps01-ver13.pdf is probably on my top ten list of papers on formal methods.

4. I feel exactly the same way about Petri Nets -- kind of neat, feel powerful, but never quite know what to do with them. Maybe now that we're returning to office I will get a copy of "Petri Net Theory and the Modeling of Systems" for the train ride.
Discovering brand new things at a constant rate is probably not a realistic expectation. The 20th century has been an extraordinary journey for astronomy that cannot possibly continue indefinitely (same with other parts of fundamental science). We went from barely a sense what our galaxy is about, to discovering an extraordinary number of exotic astronomical objects by progressively expanding the window into radio, x-ray, gamma rays, gr waves etc.

But I don't think its true that future astronomers / space telescopes are condemned to boring hires pictures of known stuff. The excitement is not in the visual impression but in what it might tell us about the universe. In the end what matters is whether we understand what is happening (e.g., in this instance how planetary systems like our very own are forming). So while the visual impression might not alter much, the quantitative detail may be fixing the physics or even prompting completely new theories. Remember sometimes even the stuff you don't see can bring about a revolution (dark matter, dark energy).
Isn't ripgrep also written in Rust?
Yeah. I assumed if any company can really nail this experience long term it would be google. I figured it would take longer but with how game changing many of their products were in the early 2010s, I was ok waiting.

That waiting turned into more and more beloved products being shut down, drastically changed to shell versions of themselves, or left to stagnate, while google continued to randomly launch, acquire, shut down other beloved brands.
I'm confident it's white men with a history of misogyny and access to guns. The data supports that too. We love screaming about the one offs but that's smoke and mirrors.
Time spent on social media among least influential factors in teen mental health
The same problem exists in Japanese FWIW, whose speakers like to make the same sorts of abbreviations despite not having a bisyllabic meter like Mandarin does. Japanese is somewhat helped by having multiple orthographies, however.
He mentions in the video that it's not tethered; simply standalone. Not sure how that works as far as the phone call demo though...
It's useful for prosthetics but I'm concerned about a new era of harmful legal pseudoscience in vein of the lie detector.
That's just an amazingly boneheaded move, isn't it?

I absolutely will not buy another car in the foreseeable future that lacks Carplay. It's too good, and too much better than any carmaker's attempts to integrate with phones or music players that came before.

(I also won't pay EXTRA for it; looking at you, BMW.)
If it’s possible to possess illegal words, then yes, we’ve abandoned the presumption of innocence. What moral failing is the possessor of illegal words guilty of?
The formalisms of systems thinking don't really work when you try to incorporate uncertainty. You have to frame things in terms of stocks and flows, but risk and uncertainty resolve in sudden leaps, not incrementally. If you assign 30% probability to "will have an incident" it doesn't smoothly climb from 30% to 100% over time, you roll the dice it jumps discontinuously to 100%. I'm not saying that attempting to quantify code quality and its impact is not useful, I'm saying the tools of systems thinking don't add anything to that exercise. Even if you gather data on the quality of your code, you still use expertise and intuition to judge those metrics, because they are always weak proxies.

To explain intuition, I do think it's successful to list the pros and cons and be explicit about which ones you think are low-medium-high likelihood and low-medium-high impact. Then people can disagree regarding your richer model.
You are ignoring how big capcut is
Warmth and competence predict receptivity to AI teammates