skysight-inc/HackerNews huggingface dataset:
I thought I read one time that Leslie Lamport didn't want TLA+ to look like a programming language, because it might confuse developers into thinking it IS a programming language.

I understand his logic, but at the same time, TLA+'s weird surface syntax put off a lot of people who otherwise could have used it. And PlusCal seemed like a halfway measure: more like a programming language, but still kinda... weird.

So, I welcome Quint. And it's great that they seem interested in making the tooling fit with the normal developer ecosystem, such as LSP support.
going through a long sickness usually leaves one weaker afterward, even if one is cured, no? and in some cases there might be a slight upside in acquiring a certain degree of protection from future illnesses from that disease through various immunity mechanisms (which are of course far from perfect).
This is your regular reminder that the LAION dataset does not itself contain any image data at all: it is an index of image URLs on the the public internet which has been classified as having decent-quality tagging (image alt-text) and a few other bits of bulk, automated analysis done.

The accessibility of CSAM content links within the dataset means those images are already on the internet being made publicly accessible by another website, which was found during the LAION image crawl.

(interestingly this does rather imply that if LAION was able to compare images to the relevant CSAM hashes during the crawl then they'd simply be able to exclude them automatically - although I imagine that database is always growing)
This is more important than it seems: without a common canon of things in a collective consciousness, you have nothing to talk about.
So why all the worry about re-uploading a clean dataset because someone "could do a diff" to find the bad images? Could they not use the same md5 search to find the same?
<1KB is great and all, but part of the problem is that as soon as you add render blocking JavaScript you're adding a network round trip and JS on the critical path. <1KB might not feel like much, but it's not going to be very different than 10KB. Once you throw in non-trivial product code it doesn't matter at all.

Either you should statically/server generate your site, or you have rich content that needs a client side app and you should pick a framework with rich features.
I've spent many years of my career building business reports at a pace that reminds me of digging a canal with a teaspoon, compared to this massive excavator. This isn't John Henry versus the steam drill, it's more like Bambi versus Godzilla. This kind of tool is going to revolutionize my industry, and fast. I hope I can surf the wave.

Great stuff.
It would be nice if the visualization reflected the information you've shared here (including both the absolutes and the amount of change). Then it wouldn't feel misleading and you would not need to write explainer comments on HN.
"Look everyone working in this field knows you can't just use the datasets as provided, you have to filter out the bad quality images, the dead animals, and the child pornography."

blank stare
https://developers.redhat.com/e-books/podman-action
The downloaded files on FF don't have any icon in them (tried both .png and .svg). Have you tested it on FF?
I believe people in the US care about history, but it's around the person, legend, myth, not around objects.
I visited the National Bowling Museum near Dallas as a spontaneous joke with some friends. Impressive museum for bowling. My favorite part was an animatronic pin boy talking about how he was making a lot of money setting pins and was moving up soon to shoe rentals. Hilarious. Highly recommend checking it out if you are in the area.
Just Braben and Bell made you believe it was clocking at 2Ghz
That blew some dust off some brain cells. ^_^
> because time spent on dealing with Gnome or KDE bs is time not spent on more useful things.

The entire reason there's time spent on dealing with Gnome vs KDE vs other bs is that everyone wants to build and customize their own desktop. But hey, it's OSS, freedom of choice and you're free to do it but I doubt window decorations will add very much to the overhead of all those different desktops.
So greed was the strongest incentive? That means they weren't properly incentivized.
However, any dataset of this size will also contain CSAM. Six billion images? Keeping it all out is completely impossible.

So this is effectively preventing the creation of any new models.
> But also don't worry too hard about getting "tricked" or learning "the wrong thing".

Did I learn TDD when it was hip? Yes. Do I use TDD? No. But did TDD teach me how to write better code? Yes.

Same with languages I've learnt but not ended up using professionally. Everything teaches you something. You can't find a good middle ground without stepping a bit too far in both directions.
It often IS your job to write code though, so saying it's not is false. The code has to be the right code however.

More generally, "you are solving business problems by applying software systems"

That's how I describe this to junior folks. The goal is to make them focus on the business need, then they can sub critical thinking for MBAs/managers/PMs and do the right thing.
"By default, the VM distribution is Fedora CoreOS except for WSL which is based on a custom Fedora image. While Fedora CoreOS upgrades come out every 14 days, the automatic update mechanism Zincata is disabled by Podman machine."

Source: https://docs.podman.io/en/latest/markdown/podman-machine-ini...
At the risk of self-promotion, this is my take on Borges and AI... which is a song/video made by AI (jukebox and various previous-generation image generators), and based on Borges' fantastic essay "A New refutation of time."

song: https://songxytr.substack.com/p/borges-walks-into-a-discothe...
original source: https://gwern.net/doc/borges/1947-borges-anewrefutationoftim...

The authors' own intention is to "understand.. LLMs and their
connection to AI through the imagery of Jorge Luis Borges, a master of 20th century literature, forerunner of magical realism, and precursor to postmodern literature." In that spirit, I throw my hat into the ring too!
This app just crashed when I tried to change the Icon after some tapping around ...

... which does not give me huge confidence in anything shipped with the "ship as much in as little time as possible" mindset.
This comes off as a disingenuous response, by typing out a large block of text while neglecting to address any of the individual concerns written in the article. "it’s just data from our survey" is a cop out -- the presentation of data is just as important as the data itself, and the concerns of underlying bias via communication model presented by Zach all seem reasonable to myself.

It's fine to not be an expert in Data Analysis, and if it's true that the company no longer employs someone with those skills, there should be a greater willingness to make adjustments and corrections when problems are raised with publicized analysis.
This is the likely cause - most software development is dreadfully boring. But at some point in a developer's career, they will have touched the monolith and everything is full of stars, and instead of saying "I'll just hook you up with Magento", they're like "I will build you an event-driven microservices architecture in a custom made C# framework" and disappear for six months while they work late nights.

(I wish I made it up. This was what a CTO at a previous project did. 30-odd people were waiting and churning on while he was unavailable because he had to indulge his own things. And once they were beyond the point of no return, both he and the manager that greenlit this project quit, but stayed on as independent contractors. I believe they were demoted or taken off the project and eventually gotten rid of when a new manager was found)
Completely agreed, and that seems like best practice even at home let alone "the most sensitive networks" which should be running zero trust. Text traffic or even most web interfaces at this point are so lightweight and Noise-based VPNs so performant that even if theoretically there are inefficiencies in running it through other layers of tunnels in practice it's zero issue outside of extreme edge cases. Seems like everything non-public should just be tunneled by default at this point, even when the protocol itself is supposed to be secure. I can't see any downside to adding another layer to the onion in this case, and indeed there are some bonuses IME in terms of ease of routing/NAT hole punch etc to boot.

Of course on top is the whole galaxy of gear running never-updated stacks, from UPSs and PDUs to even core stuff like network switches which I've seen linger on completely obsolete cipher choices for ages. Or web GUIs doing the same with HTTPS (if they even support HTTPS(!)). Some stuff arguably should just be airgapped entirely, but if/when that's not possible stuff it behind a lot of layers of protection would be nice. I'd love to see an in-line form factor PoE ultra minimal dongle whose only job in life is to run Wireguard or Nebula or Tailscale or something, translating from that to an ethernet port that any ancient device can talk into and insuring 100% of traffic will go via that or not at all at the hardware level. Then could effectively mediate all traffic even to ancient stuff via that without it ever needing to even hit a switch.
I wish them well, but the success indicators I've seen from them have been similar; funding rounds and users. They are certainly better positioned, since running hot nodejs servers is a higher revenue proposition than white-labeling blob storage. Question is, does control of the Next.js project constitute a big enough of a moat to keep profitable customers from shifting their hosting to big clouds. The decline of Heroku, for example, does not make me confident.
I'm a very happy podman user. It works really well to run amd64 containers on aarm64 thanks to qemu and it also has great modern features like rootless.
It should probably be "Waylands vs. X" since each of the Waylands supports different features and libraries to try to achieve the same ends. For example, some of the waylands use an external library, libei, to be able to support features like being able to share mouse/keyboard between computers. But some waylands, like sway, are actively hostile to libei and have made a point of never supporting it. So some waylands can share mouse/keyboard and some can't.

There is no wayland. Just waylands.
each person has the individual right to not have pictures of their abuse posted in public.

and as a society we dont need statistical evidence for every single law we come up with. some things we just know are harmful to victims because of common sense.
Hey at least it was shipped fast though, right?

Who cares about quality these days?
Half the memory was just an example not a sweet spot. With smaller window sizes you can use less memory, but it will come with the cost of loading more from flash.

p.s: The window size in the paper is showing how many token's feed forward layer is in the memory.
A lot of the heft of React comes from its optimization and reconciliation code. Looking at the examples on the homepage, I’m struggling to see how this framework would efficiently make updates. It seems like it would just need to update the entire component tree down on any update. For any sufficiently large app this becomes very slow very quickly.
I really like the chart that he objects to. It is pretty clearly labeled as change and it helps highlight new and potentially interesting things. Would be neat to have a chart like that for lots of things—games on steam, news topics, community events, movies—anywhere you want to quickly grasp what the buzz is.

It doesn’t make next/eleventy look bad (of course they are ranked near the origin given their maturity and adoption). It makes Astro look like something worth investigating for a few minutes.
So, here's one thing I need to know:

X can open a window on another machine over ssh

Can Wayland do the same?
Mostly the fact that this was 15 years ago :-)
There was a "remake" in C of Elite called Elite: The New Kind. The source is on github (https://github.com/fesh0r/newkind). There is a funny, albeit showstopper bug: if you try to look at a sun, it will try to explode, but it can't so the game crashes.
Except... the huge amount is photos and fonts and whatnot. As you can see on the vanjs size, the biggest framework Angular weights 85 kB and it will be cached.
Compared to what Angular also brings in functionality, i don't see size of the framework as an argument anymore.

Consider Hackernews:
hn.js comes with 21,4 kB.
The Y logo on the upper left is a 46,32 kB SVG!

What should i care about 1kB minimal framework or 85kB all-included framework?
Skillset, maintenance burden, compatibility matter.
Author here. We demonstrate zero-shot capability on a few tasks by chaining smaller tasks together. For example, the model was never trained on text-to-audio but we can do it by generating text-to-video followed by video-to-audio.

We just added a link to the paper in the website, you can read more about it.
>>I say this to you as somebody with hundreds of thousands of dollars in MtG cards in his collection and I still consider myself a player first.

You are just proving my entire point by saying you consider yourself a player first. I didn't say that the cards should be valueless, I'm stating that with comic books and card games the value is created by the readers/players and in order for there to be value the product needs to service it's purpose (a story that is enjoyable to read, a game that is fun to play).

Sports cards just need to exist, the window dressing IS the product and owning a particular variant of some card is the end goal. Sports cards are booming by releasing tons of variants and gimmicks because it just gives the collectors more to speculate on. It isn't as effective in the comic book and trading card industry because all of the windowing dress is meaningless if the stories aren't interesting or the game isn't good.
You are correct. In fact there is research that humans are not particularly good at matching people to photos... this 2014 study showed a 15% error rate (with photos from identification documents, high-quality standardized photos, not low-quality random angle ones!), and the real kicker is passport officers (who do this as part of their job all day and presumably care about doing it well) surprisingly performed no better than random undergrads...

https://qz.com/251791/passport-officers-are-no-better-at-per...

(Someone is now going to suggest, right, that's why we should have computers do it instead, bringing the circle back around again... but just no).
No, that's the same "common sense" we used to justify discrimination and other abuses towards people who were different in some way, e.g. by race, or by sexual preference (e.g. homosexuality). And at the time in history the discrimination was happening, most people considered the discrimination normal.

Heck even we still have problems with society discriminating against young people, and especially teenagers, by the way. So I really care about young people's rights.

But I still think these draconian content laws are unacceptable, they are replacing one form of abuse (pedophilia), with another by the state (sending people to prison for possession of data).
Darn. Now nobody can attach it to a car, like in the urban legend.
It will be fixed on some Waylands with libei, but it will never be fixed on other waylands that find libei distasteful (like sway). And that's the waylands in a nutshell: many different things, never "wayland" always "waylands".
> The thing is a 'day 1' feature everyone hacks back in is clipboard sharing and screen share, each of which remove a decent chunk of these protections. Each essentially grants access to another apps data.

Oh, yes, it's very likely that Wayland will end up with the exact same vulnerabilities. It's very hard in fact to design a windowing system that allows rich interaction between apps, but still maintains per user access control (never mind actually implementing it).
How would you construct such a chart without it being so busy as to be useless?
So I purchased an Apple watch and I was really excited to have contactless payments...it's fucking awkward with Mastercard or Visa to be standing there with your arm twisted in a strange way waiting for the payment to be approved. Kind of always seems like it's not going to work and people always have to make some type of joke to make you feel less weird about it.

Suica is also available on the watch and it's much better? Why is that?
> Plus the attack angle is someone having permission to execute apps on your machine, there's plenty of other nasty things they could do.

No, the attack angle is either a untrusted app running in a sandbox (fatpak, snap or crosvm or qemu with wayland passtrough[1]) with only a connection to the compositor or a trusted app running in a sandbox getting exploited, any apps handling foreign data is suspect here (Web browser, mail client, pdf, office suite, etc.).

[1] https://lore.kernel.org/qemu-devel/20231005024330.836-1-gurc...
This is wonderful. A fantastic step towards indexing video...

I have some ideas I'd like to share - something to improve this project:

1: Are you only scraping the video id and text content? (the meta-data and description text is still useful to have searchable maybe - at least as an option)

2: In addition to audio - you can capture video content as well into tags (which for videos without sound, poor sound, or non-speaking would make those searchable). audio content is only part of the information I personally want to search. being able to ask for videos "about"/"with" a topic.

3: defined search keywords: searching though different stacks could be speed up by specifying which stack to search (if you take the above suggestion about video tags). as a user I would want to specify if I am looking for audio content, or video content (such as showing a mechanical process of some kind, or how a specific design of dress looks vs just talking about it).

4: dark mode.

I really like this project and hope it becomes the best possible version of itself!
The original argument mentioned China as a country that does not have a housing shortage. Somehow you just decided that the poster is suggesting we transition our system to a complete free for all, unregulated market. It's unclear why or how you arrived at that conclusion.

Also, the Chinese have been simulating the housing sector to encourage domestic growth. The Chinese housing sector did not grow out of control just due to lack of regulation. It was also financial stimulus and incentives to encourage building.

So, you just pounced on that other commenter, accused them of something they didn't say, and despite believing that you understand the Chinese housing market you actually have no clue. You are literally the Dunning Kruger effect manifest info a hacker news commenter.
> So now your laptop hasn't had security updates for 10 months? Things like this are part of the reason I did the research in https://dgl.cx/2023/09/ansi-terminal-security.

That is very interesting: I'll study that.

You're correct: it's a Debian 12.2 install (seriously hardened). I take it the surface attack is small. I'm literally using only SSH from that machine: it's got a firewall too. It's only allowing new SSH out session to the desktop. Every other traffic is rejected.

So what can realistically affect that machine? SSH exploits for sure...

So for example for the recent SSH "terraspin" exploit, I did implement the workaround (by removing broken Ciphers and MACs from the list of authorized ones).

I don't know about the rest: I mainly SSH as root into the desktop when I need to install a new package and that's about it.

I'm not losing too much sleep over that machine that is on a private LAN and which is not directly connected to the Internet (I'm running both 192.168.x.x and 10.x.x.x at home).

I'm not saying it's a panacea: it was mostly a proof of concept and as it's working fine for my usecase, I kept using it.
> sex-related moral panics

You’re not legitimately comparing the puritanical sex-averse aspects of the US and child porn, are you?
Those were their exact words?
Two years ago I got carried away and built a tool with a code name "notespub". It is the very same idea, albeit less polished. I documented my journey of extracting content out of Apple Notes, which naturally has been published with Notes as well [1].

I thought this was a cute idea; however, as I started using it more, I inevitably learned that there are features that are hard to mingle in Notes alone, i.e. custom themes, metadata, automatically generated home page, top/side navigation, cross-references, etc. These features could be implemented with an external system that helps you to manage a blog, yet that ruined the idea that I wanted a tool that puts local & privacy above everything else, a tool that has as little dependencies as possible.

Long story short, I started working on the second iteration that I thought wouldn't sacrifice privacy, but eventually shelved and haven't completed it. I guess it is time to open-source it.

[1] https://devlog.notespub.com/2022/08/site-generator-for-apple...
I got into it watching Adam Savage. The method he uses is really easy; glue & staples, build all 6 sides, cut off the top with the table saw.

One Day Builds: Adam Savage Makes Something Wonderful from Scratch
https://youtu.be/-tUHJnl8qPM?si=d8eQ99XiqqKUzWRe

Here's a few of mine:

https://imgur.com/a/O9ybg

https://imgur.com/a/ChgDJ

https://imgur.com/a/U4XSO

https://imgur.com/a/e3ZG0

https://imgur.com/a/DMdMS
- I don't test my code
- I don't use git branches
- I don't change my tech stack

Weird brags...
> Are HDR monitors a common thing nowadays?

monitors no, but displays yes. A huge number of phones from the past few years all have HDR displays. This is largely driven by the need for bright displays independent of HDR (ie, sunlight viewing), so HDR comes along "for free" and you might as well enable it.
By default it's using Fedora CoreOS.
Free Wi-Fi Tablets Now Available for Low-Income Rural Residents
I wonder how many people type “what is this” when they land on the Google homepage for the first time.
> XFree86 is what everyone used and it more or less the only realistic option.

Not really; in the 90s, there were many X servers, each implementing a different set of extensions. Not just for other Unices, even for Linux, you could purchase a proprietary ones.

For XFree86, it was a monolith, that you had to compile for a specific chipset. Distributions shipped with many binaries, each intended for a specific graphic card and the installer symlinked the right one for you. It was only later, that XFree86 became modular and everyone converged on it.
Probably, but they will know they're going down a seedy route. I mean did banning Trump and fighting against right-wing politics and fake news stop it? No, it pushed the people that wanted to see it to the fringes. But it also meant that people that didn't seek it out didn't get exposed to it, countering a slow drip feed of fake news and slow changing ideologies in the masses.
Attributing things to the interest rate environment is cliche and uninteresting.