skysight-inc/HackerNews huggingface dataset:
I think learning the essentials of another field can be more valuable than expected, whether it's a mathematician learning to program or a software engineer learning patterns of abstraction. When you've gone deep on one field, going even deeper has diminishing returns.

Software engineers and (non-categorical) mathematicians are both forced to deal with patterns of abstraction on a regular basis, so they naturally pick up a lot of what category theory concerns itself with. This can make category theory sound like quite a lot of words for very little gain. But I do think that formalizing one's intuition -- taking something understood implicitly and giving it explicit form -- can be a useful tool in its own right.

Most of the material out there on category theory attempts to formalize the algebraist's intuition. Software engineers then have to learn algebra just to learn category theory. I don't think that's essential to category theory, and I think we're starting to see more and more "elementary" category theory that doesn't take some other whole edifice as given. The fact that so many software engineers exist who do find value in a categorical perspective (it's more than you'd expect!) suggests that we'll get there eventually.
Last time I worked on a project that cared/tracked this (~4 years back), all the prepaid cellular data users from one of the big 4 telcos here ended up on CGNAT and appeared to come form a small pool of 4 IP addresses.
How can they make money for Amazon (or whomever)? Unless they sell them at a realistic end-price they’ll lose money, I can’t see people choosing voice over phone on accuracy and ease of use issues when ordering. And without feedback how can comparison shopping work?
He doesn't sound like the genius kid that the media had made him out to be. He sounds more like a pawn in some scheme where he was chosen to take the fall.
True, but that's up to 5 years (and in the worst case at least 90 days, if you submit for renewal as early as possible) rather than 60 days.
Yeah, I wondered about those too. Less straightforward than pure iterator usage but still plausible
I'm curious why you call out constructivism.

I've only really seen constructivism talked about by people who actually have a strong math background. Because it is hard to speak out against, say, the classical notions of existence that say that there are more real numbers than rational ones unless you actually understand why the classical proofs don't work constructively. And not just as, "We don't allow that proof."

To make that concrete, let's use computable analysis as a foundation for constructivism. In short, we represent Cauchy sequences as computer programs about which we can prove things in our favorite axiom system. You can build up a version of real analysis from that. It is easy to attempt Cantor's diagonal argument. You'll get a concrete program. But it will only represent a real number in our system if our axiom system can prove that every program it proves works, works as proven. This immediately brings up consistency. And so Gödel proves that showing this program represents a computable number in our system would imply our axioms to be inconsistent. (Bad axioms! Bad axioms!) And therefore Cantor's proof fails to produce a number in our system.

Of course classically we would say that if the axioms are consistent, then the program will compute a Cauchy sequence. And so it really does represent a real number even though we couldn't verify it. But whether we accept this alternate argument is a question of philosophy, not logic.
The real joke is that people defending Windows' oddity by saying it's a VMS clone, where curl authors apparently consider actual VMS an easier platform to support.
> Most Googlers I've talked to view the company as a large, corporate politics chess game where engineers are the pawns.

Are they wrong?
> you probably don't want an app on your store that allows any user to stumble onto an uncensored video of people getting decapitated.

Google Chrome, Firefox, and Safari will all allow any user to stumble onto those videos. People who use browsers know the risk. And the people who use LBRY also know the risk.
+1 on contacting your senator(s). I was
stuck in a bit of an immigration nightmare once and they helped get it fast tracked, connect me with the best attorney for my particular situation. Be sure to mention you’re married and have kids :)
Show HN: Track Your RSUs and Compare Hold vs. Diversify in Google Sheets
I created a free google sheet template that makes it easy to track the value of your RSUs (restricted stock units). You can also compare Holding vs Diversifying historic scenarios.
Thats the beauty of screwing and not being screwed in return.
We're just happy it's our turn to say "have fun staying poor"
Putting cookie like that means consent thingy you need to add tho.

Only ones that you don't need are ones that are expected functionality of the site, like you don't need to put it for shopping basket
Zealots are a normal feature of human society, so yes.
Just use self hosted OpenSearch. It’ll save your company millions anually if you are large enough.
I do have data to back this up for employees. You'd win that bet. Shareholders, I have no data on that.
Non-Clojure user here (but with just enough Lisp experience to make a fool of themselves)...

> When Clojure evaluates the symbol router [(an argument)] here, it goes through almost the exact same process as it did for the symbol +, but without checking if it’s a special form. It looks for the var in the current namespace that maps to the symbol router, dereferences it, _and saves the function object it retrieves as the first argument before evaluating the second argument_, and then calling the function that run-jetty evaluated to.

Why does it save the resolved function object, which is an argument at that scope? That sounds counter-productive to the reloadable functionality.

Is it a performance optimization?

If anything, it demonstrates that reloadable code is inherently at odds with performance.
Allow me to play the world's smallest Violin, its like not Spotify is going to use that increased cash flow to actually pay the artist a meaningful cut of the reveune
I get that you said that. Did you get that I specifically searched for this case and came up empty? I am not intentionally hiding from this story. If it exists, show me.
You don't need to be faster than the bear, just faster then the next person...
It's interesting to think about how much these types of articles help lead to the panic of a recession that ends up making a recession happen.
There is Tweep
This title seems to imply some sort of mutual exclusivity. It is almost certainly a crime and an accident. (note I am not implying Sam Bankman-Fried wasn't criminally negligent or unaware of the risks/scam)
“Over and over again @Apple gives itself every advantage while at the same time stifling innovation and hurting consumers.”

That’s funny Ek. Seems like Spotify gives itself every advantage while at the same time stifling innovation and hurting musicians.
That’s exactly my point.
KeePass on something normally-offline like a thumb drive is probably a decent compromise where needed, but I'd still encourage people to keep their most sensitive passwords either undocumented or partially/incorrectly documented.
> Fighting back is the only real solution victims have in the absence of adult supervision

Adult supervision is no guarantee either. Kids are way smarter than adults give them credit for. I remember bullying occurring in the presence of teachers who were completely unaware of the meaning of subtle language or other cues meant to be harmful (with the same meaning known to others of the in-group).
I felt exactly the same. Silicon valley attitude "woah dude that's awesome". UK fenland attitude "don't get your hopes up and know your place".
Paper link: https://arxiv.org/pdf/2209.11178.pdf

Lots of interesting things I'd want to try here. Eg, the formulation of thinking of your probability distribution as a charge distribution opens up the possibility of adding negative charges. So you could have a regular positive data examples, but also some negative examples that the generative model tries extra hard to avoid.

I'd also be interested to see what happens when you "add the fields" for two different distributions over the same space. Seems like it would be interestingly different than regular superposition, and I'd really like to see what happens when you add together a dog image field to a cat image field.

I guess the current formulation where you only get the direction of the electric field and not the magnitude would cause problems there. Seems like an improvement might be to predict the actual potential instead of the field and then take the gradient. That would also guarantee that the field is curl-free, which it should be, but it doesn't seem to be enforced in the current paper. I think they don't try this because it's hard to get NNs to produce numbers across a wide range of orders of magnitude. Maybe separately predicting the normalized direction and something like the log of the magnitude would help here.
He's been on the decline since the failed presidential bid in my opinion. He's pushing farther left and becoming more uncompromising in his rhetoric, driving his base but alienating independents and moderates. He focused his campaign on abortion, gun confiscation, and the power grid when Texas voters cared more about border security and economy.

He gambled by playing to national progressives for presidential primary support and donations, but now he's left with no office to seek and a record of losing. He's a "superstar loser" as The Atlantic put it.

It will be interesting to see how it all pans out, but I'm not too hopeful he'll accomplish much beyond celebrity fundraising. I'd be happy to be wrong on this though.
Very interesting.

As well as other usages it seems this would be one way to host online games.
The app itself being the only thing served centrally and then instances of the app get served by website visitor's to host their own private workspace/gamespace.
So all data created in that instance would remain private to that instance and the clients that connect to it.
Is that a reasonable use case or am I misunderstanding?
All laws make you less free, but societies without laws also make you less free.

Freedom is a slippery concept.
This isn't just comingling accounts and bad accounting. They borrowed between firms. They absolutely knew where liquidity was, and where liquidity wasn't - liquidity follows profits. Their solvency was based on their own manufactured tokens.

They took money from clients because they thought they could pay it back because they think they are smart and they are not smart. Their accounting was good enough to keep track of large loans to insiders though.
We were a team of mathematicians focused on cost savings and improving decisions. We know how to subtract costs from benefits.

I was not the lead.

A team focused on helping the company make better decisions is all the more necessary when attempting a pivot.
But Rust doesn’t have a spec (https://doc.rust-lang.org/reference/ gets closest, but explicitly states “Rust compilers, including rustc, will perform optimizations. The reference does not specify what optimizations are allowed or disallowed” and “this book is not normative”), so it doesn’t promise what kind of error you’ll get or when.

I would think a Rust compiler could hoist the check outside of the loop at least sometimes (it might not want to do it if the loop made changes that are visible from outside the loop, such as changing a volatile variable or doing I/O)
yeah, it would be so nice if our industry hadn't over-hired for the last five years on the promise of everlasting ZIRP and trickle-down funding from adtech giants. alas, here we are.
Reminds me of November/December 2008 when absolutely everybody was laying off. I have a sudden urge to open ZeroHedge.com and buy some gold bullion.
> Pointing out these costs and forcing society to recognize them as explicit decisions and tradeoffs is one of the key benefits of the Right

I don't think either side is better or worse at this. It's more like, point out the costs of the other side's policies while glossing over the costs of your own.

Abortion is a great example. I never hear a pro-life argument that starts out "abortion should be illegal but it will create all these unwanted babies and here's what I propose we do about that and what it will cost. We'll vote on outlawing abortion but it will be tied to tax increases to pay for programs to ensure these children have proper nutrition and education."

The idea that the right cares about babies right up until the moment you're born is common enough that George Carlin was joking about it in the 70s.
it's so baffling to me that people give ALL their password to a third party, commercial, organization...
May I introduce you to “Metamate”
In that case, maybe some Karate lessons first?

I was also a tiny kid and it worked for me…
Dependency exploit would be the way for 1Password etc, which are now basically wrapped web apps.
Who says the two parties aren't on the same team? Maybe the winning team is corrupt politicians and the facade of ideology is a marketing gimmick that sells tickets but at the end of the day, the NFL doesn't care whether you buy a the 49ers jersey or the Raiders jersey.

Imo the real teams aren't you versus me, it's us versus them.
100% agree, I was a skinny kid who taught himself to fight to ward off bullies.

I bought a punching bag and started training when I was 12 - in 6 months I got so strong that I was bare-hand punching into cement walls.

There was this bully who would constantly berate me - he probably had 4 inches over me and a good 15-20 pounds heavier.

This one time am walking down the street and he comes out of nowhere and throws a punch, luckily I saw it coming, ducked and it grazed my cheek.

I flew into a rage - all I remember is he was down on the ground in a couple mins and I had beaten his face to pulp - I stopped when a friend and bystanders pulled me off.
So yes, learning to fight is a life skill - because there are times when there are no adults around and it's you or the bully.
>2000 different approaches is exactly what is needed for "natural selection" to do it job… The more (and sooner) people jump ship, the better chance we have to test and iterate.

I don’t think users are going to participate in these sorts of experiments long term. People are signing up now out of fear and anger and hope but Mastodon still lacks the user base — people for you to follow and people to amplify your posts. (Partly because it’s still a fraction as popular as Twitter and partly because the hosts all seem to be blocking a different half of the other hosts so even if two people are both on Mastodon they may not be able to connect.)

If, on top of all that, people are expected to tolerate “a lot of iterations” before things work right I see them leaving. Let’s not forget that the Twitter/Mastodon mode of interaction can be pretty toxic so there needs to be a big carrot for people. Mastodon doesn’t have it. Twitter barely did tbh.
It feels like you haven't read my comment. You cannot solve a turing test using a large language model on its own. The language model can spit out human-like responses to questions you may ask, but it does not have a genuine internal life experience. What this means is that if you ask it where it hopes to be in five years, it could just as easily say "I hope to be a manager at my engineering firm" and then it could say "I hope to be running my own bakery". But it does not have genuine goals, it's just inventing plausible-sounding goals. You can tell this is happening if you have a long enough conversation, because things will be inconsistent. the language model does not actually want to run a bakery, it merely "wants" to produce plausible sounding text.

You literally cannot solve this problem by training on more text or more humanlike text. You need an "agent" that has genuine motivations and some concept of an internal experience.

There is a great paper on the limits of large language models that is worth reading if you'd like to learn more:
https://dl.acm.org/doi/10.1145/3442188.3445922
It's supposed to be E2E encrypted with your master password plus an additional key.
I can understand the flawed line of thinking that leads to not taking salaries and time into consideration when making comments like "why not just do it yourself?", but it's interesting how rampant it is. I've worked with people who are like, "To avoid paying some company $999/year, I'm going to invest $1,500 of my time setting up a free version running on hardware that has a smaller recurring cost (but still does have a cost). And let's just not worry about how much of my time might be required to support this once it's up an running."
There is a stochastic element to diffusion models which is not present in PFGMs. Further, recall that Diffusion Models and PFGMs alike are "metamodels" - mathematical frameworks in which any function approximator can, in theory, be placed. They are not an architecture. In this case, the authors use the DDPM++ backbone which is the specific function approximator that they implement in their PFGM framework.
You can gently turn the cartridge over and, back and forth. This will shake toner loose, and you can turn a "gray" cartridge black again.

But you may also get a little toner on you or the floor, so beware.
Any user should be able to walk away from the original hardware vendor, never contacting them again, and still be able to use the product in a normal way. Otherwise you bought a service, not a product.
But that's just it. The law needs to be able to distinguish and provide proper protections. I do not think the public at large should be making that distinction because it turns on mob rule.
My grade school daughter’s actual time to eat lunch, at a public high school in an affluent area, after lines/outdoor time/etc (I have not been able to ascertain what eats up so much of the ~30 minutes lunch period allocation) varies between 3 and 7 minutes. She always has a packed lunch, so none of her time is spent waiting in line for actual food. This is staggering to me. I didn’t go to school in the US, but my wife did and says it was not like that in her day at a public school. Needless to say, she doesn’t have time to eat her lunch, so it inevitably comes home every day in its entirety except for quickly consumed items like yogurt and hummus. I have been considering experiments to try to figure out what’s going on, because the school administration denies this is the case but other parents confirm that their kids report the same thing. Any ideas for a good investigative method?
Well here it sounds more like "break things and be an asshole", to be honest.

I wonder what would have happened, had he fired 75% of the engineers when he took control of Tesla /s.
Many companies have nobody who can do that work competently, and would rather focus on development. If you've ever had a random IT person "set up a database server", only to discover it barely has any memory or CPU allocated, it's configured with the slowest storage options possible, and it has no backups or monitoring, well... that's what you're paying for.
first, I absolutely agree that divorcee and widow are entirely different concepts and experiences.

But, unpopular opinion : becoming romantically involved with another is also a circumstance of your choosing; and although the death of a partner is rarely the choice of a spouse, the emotional involvement and entangled lives are the product of choices by both parties.

root parent : I can't myself imagine the loss of my partner, as I have grown so dependent on the relationship and the companionship provided. I think you are coping very well compared to how I see myself handling something similar, and I hope your days continue to improve.

As for the restaurant judgements : who cares what other people think? Screw 'em. There's a lot of judgemental bastards out there, and their opinion doesn't mean a damn thing.
Nice touch, with empathy and such. Blogpost saying we're firing our people along the ad "We're hiring"...
Has the UI even changed in 27 years? The fact that the I don't have to relearn it every time I update it has been my favorite feature.
http://techrights.org/wiki/Microsoft_and_the_NSA
Same shit different country
Man, who would've guessed I'd be tempted to flag a post about GIMP. The level of vitriol in these comments is truly impressive...
Can’t wait to find out about all the new types of repetitive strain injury caused by doing this for decades on end!
Being dumb never got anyone off of a crime. I'm pretty sure he will face serious consequences regardless. The "bumbling kid" narrative won't help him there.

But it's relevant in discussions when I've seen him called worse than Madoff who engaged in a very overt crime. Again we don't know exactly how much SBF tried to directly profit off the business yet and how much it was a concerted plot to scam people. ...And since the internet requires you to be extremely obvious, that is not saying he's not a bad guy or absolved of responsibility or whatever.
> I’ve never filed a patent, written a publication, nor given a talk.

When written in a single sentence, it implies that you have never written a publication, post- or pre- or during- a PhD.

I will rephrase my question: have you, or have you not, written a publication?
> It's a casino, but with other people's money.

To be fair so is Venture Capital and Private Equity. The difference lies in the degree of diversification
I never pick a real answer to my security questions. It just seems pointlessly dangerous.
fluvio.io ?
The source is SBF himself, in an interview with Tiffany Fong (covered by Coffeezilla):

https://youtu.be/0rL35_WV3lE?t=77

He said he donated about the same to both parties, with the Republican donations hidden as dark money.
Lots of great people there. Condolences to those impacted.

It's disappointing. Elastic had it. Unforced errors abound.
We have a clickable tutorial behind login, and we could easily do the same experience for an app we embed on the website. Thank you for the idea!
My conclusion based on bible and state of the world was that either God doesn't exist or he is evil. There is no way way to be describe many of his actions as ones of benevolence.
So, take the massive fraudster at his word when he supports your pre-existing beliefs? Do you also believe that parties interested in supplying billions in funding contacted him just after he signed the bankruptcy paperwork, as he's also recently claimed?
What self respecting lawyer would ever advise their client, whom is probably being investigated for criminal charges, to tell their story to the media?
Ah, classic. So this is actually all just shitposting and looking for ideological battle then.

The “antifascists” literally wore the mark themselves while committing upwards of a billion dollars of property damage over the course of a year+ of riots.

But seriously, please just take it elsewhere. Your innuendo is borderline if not actual libel.
El Salvador’s Chivo Wallet: a slapstick saga of software disaster
No comment. (I live in UK)
Remotely controlled killer drones get a civilian application.
We’ve been in a recession for two years. People just seem to have been pretending we aren’t.

Not even totally COVID or Russia’s fault either… stock prices really bubbled since 2008, with many companies trading well above a level that there is any rational justification for.
I'd go so far and assume it's an AI problem.
I should add that one motivation for the project was the possibility of encrypted DNS, made possible at the time by DNSCurve and CurveDNS. The idea is that a large registrar could run CurveDNS forwarders in front of its authoritative servers and the user could then have encrypted DNS packets for many, many domains by connecting directly to the registrar's servers. I doubted at the time, and I still do, that root servers or registries would ever run CurveDNS forwarders.