skysight-inc/HackerNews huggingface dataset:
The use pattern is different. You leave it overnight on a standard socket and it will charge fully. Or leave it charging while going to work.
I don't have charging at home at all and charge at work which keeps me comfortably topped up. If I lack any charge on the weekends I just top up once in a fast charger for about 10 minutes. Fast chargers are probably now or very soon more common than gas stations around Southern Finland.
>What made you finally grok Git?

When I realized what it was designed for. It was designed for one or a few people to shepherd software contributions from many people, pushing most of the work out to the masses and making the job of the shepherds easier. So it is designed kind of backwards of what you'd want for a personal project or a small team. Software integration is one of the most difficult tasks in software engineering and it requires someone who is aware of how everything operates and fits together and what the overall design is. If you use Git in a team where everyone does their own integration there is a strong likelyhood that no one actually does integration, which makes things go haywire later (when it is difficult to back out). If you don't have the resources to put someone in charge of integration (it can take a lot of time) do not use Git. Just use a good source control system and do design and integration in meetings up front (and periodically thereafter).

In some sense I think Git is inefficient since it doesn't so much guide development as reject bad code. All that rejected code is wasted time that could have been used more productively with better guidance. Yet the centralized nature of control in Git makes it look like development is being guided. If the center of control is not also doing design, integration, and guidance though it creates a lot of wasted effort and failed projects. To a large extent this is true of any method of software development, but I think using Git can make it worse because it can make it easier for sub-teams to ignore integration until it is too late. Git is not magic. Getting your code to build and run is not the same as integration.
There's at least this one - On the Impossibility of Supersized Machines

https://arxiv.org/abs/1703.10987
Your Twitter experience is going to be what you make of it. It's based on the people you chose to follow. Nothing more. Nothing less. The author in this case seems to be politically motivated in his decision to leave Twitter. That's his right. But he definitely seems to be mixing politics with the beauty of Twitter and I'm not sure I agree with that.
I'd say both are a data format issue, y2k was usually at a higher level and occured in custom data formats of individual software, while 2038 is in the OS and basic libraries, or even in hardware.

I do think though there were some bioses that messed it up too, so that's rather low level too.
Inspired by trpc and KoaJS, I started to think if the RESTful world can have something with native type support. Spent several days and here's the result:

- No mind-switch, still RESTful

- Write typed APIs, get a typed client free

- Guard request input (path params, query, body) and output (response)

- Minimalism, zero dependency and framework-agnostic (Use any parser or fetch polyfill if needed)

- Auto OpenAPI JSON generation

Some thoughts about future:

- Make it for prod use

- Infer CRUD APIs from a single type definition

The POC fits my needs, but don't know if it's a good idea to proceed. Is there any existing project like this? Please let me know.
i spent a very happy month last year making a game with tic80. Honestly its better than pico8 for me: better aspect ratio, standard lua lib instead of a knock-off, and very stable etc
> With interest payments to the tune of $1bn or more a year, the future of the site itself depends on obtaining colossal new sources of revenue.

Before the acquisition, Twitter's revenue was over 4 times that.
I think it has been time to leave the massive American (and now the Chinese one too) "tech" companies for a while. So in a sense, it's great that Elon has shown the world the existence of Mastodon and the ActivityPub beneath it. I know, I know, a lot of you already knew about it and were already on it too, but I sure didn't.

I'm European, Danish to be exact, and I've had this weird feeling about our politicians and public institutions being on things like Facebook, Instagram, Twitter and so on, for about a decade now. Not because it's wrong for them to use the social media platforms, but because they rely so much on American advertisement companies in doing so. In that sense, something like Mastodon just makes a lot more sense. Our government could operate a Mastodon server where they house all our elected officials, and nobody would be at a risk of being banned for breaking some American TOS. They would even be able to moderate their comment threads a lot better, by not allowing stuff like American anti-vaxxers to comment on things about Danish vaccine programs without first having to rely on Twitter or Facebook to police it for them. It seems the EU has already gone in that direction, or at least did so back in the spring of 2022 when Elon first announced his plans to buy Twitter, but our local politicians haven't yet followed.

Similarly, our journalist profession has something called a "pressekort" which is basically a certificate that shows the world that you're a Danish journalist. They could come together and build a Mastodon server where a "pressekort" is required to be a member. (There are already some of those springing up, so I guess it's already happening), and it's already limiting the amount of misinformation that happens on their posts by a massive amount.

I know this won't be the "free to say anything without consequences" haven a lot of people here on HN want. We're already seeing right-wing network servers and users completely blocked, but it's sort of how free speech works in a democracy. Before the American advertisement companies gave the village looney a platform, nobody around here listened to them. We still largely don't listen to them in my country, but we sure waste more time on them than we did in the world before Facebook.

So yes, the time has come to leave centralised Social Media companies. The real question is, whether we will actually do it. I'm not going to say that joining Mastodon was hard, because it wasn't. But I spent about a week researching a good server to join, and that's sure "harder" than just pushing my telefonnumber into TikTok.
AI in APIs
If this works, this is a game changer.

Prior to this, such accuracy (albeit a fair bit better to be honest) required a base station and RTK (real time kinematics). Dropping that requirement and getting accuracy within 10cm is amazing.
The name is a little too reminiscent of a graphing calculator.
Imagine something like "base system" with WebAssembly, bare bones HTML engine with canvas support and no CSS. So now you can just download your favourite JS engine, your favourite HTML, CSS engines. But browser does not necessarily need to sheep those. It would allow to lower the bar for entry into browser market. I think that even a single person could implement that kind of base browser.

Of course there're many hard questions. For example downloading an entire JS+HTML+CSS engine with every website is not a good approach, some caching must be done. There should not be version hell with every website asking for a different version of engine. But those questions could be approached as a more general web library issues.
> So, for my part, I’ll be moving on. My account will still exist, and I’ll perhaps use it to share posts from here, to help people migrate elsewhere, or to keep up with the increasingly few people I care about still on the platform. Instead, I’ll be posting in long-form here (subscribe!)

That's the meat of the article if you are looking for it.

I've always enjoyed pwn's content but will take a few $10 bets on them still using Twitter heavily 1 year from now.

Reminds me of election season with all the people moving to Canada frankly, it's predictable as the moon phases.
Nah, just switch to unsigned 32bit, much easier fix and someone will probably have figured it all out until that becomes a problem! ;-)
I'd advise you to get a deeper and better look at it before passing such comments.
Seems very silly to me. There is no big difference before and after Musk except that people are talking a lot about Musk - it'll die down in a bit.

I love Twitter and use it a lot. I hope it doesn't die though I acknowledge that's possible. It certainly hasn't died yet though - despite much waiting and gnashing of teeth.
> Heck most of us would love to be a part of something like.

Nope. At 1 AM? Nope.

Nobody would be in office at 1 AM by choice, they had to for the paycheck.
This is only Mastodon, not the other softwares. That's why you often see such differing numbers. There are just too many different softwares in the federation to accurately tally users.
Yeah. Nobody is leaving for Mastodon.
I just knew this would devolve into chicken and egg philosophy.
As someone from Eastern Europe where no one uses Twitter and no one uses Whatsapp - it’s fun to look at these collapsing at least partially.
Why would the benefit be "stock market performance impacts" rather than just not digging a gold mine at all if the results came back negative?
And in our Soviet passports we all had "No True Scotsmen" under "nationality".
The ideal use case for something like plasma drilling, no?

https://en.m.wikipedia.org/wiki/Plasma_deep_drilling_technol...
https://twitter.com/chadloder/status/1594139381727916033?t=x...

It is breaking.
> To C++ programmers, an object is a struct with associated functions.

And a closure is a function with associated state. They really are equivalent, in C++ as well as LISPs.
I am reading lot of people are moving to mastodon. I never thought federation was the future but the more I think about it the more it is starting to make sense.

The good part is federated alternatives do not look like massive echo chambers like Twitter is. Even if certain server does turn into an echo chamber the rest of network can just leave that server alone. Federation is closer to our actual societies. People don't clash on daily basis in our societies at least not as much as they do on Twitter. In real life, we avoid certain topics or getting involved with certain groups or going to regions/squares in cities where we know there is possibility of conflict. All these aspects are already well replicated into fediverse.
This ferver demonstrates to me that Musk was right. Some people want Twitter to be exclusive to their own politics. They don't care about who they follow, they care about who other people are following.
He did not say he made it himself. In this case you can objectively compare. But if you get it from a friend from a friend, chances are it got truffle aroma mixed in, with good intentions, without knowing it is artificial but nonetheless.
Adding to this, my understanding is that Nix does not guarantee any Nix derivation/package will seamlessly run on Linux, Mac, and Windows. So in this one aspect it is less capable than Docker, i.m.h.o.

i.e. if a package depends on the systemd package https://search.nixos.org/packages?channel=unstable&show=syst... , Nix will not automatically find a replacement to run the package on Mac. But it may be possible to manually work around this with https://github.com/LnL7/nix-darwin

More on building Docker images with Nix: https://nix.dev/tutorials/building-and-running-docker-images
That's exactly where you're wrong. Your twitter experience is going to be what Twitter wants it to be. Because twitter has user engagement metrics and it is in their financial interest to keep you hooked on the site's content.

This is something I've had to repeat countless times during the last 2 weeks, when Twitter users end up in the fediverse confused about how to find content. There is no financial interest to keep you on a fediverse instance. You have to make an effort yourself.
Yes. Default-deny-inbound firewalls are much better than NAT because they are meant to provide security, can be managed (the "default"), and don't prevent deployment of new protocols. Also we might have a standard way to manage the firewall policy in this alternative future (upnp was done outside the IETF, and is a tire fire, because IETF rejected NAT).

But also the whole posture of a home network and consumer os might have been different without NAT, maybe the host based firewall would have won out, who knows. In the alternative universes we can't assume other things remain the same.
The Europeans spent a lot of money subsidizing Tesla sales in Europe.
It takes a lot of mental gymnastics to call booster reusability "incremental".
I used Goodle Admob (back in the day it was only Admob) to monetize it. Thanks to the monetization I managed to purchase all of these devices and develop the app further. It was like finding a way to solve a tiny bootstrapping problem.
> a lot

A few thousand out of millions is not a lot. The fact that it took them until now to leave, just a few weeks after Musk took over, shows that it's not anything policy-related and motivated entirely by the removal of insiders from positions of influence within Twitter. Now they want to go infest the Fediverse. I think they'll find they're just as unwelcome there as they are on Twitter.
The majority of my active network on Twitter have now created Mastodon accounts and are posting there more than on Twitter. Maybe it’s my frontend web dev bubble?
The socially mediated announcing their departure. Where have i seen this before.

> healthy medium for serious communication.

Maybe i m crazy but i ve never met "serious communication" even though i am very proactive to seek it. It s 100% emotional outbursts, very opinionated opinions and hot takes. It's fun but not serious. This article is like that, too
I feel the same about the strengths of old twitter, and how it has mostly been replaced with meaningless yammer, bots and whatever "engagement" means.

I recently dusted off my old mastadon account, and it reminded me of the early days of twitter. I am sure people will find a way to screw up this one too, but for now I am happy to have something that resembles the good old days of twitter.

Sceptics are talking about low usage and how it will never be as big as twitter. But for me that's just positive. In fact, mastadon does certain things a bit differently specifically to reduce meaningless "engagement". Hopefully this will also discourage "influencers" from joining :)
Nice analogy with the tree, branches, etc.

Reminds me a bit of that very popular / upvoted / quoted StackOverflow answer by Jim Dennis to a vim newbie question:

"Your problem with vim is that you do not grok vi.":

https://stackoverflow.com/questions/1218390/what-is-your-mos...
Exactly, and while profit was always elusive for Twitter - the biggest cost for Twitter was salaried employees which Musk has already cut by more than half.

As mentioned in the blog post, previous management of Twitter was really REALLY unfocused. Adding NFTs, and a host of other things that never really caught on, while the core product routinely suffered a lack of even basic functionality (edit button anyone?).

Twitter is now highly motivated to find profit and monetize, but I think it's a bit far fetched to assume a debt interest payment - out of everything else that is going on - is going to be the central thing that kills twitter.
No discussion about bad videogame translations into English would be complete without mentioning "All your base are belong to us" from "Zero Wing"[1].

[1] https://en.wikipedia.org/wiki/All_your_base_are_belong_to_us
At this point, it's no longer a given that Twitter will still be physically functional in one year.
Where does HR puts people in charge?
Daily Harvest Food Poisoning Lawsuit Must Proceed Through Arbitration Process
Elections have a whole bunch of controls to ensure that people only vote once and that votes are legitimately made by real people.

Regardless of your opinion of the outcome, online polls have been viewed as pretty garbage data for a long time.
> Yeah I found it odd that there is no first class feature for versioning. I wonder what’s the reason, since it’s a pretty obvious need for a package manager.

Binary package managers need a first-class notion of versioning for install-time dependency resolution, Nix doesn't actually perform install-time dependency resolution.

Nixpkgs is a monorepo, and thanks to the way it supports side-by-side installations of conflicting versions, instead of using version numbers to check/assert compatibility, Nix just ships each package with exactly the dependencies it was built with, all the way down the dependency closure.

While it doesn't retain that fixity all the way down the dependency chain in the case of 'partial upgrades', this is also how Homebrew works. Gentoo Portage does include some functionality for reasoning about version constraints. (I'm not sure about other source-based package management systems like Ravenports or FreeBSD Ports or MacPorts.)

If Nixpkgs (or a counterpart, like an archive repo) included not just the 'current' set of combinations but a collection of old build recipes along with a record of version numbers for which builds had been successful with that recipe, or a range of versions that were known/expected to work... that could be really useful for projects downstream in the Nix ecosystem. It could power tools that import or generate Nix code given some packages and version constraints. But it's not actually needed in order for Nix to match the practical functionality of best-in-class binary package management systems like dnf.

There actually are already some tools in the Nix ecosystem that use (indices of?) old copies of Nixpkgs as this kind of archive: mach-nix comes to mind! Idr if it uses them at a source level for creating new build definitions or if it actually uses the whole dependency tree, embedded in those old versions of Nixpkgs. Either way, a better version of that is what I think Nixpkgs could soundly facilitate, while still only maintaining a single combination of packages as the official, coherent, cached collection for use by end users.
I don't care about what is technically better, nor do I think Japanese origin means it is automatically good. I care about the artists' original vision. I am interested in the story that they want to tell. Not the story some localization team wants to tell.

>there is no way to sound "piratey"

Do they need to sound piratey for me, the player, to know that they are pirates?

>Zapdos and Jolteon are called "Thunder" and "Thunders".

Is that any less lazy than English names like Seel the seal or Krabby the crab? It doesn't really bother me.
Why the US fell behind in phone manufacturing
Partisans are worried he'll let Trump come back... and as of a few hours ago he did just that. This is nothing more than a last act of political posturing by insiders and their allies who got thrown out. The furor will die down after a while and things will go back to normal... at least for Twitter, anyway. The Fediverse, OTOH, will be invaded by virulent activists who will lash out and anyone and everyone who doesn't violently agree with them on everything. I'm sure that will be fun to watch.
Agree with what you said. At least for now I don't have to see:

"TEN things you didn't know about managing upwards. A thread."

on Mastodon every 10 posts.
Could somebody explain to me how people turned in their heads "Internet SMS" into "discussion board"?
I've been on Twitter for 16 years and accumulated 43,000 followers on there.

I've been on Mastodon for 2 weeks and I'm up to 7,900 already.

The numbers on Mastodon are pretty impressive. More importantly, my timeline over there is full of interesting people talking about a variety of interesting things.
Nothing wrong? You say that now, but just wait until the year 292277026596!
Love the idea, sorely needed. Not sure about the name.
Is this also possible with Go as the host instead of TypeScript?
I don't genuinely understand what's wrong with setup.py and why people wouldn't just use setuptools, as it is even suggested by PyPA.

IMHO Python should improve what it already has instead of pushing the usage of third party tools for a core component such as packaging.

For all my Python projects I just use setuptools and the built-in venv module for isolation.

What I feel it's really missing is an official way to have multiple Python version installed.
Im calling for a moratorium on the use biological flight analogy for AI developments.
Thinking Forth (1984)
I feel like what's missing from the analogy is that planes aren't called Artificial Birds (AB). If they were, the article wouldn't be such a strawman.
When I quit Twitter years ago, I didn't move to an alternative. I just spent my time differently.
There's an emacs mastodon that is delightful!
I wouldn't be surprised if vast majority of Twitter users not only do not care but even isn't really aware of ownership change.
> They basically look at fraternal and identical twins and assume (because their environments are otherwise probably close) that any differences in outcome are heritable. It’s a huge leap of faith.

You’re making it sound like the researchers are idiots who have never thought about how their tools might not be measuring what they hope they are.

As well as identical/fraternal twins you can also look at other sorts of relatedness, e.g. half siblings are on average as related as first cousins and on average you’re as closely related to each parent as each full sibling. Psychological traits are inherited like height is, not like language is[1]. Mental illness is highly heritable though the expression varies[2].

As a parallel line of evidence to confirm classical twin studies and those based on degrees of shared ancestry cheap genetic testing has allowed testing how closely people are related. So you don’t have to assume a sibling shares 50% of their genes. You can see if they’re 73% similar or 41%. Or you can take people who have no known shared recent ancestry and see how similar they are on the trait of interest.

To the best of my knowledge behaviour genetics is holding up. For psychological traits genetics is more powerful than developmental noise.

[1]> Genetic Influence on Human
Psychological Traits

> There is now a large body of evidence that supports the conclusion that individual differences in most, if not all, reliably measured psychological traits, normal and abnormal, are substantively influenced by genetic factors. This fact has important implications for research and theory building in psychology, as evidence of genetic influence unleashes a cascade of questions regarding the sources of variance in such traits. A brief list of those questions is provided, and representative findings regarding genetic and environmental influences are presented for the domains of personality, intelligence, psycho- logical interests, psychiatric illnesses, and social attitudes. These findings are consistent with those reported for the traits of other species and for many human physical traits, suggesting that they may represent a general biological phenomenon.

https://utahpolicy.com/wp-content/uploads/2013/12/bouchard.0...

[2]> The p factor: genetic analyses support a general dimension of psychopathology in childhood and adolescence

> Diverse forms of psychopathology generally load on a common p factor, which is highly heritable. There are substantial genetic influences on the stability of p across childhood. Our analyses indicate genetic overlap between general risk for psychiatric disorders in adulthood and p in childhood, even as young as age 7.

https://acamh.onlinelibrary.wiley.com/doi/pdfdirect/10.1111/...
I am willing to bet that you ll tweet again as soon as the new outrage is launched. This is after a cursory look at your twits and style. It is exactly the kind of users that twitter wants to have. Followed, to check if i was right