skysight-inc/HackerNews huggingface dataset:
SourceForge was never that good. It was the default. Then it went through some questionable changes. Similar to ExpertsExchange... being uprooted by Stack Overflow when they started to try and monetize their database in a less than popular way.

Github also came out around the time Git was maturing just enough, and subversion wasn't really pushing into collaborative features.

Now we see tools like Gitlab starting to get the abilty to customize and integrate with other things.
Generally I appreciate this post, as yeah the bandwagon effect is real.

I'd characterize mapreduce as a very very specific narrow architectural pattern. Trying to apply it contorts the code you write. I don't see anything remotely like that that's true about Kubernetes or containers (microservices much more so in creating constraints).

We had to reset the Days Since Kubernetes Winge counter again yesterday: https://news.ycombinator.com/item?id=39868586 . And a couple of people spoke to how you might not need containers, but I still haven't heard anyone say what not having containers could win you. What types of code can you only write without containers? We can convince ourselves that Kubernetes is hard, but also lots of people also say it's easy/not bad, so there's some difficulty-factor that's unknown/variable. But I strongly struggle to see a parallel between a strong code architecture choice like MapReduce and a generic platform like Kubernetes or containers.

The platform seems pleasantly neutral in shaping what you do with it, in my view; if that wasn't true it would never have been a success.
I wondered when Jon Berger would show up. His analysis of the Gainsborough picture was very eye opening to those viewers raised on more traditional analysis such as that of Kenneth Clark.

Along the same vein, Francis Frascina's commentary on Guernica (see youtube) is also enlightening. Both Berger and Frascina are very much of their time (vaguely marxist veneer of the 1970s?) but the beauty of these works is that they inspire conversation in succeeding generations.
Get someone else to manage it for you while you learn. Security is an emergent property of every part of the stack, not a separate thing you can do after the fact. Get a handle on the fundamentals, too: fundamentals of TCP/IP, HTTP/S, etc.
That's what this feels like. That, or someone who wanted to sell this to one. Can't imagine the ABC's are sleeping on this one at this point.
> Type inference is only for variable bindings inside the function body. This is a lot more tractable.

Type inference inside a function body, is still type inference. Type inference gives us options and can sometimes improve readability. I find the title and premise of this article rather silly.
Generative AI 'FOMO' is driving tech heavyweights to invest billions in startups
[dupe]

More discussion: https://news.ycombinator.com/item?id=39876565
Then offer a rebuttal instead of threats of censorship. This isn’t Reddit.
Roll-Invert-Unroll: An easier way to replace a duvet cover
If the strategy is just to recognize there are n subscribers who are dedicated readers of The Atlantic and are unlikely to drop their subscription if you increase the price 50%, then this is a bad long-term strategy because those people will eventually die or drop off due to attrition. The long term strategy should involve successfully bringing in new loyal subscribers.

I'm sure they know this, and want it to happen, but the bit about charging more and making it harder to read for free would seem to make it harder to get new subscribers on board. So, there's a reading that says their short term profitability is hurting their long term profitability.
mv2player was a really good option for a period of time, it's a shame it just disappeared, not even it's source code can be found.
Please don't listen to this advice, this is precisely how services get pwned.
Because the chances of Google closing accounts or losing data is much lower than a consumer's usb drive being damaged or lost.
This is the best explanation I have seen for Mamba.
I'd love to hear about the other direction. What kind of skillsets or prep can a problem solved do to transition into more leadership roles? Is it primarily getting an MBA? Getting lucky?
Midjourney hasn’t opened their models.
This would make sense if the managers were in the same offices as the workers, but at least from my experience, they aren’t. You still have VC all your meetings.
It might be considered a failure by some, but so what, do what you feel is best for you.
Impredicativity is the property you may want to dig into for formal proofs on why self references can be problematic.

There is an important difference between semantically complete and syntactically complete that may cause some barriers.

Gödels completeness theorem is about semantic completeness while his incompleteness theorems are about syntactic completeness.

From Wikipedia:
> A formal system is syntactically complete if and only if no unprovable sentence can be added to it without introducing an inconsistency.

'This statement is false', which Gödel mapped to natural numbers is an example of that inconsistency.

If KC was computable, there would be an infinity of paradoxes like the interesting number paradox.

The Berry paradox that is linked to in the INP link in the page has a subheading that relates it to KC computability.

https://en.m.wikipedia.org/wiki/Berry_paradox
You're right, I should have said "languages where GC is the primary means of managing heap memory are used by 90% of the market" rather than focused on a specific algorithm.
There are a million bots scanning all of IPv4 space every minute looking for automated exploits. You don't need someone dedicated looking to get into trouble.
I've done this. I have friends who have done this.

I'm personally a big fan of the "Engineer/Manager Pendulum" model described by Charity Majors: https://charity.wtf/2017/05/11/the-engineer-manager-pendulum...

Engineers who have spent some time in management are extremely valuable. They have a better grasp on how things work, they have better leadership skills (you don't need to be in a management role to provide useful leadership within a company) and they're generally useful as all-round contributors.

There will be people out there who will mark you down for this. That reflects poorly on those people, but that doesn't mean they won't be in positions of influence where their poor judgement can still impact you negatively.

There will be plenty of other people who get it, and who will respect the choices you have made.

And you can always swing the pendulum back again later.
I've never seen it suggested that all the best prefer WFH, only that statistically more of them leave when they don't like any new mandate. The way it works out is that the better devs are more mobile and more likely to get employment where the working environment suits them.
Motion‐Compensation Control of Supernumerary Robotic Arms
It’s going to lead to questions, especially if the time frame was long enough that they can’t just leave a gap on their resume.

One scenario I could see working is moving from CTO to founding IC for another startup, but that conserves a number of things your friend might be tired of. Like long hours, and sitting under the Sword of Damocles 24/7.
Interestingly, dna programs are quite compressible

https://en.m.wikipedia.org/wiki/Compression_of_genomic_seque...
That's just security by obscurity, not something I'd consider a good security measure.
This is available for Rust. It might be for other languages. You can show the types as hints in the editor, or you can hover the variables to see the types. The latter is available for many languages, including Python and Go.
I did exactly this, was CTO at a startup, it failed, went back to being IC at a large company, then went into management again and realized I am just not happy in that role.

Went back to IC roles, no regrets, much happier with what I am doing. Money isn't everything, as long as you have enough to live well, you don't need to make 7 figures, just make sure you are working toward a couple million in investments for retirement if you are in the US.
Yes, code review is the second most common place for me to read code. For larger pull requests I generally check out the branch and run the code myself anyway. If you use VSCode and GitHub there's an extension that lets you review code in your editor too.
Show HN: Senior Dev – A GitHub bot to insult your PRs
Please comment the funniest comments you've gotten on your PRs and I'll add them as prompt examples!
Funny to see this appear online today. I was discussing the real nand2tetris computer built from 74 ICs yesterday with my 8 year old son yesterday:

https://hackaday.io/project/185131-the-hack-computer-from-na...

and now this pops up.

I'm thinking of buying a bunch of 74xx ICs and buttons and led+resistors somewhere and let him mess with them. It's stone age digital tech according to current norms, but I'd rather see him do it with physical components than behind a screen.
The CPU's role in generative AI – DCD
Even if Musk believes it's always right around the corner, it's still fraud to sell what you don't have. Calling it "beta" forever doesn't make it OK to deliver oranges when people are paying for apples.
I renew some of my LetsEncrypt certificates monthly, which should be plenty, in my opinion. Gets you about 2 buffer cycles to notice the certificate isn't updating and recognize an issue in your automation.
Changes to `u128`/`i128` layout in Rust 1.77 and 1.78
I moved to helix after using vim/neovim for a long time. I much prefer helix' kakoune-inspired object>verb/select>action to vi(m) verb>object.

As others have said, I recommend giving it a try, eg with the tutorial.

That said - if you enjoy the view from the emacs mountain top, you might find helix hill to be too small - helix is not an operating system.

I prefer it that way, others might not.
Windows is still shitty. Same way, I've been on Linux for more than a decade already. Windows at work still hugely sucks.
From the project readme:
> XZ Utils provide a general-purpose data-compression library plus
21 command-line tools.

https://git.tukaani.org/?p=xz.git;a=blob;f=README;h=ac812ff1...
If I'm reading this right, would there be any persistent evidence of the executed payload? I can't think of a reason anything would have to go to disk in this situation, so a compromise could easily look like an Auth failure in the logs .... maybe a difference in timings .. but that's about it ...
No need for an MBA. You can make your own luck here: start by taking on voluntary leadership roles such as mentorship, or running initiatives within your company (setting up an informal team to codify source code management practices, that kind of thing).

Make sure your own management know that you are interested in this path.

The book The Manager's path has excellent advice on ways you can prepare yourself for management positions: https://www.amazon.com/Managers-Path-Leaders-Navigating-Grow...
Attracting young audiences is what he wants to do, not what he's done yet. I'm just struggling to think how you do that by increasing subscription costs and restricting free readership. It's a tough job, I wish him well.
Huh? International payments are a HUGE industry. What are you talking about? Western Union and Transferwise are both huge companies that specialize in international payments.

DeFi protocols are a benefit, but even without it USDC would still persist.

There's no good other way because of extreme regulations that harm law abiding citizens under the guise of AML and other junk.
Not sure what kinds of selection pressures there has been for shorter DNA strings, but presumably you could compress it a great deal putting it in a .zip file. Now imagine the havoc caused by random mutations on that format though.
Similar to how the interesting number paradox relies on a "shortcut statement" to force-up the number of non-interest, If Kolmogorov complexity were computable you could create a "shortcut program" to force-down the shortest length of the program:

Given: TM length of a JS runtime is 1,000,000 cells.

Assume: KC is computable, and TM length of a `function KolmoglorovComplexity(string s)` is 4,000,000 cells.

Known: KC's of values grow infinitely large - only 2^n-1 possible values can ever be encoded by n bits.

Take: function Shortcut() { for (const s in generateEveryStringFromShortestUp()) { if ( KolomoglorovComplexity(s > 10,000,000) ) return s } }

You see that the Shortcut function is encoded in 5,000,135 cells (plus that string generator, but that's small/constant), but it computes a value of arbitrarily large complexity (rather, one cell increase in the program length causes 10x increase in the complexity). A contradiction.
The consumers are tapped out cash wise (you can see it in Netflix, Disney and every other large Studios reporting to Wall St).

So consumers are not even paying for the never ending flow of sewage into kids brains. Yet it flows in larger and larger quantities. Why?

Cause Corporations still need to get noticed.

Thats all you need to think about.

Its like Colonial times where instead of European powers killing each other and the natives over Land, today's Corporations (and the political puppets they prop up) are fighting furiously for ever shrinking Attention.

As Herbert Simon said eons ago - when Info explodes Attention Wars to the death begin.

You have Amazon funding/bundling content to promote their store. You have ATT/Comcast/Apple funding/bundling content to sell their network/phones. You have Google/Facebook/TikTok/Twitter making content free just so Advertisors(ie Corporations again) can get noticed. Its all about how to do we get Corporations noticed.

So they are all trapped in a war for ever shrinking Attention.They have to keep funding and churning out more and more hyper stimulating, novel and absurd shit to get noticed. So basically every studio, content production shop, the artists, the musicians, the animators, the gaming and visual effects folk are all just used as front line troops in the Attention Wars. They think what they do is for the consumer. But in reality they have been turned into an Attention Capture Army for Corporations. And the kids are just the unarmed natives getting over run every day.

So if you want to know when this ends - we already have a precedent - just ask yourself when and why Colonialism ended.
While his leaks expose surveillance, he was useful idiot https://en.wikipedia.org/wiki/Useful_idiot in hands of Assange club. And it might be event of his saving was trigger for Putin to start war. So no, I'd better see whole camaraderie before court and sentenced. Regardless of 'heroism'.

And yes, most of modern supporters of Wikileaks / Assange / Snowden / etc, chanting 'release Assange' and 'pardon Snowden' are useful idiots in hands of tyrannies like BRICS club.
I disagree with 2 being manual memory management. There is definitely a lack of control in contemporary managed languages (though it’s also far from perfect in low-level languages) for memory layout, but there are definitely ways to affect it.
TLDR: Friendship ended with transformers. Now Mamba is my best friend.
> However, since this is an RCE in the context of e.g. an sshd process itself, this means that sshd running as root would allow the payload to itself run as root.

With the right sandboxing techniques, SELinux and mitigations could prevent the attacker from doing anything with root permissions. However, applying a sandbox to an SSH daemon effectively is very difficult.
> I'm happy being expendable.
> It means I can just pick up my things and go somewhere else whenever I please.

You are conflating expendability with redundancy.
> There are thing that cannot be even named.

Um, can you give me an example? (Can you give an example without naming it?)

Types that cannot be written, or are too long to be reasonably written, are likely to also be too hard to really understand. Maybe their existence should be regarded as a code smell.
We can't even support actual critical physical infrastructure anymore, like roads, bridges, and the power grid. And that stuff has very obvious immediate consequences when it breaks. Try explaining to your local octogenarian senator what xz is and why OpenSSH shouldn't just be funded by whatever spare change we find in the couch cushions.
These plastic lenses pop up on youtube every couple of years, it would be a miracle of advertising if this guy manages to sell any.
Tangentially, Gerrit (a git Code Review web-app) deprecated the use of Prolog for the Submission Requirement feature.

https://gerrit-review.googlesource.com/Documentation/prolog-...

Prolog was introduced in 2.2.2 (2012), and deprecated in 3.6 (2022)
My wife's sister decided to name their two newborns with three names, on top of the usual two surnames.

I wish luck to those two little guys, as their names will be misrepresented pretty much in every system in the world.
Because it is not autonomous, it’s RC controlled. As long as you don’t see special sensors like lidars or cams, assume it’s not, and glad the article showed the guy too for the transparency.
DidectoryOpus is even better, but it's expensive.
>Bob claims that since the probability of getting both his and Alice’s sequence is the same (2−20
), it proves that there was no foul-play involved.

..and Bob is 100% right.

>Bob credits his excellent luck. Alice is smart and cannot be easily convinced. She get’s back at Bob by claiming that probability cannot be used in this context as it reveals no information regarding the randomness of the obtained sequences. One can take a quick glance at the obtained sequences and easily point out that Alice’s sequence is more random than Bob’s sequence.

No, it is not. Given a perfectly random coin toss Bob's sequence is indeed just as likely as Alice's sequence and in no way "less random" because both sequences result from the same randomness with equal probability.

A nice example of human intuition being at odds with probability math, though. Bob's result seems less likely but it really is not.
Which reminds me that I actually had to write my own computer simulation of the Monty Hall Problem before I was willing to believe the correct answer.
I think (most?) human brains have a bug in the "understanding probability" subroutine.
Unless the payload did something that produced evidence, or if the program using openssl that was affected was, for some reason, having all of its actions logged, then no, probably not.
I did this from a hands-on CTO role at a 20-person startup to a senior engineer at a 200 person e-commerce outfit known nationally in the UK.

I was miserable for a long time, and sat down one day and made a list of all the things I liked about the job and all the things I hated. Everything in the “like” column was dev work. Everything in the “hate” column was the management work. So I slept on it for one night, quit, and went hunting for a dev job - this was 2015 so not too shabby.

There were a lot of things about this move I regret. The pay cut, the fact that my office in London got shut down as a consequence of my quitting meaning nearly everyone was made redundant, the fact that at my new role I was kind of resented a fair bit by other engineers.

But I was a lot happier and settled in my life. And nobody else can do that for me. I had to own the actions to make my short life on this planet better.

I’ve done management work since, and I’m now back to being an IC at a FAANG, but not as a software dev. I am now thinking about getting back into dev but it’ll get harder for me now I’m in my mid-40s.

I say if you aren’t happy, do it, but realise there will be some pain points. Ride that out, keep your head down and stay focused and you could be a lot happier.
Show HN: TwoShot AI Music Marketplace
Checkout this new app that has a bunch of amazing AI music models designed for REAL music creators
While the web allows for a lot of creative expressions, I think we should have companion protocols for alternate consumptions methods, something like Gemini for every page. An e-ink reader is good for focused reading, but bad for interactive or animated content. Just like gwern.net allows to add `.page` to every link and get the raw source, you could add `.gemini` to wikipedia pages and get a much simpler document that you can read on e-ink reader or a cli device (should be good for accessibility too).
Sure, but in this case, it's a non-profit bound by a series of regulations related to water supply.

We already have an example of the model you proposed, in the rail network. In practice, it's another way for losses to be socialised and profits to be privatised. I don't think there is a way to reconcile the fundamental unprofitability of long-term maintentance of national infrastructure with private operation. Fundamentally, the government's job is to do what we cannot.
How big is your team?

People overestimate the importance of titles.

Anyone can start a company and call themselves a CTO. Plenty of line managers at big tech companies have more responsibilities than CTOs at start ups.

As long as you're not 5+ years into people management and have a team of less than ~50 it shouldn't raise any flags with most interviewers. People switch between manager and IC all the time.

Just have a good story ready, be humble, and demonstrate good self-awareness and you'll be fine.
How else they are going to milk millions of funds?! Throw in some buzz words and cool looking robots, welcome to the robotics industry!
Unpopular opinion, but I cannot but admire the whole operation. Condemn it of course, but still admire it. It was a piece of art! From conception to execution, masterful! We got extremely lucky that it was caught so early.
California regulator takes income-based electric bills off the table
Yes, this is quite fascinating how GC replaced manual memory management in most apps over the last 20~30 years.
The exec dictates what is bought and renewed. You don't really need the useful UI to get it sold and re-sold.
I don't understand the immediate concern about using 32 bits for file creation and modification times. Its reasonable to assume that if the value has overflown and is very low that its not indicating a date from 1970. There is probably room to add a single bit indicating if the epoch is 1970 or 2038.
American Nightmares
> And while I think such a scenario is unlikely, it's hardly impossible.

Witch is why I said 'practically'.

> So eventually things get to the point where you're not operating safely anymore, and then you can get multiple bad outcomes in a short period of time.

Assuming no margin is ever added.
Right, though if I'm understanding correctly, this is targeting openssl, not just sshd. So there's a larger set of circumstances where this could have been exploited. I'm not sure if it's yet been confirmed that this is confined only to sshd.
Lot cheaper than bank wires! Vastly faster too.
I hope you dont feel forced to like it in order to this of yourself as an art lover. That would be wrong. No one likes everything in a gallery after all.

Re Serra, one of the problems I have with it is that displaying a gigantic work in the confines of a gallery just feels, well, confining. You already know the boundaries of the space because you can see the walls, the ceiling, the giftshop, etc.

If the aim is to induce a sense of awe, or perhaps unease, at the mass of the work, or its size, rather like you might feel at an old site like Stonehenge, that effect is lost in the gallery.

In fact there is a general problem with how we display art that is not easily soluble. Much of what is in museums and galleries today was created and sold for a single buyer/viewer. Such works reward close inspection over many years by the owner. Maybe one year you see something you never saw before. That effect is totally lost in a gallery.
That extension is incredible, I've been using it for years and have recently upgraded to Pro.

Any chance you'll publish it for Linux?
They may be enjoying economy of scale, but they aren't passing that along as savings to their customers. Why would you when people seem happy to pay high prices?