skysight-inc/HackerNews huggingface dataset:
I think my main issue with your original post is that you expressed what you've achieved as a generality and not as the result of your specific, active curation of your Mastodon experience. That you can achieve warm, cozy, and non-toxic with active curation is not something I'd dispute. But I'd maintain that experience is not the default experience and I'm not sure that's so different to what you could also achieve with Twitter either (I could be wrong here, been along time since I used Twitter). To be fair, I'm not sure that anything trying to have the reach and be of similar purpose to Twitter can escape some flavor of Twitter's fate... whether that is leftist or rightist dystopia being irrelevant to the point.

And to be fair I've even toyed with the idea of setting up Mastodon instances (though probably using different server software) focused on strictly civil/professional discussions as part of the rule set. But of course this leaves most of the "federating" part of the equation off the table and leads me to my next observation. The only social networking that I've found that is genuinely warm and cozy, by default, are some of the Discourse communities. They are absolutely small, disconnected islands of community, but by being topical and smaller I think they avoid the toxic by default characteristics that broadly generalized communities devolve into. Of course, Discourse communities can be built around toxic content, too, but you just don't sign up: what you see is what you get. I think this more topically focused social media is really the best way to avoid the cruft compared to the open community approach.
As a frequent iPad user, I love the new settings app in Ventura.

I can see though why long time Mac users would hate it though, it’s a massive change and it moved everything.
Because that was the cohort studied, not because the opposite is true for men only. As it says in the article previous studies indicate the effects may be even greater for men.
Just that it seemed to drop the "phylogenetic" part. The importance of the word depends on what's actually in the article, I suppose.
> Despite any TV ads you see with F-150s in a rural or country setting, the vast majority of these new trucks are in large and medium-sized cities.

* https://hedgescompany.com/blog/2018/10/pickup-truck-owner-de...
Plenty of good links here already. I'll just add that booting is enormously complex, and starts well before any of the dozen comments so far. I skimmed many of them (not all) and they all tell pretty much the same story whether on real hardware or virtual.

But modern real hardware first boots a Management Engine (or BMC, or T2, or similar), which prepares things and starts subsystems like hardware controllers, before releasing the CPU where the "OS" finally boots, blissfully unaware that it is running on an abstraction.

Watch https://www.youtube.com/watch?v=36myc8wQhLo from about 10:00 to about 20:00 for a decent super high level overview.

These two are also good for a deeper understanding.

https://i.blackhat.com/USA-19/Thursday/us-19-Davidov-Inside-...

https://i.blackhat.com/USA-19/Thursday/us-19-Krstic-Behind-T...

They both cover UEFI, even though the focus is on T2.

I know that's well beyond what you were asking for, but the boot process goes well beyond GRUB.
This is by democratic choice though. If the public don't want this, they can always hold a binding referendum. Unlike any other country on earth.
Just remember that in times of WFH this means that employees working from home now have every single personal conversation, every sentence and every word recorded forever to be used against them in any HR or other legal case.

You've codified total workplace surveillance to the extent that makes Google look amateurish.
I've been in leadership positions in tech companies for a long time. I don't let people schedule Friday deployments because in the off chance that something does go wrong it means that multiple people lose their weekends.

That's because human beings and their lives matter.

I've worked in multiple industries and few of them are so critical that a launch or cutover can't wait a couple days.
ClickHouse Manual
Found it! I need to set NETRC=/dev/null. It appears the request library is trying to grab auth info from .netrc, and in my case, picks the default entry. Why it is doing that despite an api key being provided is unclear.
Lungs are delightful in haggis, and I'm rather partial to kidneys in a steak pie. I've had brains in Asia plenty times, and they are actually quite tasty - but I stopped eating them when I learned of prions.

I've tried chicken feet once... and to my great shame, I almost vomited all over the table! Using my teeth to scrape gelatinous skin off a chicken toe provides a visceral reaction :(

I guess we all have our food red lines!
"We do not give you server space
/ To ask such things; it’s not a perk,
/ So cease these idle questionings,
/ And please get back to work."
A lot of creative websites that don't load or function correctly.
Raylib 4.5 Released
No one thinks that peanuts and vegetable oil combine into some magic superfood, yet Plumpy'nut is concretely beneficial to keeping people fed and healthy. Now, consider this same rationale into to a kind of poverty close to home. There is plenty of evidence that milk in school lunches is often the only reliable daily source of calcium and protein for millions of impoverished children worldwide.

Contextualized one way, milk is a meal replacement or nutrition supplement, and one that is more practical than most other options. A serving of whole milk requires zero on-site prep time, is relatively portable once packaged, and perhaps more importantly, it is often the most palatable option for picky eaters. Public health is complicated.
Silverfishes eat books. There can be no peace between my house and theirs, it’s a blood feud.
And their wall walking abilities are amazing to watch!
Active users is probably around 1.6-2m for Mastodon, and maybe another million on top of that for Mastodon-compatible Fediverse software like Pleroma and Misskey (they don’t report active users).
The problem is that the "human" cannot accurately express himself in English, or cannot define the whole problem scope. Mastery of the English (or whatever) language that the Enterprise is using is more important than technical expertise. This cannot be stressed enough. Correct and extensive technical specifications are as hard as the code/stack itself.

The human here is acting as a compiler for the real world. In each iteration, it's raising exceptions and errors for the AI. The iterations will continue until the AI compiles the correct output.
Saying it’s EC2 has a very specific meaning. Does it use the EC2 APIs underneath? Are you running on servers managed by the AWS organization (wheee I work).
Note that there is a deterministic subset of English that has been specified formally. I can't find its name at the moment, but it might help here?
It is telling that ChatGPT by training on online discussions hasn’t learned to say “I don’t know”.
> Enterprise Microsoft products are mostly really great

Yes, except Windows 10, Office 365, Teams, Edge, Calculator, Settings.

Copying UI from Google tells a lot about the spirit at Microsoft.
Credit Suisse Bond-Wipeout Threatens $250B Market
Here's a write up I found recently.

> This is a discussion of what happens when a CPU chip starts. It may be thought of as what happens when a whole computer starts, since the CPU is the center of the computer and the place where the action begins.

https://lateblt.tripod.com/bit68.txt
Thanks, agree with all your points, though at some point unless others are agreeing with me, 100% sure it would feel like I am dead set on my position, which I am not, and happy to reasonably assess any points made by others.
Glimpse, that's all we can get for free. For the rest, we need to fight for it.
And the argument seems to be that, if you have a series of 1s and 0s on disk or in memory at some point (because the information was transferred from one computer to another), then it counts as a written record. I'm trying to understand exactly what the difference is. Not in an "I'm trying to pedantic my way around the rule", but in a "these two things are the same; data representing communication between two or more people" way.
Also Windowmaker. I have been using it for years back in the day, and just to be sure reinstalled it a few minutes ago to check how it behaves today: no problems whatsoever with Firefox, LibreOffice, Gimp, Handbrake, and other modern apps. Using it right now to write this post with Firefox, in fact. Not that I didn't expect it to work since the last stable version is dated 2020 and the GitHub repo is quite active (last update 3 days ago).

Nostalgia aside (I was lucky enough to attend a real NeXT demonstration in 1994/1995) WindowMaker has been literally a life saver over 20 years ago when I had to build a desktop for ~50 remote points of sale in which the operator could only perform a few tasks, and setting up it as a locked "kiosk on steroids" with a fixed dock that could open only the 4-5 needed apps allowed them to do their jobs without distractions or exposing the unnecessary/dangerous parts of the system.

https://www.windowmaker.org/

https://github.com/window-maker/wmaker
> but nobody's heard of it.

Well naturally since all these papers are focused on lottery wining tickets. Running a small to medium sized business is far more relevant to most of us.
Databases and networks have very little to do with CS. I think the problem is that we confuse "Computer Sceience" with software and programming. Computer science is to programming as Physics is to mechanics of repairing a car. You are basically a car mechanic hiring an intern physics student and wondering why they don't know anything about timing belts.

Perhaps the problem is that we train so many computer scientists to do programming, but that's the learn-on-the-job part I guess.

I met version control and unit tests on the first day of my first real programming job, because I studied physics, math and computer science. And I'm still (by far) the go to person in the office for all matters related to plasmas or cosmology.
> reading the (absolutely delightful) Boeing design manuals

Authored by Dr. Jan Roskam perhaps?
I wonder though --- will GCC have to comply with a specific API of cargo? Wondering if this will end up being an awkward kind-of RUSTC="gcc rust" cargo build thing, or if this will be some lower level API.
Jumping spiders are my best friends, I’d raise them if I could keep anything alive. As-is, I just try not to bother them when one takes up residence in a corner of a room.
> Why do people have such a bias against using mice these days?

It's a problem of bad journalism coupled with lazy readership, aka "scientists dicover..." articles.

This is a deeper problem than mice or science "journalism". There is some fundamental asymmetry in people's desire for information vs their capacity to understand information.

Kind of like how I'm not a programmer or business owner but... here I am.
Moderators blocking other servers is an essential part of the federated ecosystem in my opinion. When another account (or, with many accounts, another server) is causing tons of moderation reports, blocking that server is essential. Allowing the content to appear anyway will cause boosts, reactions, and then more moderation reports. Moderators are the ones who have to deal with all of the crap being flung into the ether so it makes sense to give them the power to choose what servers they want to bother moderating for.

This is why server selection is part of Mastodon. It's also why Mastodon servers either fall in the category of "heavily moderated" or "free for all shouting match that ends up blacklisted everywhere": servers where moderators don't bother will attract the worst people and end up being too toxic for moderated servers to deal with. Most servers are run as volunteer projects.

As for moving accounts: when you move servers, your followers will actually follow your account. It takes a while for everyone's accounts to receive the redirects, but followers are transferred. You do lose old posts, though.

Nostr seems to use the model you're describing. Your digital identity on there is independent from any kind of instance. You (or your relay of choice) is also supposed to do all the moderation necessary. Nostr also allows verification based on your domain, for better or worse.
I just skimmed the paper you linked (I read it before, but forgot its details). So Metamath Zero is still a logical framework, like Metamath, but has a few more tools to ensure soundness of the logics you formulate in it. Nevertheless, just like Metamath, it does not have a semantics, because it operates on a purely syntactic level. You can formulate object logics in it, like FOL, which come with their own semantics, but it is up to you to show that this semantics is actually preserved by your encoding in Metamath Zero.

So I would say that this is the main difference between a logical framework (LF) (like Metamath and Metamath Zero) and Abstraction Logic (AL): the LF is based on proof-theory and syntax only (BYOS, bring your own semantics), while AL gives you in addition to proofs and syntax also a simple semantics.

Some LFs, like Isabelle, are based on intuitionistic type theory, and so they actually DO come with a semantics as well. But I wouldn't describe this semantics as simple (check out for example [1]), so when you describe an object logic with such an LF, you cannot really rely on that semantics to explain your object logic semantics, or prove properties like completeness, but are again left to your own purely syntactic devices, and are back to BYOS.

Does that actually make a difference in practice? Is there a practical benefit to AL having a simple semantics, and other LFs not? I am convinced that yes, it makes a big difference, because it makes it simpler (or even possible) compared to other LFs to implement features which are simple yet general and powerful, and it makes it also simpler to interface with other software like computer algebra software. But in the end, this can only be proven by actually building Practal and showing its practical benefits.

[1] Chad E. Brown. A semantics for intuitionistic higher-order logic .... https://www.ps.uni-saarland.de/iholhoas/msethoas.pdf
a) Does this, legally speaking, count as a copyright protection measure?

b) The DMCA is a US legislation, what about training done in other countries?
But the catastrophising of climate change is also harmful, and results in people proposing 'solutions' that seem likely to bring about an even faster collapse of civilisation.

One 2019 UK report (https://www.icax.co.uk/pdf/Absolute_Zero_Report.pdf) proposes a timeline that's been circulating on Twitter, involving the closure of all airports and shutting down all international shipping by 2050, while pricing 40% of traffic off the roads and banning beef+lamb. That (along with many more less-drastic but still significant restrictions) is what it would take to reach 'net zero' with current technology.

And that was written in 2019, when people were generally a lot more reasonable than they are in the post-Covid world.

(Do they even realise what they're proposing by 'no international shipping'... Amongst many other things, that means zero microchips for the UK, let alone complete technology products such as phones, TVs, or EVs)

Meanwhile in the real world (here in the UK), we've got a massive cost-of-living crisis, a collapsing healthcare system, a disaster of a property market, and a rising population that we're failing to build infrastructure to cope with. We have a a terribly incompetent government, and an opposition that seems no better. And we're living with the threat of WW3, the tail end of the pandemic, and now a banking crisis too.
To complete the experience I have a typewriter and sealing wax. Something about a wax seal seems appropriate for complaints to awful companies.
it appears your definition/expectation of fundamental knowledge has changed. what was considered fundamental when, for example alan kay was a university graduate, which was a very small set of indeed fundamental concepts. the topics you list: relational algebra, concurrent programming, network programming aren't fundamental—they are at a higher level and so require specialization. fundamentals of computing are still taught, or so i hope.
Inside Apple’s Companywide Cost-Cutting Push to Avoid Layoffs
We still don't have a good lower bound on the complexity of matrix multiplication.
this is not dysfunction. As you yourself rightly observed, this company is incentivized to increase headcount. That's why all their structures and processes and culture is built around that. The better question to ask is why is the company's primary objective?
Do they have have suga-daddy money where progress is measured in terms of headcount? Or does headcount matter to how their customers perceive them?
What do you mean by interactive LLM architecture?
I also see them as a way of filtering content.

Sure, it could lead one to miss out on some relevant things.

But there is just so much out there. Most of it mostly noise. Most of the rest, irrelevant to us individually.

Being able to navigate through the fluff, to focus on what matters to you, no matter what it is, seems more valuable now than ever.
Agreed. I find both of these things true:

People in government positions in the US and UK abused their power.

Julian Assange is not a good, or honest person.
I imagine they have pretty thick skin. There's a lot of dumbasses on the internet.
I think the logic is supposedly having multiple for-profits reduces the ability for any one to control the store, or at least incentivizes other stores to apply as little control as possible to gain users.

I think that works as global economic policy, but based off Android doesn’t really work in an app store case. In practice Altstore is mostly used for piracy…
I just don't like the algorithmic sorting that YT Premium does for me. I keep losing the stuff I want to watch, and it keeps ramming crap in front of me.

I tried the free month, and ran screaming. No way.

I have no problems at all, paying for streaming (I pay for quite a few channels). I just didn't like the YT Premium user experience. I suspect, if I was a lot younger, I might like it more.
Assuming that they're the standard SHA-1/30sec TOTP and the keylogger is smart enough to store it, at least two 6-digit codes and their approximate time (https://www.unix-ninja.com/p/attacking_google_authenticator).
I hope not, and I doubt it. I mean, the people behind curl/libcurl and the people saying those things linked in OP are on different planes of existence.

It reminds me of a funny story from my university days (sorry I don't tell it too well); I'm in some electronics theory class, I forget the title, the lecturer is writing some equations on the board as he talks us through them;

the guy next to me nudges me and goes, what an idiot, that's not omega; he proceeds to put his hand up like a child, thrusting it repeatedly in the air, so he can share what an idiot this guy is with him and the class;

I ask him quietly not to do it, he ignores me, and carries on until he distracts the prof and the class; prof walks over and asks what's up?

Guy makes his point, loud enough for everyone to hear; prof smiles, hands him the chalk and sits down. Guy sits there for a minute looking confused so the prof gets back up, takes the chalk back and says loud enough for everyone;

"You don't want to teach this lecture? No? Ok. But you DO want to tell a Greek guy how to write Greek? grin" - Dr Ioannis Alexandrou

Great lecturer, cool guy, I hope he's doing well.
Yes. WE have a higher standard for computers. But humans produce a ton of bull shit answers. Are we trying to produce an 'answer machine' or a 'human mimic'. Because the bull shit makes it more human. And a wrong answer does not mean it's broken, what goes on in its neural net to produce a confident wrong answer might be similar to our own.
If you’re after something a bit more like Twitter, try Elk which is an alternative web UI (it works with your existing account): https://elk.zone
Sounds like you're seriously underestimating the middle of the CS pack.
I want to like this more, but it doesn't seem very compelling.

As others have noted, the size difference is essentially nil if you compare to a gzipped minified SVG (for which there are off-the-shelf tools).

No CSS means you can't easily integrate with CSS animations.

The spec also seems unnecessarily quirky -- I would have expected it to be really, really simplistic and minimal, along the lines of https://qoiformat.org. For example, there's a header flag that sets the "unit" size to 1, 2 or 4 bytes; but also a variable-length encoding for values, so it seems like small uint32 units would mostly fit into 1 byte anyway. Only sRGB colors are supported -- why not linear?

I'd definitely prefer to write a renderer for TinyVG rather than SVG if I were working from scratch. But SVG exists and is pretty well-supported already so you don't have to. (And if I enjoyed working with XML I might actually prefer SVG.)

Possibly TinyVG would be good for embedded systems? If there were a really small and fast implementation, and if anyone has a need for portable vector graphics on a system that can't handle SVG.
Analogue computers can handle certain classes of problems very nicely and they don't follow "sequences of arithmetic or logical operations"?
Really? For me it could not generate meaning full tests, even for the simplest react-components. E.g. it tried to test the display of an error-message in a field in a form. The error message was basically "this is field is required and can't be empty.". It tried to test that, by inserting valid data into the field...
I haven't had this from ChatGPT and haven't used paid ChatGPT to test GPT 4.0 there, but with Bing (Creative) specifically I've had it regularly tell me it doesn't know something. It still hallucinates other things, but it's no longer just a lying yes man. If you ask it for information it can't find or a task it can't do, there's a very good chance it says "Sorry, I can't do that."

The other day I was trying to find out what percentage of Konstantin Tsiolkovsky's works were published before the age of 60 vs after the age of 60, something that's almost impossible to find on the internet (I don't speak Russian). I spent a lot of time trying to get Bing to answer it for me (didn't succeed), and one of the times I asked it to look up all the bibliographic information it could on Tsiolkovsky, go through each file and count the dates of publication, then tell me how many were after his 60th year. It said "Sorry, that would require me to download and analyse a large number of PDFs, which is outside my current capabilities. I'm sorry I couldn't be of more assistance this time. "

They've improved a lot on the Yes Man aspect of it.
There was another one posted like this only a few days. Can't find it anymore. It was similar and morphed text into shapes.

EDIT: Word-As-Image for Semantic Typography
https://wordasimage.github.io/Word-As-Image-Page/
I find this version of the story very odd. I'm in my mid-20s and figured out that I was trans about 10 years ago. The main reason I didn't get swept up in the anti-SJW craze of the time was because "SJWs" were firmly supportive of trans and non-binary people, while many of their opponents were either indifferent or comparing us to attack helicopters. Are you talking about more than ten years ago?