skysight-inc/HackerNews huggingface dataset:
I don't think a lot of it is actually taxes but that "blame it on the IRS" has been a PR spin win for Hollywood. (Some small amount of it is taxes, which muddies the waters just enough for plausible deniability and PR spin.)

I think some of it is plain old opportunity cost and "vaulting". Streaming a classic on your own streaming network doesn't generate money like selling DVDs/Blu-Rays or another streaming network paying you to license it.

I think a lot of it is probably residuals owed to writers and actors and other staff. Many of the shows being vaulted right now are the sorts of "steady trickle" viewership shows with presumably expensive residuals owed to current creative talent: enough people are watching that the companies see the residuals they are paying on it, but not enough people that they like how much they are paying for it.

Maybe some of that is also how much of the vaulted shows are tied to writers and actors actively striking. It seems a bit unlikely of a coincidence in timing how many of these shows disappearing are happening at various stages in the strike. I would hope the National Labor Relations Board is paying close enough attention and taking notes to try to find out just how much is "coincidence" and how much is retaliatory income cuts.
Apart from an oil refilling kit, hydraulic brakes don't need specialist equipment.

Most ebikes still use standard derailleurs (usually a 1x drivetrain).

For internally geared hubs, Nexus or Alfine IGH are the most common, and apart from getting the cable tension right, don't need any specialist equipment (though the Alfine 11 speed hub is apparently somewhat tricky because it has to be packed with grease).

Most IGH still use chains, belts are less common. Newer chains are rated for ebike use but that generally just means they're more robust.

Belt drives do need to be tensioned properly but again, this doesn't requires specialist tools nor does it require a huge amount of specialist knowledge for a bike mechanic that is (there's literally an app for that).
Enviolo, Roloff and other gearbox style systems are specialist equipment and not what you would normally expect a regular bike shop to do intricate servicing on.

Also, internally geared hubs have been around for almost a century and both IGH and belt drives are used on regular bikes. You would expect bike mechanics to be able to deal with them easily.

So by and large, they really are bikes with motors. Yes, there are some things that are more complex but the majority of things are basically the same
Do retail or foodservice managers make 200k?
Ugh, I’ve restricted myself to only buying robot, space, and architecture legos (I will never not add the “s” at the end) because otherwise I’d buy too many. I want Bowser, but I can’t justify it. But I had a pet praying mantis as a kid, so I can’t not get this one. Damn you Lego!

As an aside, I call legos my adhd medication (nothing helps me focus better), and I really wish I could use my hsa funds to buy them lol!
This is nothing new. Microsoft went through this with OneDrive consumer as people were storing terabytes worth of ISOs, movies, etc. Any service that has a 'free unlimited' tier which becomes popular eventually will not have a 'free unlimited' tier.

GSuite -- just move to M365. That will solve most of the problems encountered with GSuite.
Governments like the US federal gov, who are currency issues can afford anything . Where did the 7 trillion dollar covid spending come from ? What we cannot afford is to do nothing and maintain the status quo. Federally funded nuclear with plug in electric is the path to prosperity.
> What if London doesn't exist by the event time?

Europe/London will be either be left alone for historical purposes, or aliased to its successor for backwards compatibility.

See Type: Link and Source file: backward:

* https://en.wikipedia.org/wiki/List_of_tz_database_time_zones
I've sat in on plenty of B2B sales pitches, and am fairly certain that no salesman ever believes that you will actually run those tests. And if even if you did, that you would actually throw away a full year of integration work to go with the backup plan.

Plus, having seen/heard a lot about how salesman are employed - all too often their commission/compensation is locked in when the contract is signed. They get their money regardless of what happens a year or two down the road, and are thus incentivized to "misrepresent" performance and capabilities.
But the local time would change according to GP's comment.
> direct experience (really direct, not sign interpretation) could very well be one may to know for sure.

Direct experience is weak evidence. Our brains are very good at fooling us.
Privacy and bodily autonomy are nowhere mentioned in the Constitution. The "penumbra of privacy" is a judicially created notion and the aforementioned rights are not explicitly enumerated. They were created out of thin air by the Warren Court.
It feels stilted and weird to me. My first thought was "OK, that sounds unnatural, I'd have to say it different." Good idea, but I could never let it come out of my mouth that was since no actual human being talks that way.
I agree that a big part of proving thing is understanding intuitively "why" they are true. That's part of the reasons why I don't think we'll just write proofs in Lean in 50 years and leave it at that (the other reason is that, at least for now, those systems are very "stupid" and need a lot of handholding to prove facts that any maths undergraduate would understand to be true).

But when he says that he doesn't believe that a proof in Lean is "more secure than most things done by humans" I fundamentally disagree.
Country borders can change, city divisions can change. Street names can change, and streets can disappear.

Use GPS coordinates instead :D
> so you'll be buying a new one every 12 months

That's a silly exaggeration, they'll all last 5+ years at the rate most people ride their bikes.
"IBM CEO Arvind Krishna announced a hiring pause in May, but that’s not all. Later that month, the CEO also stated the company plans to replace nearly 8,000 jobs with AI.

Krishna noted that back-office functions, specifically in the human resources (HR) sector, will be the first to face these changes. In recent weeks, the company has opened up dozens of positions for AI-based roles to help develop and maintain these systems."

The mask has fallen.
>Whether you believe AI is going to be massively transformative to the modern economy on a scale with cars or personal computing is actually not sufficient to start investing in the 'sector'

Note that "not sufficient" does not mean something else and particularly not "never do it." You've still got to pick winners if you want to succeed and that is likely a difficult task if history is any guide. Good luck.
This is kind of exactly what various peer review processes are for. Managers usually solicit a report's peers' feedback (team members + whoever the report suggests) so it's really nice when there is an unsolicited feedback note. I try to give out at least a few every cycle.

I haven't done this for very long or at director level before so I'd love to know if managers with lots of reports end up with certain "frequent fliers" who either get a positive reputation for the extra notes, or tank their reputation by complaining too much. :-)
Stackoverflow etc.
No, but they are not really managers.

> I assume anyone with a customer facing “manager” title is just the on call employee who trades their ability to earn overtime for less volatility in their pay (salary).

Whoever is telling them that they can only hire people at minimum wage plus $1 or $2 is the manager. I don’t mind if they are exempt from overtime pay, since they would actually have to be the ones working on call when short staffed…rather than sit behind a desk adjusting spreadsheets.
Yeah, it's called tiki culture.

There is still a famous bar in SF called the Tiki Lounge that is basically thr OG of this kind of thing

There are lots of youtube videos on it
> sentient life seems to stand out as mind-blowing special and amazing

"I used to think that the brain was the most amazing thing in the universe. Then I remembered what it was that was telling me that."

-- Emo Phillips
Iran is in the Middle East and and is also where the most recent and high profile protests against the forced wearing of the hijab have taken place. I’m pretty sure most Iranians wouldn’t take too kindly to being called Arab unless they are from the minority Iranian Arabs.
What is a sea-lion attack in this context? I haven't heard that one before, and it's not the easiest to search.
It's a (likely to pass) bill before the California legislature to call for a state constitutional convention. If 2/3 of the states pass such a measure, a convention may be called after which 3/4 of the states may ratify the proposed amendment. It's a means of amendment specified in Article V of the Constitution that can be undertaken without involving the federal Congress.
> AMD maintains it but do we know how they are generated? Probably not.

Basically those files are generated from AMD GPU register data files where majorify of registers are documented, but there of course bunch of magic numbers as well probably because they belong to HDCP or other cases where documentation only available under NDA.

There been a number of leaks of AMD internal documentation so anyone who is into GPU drivers can really find a lot of information on their GPU internal workings.

I've archieved some of it many years ago and it's was never DMCA*ed:

https://github.com/ArseniyShestakov/rai-bonaire

Source was a talk on CCC.
I'm ambivalent on LLMs, but I have found one really good use for it: helping me with language learning. I'm now at a level (C1) with my second language that it's really difficult to find resources or even tutors to help refine it.

So what I've been doing is chatting with Claude and asking it to correct whatever faults I make or asking it to give me exercises on things where I need to focus. For example, "Give me some exercises where I need to conjugate the past tense and choose the correct form."

It's like a personal language learning treadmill.
> the essentials which are non-negotiable to these folks are things they themselves grew up without. They all went to public school

I recently had this conversation with a high school friend. We went to public schools, and both to college on scholarships.

She is beyond her wits about how to afford $100k/kid/year in San Francisco for their private tennis lessons and tutoring and counselling and summer camps (where the kids come home at night?! So you also need a sitter?) and god knows what else. Like, it’s terrific you’re giving them these experiences. But it’s not a necessity.
Lighter Capital raises $130M to ignite revenue-based financing for startups
Back from where?
Please take the 14-day and find out for yourself.
The parent poster probably talks about 1970x, not pre-covid.
Business Insider[0] and WSJ[1][2] have reported on this over the years.

I also do not think its fair to discount away people who live in "highly desirable" urban environments. Beyond a simple dislike of that idea, most of the jobs that do pay over 100K existed near them for decades, and with RTO in full swing, it seems most of them are going back to those cities one way or another. WFH does not appear to be a permanent boon for employees at large. Given this reality, the metrics around those cities are important to consider as well.

[0]: https://www.businessinsider.com/how-much-to-buy-house-six-fi...

[1]: https://www.wsj.com/articles/three-million-u-s-households-ma...

[2]: Tried getting an archive link for WSJ but it kept failing. I know its paywalled, will comment if I get a working link
The thing about proof checkers is that they won't accept invalid proofs (assuming their internal axioms are consistents...), so if you make a mistake there it will simply reject your proof. The only place where it won't catch some mistakes is in proposition you want to prove, because the only way for it to know what you want to prove if for you to tell it, but that's much easier to humanly verify.
I don't think so. As you say, not any sort of Masters degree. And even though the standard JD for lawyers has "doctor" in it, no one calls anyone with a standard 3 year law degree "doctor." Obviously there are aristocratic and clerical titles as well--in addition to various certifications (though those don't usually have a prefix-type title--mostly positions like Judge do).

>Yeah certainly, and even at university most lecturers I had I think were 'just call me (first name)'.

Of course not all lecturers have doctorates and you also get into the very academia "Professor" sensitivity.
It's unclear to me how locking down devices with signed firmware fits into that dystopia you are imagining, other than by making it impossible to fight back since you're not allowed to modify anything.
- "It kinds depends on how one reads 'likely'."

Well, I understand it's "directed to... and likely to...", and that first test is necessary. Rhetoric that isn't directed towards causing lawlessness, but has a tendency to do so anyway, is protected.
> Using that dominance in one market to crush competitors in an unrelated market is generally a big no-no.

Phone lines have always been part of a functional office. Not sure how you can argue that communications (voice, video, screen share) is not part of a modern, WFH enabled office suite.
I think they're more powerless if you didn't but the rest quit. Alpha users would be disgustingly costly and disruptive to let stay.
Is voice-typing not much faster?
Add one extra bit to store “disambiguation”.

Value 0 meaning “if there is a DST switch, interpret the time as the chronologically earlier one”

Value 1 meaning “if there is a DST switch, interpret the time as the chronologically later one”.
Just don't leave any DNA at the scene.
Tangentially -- I keep wondering when we'll reach a point of storage size where piracy becomes "give me everything" rather than "I'd like that movie, please".

When will we reach the point of being able to trivially store and copy the top 100 or top 1,000 movies from every year since the beginning of movies. Or every TV episode and movie in English, ever.
Are you 100% right every single time? The problem with not using simple communication niceties is that you not only put the other person on defensive, you put yourself on defensive when your opinions on the approach end up wrong.

Yes, there are clear times when some work doesn't meet standard and it's important to be very straight forward. But, most of the time we're dealing in shades of grey with different tradeoffs.
Wget2-2.1.0 Released
My office at work is huge on these kinds of legos as they display well, are fun to inspect/play with while desk-visiting your colleague, and they have some geek cred.

At first I was skeptical (loved legos from childhood, but hey - this is work!) and then I capitulated with their succulents collection.
I’ve been riding a PF30 BB since 2016 in all weather over thousands of miles and haven’t had a single creak.

I will admit I do prefer a threaded BB, but I also think it’s an overstated issue.

Then again, my frame is steel and I run a pretty high end Wheels Mfg BB. Maybe I’m insulated by that.
It's actually very likely.

As long as you only consume it while the Sun is shinning, at the place of generation. This set of restrictions is allowing enough for a surprisingly large set of industrial applications (anything where energy costs are larger than capital ones).

In fact, we are not far from that. Solar is already a few times cheaper than the grid energy on those conditions.
I think the quote is about the fallibility of the humans who convert theorems into statements of type theory. You could end up with a valid theorem, but not the theorem you meant to prove. This would be a bug in the statement of the theorem, not the proof.

For example, you might want to prove that a certain sorting algorithm is correct. You formalize the specification as "for every two integers i, j, output[i] <= output[j]" and prove that outputs of the algorithm satisfy this spec. However, this is not a correct characterization of sorting, since the algorithm might return the empty list.
The article is only addressing that one particular guarantee. The only relevant context they left out was maybe the "or of the press" part.
the standard could simply allow county/city specifiers. or GPS coordinates.
Why do you think you can't do that ?
How is her view "far left"? What she wrote fully comports with most constitutional scholars understanding of the First Amendment.
Iran is not considered part of the Arabic world and is a completely different branch of Islam.
A cloud development environment company saying their market share is larger than you'd think? Color me shocked.

In seriousness, I think the state of CDEs (a term I'd never seen before this post) is pretty abysmal. 5-10 minute debug cycles remind me of the 90s/early 2000s in terms of productivity destruction. The cloud is seeming more and more like a cancer.
Well, the business case would be a knowledge base for LLMs. I think that there's a lot of tinkering to be done to fine-tune such things anyway.
Re: Timeliner (I'm the author), I'm currently building the successor to it, Timelinize. It's in private alpha preview currently, and still under active development.

In Timelinize, I'm focusing on importing Takeout archives first (though I'll reinstate API downloads later) because of this exact problem. Timelinize has a vastly improved schema and can handle data from any data source, not just Google Photos. For example it also imports iPhone backups.

I think PhotoStructure is a great project and I've taken some inspiration from it
> The Twitter Files clearly demonstrated that government agencies, from the FBI to the DHS and more, were in intimate contact with internal Twitter moderators and frequently made demands to Censor (wording!) Americans by banning or deranking their posts.

the twitter files showed that twitter does this no more than any other social media company for natsec reasons, and the US gov't never (let alone "frequently") made demands to censor anyone.
Still very much needs to be discussed. Now that they've opened the can of worms of being a political entity, it most certainly was a political decision not to find cases like this within their own systems that they should know about. Are they really prepared or are they going to further cave to the Saudis?
Yes, that's why we have laws to promote healthy free-market competition over monopolies.
The Journal article profiles people choosing not to buy. I did the same in New York—I couldn’t make the rent v. buy math work.

> do not think its fair to discount away people who live in "highly desirable" urban environments

I’m not if they’re reasonable. I am if they want three bedrooms and a yard and amenities in the hottest neighbourhood that means they make zero compromises for urban living. You can buy a solid one-bedroom co-op in Manhattan for less than $750k, in some places less than $500k.
I think we disagree on the totalitarian aspect of the echo chamber. I agree with you that letting companies have freedom to peer encourages echo chambers. For them to become totalitarian, it'd have to be power flowing from the government. The status quo is that individual companies may choose their digital neighbors. That creates echo chambers but not ones that can hook the levers of power. It enhances tribalism, not totalitarianism.

Coupled with a healthy democracy, it if anything makes it harder for a zeitgeist opinion to become entrenched permanently in leadership when the nation's thought is composed of separate tribal opinions.

The EFF is advocating government saying who must and may not peer. Currently, corporations may say. The status quo is diffusion of power, not concentration.
I thought that skipping those technical details served the movie well. After all, it’s not a documentary, it’s made to be emotionally engaging and entertaining.

It seems to me that the underlying reason that the spectrum providers were no longer willing to pay RIM was because customers wanted to use alternative products that didn’t saddle the carriers with the those extra costs.

If Apple and Android hadn’t come around, BlackBerry would have had a lot more leverage.
It seems to suggest t3.large by default, which has 2 vCPUs and 8 GB of RAM.

What kind of performance can one expect to get from such a system?
The top level comment said

> specify a meeting in London, on July 1st 2030, at 6pm local time - no matter what happens to UK timezones between now and then

GPS coordinates + local date and local time will preserve “a meeting in London, on July 1st 2030, at 6pm local time” in the desired way
I confess, it's difficult for me to think about the company as "they" (plural). It seems only "he" (narcissistic singular) since no one in his orbit can disagree with him and survive. Moreover, from watching what he does (rather than listening to what he says) it seems that keeping users & advertisers hasn't been a priority, so I'm not expecting that to change.
Ask HN: Good magazines or journals about CS and software engineering
Or are journals not that relevant any more nowadays?

I subscribe to CACAM, ACM Queue, and used to read Software Practice and Experience (because Donald Knuth and other luminaries used to publish really fun yet practical articles there). Unfortunately CACM has been talking more and more about social issues, identity this and fairness that and climate and etc, which I couldn't care less about. I just want to get deep and practical technical discussion, so I canceled CACM, which leaves me only ACM Queue.

BTW, by software engineering I meant practices by engineers in the trench, not theoretical or research topics taught in college.
I don’t like the call out of LTT for using a service they were paying for in the intended way.

If you advertise “unlimited storage” then anything from 100 megabytes to over 500 petabytes is fair game.

If you don’t agree then don’t advertise “unlimited storage” as it’s false advertisement (fraud).
I feel the opposite. I've been programming for fun since 13 and have a similar experience as op - where I did my own projects for ~10 years before I got a job. I always hated professional programming.

It's boring, problems I'm solving are technically trivial. Most of the real problem is tied to a domain I give 0 shits about and am so bored by that I have to force myself to stay focused. Things I build have practically no value to me, and often no value to anyone except that someone decided to allocate a budget that way.

I would never work on these projects if it didn't pay well. I would prefer craft work if it paid the same.

I'm not complaining though ! I live very comfortably, I came from extreme poverty and I don't see any realistic alternative path that would end me in a better situation.

But I think expecting people to do most programming jobs out of passion is not realistic. If you're really good maybe you'll land in a role that gets you doing something technically innovating that also pays well but I'd say that's top few % of devs, most of us are in the dredges where enthusiastic people are a detriment (worst projects I've seen were a result of someone trying to be too clever for their own good, not lacking skill)
can you prove to me in a verifiable way that no matter what prompt I put into ChatGPT, it won't give me pornography back?
For foundations, lime stabilised soil has been used in civil engineering projects for a very, very long time:

https://www.geoengineer.org/education/ground-improvement/lim...

As for the rest, I was referring to buildings. I don't think anything is so worthy of being built that wrecking the environment is a fair trade. Railways are an honourable exception, since they displace (far more wasteful) cars. Light rail is especially good for this.

The fact is that we need to question what we build, as well as the materials used to build it.