skysight-inc/HackerNews huggingface dataset:
At a previous job, we hired a fair number of both junior and senior engineers. The job was doing F# and since most places don't do a ton of functional programming, I would try and get people up to speed in some of the more functional aspects of the language (how good I was at that is a matter of opinion).

I always enjoyed teaching the junior engineers more, simply because they hadn't developed a lot of habits yet, and their brains were more plastic. Instead of trying to "write Java in F#", it was easier to just teach them idiomatic F#.

Senior engineers were more annoying, because they were kind of "too good". Instead of making a real effort to try and learn the language and its quirks, they would instead just try and figure out ways to do their old imperative stuff in F# (e.g. using `mutable` everywhere, using classes for everything, relying on state instead of function arguments, not really utilizing monads, etc.). Most of them did eventually pick up F# and got reasonably good at it, but it was always harder to sell them on it.

I think it's good to have a mix of both. Senior engineers come in with a lot of expertise and can often think about projects at a higher level, and that has obvious value, but I think they can also develop tunnel vision and get fixed in their ways [1]. Junior engineers can look at things with fresh eyes, and give new perspectives on things that can sometimes be non obvious.

I also think mentoring is good for senior engineers as well. It's extremely easy to become jaded with industry. Corporations are uncaring monsters that kind of objectively suck ass, and it can easily make someone extremely cynical over the course of several years. I think there's a lot of value in having exposure to people that haven't had the life and hope drained out of them yet.

While I'm not planning on doing it again for the foreseeable future, I did enjoy teaching at a university for two semesters, and I particularly enjoyed talking to the ambitious students who really took school seriously. I'd like to think I made a positive impact on them and helped them grow their futures but of course it's impossible to really know that.

[1] I'm certainly guilty of that, though I do my best to try and fight it.
Very promising to be much more flexible than standard keyboard shortcuts which don’t allow multi line.

Nice privacy policy (don’t collect anything, storage is local).

Three questions

1 How do I unlock private items?

2 How do I get back to the normal keyboard? On my iPhone SE there seems to be no button for it. To type this text, I had to disable it again which seems suboptimal.

3 What are your plans for the app?
How is this possible? Where is the parenting? I can understand maybe at the age of 13, you can let your kid go on Tiktok. Otherwise, this is pretty insane.
You can trivially head from Irun to Hendaye.
The 6+2 spikes around the bright stars is a diffraction pattern created by the edges of the hexagonal mirror segments (the six large spikes) and the three struts that hold the secondary mirror (also six spikes, but four overlap with the mirror spikes).

https://smd-cms.nasa.gov/wp-content/uploads/2023/07/webb-dif...
As a parent, that's crazy to me. I'm hoping to keep mine away from social media for as long as possible. It seems to create all kinds of mental issues.
Well, I expect that rigid respect for the law is why you didn't start the Internet Archive, and also why you weren't in a position to help millions of people during one of the biggest social upheavals in the last century :)
Word of the Day: Inviolable – Merriam-Webster
> But in 2021 there was enough evidence on who did it and what was being planned to take action.

Seems like you agree the reason it was not published before 2021 was that there wasn't enough evidence collected yet.

Isn't that the most parsimonious explanation? Why do you feel the need to add this superfluous German angle / Russian resources unfounded speculation?
There's luck involved, but if you listen or read some of Marc Andreesen's ideas there's no doubt he's highly intelligent and thoughtful. Ben Horowitz even said he was the smartest person he'd ever met in his book. While he was obviously working on the right thing at the right time, his fortune is not what I would consider
blind luck.
If you can’t separate the books world and the person, then you are just gonna make everything hard to be enjoyed. Every person has issues either you know it or not, say your favourite writer, you just haven’t found out a secret that pisses you off about them yet.
> A bit tangential to what I was referring to, but essentially we can sum your points up to labor shortage, right?

In a sense, though there's also some intersecting concerns. E.g. judges and lawyers aren't economically productive in the "creating things that we can sell or export" sense. That presents an opportunity cost, because it means we are pulling people out of roles that are economically productive and into roles that are not.

E.g. the general cost of labor would probably rise if the judicial system started employing full percentage points of the US population more than they currently do. Likewise, I suspect GDP would drop since we are pulling people out of "making things" and into "regulating things". We would just be literally making fewer things, since we had fewer people employed "making things".

> Law school doesn't have to cost $250k. And pay doesn't have to be $30k at entry to a government job.

One of the issues here is that the government (state or federal) is both the prosecutor and the source of funding for the defendant's lawyer. E.g. here's a fun tidbit for California: a prosecutor's average salary range is $98k-$132k while a public defender's average salary range is $89k-$119k. Even among jobs working for the government, it's about a 10% pay cut to defend people instead of prosecuting them. Across the country there are roughly twice as many employed in prosecutorial roles as there are in defense roles (funding roughly matches that, with prosecutor's offices getting funded at ~180% the rate of public defenders). In 2018, there were 372 arrests per attorney in public defender's offices but only 260 per attorney in district attorney offices.

Prosecutors can afford to spend ~150% of the time on a case that public defenders can, and can afford to spend far more per case on expert opinions, lab results, etc.

The government wants it that way, because it feeds into the "efficiency". People are far more likely to take a plea deal when they know their public defender is overworked, underpaid, and under-resourced compared to the prosecutors. Funding defense attorneys makes cases take longer to get through court, because people would be more likely to reject plea deals and the public defenders would have more time to formulate legal arguments.

Anecdotally, you can see this first hand in video from court cases. It's not unusual for there to be 3 attorneys sitting behind the prosecutor's table, and a single attorney behind the defendant's. The prosecutors are just that much more well-resourced; they can afford to send a trio of attorneys to double-check each other. Meanwhile the public defenders are scrambling with stacks of folders trying to figure out which one is for their next defendant.
Minused
According to "Screen Damage: The Dangers of Digital Media for Children", which I recommend, there is no scientific evidence of kids without access to phones being more sad, depressive, etc. But there is evidence of the opposite.

Yes: absence of evidence is not evidence of absence. But it still makes your decision easier.
Yeah. Suppose Big Bad Chinese TikTok were banned in USA. What is stopping someone from ripping a compilation of TikToks and uploading them to YouTube? How is that any different?

It's good that TikTok is bringing attention to this issue but don't let anyone tell you for a second that it is the sole problem.
If you're writing proprietary software and trying to get it out there so you can get paying users, it's your job.
I can definitely echo the challenges of debugging non-trivial LLM apps, and making sure you have the right evals to validate progress. I spent many hours optimizing Copilot Workspace, and there is definitely both an art and a science to it :)

That said, I’m optimistic that tool builders can take on a lot of that responsibility, and create abstractions that allow developer to focus solely on their code, and the problem at hand.
It could be lmsys's model, trained off GPT4 data and others in the arena.
Tai's Model for finding the area under a curve (1994) [pdf]
Thanks for the Black Sails suggestion. I hadn't heard of it but will check it out. High praise on IMDB.
They've done the analysis: meta-analysis of random controlled trials , see https://www.bmj.com/content/384/bmj-2023-075847

"Exercise is an effective treatment for depression, with walking or jogging, yoga, and strength training more effective than other exercises, particularly when intense. Yoga and strength training were well tolerated compared with other treatments. Exercise appeared equally effective for people with and without comorbidities and with different baseline levels of depression."
I have a 12 and 10 y/o. Neither has a phone, but both have access to plenty of approved apps (games, etc.) via their iPads, and now also group chats via iMessage where we can choose read everything (we spot check) and know the contacts. This seems like a reasonable amount of connectivity, without the full wrath of social media just yet. They occasionally complain their friend has an iPhone 15 XL blah blah, but then they move on.
The government agency was tasked with finding ways of improving their work. One of the things they recommended was for the selection of ballots to be hidden, which has been implemented since then.

It will probably have a negative effect on the ability for smaller parties to get started.
Replaced the TV from the 80s and 90s.
Haha, true. I just recently wanted to make a quick and dirty page that would calculate the middle point of a bunch of coordinates and then show it on a map. After contemplating how to get started I remembered that the server is running mod_php. 10 mins later and the (ugly as heck) page was working. The map stuff was client-side JavaScript from GitHub, the coordinate calculation were less than a screen page of PHP (of which most was HTML and CSS).
...you can mark all the books you've checked with a hole so you know you've checked them.

Work harder, not smarter. /s

Jokes aside, I still agree with GP, in that there are more practical skills that are left out of education that would be far more useful in day to day life. The Dewey Decimal System has been replaced with search engines.

I don't need to know how a search engine works in order to type in "how to use a drill press" and read the results. But that's because the knowledge and understanding of how computers work at a high level circumvents the need to do that - a search engine is a form, give it something to search and hit the submit button. Easy.

Being taught by someone to use machining tools helps build an understanding of how every day items are made using those tools, so you have a more fundamental understanding of the items could be combined together into other more interesting things, repair them, take them apart and service them.

It's almost the opposite problem of maths in schools. We're taught maths in various incresasingly complex ways, all the way up to calculus. Those methods teach us how to use maths to do clever things. But every day maths doesn't need that. We're taught compound interest, but we have to use that to figure out how to do our taxes by ourselves without any help. Wouldn't it be nice to have an overlap there, hit two birds with one stone and we all walk away with a stronger understanding of the world?

If we're not taught how to make things, we struggle to learn how things are made, which means less things get made. Learning how to make things early, and embedding the knowledge of how things are made, enables more things to be made in future.
With the right compounding pharmacy you can get it for less than ~$200/mo USD since Ozempic and Wegovy are the same drug, Semaglutide, just at a different dose.

Is it "off label" use of Ozempic? Yes. Are the FDA and medical patents in the US broken? Yes.
Well, I've been out of work for now over a year, and it's the third time in 10 years. People will say that advances in tooling create more work, but ultimately more work is created when there's more money flowing around, and when that money is invested in tooling to eek out productivity gains, which will continue, but will it outpace how much we're padding out the bottom of the funnel? Will so much more money start flowing around for a good reason that it matches how many people can do the work?

It's also worth considering that if you finished school prior to 2020 and started trying to tackle the brutal fight upstream that software development already was, why the hell would it be worth it? For... the passion? For... the interest in technical stuff? Quite frankly, in a tech career, you need to get quite lucky with timing, skill, perception of your own abilities and how they relate to what you're paid to do, and if you have the ability to be passably productive at it, it's at least worth considering other paths. It may end up comfy, or it may end up extremely volatile, where you're employed for a bit and then laid off, and then employed, and laid off, and in-between you end up wondering what you've done for anyone, because the product of your labor is usually at-best ephemeral, or at-worst destructive to both the general population and your mind and body; waking up and going straight over to your computer to crank out digital widgets for 8 hours might seem lovely, but if it's not, it's isolating and sad.

Also worth considering the tax changes in the U.S that have uniquely made it more difficult to amortize the cost of software development, but I don't claim to understand all that yet as a non-US person.
TikTok Reefer Madness
When your kid is reading a book, watching TV, radio, playing a video game, etc you still have a -general- idea of what the kid is into. When it comes to something like TikTok, YouTube, etc they are one swipe away from literally anything. I don't think a kid 5-7 years of age can truly grasp it. I've been very online for a long time, but I don't think that really started until I was 15 or so. A 5-7 year old kid having access to certain thing is just awful parenting.
I wonder how much the complex is charging for this, and whether people who have parking spots but don't have EVs also have to pay.
For recent or popular work maybe that kind of works yeah, for everything else though... I challenge you to find legally even early 2000s less popular movies or books, let alone older work.

The current copyright system is pretty terrible at keeping track of older content and the few ones that still manage to make it through have questionable rights holders.
And by that analogy, the previous BIOS version was released in 1981, and modern networking is hamstrung by its design which assumed "4 billion addresses ought to be enough for anybody" and that it needed to be manageable by an 8-bit OS with 64KB of RAM.

IPv4 is a brilliant protocol for having been published 43 years ago. There aren't a whole lot of technologies that old still widely used. I mean, I'm glad my NVMe drive doesn't have to shove bits through an ST412 interface.
TV and video games had similar issues in generations past.

The solution is parents need to be involved with their children and set limitations on their use.
Yes and no. If you keep your kid off of these social media sites (a) you're going to fight about it Every. Single. Day. For. Years. and (b) they're going to get on them with burner accounts/devices anyway. Where will they get a burner phone? From any other kid at school that gets a new phone, and wants $20. The whole situation is psychotic. Even without social media there's horror stories from the "local media" of AirDrop and group texts.
One thing is the detrimental effects of general usage, but what happens to children when they encounter “extreme” content?
> this seems to imply that ISP rotating ipv6 prefix is "obvious", but uh. Really?

Please no. That would mean constantly having to check PD and updating DNS, wireguard endpoints, etc. accordingly.
No, we dont want jr level tech talent.

If are walking into your first job and you dont have an internship or some open source on your resume I know that you got your degree for the money, not because your passionate.

I can also tell you that all the leet code interviews are bullshit. They are a piss poor excuse to filter out the "undesirable candidates". Could you imagine if we hired designers like coders? Yes were gonna need you to come in, we have some text for you to kern and the easle portion of your application is going to be in acrylic or oils, sorry we dont do water color here.
Am the anomaly here? No. one in my kids class is on TikTok and my kids don't use phones except to steal ours and take pictures or occasionally watch a shared family video. I'm not virtue signaling, I'm saying that I am surprised that this 30% is true.
meh. nevermind. it's back. guess someone pushed out an update they shouldn't have and they eventually reverted it.
In 1994, a medical researcher presented an apparently novel method for approximating the area under a curve by summing the areas of small trapezoids underneath it, clearly never having taken elementary calculus. It wasn’t long before a follow up paper pointed out her mistake.

https://diabetesjournals.org/care/article/17/10/1224/18808/T...
Programming languages are a formal way to deliver instructions to a machine. Software is a set of instructions whether you use Python or some visual language . LLMs are just another way of generating those instructions. You still need someone that knows how those instructions work together logically and how to build it using best practices. You can't escape that no matter what you use (Python, some no code tool or LLMs).

So in that sense, the role is not going anyway anytime soon. The only thing that could change is how we make software (but even that is unlikely to change that much anytime soon)
When I was a kid, all drugs were illegal to me too. Yet my parents had cigarettes, coffee, alcohol, and weed in the house. Me and my siblings didn't touch them.

That has something to do with the law?
Where? Worldwide? West countries?
I'm sure Nintendo knows about it, they're a multibillion dollar company that's famously litigious and it's not like the IA is some obscure part of the deep web, so it wouldn't surprise me if they're just biding their time to see how this lawsuit goes.

They might be afraid of the optics of suing a library, but I just think it's a matter of time before they get over that.
Faced with this kind of irritating confusion, one must try to stay nonchalant rather than nonplussed.
Is China stockpiling resources in case of future war?
What's the alternative?

Do you feel that entities like The Financial Times should just willingly or be forced to give up all their data to the public?
A bit of a shameless plug, I've created this Rust tool to visualise header dependencies (major contributor to build time) of C++ projects.
https://gitlab.com/Akeras/header-dependency-visualiser
Zelenskyy seems to have risen to the occasion.
This is your friendly reminder that, if libraries didn't predate copyright, they never would have existed because copyright owners would have argued it's a flagrant violation of copyright. Even given that libraries are clearly legal, copyright owners still try their utmost to make them illegal, because they're seen as lost purchases.

If I were only allowed to change one thing about copyright, what I would change is not the length of copyright terms, but the treatment of digital works. Kill this stupid pretend game that you don't buy anything digital, you merely lease it, and therefore the creator gets to jerk you around to their heart's content because contract law supersedes all. No, make a digital sale a sale, and then we get to have the First Sale Doctrine kick in. And hopefully we get to sit back and enjoy the schadenfreude as they repeatedly go to SCOTUS as the printer manufacturers do with some new harebrained attempt to work around First Sale Doctrine and SCOTUS goes "lol, nope, doesn't work."

But truly, fuck the ebook lending practices. It's downright predatory and it just makes me never want to actually buy an ebook (unless it's from one of the few publishers that goes all-in on DRM-free ebooks).
Know that you're not alone! I have young kids to and there are many of us who are trying our damndest to make sure that our kids have a normal childhood.

Our kids basically get 1 hour on Saturday, 1 hour on Sunday (sometimes a bit more), and only shared screen time (like we watch shows as a family, not individualized) on weeknights at most. And they definitely want more, but we have pushed hard enough for them to play outside so they are able to do that with a couple other neighborhood kids and they love it. Neither are teenagers yet so I'm expecting things to get a lot harder in coming years.

And our kids won't get smartphones until they're older (we've said 14 but my wish is for 16. I'm hoping there will be an under-16 social media ban as law). This is going to be the toughest nut to crack, because it requires many parents to agree on the same norms.

We're also holding out hope for proper and official smartphone bans in schools. Many staff in schools are sick of it, so I think it's just a matter of time.

It is also going to depend a lot on each of your kids. Some kids have more FOMO, others don't. Probably worse for girls than boys too at a population level (there's plenty of data supporting that).

Good luck and I hope that parents like us eventually prevail.
Yeah this is a difficult concept, and I think the way the big bang is commonly portrayed in media often leads to this misconception of the big bang as starting at a point in space rather than a density.

I uncovered this for myself when asking, "where is that point now?" and discovering it was never a point at all, space is expanding from all points simultaneously.
The world sat idly when he invaded Georgia, Crimea, Donbass. When Russian agents sabotaged facilities over Central and Eastern Europe, murdered dissidents and civilians.
When taking the Chunnel recently there are two passport checks on the way to the train, leaving UK and then 20 ft later entering France.
I punch you, and you punch me back ...

That's not my vibe, man. And I think I'd prefer not to pursue this line of discussion any further.
All things in moderation; including moderation.
Over 51 thousands of "downsides" so far, and counting: https://t.me/s/pechalbeda200
I've heard Google doesn't use much Python anymore. It was probably a bad idea to pigeonhole oneself as a "Python developer" at Google.
> or giving them FOMO and complexes by depriving them of a phone.

I had plenty of friends when I was young that had restrictions on "TV time". My parents, in contrast, were very "hands-off". I've never heard people who are now adults who had "TV time" restrictions express a lot of FOMO or regret about it. Some frame it as "my parents were strict" or "my parents were a little overbearing" but that's about it.

Obviously I understand that it's not the same thing since phones are a 2-way medium and can sometimes be a lynchpin for communication these days, but it's not that crazy or unprecedented either.

What's talked about less (and I suspect the cause of a lot of reluctance to take phones away) is how parents now track their kids' whereabouts using smartphones and apps[1].

[1] https://www.theguardian.com/media/2022/may/01/honey-lets-tra...