skysight-inc/HackerNews huggingface dataset:
I agree Rust's scientific computing is still in it's early phases. Which is super exciting but can leave a bit of wanting for more. Also agree on the bothers of FFI across programming paradigms. I've felt them.

I do still wonder if there is some boundary where it would be reasonable to split the responsibilities of the code up. In this case to avoid FFI which strips language features away, the author decided to try to add language features.

I did a quick crates.io search and it looks like there are already some symbolic regression projects available. Maybe it would even make sense to say "the cost of maintenance is worth a mostly major re-write in a language with lower long-term costs". The author was willing to write another package to try to scaffold language features to make debugging issues with the project/language easier. That's a lot of work with 2x the maintenance costs and adds what looks to me like sincere cognitive over-head.

Every design decision has a trade off. I don't know much about the project that required this one, but when I see things like this they make me scratch my head a bit and wonder if it's a stretch in the responsibilities in the tool being used. Sometimes that is good and forwards a broader picture in a community. Sometimes its a sign that the wrong tool is being used for the job or something like that.

Either way I'm sure it was a lot of fun to do this, it just raises questions for me in general.
Yep definitely, the US does it all the time... but there's a big difference between doing it to yourself vs having your enemy do it to you.
https://archive.ph/Tvksy cause the page is getting hugged
Hi folks - based on the feedback here and on Mastodon, i've updated the original blog post to try to spell out that the point of Synapse Pro is not to hold back general performance work from open source Synapse, but just eliminate scaling bottlenecks for massive deployments: https://element.io/blog/scaling-to-millions-of-users-require...
> The alleged national security implications of Tiktok are not based on spreading propaganda, but on gaining access to information about Americans

What? Doesn't the opinion itself literally say that the threat of "covert manipulation of the content" was one of the government's justification? Never mind the millions of times that Chinese control over the content people view has been brought up as a rationale both inside of Congress and outside? Haven't these been beaten to death already?

https://reason.com/volokh/2025/01/17/speaking-with-and-in-fa...
A lot of their early value-proposition were saner security defaults and additions to increase confidence in the software's security. A lot of the changes were attempted to upstream into Gitea, but not everything made its way in. They were a soft-fork for a while before hard-forking, and even after the hard-fork continued to sync changes from Gitea where possible.

Forgejo v10 is the first release I've seen where there's been a focus on tiny UX improvements (versus trying to remain compatible with Gitea). I'm hopeful these will continue to come, but it does still feel essentially identical in appearance and functionality with Gitea.
Low relative to the US Tier 1 cities only. Just based on a cursory look at levels.fyi London median comp is £96k [1] while e.g. Houston is £103k [2] Toronto is £80k [3]. In fact, the only location I could find outside the US that was higher was Zurich at £126k [4]

[1] https://www.levels.fyi/t/software-engineer/locations/london-...
[2] https://www.levels.fyi/t/software-engineer/locations/greater...
[3] https://www.levels.fyi/t/software-engineer/locations/greater...
[4] https://www.levels.fyi/t/software-engineer/locations/greater...
You can have the same step-by-step in Lisp via LET*. The problem outlined by the author happens when you have a function call where 1) the operator has a long name, 2) there are many arguments. The TREE-TRANSFORM-IF is such a case and you can't solve it by just "going step by step".
I don't think I will be able to handle 5 more years of this without moving in a very remote place and limited information streams.
It's worse than just an undeclared conflict of interest. They gave OpenAI all questions and solutions behind the scenes. It's hard to chalk this up to only naivete. This is a "sorry you caught me" moment.
This isn't about privacy; it's about who gets to promote what ideas to Americans. Do you think that a post about Tienanmen Square, about Uyghur persecution, or about Taiwanese independence, will get nearly as far on a Chinese controlled media platform?

They don't. https://networkcontagion.us/wp-content/uploads/A-Tik-Tok-ing...
A lot of these complaints are not about an industry, but about late stage capitalism. About a failing society that privileges profits over social progress and material productivity because oligarchs and aristocracy own the institutions and are running this thing into the ground on base class instinct.

All these cool "save the world" school projects exist because the current people running the world are deciding what is and isn't a priority and haven't fixed the problem in question; When these students grow up and go on to work for those same people, we are shocked, shocked that it isn't to do more unprofitable school engineering projects.

Instead: Finance industry stuff. What we really need, and by we I mean the people in charge who are obsessively keeping score of imaginary numbers in an account.
New Grad SWE London salary is more realistically 35k to 60k, Small Companies and Consultants are around 35k, Big Banks do 50k, and the bigger startups do like 55 to 60k.

The 100k is pretty much the elite prop trading, that's the whole LC hard grilling that 99.9% of candidates aren't going past.
Curiously, the contrast ratio wasn't a good signal for me. The white on black text didn't strain my eyes but this did:

> However, light gray text on a dark gray background is easy on my eyes. Here the background is #666 and the text is #E0E0E0 which creates a contrast ratio of 4.34:1.
This post misses the IMO best indentation scheme for lisp, which I used for my college class where we had to use MIT scheme:

(define (match:element variable restrictions)
(define (ok? datum)
(every
(lambda (restriction)
(restriction datum)
)
restrictions
)
)
(define (element-match data dictionary succeed)
(and
(ok? data)
(let ((vcell (match:lookup variable dictionary)))
(if vcell
(and
(equal? (match:value vcell) data)
(succeed dictionary)
)
(succeed (match:bind variable data dictionary))
)
)
)
)
element-match
)

It may not be densest or most compact indentation scheme, but damn is it readable for someone without a lisp/scheme background!
Keep in mind those mathematicians were kept in the dark about the funding: it is incredibly unethical to invite a coauthor to your paper and not tell where the money came from.

It's just incredibly scummy behavior: I imagine some of those mathematicians would have declined the collaboration if the funding were transparent. More so than data contamination, this makes me deeply mistrustful of Epoch AI.
to me, america is a foreign nation. so no, I do not see any great difference, and yet I'm caught up in this censorship of the internet.
I prefer a third approach - chaining method calls via `.method()`. C#'s LINQ extension methods and Rust's iterator methods do it and I find it to be the best of both worlds most of the time.
Sorry but this argument does not make sense, AFAIK this extension is lawful and explicitly permitted by the same law, so the law was followed any way.

Or are you saying that the public perception of the law should itself be the law?
Yeah, yeah, the meme copy-paste problem diagnosis, but what’s the solution?

Rebuild into socialism?

Rebuild into communism?

Reset into early stage capitalism (lack of regulation and all)?

How do you know that those systems won’t also have their own late stage failure? Case in point, the NHS right now.

(Edit, posting too fast: To the person below who suggested 90% tax rates; the US never had those rates. On paper they did, but they had more and larger exceptions than now, to the point the effective rate never exceeded 45% anyway. This is also why the massive cut was politically palatable - it was cutting the rates to closer reflect the reality. At no point did the US ever have anything close, or even half close, to 90% effective rates.)
First, CoL is miles lower in Houston and other tier 2 cities in America - you can buy a detached house for around $500k/£400k in a posh neighborhood. Not happpening in inner ring London.

Secondly, I've noticed issues with Levels.fyi ranges outside US/Canada and top tech hubs like Tel Aviv and Bangalore. Most markets don't have the same awareness of the tool, so salaries tend to be overestimated.
I can't parse any of this, can you explain to a noob? I get lost immediately: funding, coauthor, etc. Only interpretation I've come to is I've missed a scandal involving payola, Terence Tao, and keeping coauthors off papers
The author claims, "Internet surveillance, the algorithmic polarization of social media, predatory app stores, and extractive business models have eroded the freedoms the personal computer once promised, effectively ending the PC era for most tech consumers."

I'm not required to use social media and extractive business models. Intenet surveillance is lamentable but I don't see why he thinks app stores are predatory. The PC is still mostly a force for freedom. The privacy losses are more than offset by the gains of communicating with everyone on the planet.
So, by your way of thinking, if there was a chance that pooping on the floor myself might discourage my dog's bad behavior, I should go right ahead?

It's not quite correct to say that the Supreme Court ruled that the ban is legitimate. It narrowly ruled that the immediate first amendment challenge wasn't sufficient to invalidate the law under intermediate scrutiny. The only thing they were evaluating was whether the impact of the ban was biased toward any particular content, which it isn't.

They didn't rule on the overall constitutionality of the act, whether its first section amounts to a bill of attainder, whether the forced divestiture would amount to a fifth amendment taking, whether it violated the broader freedom of the press under the first amendment, or anything else. Those questions might well be evaluated later.
> Clearwater Forest which is Skymont on 18A for Server.

Clearwater Forest will be using a further generation improved E-core, Darkmont, which will also sit on top of large local caches using Foveros Direct 3D (like AMD's X3D design). [1]

Likely Darkmont will be a server tweaked version of Skymont, but there is no public info yet available.

This is possibly the critical product which will determine if Intel will be viable from a manufacturing and design perspective...If it gets released in the next 6-9 months with good thermals, IPC, and clock speeds, Intel will have a major winner on its hands. If not....

[1] https://www.intel.com/content/dam/www/central-libraries/us/e...
I won't argue against the idea that Trump is on a dangerous political path based around patronage and personal favors, but the law does grant him the authority to give TikTok a 90 day extension. If TikTok has not sold by then and he fails to enforce the law, that's a bigger problem.
I feel this is way too optimistic about the typical adult. Adults are most definitely affected by propaganda.

Problem is reality is so complex and usually all sides of a topic are right at the same time, in some way.

For any viewpoint A, there will be reels made by people in any demographic group who cares deeply about it for excellent and solid reasons. The same will be the case for anti-A.

Both of them will be convincing and TikTok can just choose which one of them to subtly nudge.
A collection of reusable Terraform Modules
> the odds are just lower

well, this is awkward..
What's this about Photoshop? As far as I can tell, using cloud storage is an option in Photoshop, it's not required.
The total amount of content available is y>x.

Some arbitrary process has to reduce the 1,000,000,000 pieces of content produced today to maybe 10 or 100 you can handle.

The very concept of "news" ("fake news" is bad because it is news not because it is fake) is an act of violence against the fabric of reality because a huge number of things happened today, but CNN reported the same 10 of them 100 times. They could maybe cover 1000 different news stories (still a fraction of maybe 100,000 things that happened) but that's a non-starter because someone who watched the network at 3pm would have a totally different impression than someone who watched it at 5pm.
Thank you! I agree with you. I find it hard to believe that leaving out the sub-CPU, one RAM chip and removing the velocity sensitive keyboard would've made a big difference to the manufacturing cost. My guess is that they always planned to have a budget offering, but didn't have a good technical idea of how to implement it. My opinion is that the DX9 was too handicapped in the end to be good value. According to this contemporary review[1], at least one person thought the lower price made up for the handicap!

1: https://www.muzines.co.uk/articles/nine-times-out-of-ten/791...
Google's Titans Give AI Human-Like Memory
This is such a poor take. What is your justification that SWE is not a skilled job?

The majority of the gains in the S&P 500 come from tech companies, with a large part of their value being embedded in their software assets.
So the "fluent design" approach? I like that too, and many OO languages allow for that, but I haven't seen that approach in functional programming.
How Many Black Holes Are Hiding? NASA Study Homes in on Answer
Disclaimer: IANAL.

The Executive Branch (President, White House) has a responsibility to execute the law as legislated by the Legislative Branch (Congress) and judged by the Judicial Branch (Supreme Court) if applicable.

Trump is citing House Resolution 8038[1], Division D, Section 2, subsection A, paragraph 3[2] which states (emphasis mine):

>(3) EXTENSION.—With respect to a foreign adversary controlled application, the President may grant a 1-time extension of not more than 90 days with respect to the date on which this subsection would otherwise apply to such application pursuant to paragraph (2), if the President certifies to Congress that—

>(A) a path to executing a qualified divestiture has been identified with respect to such application;

>(B) evidence of significant progress toward executing such qualified divestiture has been produced with respect to such application; and

>(C) there are in place the relevant binding legal agreements to enable execution of such qualified divestiture during the period of such extension.

In plain English, this means Trump once he is President will have authority to order a one-time up-to 90-day extension to enforcing the ban if TikTok can present evidence that they are in the process of selling to an American entity.

If TikTok cannot present the evidence or they still do not complete a sale within the 90-day extension, the ban will apply and must be enforced by the President.

As the law in question was passed by Congress and signed into law by the President (Biden), the President (Biden and Trump) cannot overrule or otherwise refuse the law with an Executive Order. The President must enforce and act within the powers vested in him by the law.

It is questionable if Trump's claim of not penalizing violators of the law prior to an approved 90-day extension is legal; the law allows no such powers to the President.

Disclaimer: IANAL.

[1]: https://www.congress.gov/bill/118th-congress/house-bill/8038...

[2]: https://www.congress.gov/bill/118th-congress/house-bill/8038...
Insane Stockholm syndrome on display here. "My unnecessarily degraded conditions are actually a good thing"
It might be easier to convince the people at the CS department to name the "algorithms" class something else.
This feels like a stretch, I don’t think it’s a pardon they are after. Pardons don’t really work like that.

TikTok I think was going for more of a shock factor. Maybe even without talking to Trump they have credited him as restoring it, might seem weird for him to “go back on it”.

Or maybe it’s to put him in good light.
Outside of finance, I generally find UK software and hardware comp to be abysmal. Especially when contrasted to the US, and even Germany.

For reference, I hold a doctorate in Engineering and a Class 1 MEng both at Oxford. I was offered £40k to work as an engineer in my niche (photonics).
My lab partner who went to Germany sits on a ~€90k salary doing similar to what I would have done.

Due to the limitations of hardware career options in London, I opted for software engineering post-DPhil, but I ended up earning £42k. After two years of work, I am sitting on £52k. I don't regard myself as an "under achiever", I own a significant proportion of the product I work on and am a top contributor.

I don't think that level of comp is appropriate given the amount of work I put myself through / how much I contribute, and I think it's reflective of the UK as a whole.
It's also really not necessary to use #FFFFFF as white.

Paper itself is not that shade.
Paper, particularly bleached paper, is not "traditional normal" either.

I'm no paleontologist, but originally humans would use substances like ash and fruit to draw/write on rock/leaves/bark, so white/red/colors on grey/green/brown.
Most of that legislation is to protect the sex-based rights of women and girls, or to safeguard children from medical harm. When you examine the details it's not really going against anyone's civil rights.
This is spot on. All the smart and ambitious people I know who studied (non-software) Engineering at university in the UK have ended up going into software engineering via self-teaching or finance/consulting because the only hardware engineering career paths seem to be working for Rolls Royce in the middle of nowhere with terrible pay, or alternatively working at Jaguar Land Rover in the middle of nowhere with terrible pay
it turns out that sometimes what you find out is that nothing happens after you’ve fucked around.
I look forward to GitHub getting even slower and buggier than it is now.
This was my assumption all along.
Maybe, but this post is about hardware engineers.

I graduated ~15 years ago with a degree from a decent UK university, and the job situation for an electronics engineer who could program and was willing to move anywhere in the country was essentially:

* Electronics graduate job, salary £25,000

* Programming graduate job, salary £40,000

Programming jobs think their competition is London fintech companies and Google with its free food.

Jobs designing switch mode power supplies think their competition is Chinese OEMs who pay experienced engineers £15k

So a lot of the electronic engineering graduates get diverted into software. They'd like to be able to own a house some day, after all.
Because the models have continually matched the quality they claim.

Ex. look how much work "very few" has to do in the sibling comment. It's like saying "very few physicists [Einstein/Feynman/Witten]"

Its conveniently impossible to falsify the implication that the inverse of "very few" say not positive things. i.e. that the vast majority say negative things

You have to go through an incredible level of mental gymnastics, involving many months of gated decisions, where the route chosen involved "gee, I know this is suspectable to confirmation bias, but...", to end up wondering why people think the models are real if OpenAI has access to data that includes some set of questions.
If you are a hobbyist, academic or garage startup, absolutely use ROS. It will take you from nothing to something faster than anything.

But, the moment you ship your first product, open your task tracker and add “Epic: Migrate off of ROS to a custom framework”.

Source: I’ve been working full time building a custom ROS replacement for a large company for several years. Results are good.

When robotics moves from the lab to the field, expensive certainty becomes more attractive than cheap flexibility.
IMHO this is the reason things should be laws not weird tradition and conventions if they really matter, (same reason that the fault of things like SCOTUS upturning Roe v Wade is in Congress for never making it a law instead of just a precedent
>British engineers would immigrate to the States.

I just don't think this is very true, some perhaps but not many.

Secondly, if "the salleries are too low in the UK" is the argument then why would companies be interested in shifting hiring to the states?
Sure, but TikTok coming back online around this time would have also allowed for that & been more effective propaganda for Trump as savior of the app.
I don't understand why it's so bad in a country that's supposedly amazing at financial services.
It seems a lot like their "structure" is a model, and not composed of atoms, or anything physical at all. It's still very interesting, but it's not something one could go out and build, even in theory.
And reading under the midday sun is painful, much more so than a bright screen.

If you haven't experienced before, I recommend it. It helps you appreciate just how bright direct sunlight is relative to other light sources.
That’s very cool! I appreciate how you can simplify interacting with rust applications without rust programming skills.
Yes, I think for whatever reason, Lisp languages tend to use long names for funcs and vars whereas Haskell and other FP languages prefer symbols like >>=, <$>, etc. Personally, I prefer somewhere in the middle.

> The TREE-TRANSFORM-IF is such a case and you can't solve it by just "going step by step".

Yes, this is a good point.
Because not all presidents have served for two full terms. Examining things while ignoring the time period over which they happened does not a meaningful analysis make.
> And you know that it is VERY difficult to earn beyond £80k/yr as a SWE outside of top foreign employers in the UK like Google or Citadel.

That’s not correct at all. There’s a ~130k job going for lead engineer of a data team at a home improvement store.

It’s not “VERY difficult” - it’s not easy but it’s definitely achievable.
The answer is right in your own question. They are shifting hiring to the US because the top talent is leaving the UK, or leaving the field.
This has been on my list to implement for a while. It's a really great idea for things like proxmox and pfsense that you probably don't want to use LetsEncrypt for, but support ACME.
> Writing is an incredibly novel development.

Stating this as fact is misleading. Lack of evidence isn't proof of absence.

Humanity in its current form has existed for 300,000 years. The idea that writing spontaneously emerged 13,000 years ago, independently in multiple locations all over the world, coincidentally right after glaciers melted and sea levels rose 300-900 feet, reshaping the world’s geography, is —at best— an assumption, not a certainty.
One of the aspects I've wondered about is the software bundled with either the OS or by the device manufacturer. When PCs (broadly, not just IBM compatibles) were penetrating into the home market they would often come with a suite of tools or demos to show what it could do, or let you create things even if they were the basic editions. Before the internet became part of the furniture, if you'd spent several hundreds on some hot technology there was a good chance you'd buy print magazines for it as well, and they would come with cover discs that exposed people to a lot of what was possible with computing.

Without wanting to sound like a stick in the mud, the focus of computing has definitely changed now. I see it as an interesting thought exercise on how to get someone running around with what is usually a marvel of computing in their pocket to try and imagine that is not the apex of computing, whether to explore what other means of computing offer or what comes next besides a slightly better version of what we have now.
UK companies don't make those kinds of gains, though. The market conditions don't allow it.