skysight-inc/HackerNews huggingface dataset:
It's not a text editor. It's an IDE, with built in development environments, SDKs, deployment tools. Debug symbols for native binaries are often 2-4x the size of the binaries themselves.

> Consider that not long ago people were buying PCs with perhaps 10MB of hard disk - or even no hard disk at all

Not that long ago in history, but an absolute eternity ago in computing terms. I have a direct internet connection to my home that is faster than the read write speeds of those computers.

> Consider that with a thoughtful use of resources and an eye toward minimizing attack surface

Attack surfaces have changed significantly since people were buying 10MB hard drives - you cannot write applications with the same security considerations from that time.

> you can put a fully functional http/s app server in a 1.9MB package (redbean). The space is cheap, yes, but the attack surface is not.

Firstly, redbean is the absolute extreme example of minimalism and portability. It's not "normal" it's an incredible feat of engineering frankly. Nginx isn't much bigger (~5mb) and caddy is bigger but still small (30Mb). The big difference between these and IDEs is that web servers dont provide client interfaces. For user facing tools they rely on web browsers to render html and interpret JS, so to make a comparison it's only fair to compare redbean + chrome to a Windows SDK install for example.
What do you mean, those old people's motor rollers? I am not convinced.
No. 12, Miranda Castle, was completely demolished several years ago
They haven’t yet released a machine worth upgrading to if you’re on a 2015 MBP. I recently got a 14” M1 and I think I’ll just reinstall my 2015 and move back to it.
I too really enjoyed his book and speeches and similarly am not necessarily on board with a lot of his politics. I can't really square the reasoning though. I can't pinpoint the disconnect between their ideas and prescriptions.

I feel the same way about Taleb. I read all his books, some more than once and they taught me a lot. But sometimes he just has ridiculous positions and behavior. But with him I attribute to being incredibly petty and thin-skinned. For instance Snowden pointed out a series of tweets where he called people imbeciles and other names and now he literally tweets every month about how he's a fraud, traitor and Russian stooge. Same happened with an author of a popular Bitcoin book for which Taleb wrote an introduction praising Bitcoin. Since then Taleb disagreed with the covid policy criticisms coming from the author and all of a sudden Bitcoin was a ponzi scheme. It's really sad
All news sucks that much, it just so happens that you know enough of the subject to recognize the suckage.
A Tale of Three Launches
If you read about the history of nation-state oversight of finance, you can learn that going "without the burden of nation state oversight" is approximately equivalent to "a giant casino ecosystem". Not always, of course, but often enough. E.g., the South Seas bubble, the wildcat banking era, and the US stock market leading up to Black Tuesday. An awful lot of financial regulation comes into being because financiers working in some unregulated area create such a giant disaster that there's enough popular anger to override government's normal tendency to suck up to people with money.
3, because gold has this use too.
Some of us are very aware of such exploitation, but we’re skeptical that we’ll be less exploited by those given political power to deal with those immoral capitalists. History is full of examples of party leaders in Marxist countries wining and dining while the populace lives in poverty. It happens when too much power rests in any institution. So I personally oppose large businesses as much as I oppose large government, and pretty much all large institutions in general(though a few types of them are almost unavoidable).
Oh hi, thanks for building this! I haven't had the chance to play with it, but my hunch is that sqlite for warc can fill a great niche and would be much more portable (and probably performant).

Allowing multiple DB files is a great idea, since that fundamentally enables large archives, cold-storage and so on.
Yeah I’m sure it was the kids’ fault
We’re only a few more years away from very few services being available outside of the google/apple app ecosystems.

Most apps don’t do anything that couldn’t just be a webpage yet we’re being forced into handing control and service cut to apple and google and opening up more intimate data to service providers.
Note that teachers in New York also need masters degrees. (You can get an "initial certification" for a limited number of years, but you eventually need to go back and get a masters.)
I agree with the initial advice to use a simple Docker container runner hosted service. I initially ran my Django app as a bare Docker container behind an Nginx reverse proxy, with a “docker pull; docker stop <old>; docker run <new>” script as my deploy job, and that was fine for a year. Took all of an hour to build the plumbing there. A hosted service would have been just as good and probably even less time to wire up.

I disagree with the OOM requirements for operating a k8s cluster. I ran our infra on GKE from 3 engineers through 15 as the primary Infra engineer (while also pushing code and being CTO), and it was hours-per-month of labor, not a dedicated SRE. I trained up some of the other engineers and they were able to help with on call after a few hours of training. For a simple app (a few deployments and services) it is really not hard to work with.

All that said I agree you don’t _need_ it at 5-person scale. I would not recommend you learn it if you don’t already know how to use it. But if you do already know it, you can get good value from using it much earlier than the article recommends. (For example I found Review Apps to be very useful for fostering collaboration between frontend and backend engineers, and that feature is not too hard to wire up on top of k8s.)

If I had to give one-sentence pithy advice I’d probably agree with the OP title.
I'm a European and I have very little trust in European governments. Not much trust in the US government, either.
Ghost is a platform for creating content. Ghost partners with Stripe to handle the payments.

For a customer who runs a small town Indiana newspaper, who may be a somewhat typical customer, it's not that complicated: They won't have international subscribers and they would pay state and federal taxes-- standard income staff stuff.

And doing so with Ghost vs Patreon could save thousands of dollars per year!
Yeah fair enough, I agree, I could have worded that differently. They couldn't use any of the looping they'd come to learn up to that point.
then you should focus on techniques to enhance retention. Simply reading faster is more likely to get you to the end with much less understanding of what you just read.
> Things I've used there: notetaking, underlining, pausing and/or putting the book down at the end of chapters, talking with people about the book I'm reading, and actively subvocalizing.

Yes, PLEASE!!! If you're reading a nonfiction book (that you own, obviously), the whole idea of "don't write in the book" is complete bullshit. Consider the book a somewhere-between-$20-and-$200 replacement for a college course. The college course is a consumable. The book, then, also, is a (very cheap, in comparison) consumable.

If you can improve your retention of something that can be reasonably compared to a college course by 20-100% by writing in a book I'd argue it's disrespectful to your time investment to NOT do that. Write in the goddamn book. If it makes you feel THAT bad, then buy a second copy, find a way to donate useful books to people who can't afford them (consider a subreddit for your local college/community college) and do that.

The buried lede here is that if you're reading nonfiction that can't be compared to a college course, it may not be worth your time in the first place :)
For information, I scan. For pleasure, I read.
> Exactly this. It is all about click bait to drive digital advertising. It is largely our own fault. We (by and large) don't want to pay good journalism.

I'm not buying it. Science reporting from university press departments is just as bad if not worse, and they are funded by the university not advertising (tuition, grants, alumni donations, etc..)
Cycle.travel – route-planner and maps – traffic-free and quiet roads
I’m sure quite a few MBP 2015 users are going to be a little sad the end is near.

I loved that machine. I was able to skip the 2017 MBP and go to 2019, but honestly I miss the smaller trackpad.
Oh, you're right, it was carbon.
I thought this was going to be about SimEarth:

https://tvtropes.org/pmwiki/pmwiki.php/VideoGame/SimEarth
Here is the main problem, highlighted by this comment, from user itmecho:

> I'm subscribed to it because I want to know when it gets implemented, not because I want to know every time someone else wants it implemented.

> I'm now unsubscribing because I'm finally fed up of the +1 emails so I'll have to manually check this issue periodically instead. All because people can't just put a reaction on the initial message

Maybe Github should a conditionally shown dialog box which says: "your comment will generate a notification seen by 150 watchers; do you want to proceed?"
Lyft has a nice one, too: https://ride.lyft.com/
Apparently procedural generation and constraint solvers are AI now? I thought they were just algorithms. (I love Townscaper, btw, but this article—whew.)
We've spotted such particles. Like this one for example:
https://en.wikipedia.org/wiki/Oh-My-God_particle

But how would we harness them? They travel almost to the speed of light and we have no indication where they will pop. And even if we knew the general direction, we're talking about something infinitesimal small. You'd need to have some really big obstacle that could be mobile. LHC's magnets are like five storey buildings.
The ones with more than two words?
If you parse from left to right, you at one point have: FAA urges airlines to act as wireless carriers. What really!? Cool!

Then a bit grammatically odd bit: plan 5G signal boost. Hooray! Airlines are going to boost 5G signals!?

FAA urges airlines to act as wireless carriers - plan 5G signal boost!

Wait. Crap. Re-parsing. I liked it much better the first way.
I was just fantasizing about how to do stuff like this. In my fantasy there were two DALL-E-like models. One for generating characters and one for generating scenes and a system for adding a generated character to a scene.

The user describes a character to the character model and gets candidate illustrations. The user can then save a character by giving it a name and use the name to generate variations of the same character. I'm imagining that either you just have a lot of sliders to vary the vector that the character is drawn from or maybe it's possible to combine ideas (e.g. Character X + running).

Then the user just illustrates the scenes they want, the characters, combines them together, and gets a useful image.
> Why do you need syntax and recursion?

Because that is the definition of a natural language. All human languages exhibit these features (except debatably Pirahã, but that's a weird case and is literally the only known example out of ~7000 languages).

It's like the difference between a finite state machine and a Turing machine. For simple cases it may appear like they are equivalent, and with enough pattern matching and brute force you can always get by, but one will always be fundamentally more powerful than the other. This is the same with human language and animal communication. Animal brains are fundamentally incapable of grasping these concepts.

> From a very mathematical point of view, languages are just a set of words. And human language rules are not really grammatical rules for the most part - there are an endless number of exceptions.

I would say they're more like a complex partly logical partly statistical model than a set of words. Grammar is much, much more complicated than adjective-noun-verb. Once you create a good, comprehensive model of it for a language, true exceptions are very rare. Even accepting that there are expceptions, it doesn't make sense to say that just because humans don't use language with 100% predictability and rigor that it's equivalent to a random bag of words. This is true of programming and logical languages too. You need syntax which must be adhered to at least the vast majority of the time. Deviations have to be limited and understandable. Any sentence somebody says will be at least 95% known grammar with only a tiny bit of true innovation.
It’s _all_ just algorithms.
Build a simple generative MIDI sequencer in Go
Would you please stop posting flamewar comments and using HN for ideological battle? You've unfortunately been doing it a lot lately, and we ban that sort of account. It's not what this site is for, and it destroys what it is for. We want curious conversation here.

If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and taking the intended spirit of the site more to heart, we'd be grateful.
You can’t be serious? The m1 is so good, great performance, much quieter and doesn’t get hot, and the battery life is amazing. Also there’s not many compatibility issues now
Yeah, that's the GitHub comment, thank you!

My takeaway from that comment is that there are some important performances issues that apply generally to all filesystems on Windows. Maybe we can partially test whether that's the case by playing with WSL1 on ReFS, ExFAT (if that's even supported, with its limited permissions support, or ZFS, once OpenZFS on Windows stabilizes a bit.
Goverments and intelligence agencies can't target everyone. But they can gather data for future use. So if you don't give them your data you won't be targeted in the future.
I'm a bit disappointed Centralia, Pennsylvania didn't make the list, given some others that did (Ponyhenge?).

https://www.youtube.com/watch?v=dItcMKmndiM
Why should the government mandate something like that? Why don't you just give feedback to the businesses that they should make these changes and if you and enough other people feel the same way, they probably will. I understand government intervention in cases of dark patterns that harm consumers (e.g. the recent Intuit settlement in the U.S.) and to protect certain groups that are likely to be harmed or neglected (e.g. the handicapped, blind, etc.) but I'm not sure I understand the need for government to intervene in a case like this where it is a business choice and the consumer while annoyed is not really harmed and there is no monopoly (as far as I remember in Estonia when I lived there a few years ago it was quite easy to hail a normal cab anywhere and was the same when I travelled the Baltics), and personally I get very nervous when the government starts regulating very specific things.
In French we have an equivalent verb, "caguer", but it's not used that much, "chier" is more common in this register and is the one used in most expressions.
See reply below about Open Core Legacy Patcher[1] which enables to use older Intel Models to use modern OS Versions. And for even older hardware, check out the patchers from Dosdude[2]. Most likely this will not be possible with the M-Class Processors from Apple, which is a shame.

[1]https://dortania.github.io/OpenCore-Legacy-Patcher/MODELS.ht...

[2]http://dosdude1.com/
I thought it was a good question, and I didn't really believe your answer. I wanted to see if any statistics support what you said, and the reality is a bit different. Teachers put in fewer hours than other workers, and they work on average 20 hours a week during the summer [1]. To be clear it's more nuanced than "fewer hours" in the article, but the average teacher works 40ish hours a week.

If you're a teacher, I'm sure you're tired of hearing people wonder whether teachers are working all summer, but the fact is it's a great fucking question and you shouldn't be offended when someone asks it. It beggars belief, and it's a question that should be asked over and over again until the answer is "no".

1. https://www.brookings.edu/blog/brown-center-chalkboard/2019/...
Man that just sounds cool though. Basically a a software MMU in some ways.
With some air sometimes you just have to accept that without some high-maintenance effort, there would be no clean air at all.

For any one person fresh natural outdoor allergens like pollen may or may not be better or worse than accumulations of indoor pollutants. And there can be major differences at different times of the year.

If you're extremely sensitive to spent filtration media, that could be a strong sign that the filtration process is being fairly effective.
It never was a thing in Latvia, and neither was Lyft. I don't recall Bolt (ex Taxify) ever having another app competitor except Yandex Taxi
It's actually been there for a long time. It's a separate tab in "Users & Groups" pre-Ventura.
I was wondering about this exact thing when the article didn't break down the ram usage. Thanks!
Anecdotal evidence, but I produced a medium-size crawl in the past (~20TB compressed). I used distributed resources with off-the-shelf libraries (i.e. warcprox etc.) and managed to get corrupted data in some cases where neither the length-delimited (i.e. offset + payload length) nor the newline-delimited (triple newlines between records) logics were valid any longer. Took me some time to build a repair tool for that.

Sqlite has an amazing set of well-understood and documented guarantees on top of performance, there's a host of potential validation tools to choose from and you can even use transactions etc. So that alone seems like a great idea.

What's more, you can potentially skip CDX files if you have sqlite databases (or build your own meta sqlite database for the others quickly).
No info how to host this myself?
I thought the top goal was to host the crap yourself so you don't have to load from google.
> The license is non-standard too, something called SIL. I'm not gonna bother looking up what that weird thing permits

It's the same as Google Fonts (because they're the same fonts). Most of the fonts are released under the terms of the SIL Open Font License 1.1, and a handful of them released under the terms of the Apache License 2.0.

Most free fonts are OFL'd.
Wow, he even used serifs on the letters.
The Nordic startups and scaleups to watch in 2022
Potentially, but aren't those essentially properties of native apps? When we say that apps retain users better it's not some magic, it's because of apps typically having better UX, whether that's speed/features, device integration, or the "UX" of being right there on the home screen.
"Wages absolutely have everything to do with it.

"Everything" is too far. My male friend abandoned teaching after doing his student teaching and earning his license. It had nothing to do with pay. He took a lower paying job in a more expensive area. He said the school policies were terrible and the too many kids were misbehaved and most were uninteresting in learning.

He didn't say anything about gender issues, so I assume he didn't experience any, or that they weren't noteworthy.
Heavy Meta: Is rebranding worth all this? (2021) [pdf]
Which texts have you been looking at that are too advanced for you?

If you're missing some fundamental knowledge of algebra or other high school level math, you should refresh that. You can do so through Khan Academy (https://www.khanacademy.org/math/).

The proof course I took mostly started with examples from number theory to allow students to focus on the mechanics of writing proofs. The course seems to have replaced the book I used (Mathematical Proofs: A Transition to Advanced Mathematics
Book by Albert D. Polimeni, Gary Chartrand, and Ping Zhang) with this freely accessible book https://www.people.vcu.edu/~rhammack/BookOfProof/Main.pdf. This course was a prereq to the analysis, algebra, and other proof based upper level courses in math.

The most important thing is to work the examples in the chapters and solve the exercises in the back of the book. You can usually find lecture notes, problem sets, and assignment solutions on the web these days. If you're having problems with material, someone else probably has, so there is a good chance your question has been asked on Reddit or other math specific forums.

If you're more interested in math applied to computer science, then you can look for a book on discrete math. The only discrete math book I'm familiar with doesn't really make it explicit that you're learning proof techniques the way the above books do, so I can't really recommend it as a first book for self-study.

The sequence of topics covered for a course from Book of Proof by Hammack:
- Sets and basic definitions: 1.1
- Logic: 2.1, 2.2, 2.3
- Proofs: 4.1, 4.2, 4.3, 4.4, 4.5
- Logic: 2.4, 2.5, 2.6
- Contrapositive Proof: 5.1, 5.2, 5.3
- Logic: 2.7, 2.8, 2.10
- Proving non-conditional statements: 7.1, 7.2, 7.3, 7.4
- Disproof: 9.1, 9.2, 9.3
- Mathematical Induction: 10.1 and 10.3
- Sets: 1.3, 1.4, 1.5, 1.6, 1.7
- Proofs involving sets: 8.1, 8.2, 8.3
- Sets: 1.2
- Relations: 11.1, 11.2, 11.3, 11.4, 11.5
- Functions: Chapter 12
- Proof by contradiction: Chapter 6
- Cardinality: Chapter 14
Agreed

The parent comment:
“Maybe by next decade, all the MacBook "pro" models will support more than one external display.”

The 13” M1/M2 MBP is the only one that doesn’t support more than one external display.
> it’s not terribly useful

Well, it’s been paying my wages for the past eight years, so it’s incredibly useful to me. Are we services “very specific projects”? Are data processing systems? Are geospatial data munging? Are financial systems? Those all sound like mundane, every day projects, and they’re exactly what I’ve been working on.

And when it comes to “actual work”, that’s where Haskell truly shines - being able to fearless refactor code and iterate until the compiler is happy again is my favourite feature of Haskell. It’s not the “neat type system”, it’s the ability to not have to keep the entire project in my head at absolutely all times because I might forget to make a stupid change the compiler should have caught for me. The productivity is massive, once you’ve invested the time, but it does take time and it is an investment.
You make it sound like unions did something bad, the owners just moved the jobs to other cities/countries because they were stingy.

> The US competed just fine before the era of unions

You mean when everyone else was still rebuilding after WWII.
I’m surprised you emphasized government wrt. privacy here. Sure, despite the fact that the US government institutions have more mechanisms for oversight and transparency after 20 or 40 years, etc., they are certainly the most profligate in their use of surveillance and hacking, etc., and US three letter agencies are the most adept at completely side-stepping those publicized limitations — so it’s not like the government isn’t an issue, and the US government most of all.

But when it comes to surveillance on this quotidian level, I think private/corporate surveillance it’s far more relevant and problematic. In that regard, I’d slightly prefer a European country with good privacy laws like those you listed, because (probably) Bunny is not itself at the level of a panopticon such as Google, and the likelihood it has or would avail of avenues for resale to panopticon capable data brokers is less than it would be for US companies.

But even there, it does seem like a quite incremental improvement. The door is still wedged open, but now probably less wide, and probably with a stronger doorstop. It would be nice to not leave the door open at all.