skysight-inc/HackerNews huggingface dataset:
German economy contracts 0.2% in 2024 in second consecutive annual slowdown
Maybe the Chinese people will be able to teach the US people how to side-load APKs (on Android) and use a VPN.

That would be ironic.
The game, unlike Apple's policy, is opt-in. Hate the player and the game.
Ah good to clarify, thanks
Isn't this the same argument that they can change any part of the underlying OS and compromise the security by exfiltrating secret data? Why specific to this Photos feature.
> because you need to work around the limitations of type systems.

What limitations of type systems are you talking about?

> When you say "set-theoretic types", I hear, "get rid of types, just give me logic".

A type theory/type system is a logic, so I don't really understand this point. https://en.wikipedia.org/wiki/Type_theory#Logic
Porn access debate comes before the conservative-majority Supreme Court
Not directly related to the software, but interestingly on the authors website there is a Schedule a free call with me (https://claudio.uk/templates/call.html). I wonder if randos on the internet ever do that, and how it works out.
Nice one. This is a nice alternative to the more classic pomodoro versions out there, by including some fun exercises to do, not just for staying away from the screen or standing up.

A few comments I must add, though, besides the already mentioned lack of images (too many instructions to read, I just want to have it easy):

- I didn't realise until the end that there is a progress bar on top. On the one hand, it looks slick and minimalist, but on the other, I almost not notice it.

- What if you sync timing for everyone within same location / IP?
In other words, imagine you are at the office... how cool would it be if everyone would potentially join in sync? Not only would it make it social, but also, maybe, viral.
Thing is, I was trying it out from desktop and phone, and they were not in sync, and not sure if it's my OCD or what, but it just didn't sit right with me.

One more thing: what about some (optional) music while on exercise mode?
I just got the "twist and shout" and I would have loved to shake it up with it ;)
Looking at a lot of user's feeds, its algo doesn't feel as "rage-baity" as the ones from YT or Insta. Even normal platforms, like FB and Twitter push rage bait to the top. TikTok seems to avoid those pitfalls in a lot of cases.
I did not catch any data that quantified if this is truly becoming fashionable. From what I know in US stats, homeschooling definitely had a run during covid but its already going down and even at its peak was barely measurable compared to students in public/private. It would be nice if he quantified where this idea comes from before going into the rant.
Its worse for the US Govt in that they cannot secretly ask them to control what gets seen
So don’t use the photos app. Just get an alternative camera app and you bypass all of this.
> We also had a postgresql instance for all relational data, subscriptions, user info etc. Had a trigger that would push any api key / subscription change to DynamoDB.

Wouldn't doing it right there in postgres limit your footprint?
If I'm not mistaken the 'killer feature' of Tiktok is not the player, but the editor (Capcut?)
I recently tried NixOS 24.11 but quickly decided it’s not for me or something I’d recommend. While the system initially seemed promising, it was frustrating in practice.

My first hurdle was configuring the network in configuration.nix. The installed template implies network settings go there, but that’s misleading. Worse, "nixos-rebuild switch" requires a working network, so a broken config leaves the system unable to fix itself – a catch-22.

Next, I tried "nix search wget", as suggested in the manual, but hit errors about missing experimental features. I had to enable both nix-command and flakes manually to get this to work:

nix --extra-experimental-features nix-command --extra-experimental-features flakes search nixpkgs wget

Even then, package search, like configuration, seems to depend on a network connection, which feels unnecessarily fragile.

(edit: formatting)
Very nice! I fiddled with this idea a few months back but the models available at the time were woefully slow on a macbook. Will definitely give this a spin, there's a large category of web serials and less popular translated novels that never get audiobook releases.
'Real' Semantic Versioning
Yeah, that's a known issue, if the book is all on a single chapter you don't get any sense of progress. I may fix that next weekend
His LLM will answer the call.
A good collection of puzzles at Jane Street Puzzles Archive
Or South Korea. :D
That's looking at it with rose coloured glasses. And please don't come back with "maybe they are watching educational content on tik tok" because we all know that's not true.

>22% of US teenagers spend 2-3 hours a day on TikTok [1]

1. https://explodingtopics.com/blog/time-spent-on-tiktok
Not RIP at all. "Meritocracy" was coined in a book literally warning us about how terrible such a society would be: https://en.wikipedia.org/wiki/The_Rise_of_the_Meritocracy

The "top-enders" are the privileged who need to have some of their gains for their intelligence redistributed to others. The alternative is "survival of the smartest", which is de-facto what we have today and what Young was trying to warn us about.
How complex? I'm no physicist nor an expert at this, but AFAIK we aren't really capable of simulating even a single electron at the quantum scale right now? Correct me if I'm wrong.
And which they silently do, change the applications. Maps has been updated for me via A/B testing. Messaging too.
No its racist to claim that literacy rates in the States were the highest in the world.

As long as you ignore all those pesky non-whites.
I am merely a data scientist, so don't really know a ton about mainline programming beyond a few intro CS courses.

Why would an open source android distro be more trustworthy?
Source? I'm unconvinced. They have been posting stuff about implementing HE primitives in Swift as of last year.
Wow, another New York Times article that's against West Coast technology companies.

At this point, I don't think the NY Times needs writers, an LLM can easily cover their mandate to disparage tech and anything that rivals the American Northeast as a center of political, cultural or economic power.
Because of Python's prominence and the divisiveness of significant indents, there is a large amount of misattribution of "whatever Python's syntax choices are" to "must be needed by significant indentation". E.g., whenever I go from Nim back to Python, I get annoyed that `t = 0; for e in x: t += e` is illegal in Python (Yes, I know `sum()` exists - it's just another easy syntax example to amplify your lambdas one.)
Most parents are worse teachers than the average teacher. Most parents can't afford the time/money to teach their kids. This is a passion project for the 1%.

And no, educational videos on YouTube are not a replacement for a curriculum. We saw that during COVID where the attainment of children worsened.

There are bad schools and bad teachers. The solution is not bulldozing the entire system and replacing it with something worse.

This is like saying people should self-diagnose and medicate because there's a few dodgy hospitals and doctors.
I mean, without a curating algorithm, facebook is pretty cool. I’ve been one of the earlier users (having had to register my German university e-mail as a student mail to be allowed in), and the only negative parts have ever been Facebook forcing things on me that I don’t want.
My son used his so much that I had to replace the tires. The guy at the bike shop said they had never ordered that size.
This is great stuff! As a Haskell fan who uses Elixir (and Erlang) in my day job, I'm really looking forward to seeing how we can leverage more of the new set-theoretic type features showing up in Elixir. Revisions seem like something I've never really seen before in any of the type systems I've used, so I'm excited to see how it can be leveraged in a real production system. Thanks for the post.
TBO, TikTok and Twitter are far more diverse than HN, which is merely an echo chamber, only slightly better than a subreddit.

Although I like HN more than TikTok, it's so funny
that is exactly noah's point, that TikTok is an extremely potent application. Except it's not "a business" deciding this it's "a government", and China does not want to pass off this much capability to shape public opinion to the US while losing it themselves.
It's taken for granted that the shifty [any] government is up to something because they always are, 100% of the time. Why would you expect the evil overlords to not be up to something with the big evil brainwashing program that has access to almost everyone on earth?
Ask HN: What logging SaaS solution do you use?
Hi HN! I am wondering if any of you is using a logging SaaS that you're happy with. I've been using logz.io but I am not impressed with it, and our team's research hasn't uncovered better alternatives.

In short, what we're looking for is:
- Some service to which we can push our logs.
- That will show our logs in their platform within 1-2 minutes of them being generated (almost real time).
- That provides a decent UI for querying logs using free text search and date ranges.
- That can let you set basic alerts to Slack.
- That doesn't cost an absurd amount of money (< 1000x on the underlying computing resources).

Based on previous experience, I don't want to run (or use) Grafana or Loki. I'd rather use a good SaaS and pay ~100USD/mo for a relatively small volume of logs.

Do you have any alternatives that you're happy with?
Its clear to anyone that's looking that what's happening in Gaza is a genocide
> You know how many people in the US are illiterate? 21% [2] Do you think that number will increase or decrease if we got rid of compulsory education?

Just 20% in 1875[1], despite the primitive education system of the time. Is the answer no change, it being limited by the innate capabilities of the people, not limited by what they do?

[1] https://en.wikipedia.org/wiki/Literacy_in_the_United_States
Correction: all known even-remotely-practical schemes rely on bootstrapping. See https://crypto.stackexchange.com/questions/103341/fully-homo...
huh... "dynamically generate animations or visuals", what are you thinking about? I'm wondering how would it go with some AI generated ones, that would def feel non-repetitive haha.
To your point, you can’t even trust the software if the hardware is untrusted
well china does it too with google,fb etc back then, and other nation do it too

albeit not outright banned it all together but sometimes they prefer homegrown company/technology
Educational merits aside, this is part of a broader trend of losing or dismantling the few “public” parts of our society we have left. People simply don’t want to be forced to interact with others in the physical world, especially others not like them. They certainly don’t want to be asked to trust a stranger for any reason, unless there’s an app to mediate the trust.

The bad news is that there are 8 billion of us and more every day. There’s not enough space or resources for us to isolate ourselves. It can’t end well.
>Teenagers need to connect.

But not in a tiktok-way. They have more than enough social contacts when they go to school. No one need tiktok.
This is very one sides - not necessarily wrong, but in general simple solutions to complex problems are wrong and this pushing of biochar/coal is likely to be another one. Maybe part of the solution but not enough alone.
The "O" in "FOSS" does not stand for "obligation"
> But the entrance exam was heavily biased in favour of children from middle class backgrounds.

> Famously the first 11+ tests had questions like "Name the various types of servants in a household and what they do".

That doesn't sound like a question a middle class kid would know anything about - not unless your definition of "middle class" is far different from mine.
This is insanity - "compute" is a tiny fraction of energy usage compared to memory, data storage, and data retrieval.
Because the blog post needs some sort of concrete example to explain, but all concrete examples of fully-homeomorphic encryption are generally done better locally at the moment due to the extreme costs of FHE.
Yes! In fact the US court system does a great job of things like that.

https://media.cadc.uscourts.gov/opinions/docs/2024/12/24-111...

I recommend you start reading on Page 33 if you are impatient.

In extremely short. The PRC is an extremely active cyber threat, hacking things all over the US, in large part to gain access do gain access to datasets about U.S. people. Including hacks of the Goverment's Office of Personnel Management, of a credit reporting agency, a health insurance provider.

The PRC has a strategy and laws of using its relationship with Chinese companies, and through them their subsidiaries, to carry out it's intelligence activities.They specifically point to the National Security Law of 2015 and the Cybersecurity law of 2017 which require full co-operation with Chinese authorities and full access to the data.

So one half of their justification is the significant risk of China using TikTok to conduct espionage in the form of gathering a huge dataset on Americans.

---

Another half of the risk is, as everyone else here is already saying, their ability to influence Americans.

This is not an entirely theoretical concern as TikTok would like you to believe, the Government reports that “ByteDance and TikTok Global have taken action
in response to PRC demands to censor content outside of China”.

And all evidence is that it would happen in the US the second the PRC decided to ask for it.
I mean, some are capable of searching the web.

Ask them about the fire in LA in 2025 January.
More than a decade ago I wanted to revenge my brother (something childish) and at that time he played online games. As packet loss would be too obvious and the games usually require low bandwidth the most viable fun option was to add some latency. You won't see this option in your usual router.

tc qdisc add dev eth0 root netem delay 250ms
The article and the FAQ (https://nuwapen.com/en-us/pages/faqs) on their site don’t include details regarding where or how the data is being stored, unless I’ve missed something?
Can confirm.

My kid got in, and it turns out everyone else used a tutor (I stupidly took the advice not to do so from his teacher, who thought he'd get in just fine). This is in fact why playdates seemed to die out in the year or two before the test, the kids were being tutored but for some reason nobody would admit it.

When I went for the intro evening, the parents were simply the same kinds of people (often the same actual people) as the private primary where my kid went. Essentially, it is a private school where you don't pay fees. Same parents, with £30K more in the bank each year. The kids get into the top unis at a similar rate to the local fancy private school, which takes in all the classmates who didn't get in.

I have to say, they are a good bunch of kids. There's none of the bullying problems that everyone else is reporting in my kid's year. They have an environment where they have other quite nerdy kids doing nerdy kid stuff, without judgement.

But they are not a socially diverse bunch of kids. I'm not seeing any social mobility at all. Where are the kids whose parents are in the trades? Parents who aren't working? How come everyone I meet works in finance, law, accounting, medicine, or other white collar work?

I think it's the tutoring. It lets the marginal white collar kids win over the marginal "other social class" kids.
> 2. The govt is mad that they have control over the narrative on Facebook but do not on TikTok

If the last four years are indicative of anything, it's that the US government has fairly limited control over the narrative on American social platforms.

I lost count of how many times I saw people typing in "FJB" and "MAGA".
The downlinked data is claimed to be 142TB compressed. I suspect that the huge panorama might be a little big for your computer.
> You probably roll your eyes when someone tells you they don't have time for some activity you deem valuable.

There's a few categories where it makes sense to roll your eyes, like if they say they have no time to shower or have never been to one of their kid's baseball games.

But for things that aren't basic human expectations, I think you'd have to a real jerk to roll your eyes at someone not having time. No time to cook multi-pot dishes? No time to exercise? No time to read? No time to go to museums? No time to meet at the bar for a drink? Any of them sensible.

No one can do everything, we all make our priorities and its well within their choice not to have any one optional life thing at the top of their personal stack.
^^^^^^

Same reason they passed the nonprofit killing bill bipartisanly, for whatever reason this seems to be a huge deal for the people in government right now.
Our present best guess is that cellular automatons would be an explosively difficult way to simulate the universe because BQP (the class of problems that can be related to simulating a quantum system for polynomial time) is probably not contained in P (the class of problems Turing machines can solve in polynomial time).
I already generate man pages (and POD) with Claude for my new projects. :D

It works really well.
Yup. China has been kicking Silicon Valley's butt for some time now, and I don't see any signs of that changing any time soon.

This drives the point home:

AI Superpowers: China, Silicon Valley, and the New World Order by Kai-Fu Lee
https://www.goodreads.com/book/show/38242135-ai-superpowers
Yes, although Capcut is a separate piece of software. You can in theory make content with it for any app. In practice, Tiktok is so dominant that a lot of popular Reels content has Tiktok watermarks on it.
If the concept has existed for 60 years and no one has capitalized it yet - you can bet it's more Dr. Who than reality.
The app asumes you are standing next to your parked car and can get in intermediately.

I have the inverse problem. Sometimes I want to take a taxi [1] and I wish the app suggest to walk 50 meters to the next intersection to avoid a long detour. The other day I had to make a small trip to "1190 X Street" that is a one way street. Changing the address to "1210 X Street" saved me like 5 minutes in exchange of walking 20 meters (20 yards). The other street that intersect X at 1200 has almost no transit and is faster.

[1] Hi from Buenos Aires! Here you can usually just walk to the street and get a taxi in 1 or 2 minutes. Probably like in Manhattan, perhaps better. It's faster than waiting for a Uber. Warning: Most taxi drivers are nice, but some of them if you look like a foreigner they may take a longer route to scam you.
Agreed, you can't prevent them from having access to social media.

What you can do, though, is show them that there are tons of better things to do than swiping on their phone for hours. I don't know many kids who would rather watch videos than actually do something cool.
I think in most of Europe background checks are illegal, so you could also try and move there.
Facebook is extremely censored re: the genocide in Gaza

TikTok is not
I mean, let's be clear: Facebook and Google are very much banned in Mainland China.
Exclusion of "average people" is fundamentally required for private property to exist, one of Humanity's best inventions. Few people enjoy private aspects of their life out in public. It is a completely natural and morally good thing to want your own space and to raise your kids your own way.

Your kids don't need to be exposed to the often violent whims of society's bottom quartile for 8 hours a day for more than a decade. It doesn't need to happen. It would be better if it did not. It is a net negative experience, whose main lesson is: avoid these people. That can be taught pretty quickly by a parent.
> The UI is better than TikTok ever was

I cannot disagree more. I just scroll on tiktok and tiktok populates the scrolling with videos I want to see, and it takes about ten minutes to signal to tiktok what content you like and don't like. Youtube, meanwhile, is an exercise in a far too-busy UI with thumbnails and comments and text and buttons—it's inherently a desktop app shoved into a web browser. Nice if you want to search for a specific topic and watch a four-hour video on it, but terrible for entertainment or killing time.

The only use I have for youtube are in solving these two problems: 1) where can I find a music video and 2) how do I do x

...but the focus on the interface obscures why youtube shorts won't ever take off: youtube is extremely bad at pushing content I want to watch. I've heard this over and over and over again and I know it's true for me, too.
Me and my friends were in the wrong side of the culture (tabletop RPGs, video games and heavy metal) and I can bet we would all be diagnosed back then as it felt it was mostly "feisty kids that don't fit".
>Bytedance is not an independent private company

PRC banned exporting Bytedance algo. By that logic, no US companies are independent private companies due to US export controls. And TBH both points are true.

>Grindr

Grindr was foreign company acquired by PRC, and sale was reversed by CFIUS. Selling an acquired foreign company is geo/politically different than having your domestic company nationalized/appropriated by another. Which is quite literally a strike against Chinese people. Even PRC has never forced a US company from divesting US ownership, because that's a retarded tier of "hostility" only US hubris can imagine. And it's particularly retarded tier analysis from Noahpinion who thinks Chinese people won't view divestment requirement a PRC company as hostile against Chinese entrepreners, who are Chinese people.
Try it. I've been using Youtube for a decade and its recommendations are a total crapshoot these days. TikTok figured out my preferences within 15 minutes just based on which videos I liked and watched, and it can change course extremely quickly if you get bored of a certain topic.

The total number of hours I spent Youtube must outnumber the total number of hours I spent on TikTok by at least 100:1.
> I did so in the usual manner - have her sit on the seat while I grab the handlebars and run along side her, then release the bike and watch her panic, freeze, topple over, and kick the bike in frustration.

This part confuses me a lot. Where I'm from you teach kids to ride by attaching a broom (or similar) stick to the back of the bike. That way you can gently hold them when they mess up the balance, but they still get the appropriate feedback that they need to balance on their own. As a plus you feel when they are getting better at it, and the "release" is softer. It is not an all or nothing process, you just hold the stick less and less, and suddenly the kid is cycling on their own.

I couldn't imagine doing the same with holding the handlebar. It would be hard to do. Would mess their feedback loop up. And what is worse it would telegraph to them when you are releasing them thus making it more likely that they panic.

Does anyone really do the "grabbing the handlebars" method to teach kids to ride a bike? Is it a regional difference?
Thankfully I live in a country with one of the best public school systems in the world leveraging its Catholic history, but it is something I have looked into, mainly because I think children are capable of so much more than what they learn in school and also the 'conditioning' aspect of schooling.

From what I know of the USA, all students are placed together in classrooms. Now I'm not sure if that's on the federal level or state level, but I cannot imagine the brightest students being held back by the weakest/misbehaving ones. Where I live we are placed into different grades, where students are grouped by their academic performance. There is no prejudice or superiority/inferiority associated with it and it just works.

I've only heard anecdotes from the Teachers sub on Reddit, but if that was my child in the USA I would homeschool 100%.