skysight-inc/HackerNews huggingface dataset:
I don’t release OSS software so this is a peanut gallery comment. But I don’t understand the preoccupation with changelog-driven anything. The changelog is the source of truth? The VCS log is a guaranteed sort of truth. Now having a single file that everyone else can read is convenient. But I don’t quite understand being so motivated to go through a lot of hoops (like automating the changelog, dealing with merge conflicts from multiple contributors when appending to one changelog file). What I would naively do if I wanted to automate the changelog:

- Make a script that creates the Git (or whatever) tag and also appends everything new to the changelog via something like git-shortlog

Using a GitHub workflow for that seems complicated (yaml and all).

But if I wanted a curated changelog? I guess I would write it semi-manually: maybe some scripting around the git-log (for relevant pieces) and sprinkled in with either deletions of things that are too technical or nitty gritty + additions of things that the user might care about (but might be obvious from the log for the developers, i.e. not really spelled out there).

But I wouldn’t wanna use something like “conventional commits”. Mostly because I don’t like the convention it uses. But also because it seems to rely too much on the log, i.e. you end up with duplication. (A changelog that closely mimics git-log is convenient (again) but I also would want to sprinkle in some end-user specific writings.)

Aah, well maybe (hopefully) I get to develop some library or something which I feel deserves a changelog someday. Maybe when it gets more than two GitHub stars.
Managed to make it through by only losing a life on Level 6. The last two were very scary (and I think I got very lucky on the last one).

But I guess I played enough Super Monkey Ball as a teen to still have a lot of practice for this.
it catches them before writing tests, which is a clear win
We're working on an MIT-licensed ERP built on Supabase/Remix. Currently ERPNext is much better (because it's more flushed out). But not for long I hope :)

https://github.com/barbinbrad/carbon
As long as people are willing to pay for this kind of thing (and the people "paying" are often paying for access to the data the herdmasters are collating from the flock), then there are people who are willing to sell it.

That also goes for terrible security, and awful UX.
It is really hard to find a "world" that has people in it, that you actually want to talk to. I have had some great experiences there though, some regular people that hang out in worlds and talk about stuff. It's kind of cool when it happens but it is hit and miss. And there is something missing with the kinds of things you can do, Super Rumble feels like a real game, but most worlds are aesthetic in nature, a place to sit and look at stuff. It feels like it needs to mature.
dont bring nationalists into this -- most of these multi-nationals have no gods, masters, states, or religions outside of getting that money
Looks like it might be down. Love this idea.
Hey, thanks so much for pointing that out. I’ve corrected the typo now.
Not disagreeing with your point, but it couldn't be a compiler optimization, could it? The compiler isn't able to infer that the class will not be inherited anywhere else, since another compilation unit unknown to the class could inherit.
Maybe but it just seems silly to not briefly try out a few of the options as a teacher model before settling on one (Claude)
I live this every week. I regularly get calls from my dad about a phone, computer or tablet that is not working right. When I address it, it is always either he is using it incorrectly or we can't reproduce the error a second time--which usually means he wasn't using it correctly.

One thing that has helped is getting him better with voice instructions on his iPhone and Amazon tablet. When he messes up the device by clicking on something, he doesn't know where to tap to fix it but he can tell it to do so verbally. That has reduced the amount of tech support calls.

I also have Team Viewer installed and set up so I can just remote into their computer. I had to delete the shortcuts for Edge (and IE when it was there) because they are more likely to download a searchbar or something than they are with Firefox.
> Akaunting is free, open-source online accounting software for small businesses

So my obvious questions are 1. if it's free, how do they make money / maintain it, and 2. if it's online, how is it kept secure. So...

> That's right, completely free. The Standard plan of the On-Premise (self-hosted) version is free in terms of price and freedom (source code available).

If by "completely free" you mean "with a lot of restrictions, starting with self-hosting" and by "freedom" you don't mean the same thing everyone else means by that (since as everyone else pointed out this is not open source).

Okay, fine, by "free, open-open source online accounting software" they mean "free or online but not both, and source-available". That's more lies than I would want from accounting software, but let's see if they're secure.

From the front page:

> As we talk about your financials, you must be sure that data is in safe and software doesn't abuse them. Open Source software provides you full privacy.

Again, not open source, but source-available does mean auditable. Of course, it doesn't mean privacy-respecting (even real FOSS can expose your data, you can just see that it does and patch it), and it helps but it certainly doesn't automatically mean secure.

Then on https://akaunting.com/plans :

> Is my data safe?

> Completely safe. Our servers are protected physically and electronically. Any connection between you and Akaunting Cloud is protected by 256-bit SSL encryption, and backups are taken hourly, daily, weekly, and monthly.

So, uh. I cannot stress enough how much that would not reassure me. No mention of at-rest encryption, no audits, no reason to think they aren't hosting the thing on servers that never get security patches. "We use HTTPS and take backups" is something but it's the bare minimum for any paid SaaS, not something to brag about and nowhere near good enough for something with all your financial information.
Note that these are only rough estimates, based on politicians' disclosed holdings.

Estimates are updated on an hourly basis, using stock price data.
what a coincidence, we have plenty of disposable cheap labor not too far south of those factories.

they are even queuing themselves up in distinct routes based on race and national security concerns.

this is what real politik looks like in modernity.
Framework Series A-1
Very nice strains! There was a lady in, I believe Latin-America, who had terrible oral hygiene and yet never had a cavity. So they analyzed her saliva and found this specific strain. I just spent 30 minutes looking for the study that I'm referring to but I can't find it for the life of me, apologies for that. I believe it was one of the streptococcus salivarius strains that you already included though :)
People simply don't realise the scale of the data brokerages that trade our data on everything we do. GDPR simply didn't go far enough in highlighting this.
I’m sick to death of software developers attempting to drive-by engineer solutions to fake problems that they have zero idea about. Like, come on. Maybe it’s be worth getting some input from someone that actually knows what common problems these supposedly needlessly burdensome regulation tend to pick up.
Nicely implemented; controls felt very intuitive on the keyboard.
Study: Super Mario 'speedrunners' tricks could protect software from bugs
Devops is a meaningful term
If I’m not mistaken, this is the first use of a proof assistant to settle the status of a difficult proof that had been sitting in limbo for years. There were some previous projects (e.g. the Four Color Theorem in Coq) that validated existing proofs with a large computational element handled by untrusted software, but I think this is the first one where the epistemological status of the result was uncertain in the larger mathematical community.
The US has a pretty good work ethic. It's mostly different from East Asia. It's not like Korean, Japanese or Chinese tech companies are THAT much more productive than US ones.

If anything, lower salaries in Asian countries indicates that their productivity is lower than in the US.

People in the US work relatively long hours compared to, say, Europe. They're also some of the most creative and agile out there.

I suspect that part of the reason TSMC is having such extreme success right now, is that they're by far the most successful company in Taiwan. When they're looking for people, it's like OpenAI looks for people in the US, they can get almost anyone.
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
One of my goals with Ada is to have a one-liner copy-paste terminal command for people to install Ada so they can get to coding in just a few minutes. After extensive testing I feel like it's ready for general release[1].

Getada was inspired by Rustup[2] and aside from the init script is written entirely in Ada.

It's completely open source and you can check out the readme and code on github[3]. It currently supports all non-windows platforms that Alire has an official release for, which at present is Linux (glibc) and MacOS. If you try running it on an unsupported platform, it tries to point you in the right direction. For example, you can install Alire on windows with an already-existing installer.

It downloads the latest version of Alire[4] (Ada's toolchain and package manager, similar to Cargo) for your platform as a zip file to a temporary directory and then extracts it to a binary directory. By default the temporary directory (configure with "-t /directory" or "--tmp=/directory") defaulted to $TMPDIR or /tmp. The config directory is ~/.getada (change via "-c /directory", "--cfg=/directory", or $GETADA_CFG), and the alr and getada binaries go in ~/.getada/bin (configure with ""-b /directory", "--bin=/directory", or $GETADA_BIN). It also tries to add the file to your path by dropping a "env.sh" file into ~/.profile/ (disable with -p or --no-path).

If you don't allow executables in temporary or home directories, you can change all of these via environmental variables or passing parameters.

You can remove it all by running: getada --uninstall

Now you can create a brand new Ada project with: alr init --bin my_project (How to use Alire[5] for more details)

Since one of the biggest complaints about Ada is getting the toolchain [6], I hope this can solve a lot of problems for newcomers to the language.

[1] https://www.getada.dev

[2] https://rustup.rs/

[3] https://github.com/aj-ianozi/getada

[4] https://alire.ada.dev/

[5] https://www.getada.dev/how-to-use-alire.html

[6] https://programming.dev/comment/9438211
Oh, Mozilla, why oh why do you keep talking about issues of privacy but gave up on your plan to invest into decentralized alternatives and mozilla.social?

I don't want to detract from the article, but whenever I see this I think "we know that already, but now what are you going to do about it?" and their answer is "invest in AI safety!"
If you have the local infrastructure for it (or do it on cloud) VDI is an option. It's easy to snapshot, backup, and reimage, and if you store their files on a network drive a reimage won't affect it. You can also easily remotely access their machines to install software and inspect the machine, and you'll be doing so anyways as they shouldn't have root privileges.

VDI can be usably fast even with no GPU; for instance with a 8GBx8vCPU instance on an Ivy Bridge server I can actually watch 1080p Youtube with no frame drops.
What if the collapse simply leads to anarchy, and we relearn Hobbesian lessons? I’m also skeptical that “queer communism” would arise in the resulting melee even if order emerged from the chaos as most Americans would find that concept repulsive and resist it with deadly force.
I would not trust an "open source" app that is just a web app.
I considered writing a top-level comment, but a reply here to expand on my assertion is probably more appropriate --

To state the obvious, in general it's a bad idea to directly contradict your "boss", especially so if he is the Emperor and can sentence you to death if he's displeased.

That said, the aggravating factor in Sima Qian's case was that, the campaigns against the Xiongnu was kind of the Emperor's "personal" project, which was generally conducted outside of the government's bureaucratic system. For example, the Emperor appointed various relatives of his wife (i.e. the Empress) into high positions within the military campaigns, and he was personally involved in all sorts of strategic planning. I think this could mean the Emperor was personally involved in the chain of decisions that got Li Ling a bad situation with the Xiongnu.

So then, imagine you have a choice between saying it was the general's fault for losing tens of thousands of soldiers, or it was the Emperor's personal fault. I mean, you don't really need to understand the complicated philosophy of "Mandate of Heaven" to realize there's only one answer that doesn't risk your life.

Even among Emperors in Chinese history, the Emperor Wudi was actually quite notorious for being rather ruthless. In the end even his son the crown prince feared him enough that the son hastily staged a rebellion when the son perceived his political enemies were going to smear him in front of Wudi. In the aftermath, the Wudi killed his son and his wife for the rebellion, appointed another son as successor, and then killed the successor's mother (because, he said, he didn't want to risk the mother's relatives taking power).

Pretty brutal stuff.

So IMHO it wasn't so much the "Mandate of Heaven" that got Sima Qian in trouble, but rather it's the old adage of "don't contradict your boss" (especially if he has a license to kill), and the fact that Wudi was more ruthless than the average Emperor by a fair bit. Of course in the Anglo-sphere it's more eye catching to link historical events to exotic concepts like "Mandate of Heaven"... but reality is sometimes a bit more boring than they'd like you to believe.
Who cares about that much space?

If you do, you're not storing your bits as text to begin with.
It has nothing to do with DEI. There's just a self serving political lie. Even the examples in the article make no sense, ok, some government agency is going to have a DEI officer, so what?

TSMC famously treats its workers like trash. I've seen it up close when my students would join and report back about how terrible the environment is. You should see what the leadership team has to say about how workers should behave. US workers don't want to put up with it so they're having a lot of difficulty finding people.
Does it affect you negatively in your life? The point of a clinical diagnosis is so that you can get further help to address issues. If it doesn't affect you negatively, then you won't get a clinical diagnosis.
Autistic is just a label for a very diverse condition. You are probably atypical neurologically in some respect, just accept it as part of you.
Except you need to write the test first, else there is no way to ensure that your tests actually work and aren't passing because your tests have bugs. So what have you won, exactly?
It's not really about the unions in this case, it's just the few owners of some decaying old ship yards. There are only maybe 90 Jones Act ships in existence (you'll see different numbers). These are the sum total output of ~150 US shipyards. Its time to rip of the bandage, not only does this arrangement produce almost no ship it hobbles the domestic shipping industry, small ports, Hawaii, Puerto Rico, and anyone who wants to move goods or people by water between US ports.
That's like opposite of how they valued Wework. High IQ VCs finally figuring out great valuations before IPO
Why is Conway's Game of Life so interesting? Does it prove anything or lead to insightful discoveries? The game itself seems to me, like a fun little toy at best.
Oh, no, not at all... For anything but the most trivial of uses, it's paid now. The title says "free, open-source online accounting software for small businesses", but it's more like "free xor online" and source-available, not open source.
amazing..
Thank you! I was indeed using the wrong term. It looks like 39 states allow bikes to ride two-abreast (sometimes more).
Apple said to be developing its own AI server processor using TSMC's 3nm process
Right, any connection between you and news.ycombinator.com is also protected by 256-bit SSL encryption; so bleeping what.

"We are secure because we use HTTPS, not HTTP" is rather 1994 more than 2024.
Proto-typography: how type is dictated by the surface it's written on
NetBSD 9.4 Released with Security and Stability Fixes
Did you ever meet or interact with Conway?
You have no idea of the meaning of that word.
> Apple is said to be developing its own AI server processor using TSMC's 3nm process, targeting mass production by the second half of 2025.

> According to a post by the Weibo user known as "Phone Chip Expert," Apple has ambitious plans to design its own artificial intelligence server processor. The user, who claims to have 25 years of experience in the integrated circuit industry, including work on Intel's Pentium processors, suggests this processor will be manufactured using TSMC's 3nm node.

> The Weibo user has a number of accurate previous claims, including that the iPhone 7 would be water-resistant and that the standard iPhone 14 models would continue using the A15 Bionic chip, with the more advanced A16 chip being exclusive to the iPhone 14 Pro models. These predictions were later corroborated by multiple credible sources and proved correct upon the products' release.
Amid Water Crisis, Mexico City's Metro System Is Sinking Unevenly
Carnegie: “I’d like to avoid being remembered for having a bunch of labor strikers shot and killed. How can I launder my reputation?”

PR: “sir, with enough money you can make the public believe whatever you want.”
https://en.m.wikipedia.org/wiki/Whitewashing_(censorship)
Convenience goes a long way. This is an area where harm is diffuse and removed from each individual's behavior, so the market has no way to punish bad behavior. A common failure mode.
You may (like me) have been trying to interact by tapping/dragging/etc.

You need to physically tilt your device to play.
Who has access to the best LLMs for writing!
I care a lot about my privacy and this was one of the main reasons I didn't want to use dating apps. But I also didn't want to stay alone and meeting people in meat space (maybe I shouldn't have called it that) also didn't work for me, so I did end up using one of these apps. Luckily it worked and I clicked delete as soon as possible.
I agree entirely about plain text, but I'm also fine with common and long-established graphical file formats and (although I prefer to avoid them because they're terrible for reading on a screen) PDFs.

I also agree that if it's an online-only resource, then it's not preserved at all.
Heh, I think I can find answers for "surprising" a lot more easily than for "useful". The main practical use for Conway's Life is as a teaching tool, giving a nice explorable example of layers upon layers of incredible complexity that can arise from very simple rules. So I suppose that people who can benefit from that kind of insight might find Conway's Life "useful", in a way -- engineers, mathematicians, and just anyone who is curious about the universe we live in and the physical laws that seem to underly its behavior.

The big surprise that I've been spending the most time on lately is the utterly strange result that if you can build something by colliding gliders together -- no matter now many gliders and no matter how big the final pattern is -- then you can also build it by starting with exactly fifteen gliders in an otherwise empty Life universe:

https://biggieblog.com/building-arbitrary-life-patterns-in-15-gliders/

It's a mind-bending result -- partly just a mathematical trick, since you end up encoding a whole lot of information in the space between the gliders -- but it's just really amazing that all the details have actually been figured out to make the trick work, and that it's possible to simulate the whole process on a personal computer.
Idea: It would be super cool if the camera angle also shifted a bit when you tilt your phone, making the level look more like a real object. You would have to assume the relative position of the phone from the viewer, but that assumption is already being made (given that the view of the level is not from directly overhead currently).
If TikTok Is Such a Threat, Show Us the Receipts
Dating apps in particular have broken the social dynamics of dating. It's a big decision to stay off, it curtails the opportunities for meeting new people severely. You get restricted to the bar/party scene and that seem to attract a very specific sort of people.
Yea, I felt the same way. Even though that was an unsafe overtake, I think the Waymo definitely passed the Turing Test with flying colors there.
I'm surprised and impressed at how much energy you have to deal with this and write about it. I'm a month out from having a squamous cell tumor removed from my tongue and a kneck disection and most of the time I just lie around in bed feeling sorry for myself and even that is pretty exhausting. I hope the trial drug works, both for you, and selfishly, for me in case I'll need it!
It would help if nato alphabet was universally known thing.

Typing something letter by letter in Latin when neither party is a native speaker of English is very much painful almost half the time it happens
Always defecting doesn't work when the adversary has memory:)
> Where does it supports the claim that suspect-customers were/will-be illegally detained?

Not sure what your understanding is, but imo if a person is physically blocked from leaving a store, then they are being detained. It doesn't matter if an employee is doing it or if it's a gate with a receipt scanner

They can and have had employees standing at exits to check receipts in the past, but people are under no obligation to present a receipt in order to be allowed to leave so most people just walk right by

Physically placing a barrier in the way to prevent that is detainment. Replacing the employee with a scanning machine doesn't somehow change that.
And if all these Google-dependent companies had diversified a bit, put some money in other ad networks as they grew (even if small amounts), then maybe Google wouldn't dominate all ad revenue. But that would require leaving a small amount of money on the table, so nope, I guess.
I'm of the opinion that prions occur more often than we know, it's just that to be a prion "disease", you need more properties than just spreading the misfolded shape.

Importantly a critical property is that it needs to be damaging enough to be noticeable and neural matter has the unfortunate property that it heals slowly (if at all) so low level damage can accummulate.
> The MOST BASIC NOTION of layout, putting things in a freaking grid, was missing from CSS for almost two decades

This is not true. CSS have had ‘display:table’ for 25 years, which is a simple grid layout model equivalent to html tables. Content can be aligned in rows and columns.

‘Display:grid’ is much more powerful of course.
I guess I disagree with everything. But mostly I disagree that anyone serious actually thought that entering on a global marketplace would turn any kind of nation democratic... but I mean people at the top can have any kind of ideologies, I shouldn't consider impossible that somebody actually bought the magical markets propaganda.
Doesn’t work on ipad? I can click Start, but in the next screen nothing reacts to input.
Also includes a "Community Participation" element offering the opportunity for up to 100 SEC Accredited Investors to invest $10K each.