skysight-inc/HackerNews huggingface dataset:
Good to know, and thanks! I started using mpv recently, about year ago, and also found that mpv is simple, works, and the documentation has you covered.

Note that the aim/need is not on providing a complete player/interface replacement, but on co-existing, and having an easy way to control the running mpv from the terminal, so if I'm working from the terminal I don't need to switch to the player window/terminal.

One example of the above, is when you're listening music and want to filter the playlist to a specific artist. That's easy, just issue: "mpvc save | awk '/artist/' | mpvc load", then, the playlist is good and want to save it for later use: "mpvc autosave good.m3u", or the good part of the track starts at minute 34, so I can "mpvc time 34m".
For more complex uses, as applying audio/video filters to the running player, things like "mpvc cmd af toggle lavfi=[loudnorm=I=-16:TP=-3:LRA=4]" are possible.
The mpvc-tui covers a similar purpose: that last song/artist/section was good, what's the name?, start mpvc-tui and have a quick look at the playlist, or status.

And as you say, I also found out that I didn't require much fancy from a media player, just a player that worked, and a bit of shell scripting to cater my needs.
That literally sounds like the opposite of anarchism to me. But you do you I guess?
> 250K+ registered users

That's the relevant number. So Twitter is about 1000x larger than HN.

From a surveillance standpoint, we're really only talking about commenters, on both sites.
I manually update every few months. It's fine?
> I’m not sure we’ve ever seen a giant company successfully “slimming down” ?

We have. That company is called Apple after SJ’s return.
Vasectomy
Grocery store meat involves the regular torture of animals.

Is that true? I know people who have raised cows for slaughter and I've not seen any "torturing" going on? Many people probably care for their livestock, I don't think it's an easy life honestly.

My friend is a veterinarian, who is a vegetarian, she's pretty honest about the meat industry and she told me that cows (at least in Australia) are almost never indoors or in factories during their life for various reasons, mostly just practical reasons and more often then not are left to roam around eating grass and feed. They don't have especially bad lives at all.

Yes in the end the animal is slaughtered for food, this sucks. On the other hand I've spent enough time fishing and hunting to realize that the "natural world" isn't very kind either.

Ever seen a a live fish have it's face slowly chewed off by a squid or octopus until it dies? A wounded animal get torn apart by a pack of wild dogs? A lamb dropped from the sky by an eagle so it dies after having it's bones shattered? It's super confronting.

I won't try to argue the savage aspect of nature means humans can do whatever we want, but to say that animals are being "tortured", I'm not quite sure about that.

Alan Watts gave a great talk on this subject and makes the argument that really, killing plants and fungus is also killing something or ruining another organisms home and morally questionable in it's own right, his argument is the best thing we can do is make the most of whatever we eat by cooking it beautifully and enjoying our meal giving it proper attention / appreciating it. I think he makes a pretty good point.
This is tangential to your post but from the rumours I read Carmack is not the Rockefeller of tech you'd expect given the contributions and the impact he's made on the entire industry. While it's not plainly stated his fortune is believed to be far less than $100M. Likely less than $50M. Which is mind boggling to me given that Palmer Luckey walked away with something in the vicinity of a billion dollar windfall. It looks like Carmack always received the short end of the stick whenever he went to work for somebody else.
True enough, mine was that in the context of a discussion about reasoning about reasoning (if it is fact reason), you might need better metaphors.

I don't hold with a lot of the evolutionary claims put forward in Jaynes Origin of Consciousness.. but he does put forward a solid intitial discussion of "WTF is intelligence anyway" that's worth the read (if you've not read it and have the interest).
The thing to really worry about is that someone like Musk has direct access to all of your DMs, including those of politicians the world over.
> But utilities shouldn't be billing that grid cost to an individual all at once.

How about this instead: the property developer should pay, we can have a "building code" that sets standards for all residential constructions and disallow building any new housing that doesn't meet it. That way the costs are borne not by the individual home purchaser but by the investor class speculating on new housing development.

Which is exactly what the upthread poster is doing! They aren't an "individual" as commonly understood (i.e. someone who just wants a home to live in). They bought an empty/undeveloped piece of land and want to put a home there. Well, someone has to pay for that home to be of acceptable quality, who do you suggest?
I mean, we know from the Snowden leaks that the NSA was already gathering all the data and the FBI had access to the shares data.
Show HN: A magic frame you can prompt to show generated art to an e-ink display
A lot of the gas industry (wholesale fuel distributors) are still using AIX and OpenVMS. A lot of proprietary integrations, I presume, as well as ties to very very low powered chips and devices (have you seen how slow a gas pump computer is sometimes?)
My power bill includes a delivery and an energy charge, both measured by kWh.

The delivery charge is intended to pay for the actual electrical lines and maintenance, the point of issue here (providing a connection to the grid).

If the issue is that a net-metered household isn't paying enough for the electrical lines, simply don't net-meter that part of the bill. Charge the full delivery charge per kWh drawn from the grid, without subtracting the amount sold back to the grid.
Nintendo seems to be the best at this. I pulled my Wii out of storage to play with my 4 year old earlier this month. Plugged it in and was off and running having a blast playing Wii Sports and Mario Kart.
I am hoping this leads the industry to move away from its hyperfocus on solving algorithms for tech interviews. Sure they are important but are only one aspect of most jobs. The problems themselves are formulaic and not particularly indicative of any real acumen.
Server side systems that do a lot of CPU bound compute. I'm thinking Spark, Flink, that kind of stuff.
Based on what I’ve seen from humanity, finning is right up their alley. We can’t even agree that trans folk should be treated as human. Who gives a fuck about fish?
Yeah in my opinion him pushing so hard for GearVR seriously negatively impacted the industry. Tons of people had their first intro to VR be some crappy 360 video on mobile VR and it did lasting damage to society's perception of VR
They’re all out there, right now, in the most highly instrumented naval test ranges on Earth buzzing the Navy’s most highly instrumented vessels and aircraft. Billions and billions of taxpayer dollars, and that’s just one carrier.

But all we get is fuzzy pics and no telemtry.

Somebody, anybody, give our Navy a 4K cam. Start a gofundme.
It's more like they go hand in hand. I wouldn't say what it depends on it, but without it it would much harder to retain and structure new information. It is commonly observed in a long hours jobs and tests what after some time the new info just doesn't get processed properly.
As far as I know, the power company made the changes to their fees with the full approval of state regulators.

They still provide net metering for the electricity that I buy, as per the contract. They just broke out a ~$35 monthly fee for grid maintenance, separate from what I pay for electricity.
I have no idea how to respond to your comment. You seem to be coming from a world view that has no overlap with mine. I have zero understanding why you'd so condescendingly argue that we should just accept shady behavior by the FBI.
Using ancient ciphers and kex algos can end up being just as secure as telnet.
> These arguments do matter since the system often confidently <<reasons>> incorrectly, and people still incorrectly believe that the system actually deduces semantic meaning behind it's output.

This is the point that gets missed in these conversations about AGI.

I have had programmers who should absolutely know better argue to me that correlation/causation distinctions don't matter in AI because as long as you're not over-fitting to the data, it's safe to draw conclusions based on the correlation alone -- the AI wouldn't point out the correlation if it wasn't a safe correlation to rely on (and it'll just correct itself with new data if that ever changes).

A lot of people even in technical fields have way too much trust in these systems and way too much magical thinking about how they work. I don't blame researchers for that, but the argument "how do you know you're not a lookup table" is unhelpful in getting across to people that image classifiers have been hacked by writing the word "apple" across a bicycle, and that code generators are far better at generating code that imitates training data than they are at generating code that is safe for high-security environments based on 1st principles of security.

And it's honestly a little weird, because "aren't we all just lookup tables" is an argument that personally makes me a lot more cautious about human reasoning, but for a lot of other people that argument doesn't make them trust humans less, it makes them trust current models more. So there really is an education need to explain to people how the current AI models work in practice -- that they aren't deriving semantic meaning (at least not in a practical sense, not right now). And a lot of people understand that, but a lot more people don't.

The debate over how to get to AGI matters a lot less to me than the non-experts that seem to on some level believe that we've already reached a shallow form of AGI.
> I remember my dad telling me that when he was a kid, Hershey's were a nickel, and a lot larger.

IIRC, for a long time Hershey's always sold a 5¢ candy-bar, and regularly varied the size based on their costs. They even occasionally got larger if their costs dropped. I believe it was some thing about wanting every kid to be able to afford a candy bar.

I think they gave up when the most they could do was a halloween-candy/"fun size" bar.
Where I live, my electricity is maintained and provided by my town. I pay less than nearby towns that use National Grid.

That's how.
Amazon workers will go on formal strike for the first time in the UK
One aspect of the solution which I haven't seen touched on is that this is a problem for which a straightforward greedy approach works. I know when I do competitive programming, "will greedy work?" is usually the first question; greedy strategies are natural (here there's the insight of going backwards, true), and often it's faster to just implement it and submit than actually prove it to myself.

The output doesn't give me much confidence that, if we tweaked the problem slightly to make the greedy approach not work (e.g. certain characters/positions can't be replaced with backspace), we'd still get a working solution out. We might get something that looked extremely similar to this, but didn't actually solve the problem.

As I said, this isn't too different from what I'd consider human performance on these problems, but it makes being able to trust the output (and the model's confidence in the output) even more important.
The looming question- what if pointless cruelty and prolonged suffering is an important part of the culture? What then?

I’ve never been convinced we can reconcile relativism with humanity.
What values and principles did the Babylon Bee renounce and violate, exactly
AFAIK, reflowing a BGA chip without fucking it up is difficult without a temperature-controlled reflow station.
The cuties brand oranges are (partially) irrigated with fracking waste water of secret and unregulated composition.

So, someone already took your idea and ruined it on multiple levels.
I am not saying that factory farming is perfect or even good. But to compare it to shark finning is a huge leap.
Yes 2003 64-bit was the first official 64-bit x86 windows and is probably the largest advance over 2000, and there really hasn't been anything since that is as large a technical capability addition.

I'm on the fence, but frequently say that 2000 was probably the best. Then I have to qualify that maybe the preview 64-bit XP or full win2003 might be first or in the running because 64-bit is such a major/critical feature to modern computer that if you wanted to sell a modern "Windows for business" release you would have to pick one of the 64-bit versions rather than rolling back to 2k.

I too ran 2k3 (64-bit of course on my athlon64) for a while as a desktop and technically it was fantastic, but eventually ended up switching back to XP with a few hacks to just avoid the general issue that a number of pieces of desktop software refused to run on a "server OS" without buying the server license for $$$$.
Still early days, but I had done some exploratory work in the past on Reagents, a composable lock-free library [1]. Now that OCaml 5 is released, we're reviving this work.

It's semantics is weaker than STM -- unlike STM, it doesn't provide serializability but Reagents can compile down to multi-word compare and swap operations, which can be implemented with the help of hardware transactions (when present) or efficient software implementations of it [2]. Hence, Reagent programs should be faster than STM.

[1] https://github.com/ocaml-multicore/reagents
[2] https://arxiv.org/pdf/2008.02527.pdf
> Regardless, while you may call this “underwhelming” it’s actually hard proof of illegal activity. The FBI cannot censor people, period.

That’s not even remotely true.

> That’s fascism

May I suggest looking up fascism?
> we had in EU access to exceedingly cheap natural gas from Russia... No one was in a rush to build nuclear power

what about the carbon/climate goals?
True, but Twitter is mostly cat pictures, I think the average HN users could do a lot more damage to society than the average Twitter user.
Yep, all these people don't understand they are handing their kids slot machines disguised as harmless kid games. Completely irresponsible.
> I'm trying to find words, but it is a bit weird seeing people being so compassionate about an apex predator.

Humans are the most apex of apex predators... I hope that doesn't disqualify us from deserving compassion.
Twitter isn't a media outlet; content moderation isn't censorship; routine communications over email aren't "behind closed doors"; suggestions that Twitter investigate certain accounts carry no legal weight.
Would this count as stalking though? I pulled up a definition on Google and

> According to the United States Department of Justice (DOJ), the legal definition of "stalking" means "engaging in a course of conduct directed at a specific person that would cause a reasonable person to fear for his or her safety or the safety of others or suffer substantial emotional distress."

http://www.oxfordlegal.com/legal-definition-stalking/

Using an antenna to figure out somebody's approximate location and publicizing it, when that somebody already has stalkers going after his children [1], seems like it would cause reasonable fear

[1]: https://nypost.com/2022/12/15/elon-musk-shares-video-of-craz...
Does something like that site exist for Reddit?
Like I said in another comment, phones and tablets are portable slot machines. Gambling wins over "other interests" every time.
It amazes me that people try to read this stuff, and even worse, tend to believe some or all of it!

Last time I checked shitposting on social media wasn't mandatory for the average person, and employees who didn't like their job or thought they weren't paid enough could quit.

Am I missing something?
Astronomical cameras and microscope cameras are affordable. Some of them mm support sensors that uses them even supports Sony's proprietary protocol.

A lot of sbc boards support MIPI CSI (iirc even RPI). Nvidia robotic modules has IO for Sony's LVDS (driver not provided though).
This is a completely unacceptable question to ask because even you must know that what you've described doesn't touch at all on what your specific requirements would be in the device.

Without knowing what your specific requirements and expectations are its impossible to provide targeted information to help you make an objective decision. Everyone else is selling something that may not even be applicable to you.

As for the soldered RAM, I've heard good arguments for and good arguments against it, dealing with security, or usability which are often trade-offs. An older model allows you to flash the BIOS with an open source alternative and to remove any backdoor functionality that may remain in Intel ME, AMT, or any of its related subsystems.

You also do not mention how old the T480 is, we can surmise based off its original manufacturer date that its older but components have limited life and part of the cost of buying something new is the guarantee it will continue working, and that its usable life has not been expended.

I've seen T480s that are running just as fast today as they were when they were brand new. The owners of these took extra steps to make that happen. Controlling heat play's a crucial factor, removing design defects are another. The pristine ones I've seen have fixed the fan failure by rewiring the fan power cables so they don't get routed over a heatsink (i.e. where IBM itself used kapton tape right on top of the heatsink), or replaced the low-grade CPU thermal paste with a more heat conducive binder.
I don't see anything shady. And being pretty anti-authoritarian and having been in contact with LE many, many times over the years including the FBI what struck me first and foremost in all of that is that they did their utmost best to keep it clean.
Yet another set of overhyped allegations against Yoel Roth, who Elon is currently targeting with a homophobic smear campaign: https://www.washingtonpost.com/technology/2022/12/12/musk-ch...
I think someone said it could be false signals. Not sure if it makes sense though.
> and instead says more about our profession and how terrible we in general are at it.

I'm well aware that belittling one's own industry is part of contemporary software engineering culture, but for the love of all that is holy, I've never understood it.

A few decades ago, "software engineering" didn't exist. Today, it's a hair's breadth from creating an artificial being. That's closer to magic and alchemy than to building rockets and bridges. It just blows my mind that humans have achieved this, and it bores and saddens me to be surrounded by engineers who keep regurgitating "everything sucks" memes.
Roth may well have an excellent case against Musk. I'd definitely chip in.
I don't see anything about being a "small fry" mattering when it comes to the law. It's pretty cut and dried. What the FBI is doing is unconstitutional and illegal. Why are you minimizing it? That they are doing it all is extremely alarming. It's like saying "the concentration camp only has 5 people, what's the big deal?"

And why are you comparing them to private companies? Private companies are not covered by the same laws when it comes to the first amendment.
Why do they throw away the valuable meat?
Your reference to people being a Cassandra inside Facebook is extra funny considering they made CassandraDB.
my dad had schizophrenia and he starved himself to death because he thought most food and water was poison. he was estranged from his family and was on the streets off and on, mostly because he was ashamed. he on some level knew he was delusional and was ashamed of it, which you would think would undermine his delusion, but i suppose fear comes first.
My father worked at the central branch of the Los Angeles Public Library. He told me that Pynchon did research at library, and that the librarians knew who he was but respected his privacy. Similarly, I was also told by an employee of the Either-Or Bookstore in Hermosa Beach that Pynchon used to visit.
> Any time the FBI “asks” a company to do something it’s immediately a form of coercion.

That's just obviously false. It was pretty clearly just a suggestion that Twitter investigate violations of its rules, not a demand.
Right, what are the metrics, and are they perhaps less accurate in a remote-first work environment? A lot of times these metrics are designed to increase productivity as a lever and shouldn't be trusted. Without that conversation this article reads like 'person with easy job complains about subordinates also having easy jobs.'
+1 to changing the post to Carmack's published post on Facebook or Twitter without the Business Insider fluff.
Join communities that don’t use technology as part of the activity: sports, church, hunting, fishing.

Yes technology will be there, but it’ll aid and further the other activities, NOT become an addition in itself.

One thing we did to further that is send the kids to a private school of like-minded parents. We have a robotics club, but no networked computers outside of that in the school. Might sound old school (it is), but if all the kids have are friends without technology, they won’t use it
I feel there may be an important clue here, at least with regard to the programming example. Peter asked Kevin Wang for some insights into his approach to programming competitions, and one was this:

[Kevin] I think specifically for AoC it's important to just read the input/output and skip all the instructions first. Especially for the first few days, you can guess what the problem is based on the sample input/output.

[Peter] Kevin is saying that the input/output examples alone are sufficient to solve the easier problems; in the interest of speed he doesn't even read the problem description.

From what I have read elsewhere, it seems that AlphaCode generates a great many candidate programs, and uses the given test cases to eliminate those which fail them. I wonder if that alone (without any reasoning from the problem statement to a solution) can account for its success rate on these challenges; Kevin's observation suggests this might be plausible.

On the other hand, if the questions posed to AlphaCode are essentially as we see them, then its ability to use the test cases to screen its candidates seems impressive to me, just by itself (if it is a result of training, rather than an explicitly programmed behavior.)
And that's before you get into the hairy territory created by multiple jurisdictions, nations, pressure groups, grass roots organizations and so on. From personal experience: it is a minefield and it is impossible to satisfy everybody and to get everything right.
I agree it is deeply inhumane. However it is still very common for people to eat meat from factory farms, or veal which is inherently tortured. I used to have a kind of cognitive barrier about these things. They come in the store all packaged up in little cubes or whatever. But then I became vegan, and those mental barriers were no longer necessary for me. Now when I see the industrial production of animal flesh for human consumption, it is a deeply gruesome concept. Even the word "meat" is a sort of euphemism so we don't think about the flesh and body parts we consider food. It's all inhumane, but we purposefully do the inhumane parts far away from where it is consumed. The people doing the killing are often there due to economic necessity, and have their fair share of mental trauma from the inhumanity of it all. We have a lot farther to go.