skysight-inc/HackerNews huggingface dataset:
I hate this shit because you are inevitably in the worst possible position in terms of not only power, but information. But ultimately your shares are not worthless, so this must be a positive thing, and I keep a small portfolio of worthless company shares on the wall to remind me.

1. Unfortunately yes I have heard of this. It sucks and if they don't allow you to sell to cover you should be able to find a lender - I would start by going to a brokerage and talking to your broker. I would imagine if you purchased a short position (a PUT option to sell the same number of shares you will be owning) then you can convince them with enough documentation and maybe some kind of escrow or custodial account to effect it.

2. Then you need a lawyer and a brokerage.

3. An accountant, lawyer and brokerage. Again, this is the good scenario (shares are not worthless)

4. Since you said it was public, try your brokerage first. There are options for private companies in this space as well. There are definitely lenders who will help you out here.

If you just wanted to get the whole thing over with I would find someone willing to lend the money against the shares, again if this is a publicly listed security and you can purchase the PUTs then your brokerage should be able to loan against the shares to pay the taxes, you escrow the shares and they loan the money and then shares go into escrow and you have the PUT options so you can treat those shares as cash with your brokerage.
Well then it would be a good argument. Competition for video and short video services especially paid members makes that harder though
1) It'd be really really awesome to show average-case hardness version of a natural problem (i.e. 3SAT on a natural distribution) from the worst-case hardness of that problem (i.e. 3SAT). I believe it's wide open in the context of building one-way functions.

2) Randomized polynomial-time algorithms don't exist for NP-hard problems unless P = NP (iirc).

I think you have the right intuition. The issue is that right now cryptography is built on top of relatively "fragile" "average-case hard" problems -- discrete log, lattice stuff, etc. They are hard by assumption and we really don't know how to study them. (I would bet on some of this stuff being broken in our lifetimes).

It'd be really nice to instead base cryptography on an assumption that we are much more confident in being true, i.e. worst-case hardness of 3SAT. (I mean, who is going to prove P=NP). There are two steps:

1) First, show cryptography from average-case hardness of a "more believable" problem.

2) Second, to show average-case hardness of that problem is implied by the worst-case hardness of an NP-complete problem.

(1) is sort of better studied now, with a line of work on meta-complexity. (2) I believe is wide open, as previously mentioned.

Anyways I'm not really an expert in this area, but it's really quite fascinating.
M not sure you can even say they missed the electric wave - the Zoe and Leaf were some of the earliest mass market electric cars
TrustedTime API: Introducing a reliable approach to time keeping for your apps
> Cancelling DEI is "not far left" but there's quite a distance between "not far left" and "far right".

Honestly, I can't help but think that certain groups with "language setting power" (like the media) have gotten in the habit of using deliberate imprecision to tar ideas and people they oppose. For instance, build up a term like "extremist" or "far right" as a pejorative, then start applying it to mainstream opponents and fairly popular ideas.

It's probably part of the arrogant 50%+1 strategy that failed so badly it got us our second Trump term.
Denial is a way of avoiding paying out claims by making the appeals process as painful and time consuming as possible. Anyone who has dealt with it knows exactly how it is. And it is by design. This is a part of the economy where we need more regulations. But unfortunately the companies involved have donated and lobbied a lot.
I thought ublock stopped working on youtube, did anything changed?
I've recently discovered the joys of vscode-server[0] for this type of use case.

Which you can either serve as a WebApp direct from your machine, or tunnel in from another VSCode instance - including a webhosted version from Microsoft[1]

I may not do that much coding these days, but I already have found it handy for when I forgot to do a Git push! Just log back in to the Web Environment and everything is how I left it.

[0] https://code.visualstudio.com/docs/remote/vscode-server
[1] https://vscode.dev/
Feelings come and go. They aren't who you are, just a part of you.

You are welcome for 3 years of therapy in two sentences.

OP, way to funnel your energy into your project. Nice work!
This is awesome. I’ve also built a number of services for myself (Pinterest style photo hosting for archival/research purposes, analytics service for my websites, tracker for the books I’ve read, message board for micro communities I’m a part of, etc). I also share them with friends who express interest in them.

The costs are minimal (they all run on a shared $4/mo instance + $10/yr domain per project) and I get to control where the data lives, the features I want to have, etc.

No need to worry about getting the rug pulled on me because the company got acquired or needs to raise revenue or anything like that. No frustration because a redesign made the UI worse or removed features I cared about.

It obviously takes a bit of time upfront, but I see it as a long term investment in my productivity. I use boring, basic, stable technologies so once something is deployed it keeps on humming with extremely minimal involvement on my behalf.

I’m basically slowly working on replacing pretty much every 3rd party app I use with something I wrote myself (it’s going to take a while but that’s okay). My grandpa was a carpenter and pretty much every piece of furniture in the house was something he or his friends had made. As software craftspeople, we should strive to do the same with our digital houses.

Kudos to the author and anyone else who does this. You don’t hear about these things in the mainstream because there’s no reason for people doing this to shout it from the rooftops, but this is software at its best.
Of course, this is not to say that the U.S. didn’t have our own missteps during World War II.

.. and doesn't follow that with any of the sharpest examples, eg: the 600 African-American troops that mutinied:

these troops, from the 96th Battalion, US Army Corps of Engineers, were stationed at a base on the city's western outskirts known as Kelso.

This was the site for a large-scale siege lasting eight hours, which was sparked by racial taunts and violence.

"After some serial abuse by two white US officers, there was several ringleaders and they decided to machine gun the tents of the white officers," Mr Holyoak said.

~ Secret documents lift lid on WWII mutiny by US troops in north Queensland https://www.abc.net.au/news/2012-02-10/historian-reveals-det...
> Videos and Pictures are not evidence.

Legally, videos and pictures are physical evidence.

> The declarations of the videos and photos to be accurate depiction of events is the evidence.

No, those declarations are conclusions that are generally reserved to the trier of fact.(the jury, in a jury trial, or the judge in a bench trial.) Declarations of personal knowledge as to events in how the videos or films were created or found, etc., which can support or refute such conclusions are, OTOH, testimonial evidence, and at least some of that kind of evidence is generally necessary to support each piece of physical evidence. (And, on the other side, such evidence can be submitted/elicited by the other side to impeach the physical evidence.)
"You've done nothing but cultivate your own demise for decades."

He doesn't really blame Trump. Would really like to hear criticism and critique of this analysis.
You can just say you don’t like the new red branding color, you don’t have to go this hard on them.
A linear scale is no fit for a performance graph. Can we switch to a logarithm scale ?
I hate beating up this dead horse, but we need stop using AI to describe LLMs.

As pointed out in this post, these models are not capable of coming up with novel ideas, or deal with newer use cases. Constant use of them in any space would lead to stagnation. If they were truly "intelligent", their would be a way to side-step all of this.
But how do we deal with the fact that, up until recently, to only consistent way to lose weight and defeat obesity was to actually acquire healthier habits (in terms of e.g. food and physical activity)? Can we assume that taking a shortcut and becoming thinner by taking medicine will also lead to these benefits?
It might be argued that one of the dynamic programming (caching) ones would be the best by a reasonable standard. These can be used to simulate absolutely monstrous grids, and is where we see simulated CPUs and whatnot.

Here's the game of life running in the game of life: https://youtu.be/xP5-iIeKXE8?si=7NslTsVlW0USjQFw - that one uses Golly.
The most consequential breach was Change Healthcare’s (subsidiary of THAT United group) breach last year, since it exposed medical records of over 100 million Americans allegedly. Or maybe Salt Typhoon and gaps in the wiretap system. There are others too. I don’t see how a push to expose and stop waste and corruption is at all comparable to other governments hacking so many systems.

The complaints I’m now seeing about privacy in the context of DOGE feel shallow to me - most people have SSNs that were exposed somewhere already. And complaints about DOGE feel disingenuous because most people didn’t care about the long string of other breaches that have victimized Americans previously. And many of the same complaining people volunteer their secrets to social media apps run by China. But now they’re all suddenly interested in privacy?

Sorry I don’t buy it. The complaints feel political. And given the scale of spending and debt in America, DOGE is the bare minimum for what every administration should be doing.
Judo Trailer – Bereishit Dance Company [video]
He actually did X-Mines, (École polytechnique then detached to Mines), which means he was in the dozen top science students of his year in France
Prompt in, inference out.

Frankly, I can't stand these guys viewing themselves as some sort of high-IQ intellectual majority types when none of such labeling would be true and they're more like stereotypical tourists to the world. Though that's historically how anarchist university undergraduates had always been.
youtube hasn't touched their anti-adblock code since june
Never stopped working for me. Haven't seen a YouTube ad in many years.
Humans become reliant on tools all the time. I bet the folks in an average Amazonian tribe know a lot more about lighting a fire, catching and processing wild game, and building an improvised shelter than my excuse for camping skills. They aren’t reliant on electricity or a Bic lighter, that’s for sure.

Would I trade places with them? No.
I can imagine at least two possible reasons for such an approach. First, limitations of the author, who might be better acquainted with those historical periods rather than the modern ones. Second, and more likely, they are using the periods of US history that everyone agrees were good and glorious to make a point that those great US moments would not be possible without inclusivity. After all, this is an opinion piece in a current debate and not an academic review on a historical development.
The thing is, though, that Deepseek's training cluster is comprised of mostly pre-ban chips. That and the performance/intelligence of their flagship models achieved parity with western models between two and eight months old at the time of release. So in a way, they're still behind the Americans and the export controls hamper their ability to change that moving forward.

Perhaps it only takes China a few years to develop domestic hardware clusters rivalling western ones. Though those few years might prove critical in determining who crosses the takeoff threshold of this technology, first.
Chrome does not have any way to stop video auto play?
What is going on with Chrome,
It seems Chrome does not have any way to stop video auto play (no settings option and all extensions that used to work now are delisted from Chrome store).
I tried many from the Chrome store and few that are not yet removed, simply do not work anymore. Has Google Chrome team fallen so low that they insist on autoplaying and giving no option to stop it!?!?
I'm afraid of a future where we who live in the anglosphere end up with the AI equivalent of cookie banners and GDPR due to EU AI regulations.
I am using it with Firefox together with a pie hole equivalent (Mullvad, NextDNS, ...) and my YouTube experience is ad free.
No he was clearly always an asshole (but I agree he clearly had some genius)
I honestly thought you were making that one up, but it's in there.

"As per my prediction, this outcome does not come as a surprise."

I don't know if there needs to be a "country flag" next to each suggestion or something, because no native English speaker from the United States would ever recommend responding like this. There is simply no possible means of delivery in which this line does not come across as incredibly smug and condescending.
How did VAG succeed? Because it's the same problems: culture fit, market fit. Nissan kept but focused on e.g. light industrial vehicles, ATVs and military while Honda plays at being Sony/Apple for cars? That could have worked.

But somewhere you need synergies. Common rail, for chassis, gearboxes, engines. Diverge on fit out, but share parts.

Nobody in Oz buys Honda Utes. Loads of Nissan tradie vehicles.

It collapsed because they didn't want to change.
htmx Select Project
I find the premise of the article completely out of touch with the growth environment of the last 40 years. Of course the median consumer don't have an application for more than what the current infra can offer, it has consistently been the case since broadband inception. The reason is simple, no one will create applications designed for the median consumer with requirements higher than what the infrastructure can offer as this is guaranteed to fail. I thought it was clear that it was a typical offer driven market. Reading this article I'm really afraid that we will shoot ourselves in the foot if we forget this. A bit like what is happening with CPUs.
Henryuan 42V 10A Li-ion Charger is the ideal charging solution for 36V Li-ion battery packs, offering UL, ETL, FCC, TUV CE, UKCA and PSE certifications for assured safety and performance. Built for precision, speed, and durability, this charger is designed to meet the highest standards of the 10s Li-ion battery charging industry. It features multi protection mechanisms, overvoltage protection, overcurrent protection, short circuit protection, reverse polarity protection.
I have cheapest air 8gig and its just fine for anything i do if i dont open 80tabs.
But for sure wait for M4 as 16gig ram will be the base model. Coworker just got MacMini m4 and i dont see why that machine wouldnt be enough for 90% of people.
In the autoregressive decoding framework, the hidden layers' state for computation of token `t` is conditionally independent of all hidden states for `t-1`, `t-2` and so on given the observed tokens.

Put differently, the observed tokens are a bottleneck on the information that can be communicated across tokens. Any scheming performed by an LLM which requires more than one token to formulate must therefore pass through the visible tokens. With opaque vectors transferred across decoding steps, this is not the case.

The computation in the hidden layers, as far as we can tell, is not sufficient for scheming in a single decoding step. It looks like it requires O(10^2) or O(10^3) steps instead, judging from anecdotal evidence like the reports of scheming from o1 (https://cdn.openai.com/o1-system-card-20241205.pdf)

As far as your last point goes, I'd rather have a more transparent system, all other factors held constant.
It’s not as straight forward as people like to frame it as. There are still impolite and too direct ways of communicating and there are tons of stuff that still needs to be wrapped in blankets and delivered carefully.
Kevin Drum Ailing
Not sure how many of you still read Kevin's blog, but as Calpundit he was a very early political blogger. Always rigorous and thought provoking, he had a knack for cutting through BS.

He's ailing, and I just wanted to let folks know.
The last time the boss of Nissan didn’t do what they wanted, they put him in prison
I am still alive, so no, I have not.
I remember there was an old C programming textbook which used game of life as an introduction to basic data structures and algorithms, going from lists of live cells to hashmaps etc. It was more focused on teaching basic programming than the game of life itself, so it stopped short of HashLife, but I think it had at least three increasingly sophisticated implementations.

Maybe someone on HN remembers it and can tell me its name?
I will defer to your judgment on this as I am not passionate either way and I trust your expertise.
Quite literally any country with a government worth talking about controls entry of foreign nationals. It is a privilege to enter another country as a foreigner, and that country has every sovereign right to deny you that privilege if they so choose for any reason (usually citing their laws).

The fact that you ignore this demonstrates your bad will in engaging in these conversations.
Since you are now getting into insults instead of discussing and trying to be curious to look beyond face value, you have a point.

Have a nice day.
Seems like the designers are trying to justify the utterly useless busy-work they've done here. That gradient is horrendous.
Meet Dr. Duh and Dr. Huh. Together this "professionals" keep the shareholders healthy..
Ublock has been blocking all youtube ads for me for many years (on Firefox).
GDPR has made a hell of eurosphere as well, if that can make you feel better.
The comment section is funny. The first 3-4 comments complain about the screenshot showing a column break, failing to notice it's from the suspected 1959 origin paper.

I can't tell what the publishing time was, but the first two comments are within eight minutes of each other. The third is an hour later. Sensible comments didn't start to trickle in until six hours later.

How many of those comments are from bots, and maybe human trolls?
Where did I say a cut was warranted? I said overhaul.
Its interesting , a whole industry the rest of the world agreed on shouldn't exist, trying to spread via lobbying, while the citizens in majority are for it to be busted and dissolved .

It displays the anti democratic nature of any given market in perfection. Hypothetical, if the masses rebelled and shot a CEO in a starting-gun-event, this industry would be the first to defect democracy and dash for a open oligarchy.
> We and our 717 technology partners ask you to consent to the use of cookies to store and access personal data on your device.

To see a turtle emoji.
> Off-Topic: Most stories about politics, or crime, or sports, or celebrities, unless they're evidence of some interesting new phenomenon.
Latency is an issue but it's not the biggest one. Most real-time protocols can adjust for latency (often using some sort of OOB performance measurement port/protocol.) The issue is jitter. When your latency varies a lot, it's hard for an algorithm to compensate.
Infinite autoplay of stupid recommendations is so annoying too.
Someone make a hackernews version of this pls

“I’d encourage everyone to read the full article …” = “did you even read the article?”

“I guess I’m the opposite” = “you’re wrong and I wish I could downvote you to hell”

I miss ngate
I'd say sorbet largely adds to the mud, but to each their own.
So we got skip tools (Build native apps for iPhone and Android) https://skip.tools/

And skip labs (An open-source framework for building reactive backend services) https://skiplabs.io/

.. in the same day?
> In short, the concepts of science--hitherto associated largely with the cosmic, the inorganic, the "mechanical"--were now applied to every phase of human experience and every manifestation of life... men sought for an underlying order and logic of events which would embrace more complex manifestations.

Sorry, that’s just silly, unless this was about events that happened way earlier than he was writing. Using the scientific method to study life goes back to the Enlightenment. Buffon and Linnaeus were doing it 2 centuries ago, more than a century before this was written. Da Vinci explicitly looked for inspiration in the way animals functioned to design machines and that was earlier still. There was nothing new, even at the time, about doing science about "every phase of human experience and every manifestation of life".
I am sorry that you had to go through such shenanigans. Consulting a lawyer is also what we are working on right now. Asking just in case: do you have any lawyer to recommend? Thanks!
> There seems to be the camp that just loves LLMs and have turned to Copilot for everything.

I wonder if that's the same camp that wrote crappy half-ass code before LLMs? There are a lot of people like that.
This wasn't even a beach because the USDS was authorized in the ACA legislation to assist in modernizing IT systems across the entire federal government.
Australia, too.
That may be, but the linked page gives no indication as such so for somebody (a non-native English speaker for example) genuinely looking for advice on tactful communication between co-workers - this might be doing more harm than good.

Also if this is indeed satire, it's so subtle as to be functionally nonexistent.

Original:
Stop assigning me so many tasks if you want any of them to get done

Alternative:
As my workload is quite heavy, can you help me understand what I should reprioritize to accommodate this new task?

The cynic in me says that this started out as an earnest endeavor but the feedback was so brutal that the author backpedaled and "pivoted" the product with a rebranding as satire.
Video games need a "dad mode"
Copilot Chat for Xcode (public preview)
True, but they sell fleets on that (now out of date) understanding of reliability.
I believe the Chinese call it “discourse power” https://digichina.stanford.edu/work/lexicon-discourse-power-...
Yes. Seems likely. Or, the editor wanted this length and they stopped in medias res.

The later period however, might be the most informative for the current situation. The civil rights struggle and how the military reflected it (or not)

Putting women into combat roles remains divisive. I haven't served, so I downgrade my own views but I think almost all of the objections are parochial, and wrong. Service people or veterans might disagree.
Yeah lots of room thats true.
I would imagine by implying that if Honda doesn't cooperate, they would face increased regulatory scrutiny. IE, Honda factories needs to have more safety inspections, vehicles fails to pass emissions tests, a finding that requires huge recalls, etc.
Ah yes, my bad, I should also have mentioned the website link in the project README file as well, just added a "View the website" link in the readme, hope that helps others as well. Thanks for sharing about this.
Author here,
When I joined InCore last year, I decided it would be meaningful to redesign my Undergraduate Capstone Project using Bluespec SystemVerilog (An InCore superpower) and contrast the efforts + compare the implementation with the legacy Verilog codebase.

This blog is an account of the same, with a walkthrough of the design, comparison results and steps to replicate.

Link to the GitHub repository:
https://github.com/govardhnn/Low_Power_Multidimensional_Sort...
> critical to the company's EV strategy

TIL that Nissan has an EV strategy, other than "build the world's first mass-market EV (Leaf), then ignore it for a decade".
You don't need landmines to fly for them to be dangerous.