skysight-inc/HackerNews huggingface dataset:
That's how I feel every time I stumble into a math thread. It's always interesting to see real people discuss this stuff. Like, I don't have any close friends who have likely multipled a matrix in the last year or probably decade. It seems so far away from ordinary life.

Then you go on HN and there are people just casually chatting about it. They're speaking English but neither the words nor the relation to other words means anything to the uninitiated.

But then there's a few that stand out, like someone will say "You don't really need Bloof tensors, you can model it just as well as a Randolph set of quadrispheres", and it's recognizable as technical discussion comparing the merits of models, but thats about it.
It used to work sufficiently well at detecting them itself that sometimes I submitted links to interesting stories because it was the quickest way to find the existing story with comments, where it would immediately redirect you.

At some point that stopped working it seems.
Calling Sanger “crazy” is not helpful.

The same tag could be applied to almost anyone creative from Tesla to Picasso to Musk.
> And a single megafauna kill would produce enough meat to feed an entire community for weeks.

Meat spoils in warm weather within days. Weeks would be assuming they had refrigeration. We're not sure when the practice of curing and drying meat started, and if they had not been practicing that... then it would be a megafauna every few days.
I recently had a real drama with my Google One subscription.

I cancelled it months ago, because I projected being poorer and trying to tighten my belt. Then I thought better of it, and so I wanted to resubscribe.

Although my subscription was good through August 12, the system would not allow me to reactivate it early, would not allow me to update payment methods, although it was tantalizingly displaying several "upgrade" buttons for more expensive plans. And it was also displaying a prominent yellow banner that told me I had cancelled "but I can restart it anytime!"

So in mid-July, I contacted a support agent. And they started explaining to me that there was no way to resubscribe until the day it lapsed. And I described their banner and they said welp, just wait for that day. And they also repeatedly said "you can contact us anytime and resubscribe!" and I kept telling them to quit lying!

I was also reminded of a terrible threat, that email is counted in disk quota, and if I was in excess of 15GiB when the 100GiB subscription lapsed, my email would be disabled! Since I can't guarantee I'll have the subscription for life, I'll just have to ensure I never exceed 15GiB, even though I pay for 100, sad...

So the termination day rolled around, and I contacted support to ask them why I couldn't restart it, and they said I had to wait for the cancellation email (different story than the first time around) and I was finally able to safely renew, and hopefully set up autopay on that too.

The funny thing is that if the One subscription lapses, I'd of course lose access to those live agents as well, so if I had any further trouble, I'd be screaming into the void. I mean, if One expires, you're over quota, email won't work, you don't receive the email, you can never resubscribe, nobody will help you... ouch.
Go check the capabilities of systems written in high level languages like ESPOL and NEWP in 1961.

Let not say that a 1961 system is more powerful than a PDP-11.
This already exists. Took me forever to find though.

https://github.com/OpenTermsArchive
I'm more in the Vim camp myself, but suspect that those who use nano for longer programming sessions do so using a well-crafted nanorc. Nano does support some "modern" features like syntax highlighting, it's turned just off by default. (As far as I know, you won't be getting stuff like LSP and multiple cursors though.)
I don't know, I was pretty poor and CMU let me go there for free.
> These posts are always hijacked into an Apple discussion

Or occasionally by RISC-V "enthusiasts" who claim that none of it matters since ARM is dead and everybody is going to switch to RISC-V in the very near (but undetermined) future..
I guess it's like a canary bird, they where not allow to publish the new updates.
On the other hand I would assume that modern smartphones from manufacturers that care about security to some degree are much harder to compromise compared to random Windows laptops.
Yes. But there's middle ground between fully-defined behavior (lots of slow checks) and what current compiler-writers think UB is (do whatever I want).

Specifically, implement UB the way it is described in the standard: pretend it isn't UB, do it anyway, consequences be damned. That's what "ignore the situation with unpredictable results" actually means.
Can't they just mirror it on GitHub, or GitLab if people don't like GitHub?
I'm still betting on Intel bringing back Itanium.

Cause why not.. having more architectures (for no apparent reasons) sounds cool.
> MacOS also has telemetry.

And who do I trust more - company that bundles third party crap ware and openly talks about OS ads as monetization avenue. Or a company selling me xxxx$ machine and wanting to sell me a next one with the OS in the future. As much as I dislike Apple walled garden - their incentive structure is way more aligned with me than Microsoft desktop.

> Then Windows would be better than MacOS in this regard because WSL2 is exactly Linux, not just "fairly similar" to Linux.

Haven't seen that be better than a VM.

Doing anything WSL on Windows FS is dog slow and vice versa, split toolsets conflicts (different git config between host and guest, different SSH). Just SSH into a VM - it's a way better experience - the boundaries are clear and the editors know the implications of working on a remote machine.

Not saying you can't use Windows, but you can also eat from a trough - I just prefer not to.
Dutch nitpick: "Dampkring" isn't "Smoke Ring", it means "atmosphere". If you translate the two words separate it literally is moisture ring rather than smoke ring.
If you just want videos from your subscriptions I recommend using RSS instead
Why would you call the conscious the outer though if the conscious does not directly experience what we refer to as the external world? i.e it appears to be filtered through the subconscious.
To count the number of functions in a rust file you could run:

cat main.rs | grep "^\s*fn\s" | wc -l

This both promotes the "one thing well" model, while revealing its inherent limitations.

How many functions are in this rust file?

/* confuse things
fn fo fp
fn fm fl
*/
fn
main() {
println!("Hello, world!");
}

The above grep reports two, when there is only one.

It can be made to work if everyone agrees to follow conventions, like always formatting the Rust code, and indenting comments which look like Rust code.

But that means pushing complexity onto people, rather than into the tools. Which you could do at the beginning, when complexity is low, but it gets increasingly more difficult over time.
> but it seems like the annoyance in these situations is potentially worth the security benefits.

I would be happy if there was a way to just request a long session for that. No need to force everything into a short session just because it is a sensible default.
China's ancient water pipe networks
A popularized summary:

China's ancient water pipe networks show they were a communal effort with no evidence of a centralized state authority

https://phys.org/news/2023-08-china-ancient-pipe-networks-co...
USA here too, got nothing from nobody, so closing this ticket
Indeed. It's an Ampere chip inside a ProLiant Gen11 https://www.theregister.com/2022/06/28/hpe_arm_proliant_serv...
I think you'd find it hard to find a Windows computer there (X and Tk are usually what's used).
Uninstalr: The Best Windows Uninstaller
No I'm not saying Paris is better. I'm not saying it's bigger either. I'm saying they're different qualitatively, that size isn't everything, that density is also important.
That's not how you'd implement it in rust either. It's a pretty bad benchmark. From my experience, I'd guess it's lack of tail recursion and the switch statement. That one can be slow in Go.

It is however a good teaser for Moonbit.
What he's doing at X seems to be in line with his other projects. (I don't mean to say that what he's doing at X or his other projects is great, visionary and flawless)
Yes. Because I'm a citizen.
CC-NC isn't OS for you?
Samsung, Dell and HP are also selling Qualcomm Windows laptops. Why (besides the novelty factor) would anyone get one instead of an Intel/AMD/Apple laptops is beyond me though..
They can suggest videos popular in the users's location.
It's still a failing of the Unix philosophy that people found it easier to add all these flags to ls than to string together a few "simple&composable" commands.
Precision and Recall are just filtered accuracies
Oh hey. Wasn't you the lead developer of Bucklescript/Rescript compiler? This gonna be epic.
Quick Start with EasyGraph：a Library for Interdisciplinary Network Analysis
EasyGraph is an open-source toolbox for network analysis based on the Python language, developed by the Network Big Data Laboratory at Fudan University. It is the first open-source library that includes a comprehensive set of methods for detecting structural hole spanners, while also covering network embedding and various traditional network analysis techniques. EasyGraph supports multiple types of network data with excellent compatibility. Additionally, it leverages hybrid programming and parallel computing to enhance the efficiency of most classic network analysis algorithms.
Thanks sph!

Maybe I'll write a markdown heading to RSS script?
> I still have trouble understanding how this man created something as good as SpaceX despite displaying no obvious indications of genius, and every sign of mediocrity, in his current state.

Well either your perception of things Musk does at SpaceX is wrong or your perception of things Musk does at X is wrong, right ?
To be fair they probably could have said this about gold, then (high quality) coal, then uranium, then iron ore, then massive offshore natural gas...

There's at least some depth to the simplicity, they've survived more than one pivot already by being very effective resource extractors and comparatively very rich in resources.
I may also point to the image on the announce page is 4.7 MB.
Who said I didn't? There's a time and a place to notify, and my browser definitely isn't the place. They can send the notification to my phone instead
> Could you try to speak English?

Nice way to invalidate any current or future arguments you may have.
> orthogonal to the "kind" of AI involved

Suppose one AI that deterministically determines an output and is stress tested for reliability, and suppose one that hallucinates an output, maybe through statistical reconstruction of detail. The ethics there would not be orthogonal at all.

> my guess is because they're more capable

That '«capable»' you used there is a hive. You could have guesses many more reasons, such as "we can hence we do".
> Please tell me the USB devices that were there at install time get authorized.

Yes, if you only have a USB keyboard, it will work. Manual creation of a USB VM then is recommended for security: https://www.qubes-os.org/doc/usb-qubes/

> Is it wrong of me to say that enabling persistence, with snapshots, on a qube should be a single toggle?

Of course you are right. TemplateVMs provide /root partition to AppVMs and software should be installed normally to the former. At every AppVM reboot, their /root is reset to the one from TemplateVM. Ordinary, persistent VMs are also possible. Details: https://www.qubes-os.org/doc/getting-started/
This “solution” is a non-starter. People like to imagine that we have a marketplace with degrees of freedom in all directions, but we don’t. We have to make choices, and often that just means choosing the least bad option.

But it is interesting to note how we got here.

https://www.npr.org/2023/07/13/1187543648/terms-and-conditio...

To summarize the podcast episode, contracts used to be individually tailored, but businesses found that too onerous and just wrote boilerplate contracts for all customers to sign. Then they decided the signing part became too onerous for businesses so courts decided that using the product was enough to agree to terms. So now we’re at a point where not using the product is legitimately the only way not to agree to whatever terms the company decides.
Just keep doing what you're doing. Like with everything, expose yourself to your fear and it'll get better.

> I still play the fun game in my head of “haha did we all have a good time today or did I actually say something terrible and now everyone hates me or thinks I’m a fool?”

Appearing as a fool, saying controversial things, getting rejected over and over again - that is how you get over social anxiety.

- Someone who had a great deal of social anxiety and now has no problem at all meeting random strangers at random events.
Never ever ever trust Google like this. You need to go a different route for your storage.
If Apple disappeared today it'd barely have any impact on me.
And with minor O(n) modifications, chronosort is fixed time too!
My... storage?
Especially considering the GitHub .gitignore template for Node only ignores .env.local, not .local.env: https://github.com/github/gitignore/blob/main/Node.gitignore...
I rember the "neutrino storm" from Prometheus.

I thought: Come on, you can use anything as an excuse for a malfunction event, why did you use that?
How serious is this stuff? What is the chance this is the real deal?
> surely USA is so diverse...

Don't have access to the full paper, but of course you're right about complete spectrum. I've always lived in the US and felt alienated from some of the undignified behavior 'honor' elicits here. And, since we're human beings, dignity is something we can only ever aspire to.

Anyway, despite their attempts to cage them with those two definitions, words like 'honor', 'dignity', 'worth', 'wisdom' are too 'fingergespitzenfeel' to be useful measures of more than sentiment.
US CDC tracks new lineage of virus that causes Covid
Yes. Moonbit is heavily influenced by BuckleScript/ReScript.
We learned a lot from our previous experience, that's why we are shipping our IDE even in the pre-alpha release. We also learned to how to make type checking fast and parallelisable.
Mkdocs [1], Hugo, Jekyll or 11ty.dev are the way to go for blogs these days. All have RSS plugins.

[1]: https://du.nkel.dev/
> in contrast to asahi which is bending over backwards to do things right

Not having to reverse engineer drivers for pretty much every single component would probably require a fraction of the effort though. And it's not like Apple would really need to actually maintain their own distro, releasing the drivers (which they are more than capabable of doing) would be perfectly sufficient.
This and,the more they take away, the easier it is to move to another platform.
I agree 100% with using processes as the natural unit of isolation.

I also believe we could solve many of the integration issues between multiple tools, by having them all optionally spit out a universal, easy / easier to parse format -- even JSON would be good here. So you could do

ls --foo --bar --json | jq ...

and be able to process the output to your heart's content, without having to do any kind of white space parsing; as a free bonus, you get automatic support for file names with embedded white space...

The best we have for now is jc (https://kellyjonbrazil.github.io/jc/), which knows how to do this for a closed (but growing?) set of commands:

ls -l *.db | jc --ls | jq .
I like it a lot tbh b/c it looks a lot like Go.

Unfortunately Go is unusuable as wasm target for browsers due its huge binary. The browser needs a lot of time to download and parse it. Not to mention it starts to crash if your app is large enough(i.e a complete SPA in Go only).
The assumptions you make are almost palpable at this point.

Simulation precision and accuracy already carries tons of liability.

Talking like I or we don’t care about consequences is disturbing, esp. with the experience you have.
oh, that's great. Anyone selling kits of this? Or an Aliexpress version less geared towards TV and more towards gaming monitors, with VGA, composite and other useful input for retro computers?
I think people would like to know about licenses, pricing, and control over the project. Perhaps your commercial strategy doesn't benefit from divulging that information now, but secrecy and uncertainty can kill interest.
Code that doesn't run is just dead bytes. It's not useful for anything. Code that does run, even if impossible to comprehend without considerable research (like, say, DNA), is useful for something. You just cannot change its function.

I have maintained code, and even wrote some terrible stuff myself. All I'm saying is that once you strip all the lofty ideas about what code should be (which are all very good ideas!), then you are left with the very simple core idea: code is supposed to run and do stuff.
The bit I glossed over is picking a random number as per sister comment. More thinking needed!
Yes. Who you gonna call when they block your email and you have access to no files? It seems like half the time you have to reach someone who works at Google here for help.

I'd get my storage elsewhere at the very least especially when they will disable your email because of their incompetence.
Ask HN: Techies' recommendations for children's school laptops
My sons need laptops for school homework. I would like to choose something which isn't necessarily tied down to a vendor like Google, but which I can secure to a sensible degree.

What solutions have all of you hit upon? Is there a kids' Linux distro which is lightweight and does the trick? What's best to run it on?

Many thanks!
Makes sense, considering the fact that they are actually men.

If you're going to have a competition that's only for women, then of course you shouldn't be including men who call themselves woman.

I mean, why would you? It defeats the whole point, and is remarkably gullible.
Less than half a second for compilation, per target os+architecture. Test suites ofc take a little longer if there's a network dependency.

Golang ;)
Thanks for helpful article. Does coroot support only k8s?
Illegal or not, it's defamatory if untrue. I assume that Bloomberg would sue for libel if the quote from their reporter were fabricated.

(Read the quote from the reporter carefully: the market isn't what's being manipulated. The news is... and by extension, the reader. The reader is who does the market-moving.)
Ls seems like a bad example.

Anything that you'd want to colour, the data should already be there.

Further I'm not sure the Unix way inherently requires completely unstructured text
Author here. Yes, I am also the one that loves to see alternatives on topic of interest to me on HN. However putting an effort to publish different take on something already 'solved' is either because I want my own solution no matter what (I don't) or because other solutions didn't fully cover all my use cases (they didn't). I would gladly use somebody else code instead of my own, if that was possible.

Two scripts linked at the bottom of README.md are almost perfect and I used one or another for years, but one of them sometimes misses to hard link with previous backup, creating new full backup and wasting resources -- not something that's easy to detect since they all look correct before 'du' or similar analysis.

saf solves few of the problems I faced during the years in a elegant way: multiple targets, target related commands, reliability. Why not XY? Why not saf?
Again a US centric article. While it would have been impossible to achieve such, consistently, in the suburbs of US, in a city like Chicago greeting neighbors became a little more feasible, but to Mr Rogers' point - probably useless beyond four or five. In French cities like Montpellier, Aix-en-Provence, Nice, Vic-sur-Cere, etc., though, it is possible to go way over the "6 limit", with increasing benefits. I know a lot of people on the street where I live for the moment, and some of the neighboring ones, and I greet a lot of folks while walking outside ("walk" = keyword). I also greet my favorite two butchers, two or three boulangers, the fromager and a lot of folks at the farmers markets and small deli stores, cofee shops, etc., on a daily basis. The more - the better it makes you feel.
The efficiency argument depends a bit on the scope one considers. If you only ever need pipes it makes sense to optimize and learn how to build pipes and your toolkit will reflect that. But if you need a variety of patterns you need to weigh in the inefficiency and cost of switching. The analogy would be a multi-purpose tool versus many special purpose ones (and the knowledge of operating each).

This is all theoretical ofcourse, but my sense is that the debate about microservices is colored first of all by the extra complexity of networked computation (which raises the bar for a succesful architecture) and maybe indeed the absence of well defined constraints that would guide people on different possible best practices for segmenting monoliths.
Please re-read my entire comment, as it is clear you skipped everything past the first sentence.
How do you automate the checking if the backup worked correctly, in face of saf bugs, rsync bugs/misconfiguration, or bit rot?

My solution is to pick a few random files (plus whatever is new), and compute their hashes on both local and remote versions. But it's slow and probabilistic. ZFS also helps, but I feel it's too transparent to rely on (what if the remote storage changes filesystem).
As the other comment hints: most companies don't have lawyers. And then they'd probably be specialized in another area. Only very large companies can afford to have legal staff looking at some random ToS change.
I wish people would stop applying the "only do one thing and do it well" to all software.
Kernighan/Pike were explicitly talking about software tools in the Unix environment, not about all software in general. It is an idealist, you might even say elitist view of how software should work, which they then realized in Plan9. And as impressive as Plan9 is, there's a reason it never got widespread adoption, and that is not just because of evil Microsoft/IBM/whatever. It simply did not solve the problems people had, because it did not run the software the people (which are mostly non-programmers) actually needed to do their daily work. Yes, you can use these systems to write shell primitives, yet another build system, a window manager, a Wiki system, a basic text editor - mostly tools for programmers. It's like people with 3D printers mostly printing stuff to improve their 3D printer.
The uops are similar so if x86 has a density advantage, it will be paid back during micro-op expansion. Whether this is really a win or not depends on where your bottlenecks are,
After reading this I'm still not sure what "endowing a chair" means, which is a shame because it was otherwise we'll written.
> Is the market full of people that only use 4 cores

Ampere CPUs on Oracle, Hetzner and (I assume?) Azure are still remarkable cheap compared to Intel/AMD if they are sufficient for your workflows.

I'm not sure if the margins in this market are high enough for Apple to enter it and they would probably still have issues scaling production capacity if they are serious about it.
As a layperson, can you explain why it's impossible? I remember when I saw this movie the scene seemed at least somewhat plausible as long as the map-room was built accurately and to scale, right?
I'd rather they don't.

It's always a girl playing guitar very well but you can see her nipples through the top and the camera is set to show you her panties up her skirt.

I don't trust myself not to click it every time.
Spaghetti because there are so many "engineers"