skysight-inc/HackerNews huggingface dataset:
According to wikipedia:

"In 2023, the startup Lumina Probiotic began offering BCS3-L1 application in Próspera, Honduras."

https://en.wikipedia.org/wiki/Caries_vaccine#Attempts_using_...

Per company's web site (NOT an endorsement from me):

https://www.luminaprobiotic.com/in-honduras
I think it's a bit more serious than that. Those self same "mid" kids would've had no problems meeting expectations if they'd been born 10 or 20 years ago because China was experiencing one of the most unprecedented growth periods in history.

If growth stalls but expectations of what "success" looks like in life remain the same then inevitably the more rational amongst them will look and see that just achieving a "normal" life seems incredibly difficult.
https://www.dwds.de/wb/Gaudi

That's amusing. :D
Holy shit, is that verbal diarrhea written by ChatGPT or something? It's multiple pages of talking in circles, in the end it doesn't provide anything other than an unsourced assertion. This is how you get your information?

But no, they're not illegal. The actual directive governing that is MD 2006/42/EC[1].

The reason for why you don't see them in the EU are probably twofold:

1. That directive mandates a stopping time for the blade which wouldn't be possible with the same saw with a dado blade, a dado stack has more inertia.

Therefore saw manufacturers cut the arbor short so they don't need to deal with accommodating and certifying that fringe use-case.

But you're perfectly free to import a saw that can do this yourself, or modify and use an existing saw, or even start a niche "dado saws with EU stopping times" manufacturer.

2. There's a lot of difference in everyday life between the EU and US that don't come down to someone banning something.

That directive is from 2006, dado stacks weren't in wide use before that either.

I'm fairly sure that the reason this is a thing in the US is because of the relatively wide availability of table saws. I think most people over here wouldn't think to modify a saw for this task, they'd use a router.

1. https://eur-lex.europa.eu/legal-content/EN/TXT/?uri=CELEX:02...
They work because people somehow think wireless security systems and cameras can work.
Show HN: Www.naildesigns.cloud – design nail art patterns with AI
Nail art design is something very professional and complicated, and communication is difficult, especially with such private feelings as artistry, it is hard to go for precise communication and description.
So I developed this simple program to help you make the nail art pattern you have in mind, you only need to describe the graphic features in a few simple sentences to see a rough result, you can also download back this image or share a specific webpage to your nail artist!
My life is also better, overall. However, I do miss out on important life updates from my friends because I'm not on Instagram. I could be a hardliner and say "well they don't care about me enough to share 1-on-1, so they're not real friends", but that's... stupid. I feel sad for missing out on opportunities to take part in their lives and life updates that way, and I know for a fact that there are rich connections/conversations that would happen if I were able to use these in a healthy way.
16GB will be way too small unfortunately — this has over 3x the param count, so at best you're looking at a 24GB card with extreme 2bit quantization.

Really though if you're just looking to run models personally and not finetune (which requires monstrous amounts of VRAM), Macs are the way to go for this kind of mega model: Macs have unified memory between the GPU and CPU, and you can buy them with a lot of RAM. It'll be cheaper than trying to buy enough GPU VRAM. A Mac Studio with 192GB unified RAM is under $6k — two A6000s will run you over $9k and still only give you 96GB VRAM (and God help you if you try to build the equivalent system out of 4090s or A100s/H100s).

Or just rent the GPU time as needed from cloud providers like RunPod, although that may or may not be what you're looking for.
Nice, looking forward to seeing that! Someone else pointed me towards https://github.com/DAGWorks-Inc/burr/ which also seems related in case you're curious.
How hard could it be to let ChatGPT Plus users choose model versions? (especially when older versions are accessible through the API)
They're rubber stamp deputies who are selected/invited to NPC because they're important entrepreneurs, which correlates to being billionaires. But they don't influence shit, they know their place, enough to waste a week or two a year at two sessions. Which is precisely the original point - it's safe to build obscene wealth in PRC... close to 1,000 billionaires know how to not be politically retarded vs the minority that don't. Last available IIRC stat was ~15% of billionaires in PRC end up in jail (corruption/CCDI). I don't know that number for US is, but probably too low.
Wigderson receives Turing Award for contributions to the theory of computation
Yes that's true, but if you ask to give the full code specifically it should do do
Lots of kids did that before there were mobile phones.
Tempo is great, it supports offline play and Android auto

https://f-droid.org/en/packages/com.cappielloantonio.notquit...
The Definitive Guide to LLM Writing Styles
Language is a powerful tool for shaping thought, feeling and identity. Advances in large language models (LLMs) have unlocked unprecedented potential for machines to wield this tool in increasingly human-like ways. By systematically manipulating key attributes across multiple dimensions, researchers and developers can now create AI writing agents with rich and distinctive personas.
Usually laws apply of the place that you are in, regardless of whether you are a citizen or not.
Everyone should care. Chromium is built to further Google’s interests.

From the long lasting first party cookies to the ease of fingerprinting the engine is designed to make advertising more effective. But hey who cares about privacy.
I'm no saint when it comes to addiction and being on my phone for more than I should be, but I have a sister who is in her mid 20s right now, and for the last couple of years she has slowly isolated herself from life and her family, she spends most of her time in her room on the phone and does weird things like get cosmetic surgeries, ordering cosmetics, etc. It's bizarre.

She does this and all the while never leaves the house, other than to go to work. She doesn't share her actual thoughts and gets angry when asked about it. You might be reading this and thinking that there's more to it, but sadly there isn't. It's her life so I leave her alone, not my place to tell her what to do, and the emotional upheaval from her isn't worth it either.

But it's crazy that a person can get this lost in life and become completely devoid of purpose and meaning. It's one thing to have an issue and work through it slowly, but it's something else to isolate yourself and live your life through others - while those "others" prosper from your own ignorance.

I'm sure her past experiences are playing a role in this behavior, but the whole cosmetics things - I know for a fact there are a lot of influencers who peddle this crap, and if you lack self-awareness then I can see how easy it is to get stuck in this cycle. I just wish there was an easy way out of it.
In "Example 4", I don't understand where the "arg2" in `free(arg2)` is coming from?
Direct link to the actual article: https://www.reuters.com/technology/eus-new-tech-laws-are-wor...
That's true. We restrict access to Snapchat, TikTok, Instagram, FB, they can use WhatsApp, YT, iMessage, Phone and Pinterest. I'm fucking annoyed by other parents that don't set boundaries that way. I have so much discussions about other platforms. Pushing them to physically meet is hard too.

We grew up at a time where SMS was a thing when I became 16. I know that keeping up is cool, but social media is a disease. The amount of dumb and uneducated people that couldn't even listen to expert advice during a fucking pandemic is driving me up the wall.

I'm annoyed mainly because people around me make bad decisions that have an influence on my own life.
There is a major difference between banning curse words, medical info, porn etc, and banning social media. The former is banning a type of content, the latter is banning the presentation of content; and it is the presentation that is so harmful.

Banning social media optimised for “engagement” at the expense of childrens (and adults) mental health does not remove any content from the internet that could not be expressed in a less toxic way.

The finesse is in defining social media in a way more complex than “this list of companies”, and I agree that (likely) no government would choose a definition that does not either have ramifications for free speech or is inadequate.
Sorry, could you expand on NVR please?
You would have to compare PHP to the alternatives available at the time. Originally PHP replaced Perl and ASP, which have their own problems and no static types (back then). Ruby/Rails came out and got traction but was slow, buggy, and still no types. Python also slow, no types, and not great for web development.

Then we got Javascript and Node, with even less sensible types (no integers!) so you have to use Typescript and lots of tooling to get what PHP offers.

In enterprise environments Java and then C#/.Net dominated and did have strong typing, but that’s not the world of PHP.

Comparing PHP from a decade or longer in the past to Go et al. hardly seems apples to apples.

So if you want to dismiss PHP as “shitty” compared to “most others” define shitty and identify the others.
PullRequestBenchmark Challenge: Can AI Replace Your Dev Team?
Specifying the power and limitations of randomness
It's not an LLM provider problem. It's an Anthropic/Google culture problem. OpenAI would very likely not have any problems with a request like that, but Claude has struggled with an absurdly misaligned sense of ethics from the start.

Note that Google is a big investor into Anthropic, and Anthropic was created because a bunch of OpenAI people thought OpenAI wasn't being woke enough and quit as a consequence. So it's not a surprise that it's a lot more extremist than other model vendors.

That's one reason why Aider doesn't recommend you use it, even though in some ways it's slightly better at coding. Claude Opus will routinely refuse ordinary coding requests due to its misalignment, whereas GPT-4 will not. That better reliability more than makes up for any difference in skill or speed.
Honestly, rewatching Breaking Bad, and while fictional I have to commend the attention to detail and realism in their laundering process. The part where Skylar tells Walt that $7M would take up to 10yrs to rinse through their carwash business, or the fact that Saul takes 17% in addition to their other overheads. Ozark also nailed it when the lead tells the would-be robbers that they'd only be able to buy groceries with stolen cash, as large purchases would raise red flags.

I find any US crime show that places the IRS above FBI, DEA etc in terms of fear factor is generally a better one.
that model feels safe, there are loads of SKUs of them so I think there's some success.
If a process uses the execv* methods to spawn a new process (as should most good implementations), it doesn't use /bin/sh in any way and thus itself cannot cause wrong things to happen; the spawned process could of course still do arbitrary computation on its inputs including introducing vulnerabilities, but that'd be strictly not the caller's fault and the caller couldn't do anything about it - there's only one format a given list of arguments can be passed to execv* and the spawned process still gets the arguments separately, whereas on Windows the spawned process can forego the standard unescaping completely.

At the core really is that on Linux the arguments provided as a list of separate arguments is The Format of arguments, so it can be exposed and used without question, whereas on Windows the native format is a single string which can still be used to achieve the same things, but now the callee must necessarily know what way the caller expects multiple arguments (if it does at all) and stdlibs so far had just been assuming one format where bat files have a different one.
Just tried to set it up on a fresh Ubuntu free VM on Oracle cloud and I can't seem to be able to even login after setup.

Oh well, might look into it when I have more time. Looks promising though!
I just tried to make an account

1. Asks me to enter my phone number and sends me a code

2. Enter code

3. Asks me to enter email and get code

4. Enter code

5. Redirects to asking me to enter phone number, but my number is already used now

6. My account is automatically banned
They already have some preliminary support. You can follow Obama, for example, on Mastodon since his account posts on Threads
One of my good software purchases this year. Good work, Hieu.
Nit: Most code written in PHP is the (an) opposite, of what many people discussion programming languages would call "functional". It is procedural, and maybe object oriented, although important things are missing, like generics/parametric polymorphism.
> There’s very little understanding of how to organise CSS

Was there ever? It seems everyone thinks they have the best way to organize CSS. But it's always just a system that makes sense to them and only them. I'm not convinced there's some enlightened way to organize CSS
I also guarantee you that a teen who is not in the loop is much more likely to be ostracized and bullied in the offline world.

So, yes you might try teaching your kid that they're not missing out that they can find more meaningful way to spend their time in the real offline world but, the fact is, they go to schools with kid who overwhelmingly are not taught that and who will dislike your kid for being different. Your kid doesn't live in isolation, he lives in society and, during school years is when social pressure to conform to the group norm is strongest.

I'm speaking from experience here, I've been bullied as a teen, I definitely would rather avoid my son going through a similar experience.
> You may not like FB, IG, TikTok, etc.. I certainly don't care for any of these products. But these are communications platforms.

Haidt argues these are a leading cause of an ongoing mental illness epidemic. Such a drastic claim deserves a thorough medical review and if true, these platforms must be regulated just like the Tobacco industry was.

> those who advocate censorship aren't advocating for freedom... they're advocating for their personal parental decisions to the be decisions of the entire nation.

Don't believe freedom of speech / freedom to information overrides the concern of Humanity collectively and progressively going ill, anymore than freedom to self-defense warrants the use of nuclear weapons for personal use.

That said, the burden of proof is on Haidt. It isn't uncommon for the older generation to be pessimistic or doomsdaying about the next one.
You realize there are anti-trusts laws in the US as well, right?
I notice that user JiaT75 is still the second biggest contributor of the project. Interesting that his account is still alive.
A big limitation with GPT4 Turbo (and Claude 3) for coding is the output token size. The only way to overcome the 4k limitation is by generating a file (if it fits), and feeding it back to generate the second and so on.

For this reason, GPT4-32k is my preferred model for codegen. I wish there were cheaper options.
How many tech monopolies can you name?
Relevant video from Map Men: https://youtu.be/uYNzqgU7na4
Given that motorcycle theft is also rampant and thieves have no issue moving a 200kg motorbike onto a van or a trailer, I'd assume it's not going to be a problem. But admittedly I don't know if cargo bikes and similar are also commonly stolen.
> Why can't we build housing that only available to people with on-site local jobs?

Have to be careful about that one to avoid "company towns", but otherwise that seems like a good idea.
Same feeling here, I loved the early internet, it played a huge part in who i am actually! This said, this is not the early internet anymore, where content was mechanically regulated by a sort of egalitarian rule. Social Media applies a power law to content, so that 80% of the viewers are aware of the 20% that's available and human nature being what it is, lowest common denominator content gets pushed to the forefront.

Hence all the attention seekers on FacebInstaTok...

This is further compounded by the pervert effects generated by these platforms one of them being the mimetism and the general wolfpack behaviour that can surge out of the madness of crowds. Online Bullying is real.

My kids (11 and 14) are stuck on feature phones for now and i'd like, as much as possible to keep them off smartphones and their constant Notifications for the foreseeable future, until they are not kids.
The government is never a passive actor. So non-intervention is also active policy. You can only choose what the policy is. The active policy for the last 15 years has been to consolidate a social media oligopoly with very few restrictions. Users are being tracked, advertisement laws are being skirted and are less restrictive than in other mediums, data is being sold, dark patterns are used to keep people from making their own choices. The algorithms are actively promoting bad content because the social media companies are not held liable for their part in promoting false content.
Implementing "Seen by" Functionality with Postgres
Interesting. Thanks for the explanations!
Such bans are not clear and are contentious, and often leave room for parental discretion.

In most countries whether children drink alcohol at home is up to their parents. In some countries an adult can buy teenagers a drink (in the UK they increased the required age from 14 to 16 - and I think its a bad thing).

There are people who think 16 year olds should be allowed to vote.

Kids cannot buy guns, but can use them. I did a bit of rife shooting at school.
This is a great read, thank you for sharing. Van Allen comes across as capable and making the best of things after being dealt a bad hand of cards in life and being continually let down by interactions with state bureaucracy while trying to obtain secure housing. When he gets the message the state isn't going to help, he figures out how to look after himself. Then years later the state finally notices him and gets all stirred up about perceived terrorism/drug threats and gaols him for five years.
Well, some different content, hopefully.
That seems to reinforce GP's argument, though?
Even if Facebook implements these controls, what guarantee do we have that another social app won't come along without these controls? Do we regulate TikTok, Youtube, Snapchat, GroupMe or whatever the latest flavor of the month is as well? There are probably thousands of startups that would jump at the chance to monetize teenagers even if FB were to step aside.
You seem to be ignoring the fact that people plan things in real life over the internet. Conversations started online continue IRL, and vice-versa.

Social media can be really bad, and maybe it's actually mostly bad, but it does facilitate real life interactions and good things.

Imagine your child going to school but not being allowed to play with other kids in recess. Lots of bullying and physical violence can happen during recess, after all. Would you use that as an opportunity to teach them the dangers of FOMO, and to just read a book?
Reverse job board for VueJS developers
That's called guidance and the problem is that it has to be done carefully or else you'll just get rephrasings that work around the block.

I think a better approach is multi-pass coding along with fine-tuning or prompting to use a particular form of TODO comment. Aider can already do a form of fake "fill in the middle" by making it emit diffs. If it notices that some code has been filled out lazily, it could go back and ask it to do the next chunk of work. Given that large tasks are normally split up into small tasks by programmers anyway, this seems like a natural approach that is required for scaling up regardless.
I enjoyed both Monument Valley 1 & 2. Any other good mobile games like this?
> This commit message is gold

It's really sad to see commit messages like this, downplaying the issue. It's also concerning to see libsystemd get a free pass.
It is always the edge cases that will kill you. In the case of WP on PostgreSQL, the reason you want WP in the first place is the plugins and those will be hit or miss on PostgreSQL. Just give up on the combination of those two.
Too many firms are not coming clean about hacking says watchdog
I still don't see any actual casual link. Nor do I see any evidence given that the situation would improve if social media was banned or restricted, the few he does give don't talk about mental illness, but rather general wellness and add in more variables like exercise. There were other problems like "fake" data or non-significant changes labeled as significant.

I haven't even seen enough evidence to show correlation, for example a few of the attempted suicide graphs would have peaks if they went back further, or show no reaction to social media like youtube and myspace, wouldn't you expect the same group of girls who use social media 5+ hours a day to have used myspace at it's peak, and for them to have some negative reaction if social media was inherently harmful?
Maybe you could draw a correlation with smartphones or smartphone+social media? But the unspecificity of the claim is a red flag.
There is also the general principle that social science simply isn't advanced enough to make these kinds of predictions yet, so the discussion really is moot.

In my opinion this is just the typical modern overreaction to regression to the mean.

He goes on to say "what is the harm" in restricting children's access to communication. Other than the mass economic, educational and social harm none.
Just because you as an old man view the younger generations social interactions as trite, nonsensical and worthless doesn't mean it is. I guess if you view education as the top down passage of knowledge then the idea that students use their phone in class must be horrifying. "Children educating eachother over the internet? Do you want society to collapse? Society needs doctors, layers and computer scientists, not dancers and memes"

To me this seems like you are forcing your personal values onto students and their parents have already rejected them.
> PHP has libraries for compiling SCSS and minifying JS, and filemtime() is very fast

If you do compiling and minifying, that's a build step.
Google must be thrilled. The last hold out iOS will now be dominated by Chromium browsers.

Which means that Apple’s anti-tracking mechanisms will be rendered ineffective and we will see a new pro-advertising world where every advertiser will be able to track you with ease. Or did people forget how Google makes its money ?

All championed by the very developers who say they care about privacy and competition.
And? They can financial engineer a few 100 million out of country and have generational wealth stashed abroad or be a boring billinoaire in PRC. Flashing extravagant lavishness is frowned upon, maybe settle for a 300 ft yacht instead of a 600ft mega yacht like a RU oligarch or Arab crown prince. They're billionaires they can get pretty much what they want, not upper-middle class family from tier1 city trying to figure out how to wire >50kUSD to pay their kids rent and tuition.
There's nothing said about what they found on the impact site. The drone leftovers could be telling, at least to find where it came from and who it could belong to?
How about Discord? Or reddit? Would those be limited to kids as well? You can be sure that even if FB/Instagram were to ban kids, there would be hundreds of companies jumping in to scoop up all that teenage DAU.
Great, one package down, 8000 more dependencies to go