skysight-inc/HackerNews huggingface dataset:
Judge John McConnell disagrees with you. His decision placing a hold on the spending freeze cites the Impoundment Control Act as part of his finding that the lawsuit is likely to succeed on the merits.
I don't know about Netflix specifically, but some companies do sell all-in-one package solution to create your own kinda Neflix on prem. Don't know how great these solutions are, but I imagine with sufficient budget they should work ok.
(author here) the goals of catgrad are a bit different to JAX - first of all, the "autodiff" algorithm is really a general approach to composing optics, of which autodiff is just a special case. Among other things, this means you can "plug your own language" into the syntax library to get a "free" autodiff algorithm.
Second, catgrad itself is more like an IR right now - we're using it at hellas.ai to serve as a serverless runtime for models.

More philosophically, the motto is "write programs as morphisms directly".
Rather than writing a term in some type theory which you then (maybe) give a categorical semantics, why not just work directly in a category?

Long term, the goal is to have a compiler which is a stack of categories with functors as compiler passes. The idea being that in contrast to typical compilers where you are "stuck" at a given abstraction level, this would allow you to view your code at various levels of abstractions.
So for example, you could write a program, then write an x86-specific optimization for one function which you can then prove correct with respect to the more abstract program specification.
> In fact that's one of the roads to fascism - constantly looking for "manipulators" everywhere and other witch hunt types.

Bollocks. Studies suggest as much as 35% of social media posts are fake, and as high as 40% on some forums. This isn't Fascism or paranoia, this is just how large tech companies make money. Like, if you don't understand how AI and scripting align with marketing and propaganda goals then you're gonna get played like a rube every time.

The problem is that "marketing works even when you understand how marketing works", and that it is very hard to maintain constant vigilance.
> DOGE is obviously a completely illegal operation

This narrative infuriates me. Either you are right, and entire wings of our government are abetting a coup, or you are wrong, and our government has huge back doors that no one is watching.

Both realities reveal something urgently broken with the United States. In a way that should scare the entire western world to its core.
Those who have outrage are the same people that think they are calm, reasonable, considerate and don't have outrage, at all.
Did you put rate limiting rules on your webserver?

Why was that not enough to mitigate the DDoS?
Sort of tangent, but is there a semi automated way to select which engineer would be best to implement a ticket? Something like "we need to modify this API, let's run git blame and see who has the most familiarity" and some form of scheduler that prioritizes the most experienced engineers on the parts of code that only they know?
If the real reason these companies dropped the policies was that they were unprofitable, and their bottom lines showed it, then why did they wait until exactly November 2024 to all drop them at once? Surely they could have discovered this many quarters ago. Did the policies just suddenly become unprofitable right as the next political administration was decided? Why would company directors across entire industries just sit there nodding their heads, as you say, voluntarily not making more profit for shareholders? It doesn't seem like the bottom line was the real reason in this case.
The budget for USAID was also appropriated by Congress, but they still decided to freeze everything "pending review" (instead of at least reviewing while initially leaving things running), and then locked out domestic employees and recalled overseas employees - all without consulting Congress. So they obviously don't care one bit about what they are legally required to do. And why should they, as long as they have the supreme interpreters of laws firmly in their corner?
> but my understanding of copyright is that if a person when into a clean room and wrote an new article from scratch, without having read any NYT, that just so happened to be exactly the same as an existing NYT article, it would still be a copyright violation.

It would not be. Independent creation is a complete defense against copyright infringement.

Patents, however, do work this way.
> having 10,000 H100s just means that you can do 625 times more experiments than s1 did

The larger the organisation, the less experiments you can afford to do. Employees are mostly incentivised by getting something done quick enough to not to be fired in this job market. They know that the higher-ups would get them off for temporary gains. Rush this deadline, ship that feature, produce something that looks OK enough.
See "costly signalling vs cheap talk"

https://ocw.mit.edu/courses/15-025-game-theory-for-strategic...
Interesting results, but I am talking about the web as an application platform, not as the average users web browsing platform. I find it hard to imagine that users would accept e.g. something like Figma running without JIT, meaning that Figma would have no choice but to move native, thus running into the same problem. That said, for the average web user disabling the JIT by default may be reasonable.
On one hand, this is a scummy move from CloudFlare. All this has ever done is make browsers spoof their UAs. Mozilla/4.0 anyone?

On the other, Pale Moon is an ancient (pre-quantum) volunteer-supported fork of Firefox, with boatloads of known and unfixed security bugs - some fixes might be getting merged from upstream, but for real, the codebases diverged almost a decade ago. You might as well be using IE 11.
It can be, but a whole lot of people fail to do this analysis properly to see whether it will be for their use case, and they get burned.
That functioning police force needs a functioning tax collection system to fund it, and a functioning civil society to pay for it. So you need enforcement of contracts, and a functioning financial system, and working roads, and all kinds of stuff. You can't just sit there and say "we've got the police, so none of the civilians can touch us" - not for long, anyway.
Being asked to take a deal that the administration may be offering illegally is a wild situation to be in. Especially when the administration doing so seems to have little regard for the law, and SCOTUS has deemed them above the law to some extent.

Are you making a deal they will actually pay, and could it be that the administration simply chooses to ignore the courts?
The larger problem is that they are at the border of or past crimes that either will get prosecuted eventually or we are at the end of democratic controls (starting at term limits) so that these people never get prosecuted.
Call anyway. If they don't answer the phone, go to the closest field office in person and knock. The stakes are too high, you need to ask yourself every step of the way: is THIS the roadblock that's going to stop me?

Maybe your senator doesn't care, maybe the courts are bought and the criminals are immune, maybe maybe maybe. Fighting means you keep powering through the maybes, the roadblocks, the hopelessness. There are sophisticated campaigns at work designed to make you feel hopeless and powerless. DO NOT give in to these without a fight!
https://en.wikipedia.org/wiki/Keybase
A lot of accepting what's going on requires us to ignore the broader context of current events, and all of American history, as well as the history of democracies including those who have fallen to an authoritarian dictator.
Zig only has spatial memory safety in limited situations. For example: If you use many-pointers anywhere in your codebase, those places have no spatial memory safety. If you compile in ReleaseFast, you have no spatial memory safety at all.
In my opinion reddit is still such a great community if you subscribe to topics that interest you and leave the default subreddits. There's plenty of subreddits that I would not be able to find a good alternative forum for, maybe a Facebook group exists here and there but is that really better?
Good for you. I'm just riding my anti-AI hobby horse. I suspect that the proliferation of AI is going to be a net negative for people who interact with it and depend on it consistently. But as a programmer it may be that you can't afford to ignore it.
Seek AI | Senior Software Engineer (Platform) and SRE | Hybrid NYC | Full-time

Seek’s mission is to create natural language interfaces to structured data, allowing business users – without experience or expertise in SQL and related languages – to explore their data as freely as searching the web.

We are a small, early stage AI startup in NYC. Mostly () GCP, k8s, Python/Django/FastAPI. We also run in Snowpark Container Services.

We are looking for a Senior Software Engineer (Platform Engineering) and an SRE to join our growing team. Links to view the job description and apply are below:

Senior Software Engineer (Platform Engineering) https://jobs.lever.co/seekai/f2d6045b-8aa3-4951-9af6-9f615fe...

SRE
Job is not yet posted but will be posted to our careers pages soon https://www.seek.ai/careers.

Thank you for your interest in Seek and have a great day!
The plan seems to be to fire almost all government emoloyees. The only historical parallel I can come up with is the De Baathification program in Iraq 2003.
Truly, the last few minutes of American history is not material to the argument I’m making here.

And I don’t doubt there’s still a lot of subterfuge happening as we speak, most of which we’ll never hear about until something goes very wrong.
That's absolutely fantastic, because if you have 1 good idea that's additive to the SOTA, you can test it for a dollar, not millions
I think Carbon is more promising to be honest. They are aiming for something production-ready in 2027.
As one of the seemingly few people who actually do read the article and not just the headline, it makes all the discussion people have around news infuriating.

Most articles I come across have a very fiery headline, then you dig in to the article and the facts are different, and/or the sources are dubious, and/or there's historical precedent for the thing that makes it not seem so strange this time, and/or the article doesn't dive deeply enough in to the details, etc.

Political biases and current events aside, it all sucks! It's so annoying that I have to do the legwork of reading through the article carefully and following through in factchecking outside of the article to get the meat of it out, and after all that, it feels like no one else does the same.
> Ulbricht found out the hard way. When you've got every fiber tapped around the world, it becomes trivial to deanonymize Tor users.

They didn't find Ulbricht by hacking the Tor network to deanonymize users.
My problem is that I always use git as a central server. Except that one time when our internal git was down and we used it peer to peer for a day. Honestly, using USB sticks for that would also have been okay.
I am above average in looks and while lots of people do like being approached, it is sometimes not so fun. I've been stalked, assaulted, molested - this is not an issue you'll hit online. And it's easier to filter the really bad news without any possibility of someone following you home.
A lot of federal workers spend their time overseeing projects run by the private sector. Whether or not those projects are worth doing, funds have been appropriated and the private sector will get their day in court and get their funding. Now with no oversight from some useless bureaucrat (our project manager defending our interests).
It's good to have more documentation on Zig by the community, but I'm gonna throw in a bit of criticism.

One major thing I appreciate about the official Zig Language Reference is that it is no-pagination single html page that I can ctrl+f https://ziglang.org/documentation/master/ I wish more projects published their docs like that.

When I read, my mouse is busy selecting different parts of the text that I'm thinking about.

1. I don't want to move my mouse off the text to click the "next" button.

2. I don't want to move my mouse off the text to expand TOC items.

3. I don't want to waste my time on switching between pages back and forth.

I prefer the raw text on a long scrollable, non-interactive page with TOC on the side.

Otherwise, great to see more guides on the Zig topic.
OK you got me, gptel supports it, so I signed up :P Search result quality is awesome so far, gonna play around with their LLM stuff.
YouTube painful to use compared to Netflix ?
Last week I noticed my video froze on netflix while audio moved ahead.
I would not try to convert one of these micro-excavators into a remote piloted unit, for a variety of reasons.

First, these machines are extremely unstable. You can find videos of people getting thrown off these micro-machines or laying them on their side. While removing the human operator would lower the center of gravity slightly, I would not expect that to be enough to change the equation.

Second, operating the machine involves sensing force feedback from the machine as it encounters resistance. I am not sure how that feedback could be translated to a remote operator. The operator seat also gives the best vantage point for seeing where you're driving, swinging the arm, and using the bucket/attachment.

Sure, you might be able to upgrade the controls to use solenoids for remote piloting, sensors on the hydraulics to send force feedback to your controller joysticks, and add a FPV camera system and AR headset that gives roughly the same visual perspective. Those extra systems would likely double or triple the cost of the machine. Even then, I think those solutions would be grossly inferior to the sensory feedback (and overall visceral experience) that you get from sitting on the machine and operating it directly.

For perspective, I spent less than $6K for a brand new machine, a pallet full of attachments (quick connect, two augers, several buckets, rake, and grapple), as well as a variety of performance and convenience upgrades (oil cooler/filter, swing motor cushion valve block, hydraulic thumb, auxiliary valves, and much more). At the end of the day, that is significantly less than the medical costs involved with repairing an intestinal hernia or ruptured disc.
> 3%, maybe 95.2%, of project managers, could disappear tomorrow to either no effect or a net gain in efficiency. (this estimate is up from 4 years ago)

This is 100% of immediate line manager that I have had in my career.

Anyone else?
I mean, there are many political leaders who would put Musk in prison in a heartbeat for the DOGE stuff. It's not paranoia. This is separate from "do you think this is illegal", but it's absolutely reasonable, from their perspective, to think that "everyone is after them".
This tofu scramble recipe became an instant staple in my diet: https://www.youtube.com/watch?v=Vc5pZ-PY-H8

Tastes more eggy and hearty than real eggs. And, like eggs, it's a good base for throwing in other ingredients like chopped tempeh, seitan, some sort of grain, mushrooms, etc.

It's a good gateway recipe into eating tofu in general.
+1.

The only thing better about teams is that it comes 'free' with Microsoft 365. Though you can now take that without it for about 1.50 per month less. But slack costs a lot more.

On paper they can do the same but slack is just so much better in terms of UX. Though i do hate that they dropped the IRC bridge. I have been active in slack communities a lot less as a result. I always have my IRC open but not slack.
This is super interesting.

Would this be suitable for ingesting and parsing wildly variable unstructured data into a structured schema?
Yes, but I believe this is the intent. It's not a matter of it being good for the business when the CEO of said business intentionally wants it to fail.
FusionCache v2.1 – Production-ready implementation of Microsoft HybridCache
This has popped up every four years since 2017. Coincidence?

2020: https://news.ycombinator.com/item?id=24332166

2017: https://news.ycombinator.com/item?id=13438423

DON'T BE A SUCKER.
That is a subcommittee of the House of representatives- I'm not sure why you didn't mention the House, or mentioned Biden instead?

It's a panel of politicians with an obvious political bias, and while some are MDs, none of have the technical background to have any type of informed opinion on virology or molecular biology related issues.

The virus is not closely related to any known wild viruses that have or were being studied by humans. The closest wild virus that has been identified branched off from whatever jumped to humans 40 years earlier[1]. The technology and knowledge to create a working virus like SARS-CoV-2 from known distantly related viruses does not exist- it simply could not be done accidentally or intentionally.

Evidence strongly supports the theory that a wild bat virus jumped through other non-bat species, and then was transmitted to Humans in the Huanan market sometime in November 2019[2].

[1] https://pubmed.ncbi.nlm.nih.gov/35137080/
[2] https://www.science.org/doi/10.1126/science.abp8337
Extracting plain text isn’t that much of a problem, relatively speaking. It’s interpreting more complex elements like nested lists, tables, side bars, footnotes/endnotes, cross-references, images and diagrams where things get challenging.
Thanks for the links. It's a bit annoying that OP's link turned out to be a LARP; I hope no one actually relies on those people for their security.
I think you mean https://en.wikipedia.org/wiki/Keybase ? Some years ago there was a wave of new user accounts, all putting their keybase identity string (long hash) into their HN profile. Turned out some crypto coin used keybase to limit the number of users to receive 'drops' (free coins). So anonymous users created anonymous HN accounts (probably with anonymous email addresses) and once they had 3 accounts connected they were able to get free currency.
I've actually abused this feature in the past to satisfy bone headed layout decisions from on high that would have a dramatic negative effect on accessibility
I think so.

> we judge "as good as starwars" using my above criteria.

Just to clarify, this would be an AI film or "tv show" winning at traditional awards: Emmys (The National Academy of Television Arts and Sciences), SAG Awards, Oscars (Academy of Motion Picture Arts and Sciences), etc. Or traditional film festivals such as Sundance and Cannes, eg. winning the Palme d'Or. I would even be happy setting a threshold whereby a film or long-format show must win more than one award from several such institutions.

Maybe a preponderance of praise (20 or more) from major film and media critics like Roger Ebert (RIP), Leonard Maltin, Richard Brody, et al. could also be a criteria that must be met. Though perhaps that's a necessary condition anyway.

This all sounds good to me.
> unwise from the company perspective

The goal is to destroy most of these federal agencies, so doing things that are "unwise" for the future of those agencies is exactly the point.
grave?
Out of interest, did you parse into any sort of defined schema/structure?
You deploy complex proprietary heuristics to identify whether incoming requests look more like an attack or more like something a user would legitimately send. If you find a new heuristic and try to deploy it, you'll immediately notice if it throws a bunch of false positives for Chrome, but you might not notice so quickly for Pale Moon or other non-mainstream browsers.

(And if I were doing this on my own, rather than trusting Cloudflare to do it, I would almost surely decide that I don't care enough about Pale Moon users to fix an otherwise good rule that's blocking them as a side effect.)
The Inevitability of the Borrow Checker
Just using your example tho, I feel there are two kinds of framing.

1. This is literally a worse outcome than the alternative you prefer. You should care enough to try to fight it politically, especially if you are well positioned to do so.

2. This case (and 99% of cases of political outrage I see on the news) is trivial in the context of what is “normal” for human political history, even the political history that many people alive today were around for.

Will this even register as a trivia question in 100 years? Is a framing I ask myself when I’m mad about something in the world.

I think a lot of people walked from a world where they had no idea what the normal tumult of human political society is like, even normal American political messiness, and into the world of 24/7 current political news without any context what came before. It’s like, the sausage has always been made this way, you’re just now finding out.

I say these things and it always pisses people off. But I don’t recommend not caring, the world moves forward one micrometer at a time by caring, it’s just not worth the existential angst I see so often.
> I thought a partner at a large law firm might get $ 500k or more per year

Easily.
I don't know if they license it specifically, or if anyone has even approached them about it. I do think it's ridiculous that all of these companies are making their own solutions that are all terrible.

What they really should do is license their content to netflix for a fair price and just let netflix be the service people use.
I don't think it does. The voting pool back then would be the modern equivalent of free landowners with citizens parents, and excluding some felons (not gonna investigate which crimes carried the death/exile penalty in Athens).
Right on! I’m using PureScript with an Elm-like framework.
DOGE does not have the authority to shut down independent agencies of the US Government such as USAID.
Is it? It's explicitly just a rename of the USDS. Them not using govslack is stupid though
Diversity hiring targets is a pretty new phrase to describe an ugly old practice: racism.
Also, sounding illegal and being illegal are two different things. I really hope these discussions lead to more posts to neutral reference material, rather than just asserting things are illegal.

For example:

https://constitution.congress.gov/browse/essay/artII-S2-C2-3...

https://constitution.congress.gov/browse/essay/artII-S2-C2-3...
No need to suspect, they are advertising that openly and are proud of it. Famously, years ago they invented House of Cards TV show by looking at the most popular search tags and picked the most popular ones to select a genre and theme of a new show. It was a story of many articles about Netlix back then.
FYI - it's not the official guide nor documentation.

It should be better noted on this website, but this is not the official Zig guide - which can be found here: https://ziglang.org/learn/

(And while yes, Zig does make reference to zig.guide because it's very helpful and people appreciate the effort put into it - but it's still under the other online learning resource section, not official documentation section)
Damn. Every time someone mentions Jujutsu I learn something awesome about it. I really need to give it a proper try one of these days.
30 days of vacation plus 24 days for overtime are very often found. especially in university/governmental jobs.