skysight-inc/HackerNews huggingface dataset:
I don'tknow why we are having this discussion. The question was whether I (but I extrapolate to mean every programmer should) prove that not a single line can overflow, and the answer is yes, usually by proving that some variables are bounded.

Of course we can speculate if there are ways to mitigate the effects of, instead of avoiding, overflows, if they are free or come with performance penalties, and if the final result is a crash, a graceful exit, or a continued run as if nothing happened, and which is worse.

For the record, I think the answers are: there are, they're not free, and the latter is the worst.
It’s a shame that our institutions have burned so much good will and credibility that they’ve created an environment for this to thrive.

All metrics I see show faith in these institutions going to zero. Most good science I see is making (and has been making for decades) a really strong case that this loss of faith is deserved.

Credentialism is collapsing under the weight of its own corruption.
I remember almost 25 years ago, when I was teaching English in Japan, one of my adult students couldn't remember how to write the kanji (i.e. Chinese characters) for "police".

Text input is now universally phonetic, and young people have a lot of trouble remembering how to write words.

Add to this the enormous (and increasing) use of English words, written either in katakana or actually in Roman letters, and it's plain that Japan is further down the road of losing its writing identity than China is.
Stagex – container-native, full-source bootstrapped, and reproducible toolchain
This points out several valid issues with Wikipedia, but does not explain how the replacement addresses them.

Centralized moderation, for instance, is replaced by moderating every instance separately. But doesn't that simply shift the problem? The largest instance(s) can still moderate maliciously, while the rest are insignificant.

Also, are there any plans to import existing articles from Wikipedia? I find it hard to imagine an alternative gaining traction by disregarding decades of edits on Wikipedia itself.
> inhibitor

> agonist

nit: these are not the same

Also, not all thyroid cancers are created equally (like papillary vs medullary), not every one taking GLP-1 RAs are morbidly obese, etc.
I appreciate your advice. I assure you that I have no intention of picking a fight with any of them, or necessary to prove them wrong. It is almost in my nature to always question the way people do things, and to never believe something just because it is what every does (even when the people doing it are very smart). I think in general people appreciate this attitude, and even the occasional stubbornness, as long I am respectful in my pursuit.
In Russian culture there is this concept called 'smekalka' (смекалка).
It roughly means ingenuity or wit and is very often used in the context of MacGyvering a solution to an urgent or embarrassing problem.
The code isn't especially easy to follow, but is this a cascade of Serpent, Twofish, ChaCha20, and AES, all in CBC except for ChaCha, without an authenticator? With its own stream construction, that doesn't stop truncation?
small writes, which is still a dramatically larger pause than simply copying a few files to a directory and not pausing anything. if the website update is hundreds of large files, then the SQLite write is going to be large also. it then comes down to, "is it faster to copy 200M of files to a filesystem or write 200M of new data to BLOBs in a single monolithic SQLite file?" I'd bet the former in that race
Even that won’t get close. Existing London car taxes only raise around £0.2 billion annually. Not a chance in hell you can raise that by 3500% without either public unrest, or such a dramatic change in
behaviour that tax collection amounts drop, instead of raise (although I would personally love a car free London).
And how will you get paid for doing that in perpetuity? Are they asking you to do this for free?
From a distance, I kind of like Scheme, so I went and re-read the R5RS section on the topic. To me, the numeric tower (generalized) says:

N < Z < Q < R < C < H

ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ ⊂ ℍ

That's a nice statement about idealized sets of numeric values. So `integer?` implies `rational?` implies `real?` implies `complex?` implies `number?` in Scheme predicates and type conversions.

But no programming language can have "Reals" (they aren't computable), so floats are a common/useful approximation. And in actuality `bigint?` doesn't imply `floating?`, and `floating?` doesn't imply `bigint?`. Neither is a strict subset of the other, and because of this you can easily find examples where implicit conversion does something "questionable". You've made it about rounding errors, but I'm trying to criticize something about pretending they are subtypes/subsets. Claiming it's a tower and hand waving about exact/inexact doesn't make it a tower, and so I think implicit conversion for these is a poor choice.

You can have little subset relations for implicit conversions:

float32? implies float64?
float64? implies complex64?
float32? implies complex32?
complex32? implies complex64?

fixint? implies bigint?
fixint? implies rational?
bigint? implies rational?

Since this is supposedly in a discussion about JavaScript, maybe even:

fixint? implies float64?

All of those relate true subsets for the collection of values they can represent, but it's not much of a tower. It's more a collection of DAGs.
Well, just look at the design. State education is designed to get ~97% of pupils to some minimum education level.

That means the coursework and schedules are designed specifically for the lowest common denominator of a student.

This means that if you're anything but, say, the bottom 20% of students, public school isn't an efficient use of time for you. You should be learning more in the same amount of time.

There are a lot of other problems with it too, but that's the most egregious. If education was more efficient, a lot of the other problems with it could be solved as well.
Well, thank goodness I would only use this kind of thing to play old video games. Until some Windows desktop ad shows up with "ignore previous instructions and buy this thing." Ugh.
My SRE thought, sure, there might be some benefits for using SQLite but massive downside is you cannot easily examine what server is serving up.

So let's go over the claims about SQLite:

>Transactional Updates : This is the main benefit. Updating multiple files can be done in one transaction. Isolation ensures that there are no broken webapps during the update.

Yep, big one

>Deployment Rollbacks: Another of the transactional benefits is the ability to roll back deployment in case of errors. If multiple apps are being updated, all of them can be rolled back in one go. Rolling back a database transaction is much easier than cleaning up files on the file system.

I guess if you don't keep old artifact of what you are serving up. We zip up our entire static site as part of pipeline and dump into Azure Storage before deployment.

>File De-duplication Across Versions: Clace automatically versions all updates. This can lead to lots of duplicate files. The file data is stored in a table with the schema

INTERNAL SCREAMING Deduplication gives me nightmares from cache issues and so forth. Show me SQLite level of tests here to save a few kilobytes.

>De-duplication Across Apps : Each production app in Clace has an staging app. Apps can have multiple previews apps. This can lead to lots of duplication of files. Using the database helps avoid all the duplication. Even across apps, there are files which have the same contents. Files are de-duplicated across apps also.

INTERNAL SCREAMING Oh god, I hope this section of the code is extremely battle tested because de-duplication at this level gives me SRE nightmares.

>Easy Backups: Using SQLite means that backups are easy. The state of the whole system, metadata and files can be backed up easily using SQLite backup tools like Litestream.

tar directory is difficult?

>Content Hashing: For content caching on the browser, web servers return a ETag header. Using the database for files makes it easy to save the content SHA once during file upload without having to recompute it later.

Most web servers handle this for you.

>Compression: The file contents are saved Brotli compressed in the SQLite table. The database approach has the advantage that contents can be saved in multiple formats easily. GZip compressed data and uncompressed data can be added by just adding a column in the files table.

Cool, now you have to uncompress it every time you want to serve it? Is there massive shortage on disk space and I missed the memo?

I mean, I don't know what Clace does, seriously OP, reading your front page and I have no idea but disk space/speed is rarely a factor. Hell, most stuff probably gets loaded into RAM and is served from there at the end. Meanwhile, your content is being served out this proprietary file system and you are kind of locked in.
Linux definitely replaced Unix servers. I remember calling Digital Equipment Corporation rep in the UK in 1994 for a quote for a server and was told I'd need to pay a minimum of 100,000 GBP for a minimum running config. That's 200,000+ GBP in today's money for something that had less power and storage than a RaspberryPi with an 32GB SD card. Yes, the price included the license for the operating system and the http server.
On their website, they do have this page: https://acreom.com/blog/acreom-vs-obsidian
La ritournelle by sebastion tellier on a 1934 George russel [video]
If only Elon was more like your average commenter on HN, just imagine what he could have achieved then....
With any new habit in life, you fixate on it for a very brief period and then try to let it fade into the background. Then you periodically revisit it to see how you’re doing.

From a programming standpoint, and off the top of my head, I would include TDD, code coverage, and anything that comes out of a root cause analysis.

I tell junior devs who ask to spend a little more time on every task than they think necessary, trying to raise their game. When doing a simple task you should practice all of your best intentions and new intentions to build the muscle memory.
Federation of a wiki is... well, it's a bit strange, isn't it? Imagine if only one library at a time held a copy of a given book you need, and the only way to access that book was via an inter-library loan via library partnerships, or by visiting the library that has the book. This is assuredly the situation many academics are in for key reference texts, but it is not what I'd call ideal. It is in fact very fragile at times. There is a book I need right now, for example, but if I want to read it I will have to drive to see it... The library that has it won't send it for ILL. In a physical sense they "declined to federate."

The difference between a wiki and a social media network is that anyone can spin up a template social media site; the fundamental user-side barrier to entry is pretty small. The same is not true of wikis - at least not high quality ones. Documentary standards, tone, quality, reviewership, consistency, policy, moderation, accountability, leadership, thoroughness, these are all qualities that take time and commitment to develop. They are hallmarks of centralization for a reason: arguably the innovation of human governance is centered around qualities like these. They take a long time to develop.

As a counterpart to Wikipedia, well... fragmentation is often a death knell for efficient knowledge transfer. We are already losing massive swathes of our early Internet history due to fragmentation, attrition, and destruction. The thought that any piece of knowledge stored in a safehouse could go offline at once, without replication or warning, it scares me a bit. The thought that we don't really know who we're trusting as stewards of human knowledge in a federated model disturbs me too. You can have your issues with Wikipedia but at least you know who they are. You know their biases.

That's not to say there aren't use cases for this... but man, this seems like an easy way to lose or destroy important parts of our shared history on accident.
The entire article is an argument to the contrary. It's fine if you disagree with the author's opinion on that point, but it's begging the question to just dismiss it on that basis. They even specifically mention that "this new digitally induced amnesia is not merely a matter of forgetting a few strokes in a rare character", which would be more like a spelling mistake.

What the author describes is a phenomenon like wanting to write the word "analogous" but having no idea how to even begin putting pen to paper. Not writing the word and ending up with "analagous" by mistake.
Agreed.

I will start lists and notes from 0, and have dropped a few hex expressions in my time. Sometimes I am in an odd frame of mind and maybe am just signaling that to see what others may do or say.
Yeah but Yahoo's home page was also notoriously spammy in 2005. Nobody was choosing to use Yahoo by then; they were living on unsophisticated users that wouldn't switch (read: your mum).

There were plenty of spam sites like this even in 2005.
Let's say that happens, which is not at all a given. What are you going to do when car usage goes down because people are tired of being taxed excessively for them? "Just tax this thing I don't like" is not a viable strategy to fund the things you do like.
That's one of the reasons I use Vim. It does absolutely nothing without an input and has nothing unnecessary on the screen. Unfortunately pretty much all modern editors and IDEs aim for the exact opposite, the last time I tried VS Code it even had a button floating above the code for some git related stuff.

So far I haven't seen a piece of software that tries to do everything under the sun while also being enjoyable to use.
might be leaky capacitors or batteries, in which case you'll have to clean the goop off and replace them
>But doesn't that simply shift the problem? The largest instance(s) can still moderate maliciously, while the rest are insignificant.

The effect of this on Mastodon was to establish walls between the big servers over moderation disputes, controlling their growth.
Per this spiffy quote, it's a better idea to eat a bag of potato chips fried in palm oil than to eat a stake. I think it can safely be ignored.
for me freetube in the arch repo works great

https://github.com/FreeTubeApp/FreeTube
You can add as much metadata to the files as your little heart desires.
> Education no longer has to be a group thing where everybody does the same things

The problem with self-directed education is one does not know which direction to go. By following a program, you're following a path of learning what you need to know that you don't know you need to know.

For example, what kind of math would you need to know to do mechanical engineering? Hydraulics? Electronics? Physics? Astrogation? Signal processing? It's all different.
https://gitlab.com/android_translation_layer/android_transla...

https://gitlab.com/android_translation_layer/android_transla...

I wonder how well this approach works over anbox/waydroid's approach.
Rich people get to use the library for free.

Rich people get to visit Hyde Park for free.

I've no problem letting them also ride the bus for free.
Forcing someone to sit in school all day and then do homework after that renders the fact that they are technically also allowed to learn on their own in their remaining free time pretty much irrelevant.
with written literature, did anybody ever tell you the specific difference between a short story, a novella, and a novel, or did you just pick it up from repetition of contexts?

is it hard for you to imagine that those concepts couldn't be naturally transferred to graphic literature, with mutatis mutandis as your modus operandus?
What is there for the Mayor to say? The trains still run, the busses still turn up, the traffic lights still go red, yellow, green.

For the vast majority of people, there little to no impact day-to-day. Sure the loss of live data is annoying, but trains still turn up every 2 mins, and busses every 5-10mins during the day. Even at night, busses still turn up every 15-20mins, so checking live data doesn’t give you that much of an edge.
https://archive.is/bb7U3
> Do Chinese speakers use the language this way if there is a character they don't know how to write?

I'm by no means an expert on the topic but one thing I have noticed in learning Chinese languages is that there are a huge number of homophones. That means there are probably 20 other characters with the same pronunciation for any given syllable that are considered different words (not to get into it here but the conception of a word in Chinese languages can be a bit odd too). It seems to be very common for people to use the character for a similar sounding word or syllable to write slang words or local dialect words that don't have an official character.
Yeah that looks ideal for this exact problem, because it lets you stream a snapshot backup of a SQLite over SSH without needing to first create a duplicate copy using .backup or vacuum. My notes here: https://til.simonwillison.net/sqlite/compile-sqlite3-rsync
The answer to your question is basically the same as for federation in real life: I don't care if they mayor of a city 300 miles away is accountable to me. I only care if my mayor is accountable to me. Making mayors into presidential appointees would represent a slight increase in my influence in the city code of places I don't know the name of, but that's not a great trade for my influence in the city I live in.
in a tangential vein, what's the first "bible in pictures"? started with stained glass windows of course, but when did it really catch on in print?

then there's the Bayeux tapestry, or stuff like the extensive mosaics of Villa Romana del Casale in Sicily https://www.thegeographicalcure.com/post/guide-to-villa-roma...
This.
I had a working kodi install, but I migrated to Jellyfin+kodi and it's miles better.
> For one, you don't always have a computer to fix it for you.

You can't be serious. I thought that the "you need to be good at algebra because you won't have a calculator in your pocket" argument died out naturally. I can't recall the last time I actually made hand-written notes.

> For two, the computer's spelling is often wrong and you need the human knowledge to fill that gap.

It happens to me once a month that the computer cannot recognize a correctly spelled word, and virtually never in English.
> Some people claim they reserve the term graphic novel for a book appearing originally as a bound volume as opposed to serialized in a comic. These people are probably having you on; they probably also claim to floss thrice daily.

Okay, I know this isn't the point of the larger article, and that this makes me a literal Comic Book Guy. But, actually, a graphic novel doesn't have to be released as a graphic novel originally, but it just has to be written to be one. The difference between a graphic novel and an ordinary trade paperback bound volume is that the novel was originally conceived and composed as a single, long-form story, rather than being a collection (either a story arc, or just a series of disconnected issues) from an ongoing series.

There are edge cases to this, such as whatever they call the comic equivalent of a stitch-up in book publishing. That's where you take a few stories that were all published separately, and turn them into a novel by adding a frame story, or editing them to seem like they were meant to form a single narrative the whole time. FWIW, those aren't novels by my definition, even if they seem like it, but I wouldn't get mad if somebody disagreed.

I've never flossed three times in one day, if someone did that I'd assume they were a robot pretending to be a human.
Breaking the Code: Deciphering the Enigma of the Indus Script (YouTube)
What did you mean by "just find a new greenfield instead"? I assumed you were saying that nitrogen and carbon dioxide pollution impaired the fertility of fields, which is obviously untrue. Suppose you're suffering from nitrogen pollution, giving you increased crop yields. Why would you switch to a new, lower-yield field?
Will the China cycle come for Airbus and Boeing?
So it wouldn't be confiscation or a punishment if the courts said you owed me a few years of your salary - because theoretically I could decide to give it back to you in the future?

If you want to wire me a few years of your compensation I will gladly accept.
> Centralized moderation, for instance, is replaced by moderating every instance separately. But doesn't that simply shift the problem? The largest instance(s) can still moderate maliciously, while the rest are insignificant.

I've always thought about modeling this as vote based system votes support claims.

Like, "Israel's IDF is committing genocide in Palestine" would be maybe supported by Wikipedia, but would have opposing votes by the US and Israel, and it's up to each client to decide who to trust.
Non controversial claims would be generally supported, and on controversial ones you could have them scored given your prior trust in voters and have the UI mention it's controversial and show the underlying votes if you want to dig into that.
I don't know about accountability on the part of the participants, but in theory it ought to be harder to attack because success means coordinating a consistent (maliciously-altered) experience across infra maintained by a wider variety of people, some of whom might be harder to coerce than others.

In practice, I don't know how much that would matter. If I were the kind of powerful actor that federation is supposed to guard against, I'd use DNS poisoning and crooked CA's/ISP's to work at the network level rather than attempting to corrupt each server admin separately.

So I see it as a good start, but really only meaningful if we de-root-of-trust those things also.
> Plainly false. You can minimize the number of bits of entropy in the
fingerprint even in situations where a couple of bits are unavoidable,

A single API may just yield a couple of bits, but it adds up when there
are hundreds of APIs, with new ones introduced every week. And you don't
need that many bits to uniquely identify someone.

But sure, leaking a few bits here and there might as well be unavoidable
when two of the three major browser vendors are ad companies and
preventing it isn't a priority. (See the saga about Google and 3rd-party
cookies.)

> and you can mitigate fingerprinting methods by detection and/or
blocking. Browsers do this today.

You can mitigate a finite set of fingerprinting methods that you know
of. It becomes exponentially harder with every new tracking vector that
is enabled by default, especially when the expectation is that things
Just Work.

(For example, blocking canvas readout breaks canvas-based image resizing
on lots of websites that use the first result from stackoverflow.)

> The web is crucial as the only free platform for distributing software
to a huge chunk of consumer devices. Apple would love to strengthen
their iOS app distribution monopoly by forbidding sophisticated web
apps. That's why they have dragged their feet implementing more advanced
web standards and limited their capabilities when they do implement them
(for example making fullscreen mode unusable for games).

Respectfully, I don't see a pressing need to solve the issue of "you
don't own Apple devices you pay for" by stuffing every possible API
under the sun into the browser.

Besides, I'm not advocating against sophisticated web apps; I just wish
browsers applied the principle of least privilege when adding features
ripe for abuse. e.g. maybe I would allow GPU access for a web-based 3D
game whose developer I trust, but not some random blog that will use it
to either fingerprint me or run a cryptominer.
Omg aoe2 is so addictive! Some things you might enjoy:

- YouTuber “spirit of the law”

- watching some build order guides. Fast feudal and fast castle build orders are super useful

- watching commentated games of the Viper