skysight-inc/HackerNews huggingface dataset:
The Nazis did destroy (or order destroyed) books quietly and privately, but large collections are easier to destroy in place. The more famous Nazi book burnings occurred prior to World War Two.

When I said "that's Holocaust denial", I wasn't saying "you're a Nazi", but pointing out an accidental mistake. If I thought it were deliberate, I wouldn't have said anything.

Your argument about the symbolic meaning of public book burnings is irrelevant (and I'm not sure why you brought it up), but there very much is a parallel between calling for the destruction-by-bitrot of books, and calling for the destruction-by-fire of books. (Again, I am not calling you a Nazi.)
Yes definitely! How can I reach out to you?
That argument has historically not been accepted by the DOL in the US. We’ll see what happens now.
Article suggests that complicated tools are annoying and not right to be that complicated. But one can argue, that if such complexity is actually needed to tackle tasks (like the multiplatform compilation of the Linux Kernel for example), then it is pretty obvious that in the optimal case the learning curve is at least in a linear relationship with the complexity. If given complexity is high enough to surpass the related learning time threshold of the given person then he/she/whatever is going to be annoyed for sure.

There is no escape from this.
“The best organization in any given case meets two criteria:

1. The recipient organization does share our values.
2. The recipient organization is as opposite (and hopefully as offensive) as possible to the site operator that funded the donation.”

This seems flawed on so many fronts. This is likely just donating money to your own favorite causes. And if they are not causes that you have already vetted, how do you know that organization you found is not worse than the one you’re trying to punish? It would take a good deal of research to figure this out.

What percentage of the values of the organization need to meet your values? Virtually no organization perfectly matches the values for anyone.

Furthermore, who is “our”? Does everyone in your company or organization have the same exact values?
Also, most bash scripts run as zsh scripts.
I think there are also open source tools to get a Safari remote debugger working on Linux and Windows. I would prefer that over an app on the tiny iPad screen.
If this is hard then you’re ignoring the rest of my comment for one sentence. These need to happen together as each piece supports the other one. Stop caring about what your companies crappy product could be if you have no agency to change it.
By precise, I meant more the byte width (uint32_t vs uint64_t etc). The other kinds of types help you track what the purpose of something is, but don't really assist with correctness at the machine level.

In my work, I have a lot of data that is > 2GB, so int32_t vs uint32_t is very meaningful, and usually using a uint32_t is just delaying upgrading to int64_t or uint64_t.

Going in the other direction, a point cloud can usually be represented using 3 uint16_t and that saves a lot of memory vs using uint32_t or uint64_t.
I see what you mean, but I disagree that this is an innate trait in human beings. I believe it is sometimes socialized, poor understanding of zero-sum games, etc.

Often-times its just garden variety psychopathy, narcissism, and other dark personality traits. For those people its definitely innate. Unfortunately psychopaths pathologically do everything they can to position themselves into seats like management/leadership. It's kind of a tricky situation for other-wise mentally well people.
5g, wifi, bluetooth etc. what makes a mobile processor monile processor other than the CPU
He already gets a cageside seat, right next to Dana.
A couple comments...

1. Utilitarianism fails to understand morality. It isn't about maximizing the amount and number of "good effects". That's ridiculous. Putting to one side the psychopathic things that have been done following this line of thinking, the nature of morality is to be a good human specimen. That is to say, it is to live in accord with your nature, not opposed to it. Now, because we are social and rational animals, that will entail a good measure of acting for the good of others.

2. While we do have emotional reactions w.r.t. moral matters, morality is a matter of rationality. To fault utilitarianism with being "too rational" is to grant it a status it absolutely does not have and does not deserve. It is a defective understanding of morality that lacks rationality. It is irrational, in part because it also misunderstands rationality. Relying on emotion is not a solution to bad rationality. Why would they be? If anything, we have an obligation to align emotions with reason.
> Use types when they are needed and use the tools at your disposal (IDEs BT every text editor has clang language server integration nowadays)

While I agree that auto is helpful, the amount of times I had to wait for clangd (or whatever the IDE is using) to parse a .cpp file and deduce the underlying type is frustrating. It happens too often with every IDE (Qt Creator, CLion, VS Studio, VS Code, etc...) I've tried whenever I'm programming with a non-desktop machine that's not super beefy.

Plus I often use Github to search for code when I'm trying out a new lib so having the type spelled out is extremely helpful.
Teen Vogue had a good article on this back in 2022.[1]
Similar to the OP here, but better written.

[1] https://www.teenvogue.com/story/work-culture-america
How does it compare to unipdf except for the license?

Open Source pdf libraries usually suck because there's no one there being paid to work on them..
Maybe. If Moore's law remotely holds up for ten to twenty years. There's still the part about not having a clue how to replicate physical systems efficiently vs logical systems.
Now that is remarkable- but so is vim.
Religion is what is dying out in the US, despite being "partially heritable", and with it a framework for recontextualizing trauma.

And since we're talking about trauma, it's important to remember that suicide rates in the US are highest among middle-aged white men.
In case anyone else is a fan of these unsual old displays, you might enjoy Posy's passionate videos which are a unique combination of curiosity, macro/slowmo shots and humor. Especially relevant is this one which is about what seems to be a very similar (but different sized) red/green/blue Casio CSF-7950 LCD: https://www.youtube.com/watch?v=jLew3Dd3IBA
> This neededness can come in several forms: social, economic, or communitarian. Our children and partners can depend on us for care or income. Our colleagues can rely on us to finish a project, or to commiserate about an annoying boss. Our religious congregations and weekend poker parties can count on us to fill a pew or bring the dip.

I think that this point is the underlying rationale for writing the article. "Not enough" people are making sacrifices. It isn't that they're less happy, it's that the author doesn't want them to be happy. They'd rather rewrite the definition of happiness

If all you're doing is giving, why bother? You could have a wife and kids, or you could do FIRE. If you go the wife and kids route, suddenly all of your money and time are no longer "yours"

I think, if some people look at society and institutions and say "I'm giving more than what I'm receiving here", there's nothing wrong with that. Framing it as the individual's problem is dumb and counterproductive. Religion is on the way out, people are getting sick of lying to themselves
There are plenty of mathematicians - mostly set theorists - who are actively working on finding new axioms of mathematics to resolve questions which can't be resolved by ZFC. Projective Determinacy is probably the most important example of a new axiom of mathematics which goes far beyond what can be proved in ZFC, but which has become widely accepted by the experts. (See [1] for some discussion about the arguments in favor of projective determinacy, and [2] for a taste of Steel's position on the subject.)

I suggest reading Kanamori's book [3] if you want to learn more about this direction. (There are plenty of recent developments in the field which occured after the publication of that book - for an example of cutting edge research into new axioms, see the paper [4] mentioned in one of the answers to [5].)

If you are only interested in arithmetic consequences of the new axioms, and if you feel that consistency statements are not too interesting (even though they can be directly interpreted as statements about whether or not certain Turing machines halt), you should check out some of the research into Laver tables [6], [7], [8], [9]. Harvey Friedman has also put a lot of work into finding concrete connections between advanced set-theoretic axioms and more concrete arithmetic statements, for instance see [10].

[1] https://mathoverflow.net/questions/479079/why-believe-in-the...
[2] https://cs.nyu.edu/pipermail/fom/2000-January/003643.html
[3] "The Higher Infinite: Large Cardinals in Set Theory from their Beginnings" by Akihiro Kanamori
[4] "Large cardinals, structural reflection, and the HOD Conjecture" by Juan P. Aguilera, Joan Bagaria, Philipp Lücke, https://arxiv.org/abs/2411.11568
[5] https://mathoverflow.net/questions/449825/what-is-the-eviden...
[6] https://en.wikipedia.org/wiki/Laver_table
[7] "On the algebra of elementary embeddings of a rank into itself" by Richard Laver, https://doi.org/10.1006%2Faima.1995.1014
[8] "Critical points in an algebra of elementary embeddings" by Randall Dougherty, https://arxiv.org/abs/math/9205202
[9] "Braids and Self-Distributivity" by Patrick Dehornoy
[10] "Issues in the Foundations of Mathematics" by Harvey M. Friedman, https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3137697
On that much we do agree
> remember all who died for your freedom there

The Mexicans or the Texans?
Having grown up in San Antonio, I have many memories of spending time as a teenager downtown and around the river walk.

The best time to visit is during the riverboat parade after Thanksgiving. Everything is lit up and many restaurants along the route offer dinner and nice views. Going during the summer can be incredibly hot and uncomfortable.
This would be really neat to implement, honestly.
> And to be clear, nobody learned the lesson.

This is not true. The mortgage lending pipeline is quite different today compared to pre-GFC. There is considerably more due diligence required by lenders and banks in order to back loans. Conventional loans backed by the GSEs these days have a much higher quality control. If the originating lender lied to push the loan through or didn't due diligence, they'd be on the hook for paying the defaulted principal.

> The Trump administration is going to defang CFPB and probably bring Fannie and Freddie out of conservatorship.

I'm not aware of any chatter on the former and the latter is becoming discussed quite frequently. Though I'm not sure the GSEs are interested in a GFC 2.0

> Another mortgage meltdown is a predictable outcome of this and I would expect it around 2032.

These days I would be more concerned about private credit than the mortgage market...
Your hike looks cool, thanks for sharing!

Getting the data from Strava is something I really don't wanna touch with a ten foot pole. Talking to other devs, using their API is the stuff of nightmares because they keep changing their ToS very frequently and recently they have become extremely restrictive on what you can do with "their" (actually the user's) activity data.

I never heard of Peakery, need to look into that.

What you can do, however, is to directly link your Garmin, Coros and Polar account to automatically upload data.
I honestly don’t understand the point you are trying to make. Does it have a practical point?

If a bunch of, say Catholics, get together to make a community group and lobby for something they want - how is that not that groups ‘special interests’ in every practical way?
Statum: Zero-Boilerplate Compile-Time State Machines in Rust
Hey Rustaceans! I've created a library called *Statum* for building type-safe state machines in Rust. It ensures invalid state transitions are caught at *compile time*, giving you extra safety with minimal boilerplate.

---

## Quick Example (Minimal)

```rust
use statum::{state, machine};

#[state]
pub enum TaskState {
New,
InProgress,
Complete,
}

#[machine]
struct Task<S: TaskState> {
id: String,
name: String,
}

impl Task<New> {
fn start(self) -> Task<InProgress> {
self.transition()
}
}

impl Task<InProgress> {
fn complete(self) -> Task<Complete> {
self.transition()
}
}

fn main() {
let task = Task::new("task-1".to_owned(), "Important Task".to_owned())
.start()
.complete();
}
```

### How it works
- *`#[state]`* transforms your enum variants into separate structs while generating a trait to represent the states.
- *`#[machine]`* injects some extra fields to track which state your machine is in, at the type level.

---

## States with Data

Need states to carry extra information?

```rust
#[state]
pub enum DocumentState {
Draft,
Review(ReviewData), // State with associated data
Published,
}

struct ReviewData {
reviewer: String,
comments: Vec<String>,
}

impl Document<Draft> {
fn submit_for_review(self, reviewer: String) -> Document<Review> {
// Transition to `Review` with data:
self.transition_with(ReviewData {
reviewer,
comments: vec![],
})
}
}
```

### Accessing State Data

When your state has associated data, use `.get_state_data()` or `.get_state_data_mut()`:

```rust
impl Document<Review> {
fn add_comment(&mut self, comment: String) {
if let Some(review_data) = self.get_state_data_mut() {
review_data.comments.push(comment);
}
}

fn get_reviewer(&self) -> Option<&str> {
self.get_state_data().map(|data| data.reviewer.as_str())
}

fn approve(self) -> Document<Published> {
self.transition()
}

}
```

---

## Why Statum?

Many Rust state machine libraries need:
- Complex trait impls
- Manual checks for transitions
- Runtime guards for state data

*Statum* does all of this at compile time with a straightforward API.

---

## Gotchas: Attribute Ordering
- *`#[machine]`* must come before any user `#[derive(...)]` on the same struct, or you may see:
```
error[E0063]: missing fields `marker` and `state_data`
```
This is because the derive macros expand before Statum can inject its hidden fields.

---

## Feedback Welcome!

I'm actively developing Statum and would love community input:
- Which patterns do you commonly use for state machines?
- Features you’d like to see added?
- Ideas to make the API smoother?

---

## Installation

```bash
cargo add statum
```

Check it out on [GitHub](https://github.com/eboody/statum) or [Crates.io](https://crates.io/crates/statum). Let me know what you think!
Modern ADAS probably makes the driving much easier. What about reading print? Just as long? (Wondering the screen fatigue aspect vs just language processing)
I feel like I’m missing a joke.
Cool article and nice to learn more about the history in Asia. Giant bamboo is great to work with. Myself, an American, and an Argentinian guy build a guadua (word for giant bamboo in Colombia at least) gazebo/shelter as part of a work exchange in Colombia.
Fishmouth joints for days, literally.
I loved seeing other high rise buildings being built in the area with guadua scaffolding and framing (from what I recall, may be a mix of materials do not remember). There are a lot of academic research articles with giant bamboo building techniques but this is, of course, very geographic dependent.
I appreciate the humor but this confuses me. I also read in a biography of Thomas Jefferson that he reviled Calvinists, going so far as to say their God is not the God of the Bible. I genuinely do not understand what is so reprehensible about Calvinist doctrine. There is just so much theological noise to parse through whenever I research it. Is pre-determination the biggest issue?
Probably because of how much grief the Mach E got when it was first launched. “That’s not a mustang”, “it’s going to flop”, etc.
As a narcoleptic I wish that the diagnosis was more accurate, or at least that the insurance companies were more holistic in their coverage of medication. The multiple sleep latency test hardly qualifies as science and has a terrible false negative rate. It’s also expensive so insurance is reluctant to cover it in the first place, and outright hostile to a second attempt.

Any neurologist will tell you that your first night’s rest in a new location will be of a lower quality and depth than at your home. Despite knowing that, sleep studies are performed at the hospital in a room so uncomfortable that it makes the Holiday Inn feel like the Ritz. You’re then hooked up to a dozen different monitoring devices and asked to sleep in an uncomfortable bed with a camera observing your most vulnerable position. You should have no trouble falling asleep!

The second day is peppered with six attempts at napping within a short window, and if you enter REM within a threshold, you’re official diagnosed as narcoleptic. Otherwise you get a consolation prize of “idiopathic hypersomina” i.e. “sleepy person syndrome.” This methodology only selects for the most severe cases of narcolepsy, and as a result, allows insurance companies to gate-keep expensive medication.

I’ve read that a patient’s suspicion of narcolepsy and their final diagnosis is estimated around 8 to 15 years! IMO there is a subconscious characterization of known-unknown diseases as personal failing of the patient’s virtue. Convincing your parents, teachers, and doctors that you’re not just lazy is near impossible until the symptoms become too frequent to explain away. It also stands that doctors cannot be perceived as lacking critical information, therefore it is Not Allowed for their patients to be fatigued unless they’ve earned it, or put through the gauntlet that is our medical system.
This is excellent, and while I’m guessing that you could have paid, browsed and moved on with less effort, that wasn’t the point.
I’m somewhat deep in the rave scene, and a lot of my friends are pretty hardcore about it.

It still exists, and people are more interested than ever (look at the growth of festivals and rave-adjacent events). There are regular illegal raves in every major city in California, >6 most weekends in San Francisco. But due to regulation and increased interest from the “wrong people”, they’re really hidden.
If a battery is infeasible, perhaps a hand crank could be added for power? In such cases where power was lost, one of the crew could be instructed to provide continuous crank power to the black box.
This is silly. I like it. I’m pretty sure you just tricked me into reading a “for dummies” primer on category theory. Congratulations!
This video popped up on my YouTube recently and illustrates this idea well: https://youtu.be/JyzJrkF21MM
Is it too nervous? What would you suggest?
It is atypical for REM sleep where most vivid dreaming occurs to start immediately or shortly after falling asleep.

https://www.sleepfoundation.org/stages-of-sleep
Let your product do the talking
Planning and navigating, the key features for me were:

- high res satellite imagery available for both summer and winter

- aspect and gradient shading

- routes and tracks shared and discoverable with description, altitude graph etc. for freeride routes, ski tours, hikes (great for visiting somewhere new)

I also enjoyed things like sharing the link to the 3D overview with friends after an epic day, but that’s both more easily replaced and less valuable to me.

I’m muddling through with a whole host of apps (Maps3D, Outmap, CalTopo etc.) and have tried and given up on still more, but FATMAP was so much better than any current alternative, particularly for skiing. (Mostly in Europe, if that makes a difference.)
Well, looking at our bespoke logging system in PHP handling some 15-20+ million log entry's per day on a virtualized dual-core system... it's mostly disk I/O on the underlying MySQL database (currently duplicating to Clickhouse where we'll eventually store everything). And that is central application logging for about 100 servers (think syslog), some 400 "microservices" (parts of a larger application), and a handful of backend systems.

We're running out of disk space earlier than that PHP is a bottleneck here.
Plenty work 4 day weeks now. This needs to be introduced in tandem with work changes. School shouldn't be a babysitting service nor an intro to work, it should be about exposure to the world around them.
If you look at the school's website you can see who they really serve: the well heeled of SW London: Richmond, Fulham, etc. Not, say, Tooting, Balham, Sutton. Which is ironic because their location, in Morden, is right in the middle of a gigantic sprawling estate of soulless 1930s commuter homes.

Easy to laugh, of course, but education is such a fraught subject in the UK (parents feel the stakes are so incredibly high) that I guess they saw a gap and filled it.
I have Bluesky, but I don't really like it as much. The UX is much better than X, though.

On Bluesky, I pretty much follow the people I followed before they fled Twitter. However, they complain a lot about politics, Elon Musk and the US President Elect on their timelines. I could unfollow, and do in some cases, but that would pretty much leave me with nothing to read on Bluesky.

That, and the weird tech people I get the most value from still post primary on X, so I deal with it.
Suck up money from an open source project? Others making money from an open source project is kinda the point of open source. Also the people whose accounts are being deactivated have by definition contributed to the project in the past. It's not just one guy who created it all.

This is a wordpress fork that will cost people to run and assuming WPEngine is supporting it it'll cost them money to support.
It's terribly sad to see people in the thread rationalising 'giving work all' and so on.

My advice is to start meeting other people and take up some activity that is more fun than work. If your local jurisdiction allows exploitation that makes this hard or impossible then you ought to flee this tyranny.
The best acoustic devices in the world have been made and tuned by hand for thousands of years. "you cannot develop a good speaker without measuring, [modelling, or simulations]." Is fundamentally untrue despite what the cybernetic totalists may want to believe.
In the worst case, that must have intermediate space requirements equal to the entire collections, right?
> I’m genuinely curious: do you really get back to those tabs and read them?

Not the op, but this is how my browser uses all the memory.
For users of OS projects, a very common approach is to clone into a private repo, then only pull upstream changes within your own timeline/process, and potentially open public PRs at some point after working in private, i.e. you do your business in private, and share in the public part as & when works. For the project maintainer people can open PRs whenever they want but you are under no obligation to accept them or use any of the code; they're doing this to help others but don't need to for their own scenario.