skysight-inc/HackerNews huggingface dataset:
> What you need is a mechanism, something like checks and balances or a challenge process that allows any rule to be repealed if it doesn't still have enough votes to pass in every branch, to inhibit that process of ossification and corruption and clear out the cruft accumulated by its past operation.

I agree in the sense that some way of "caretaking" is absolutely necessary. Like in a badly maintained IT-system, many managers think you can just keep piling stuff ontop of the old system and you can just happily going forward forever. But of course that is a terrible misunderstanding.

In an IT-system, you either restart from scratch or start a refactor. I think these are the only options here either. This needs talent and money, something the public services have been massively drained of. You can't make a system more lean and efficient by cutting costs, you mot make investments. If you involve Civil Servants, they will tell you exactly what kind of issues they are facing each day processing official documents.

Ideally, you'd start a digital transformation of public services and also streamline the legal cruft at the same time. But the problem is that much of this "cruft" is there on purpose because somebody profits. Such as the impossible Zoning Rules in California to prohibit any additional housing space... because that would make housing more affordable and lower their prices.
Both arguably benefit the same way from increased anxiety/neuroses about food, health and "complete" nutrition. More talk about health and diet and 21st century lifestyle fears: lines go up.

They sell the same thing -- perceived (and let's say for fairness potentially actual) control over health and nutrition -- to different market segments.

Wellness itself is always the thing being sold.
I remember getting to the end, “Fear of a Blank Planet” starts to play and I was “Yes, that’s exactly this game’s aesthetic.”
Sambanova's RDU is a dataflow processor being used for ML/AI workloads! It's amazing and actually works.
it must be recorded, otherwise it will seem like magic
IA Writer for Windows 2.0, now in public beta
I agree, I tend to come out like this. Working on it. I do think it's a huge time saver for your whole life after to remember these 2 numbers. I use this information dozens of times per day.
But the primes are obviously not random, independently of the Riemann hypothesis - they're determinate consequences of the number system. Maybe I missed your point
What are your thoughts on dspy?
Did the incubator help? Are you still running the side business?
Aren't some modern digital cryptography methods based on exactly that?

I do agree on the view that science often discovers useful phenomena. What I tried to stress was that basic research does not, by definition, aim for such utility. Especially with pure math, whether there are any applications for new, even groundbreaking discoveries, is often very unclear. And when there are, they might be only utilized decades or centuries after the initial discovery.
How to Become a 37 Year Old Broke Loser [video]
I don't find the argument incoherent at all

either it's a data transfer format and comments should be stripped before transmission

or the comments are part of the data model

makes you have to think clearly whether the comments are just "notes to self" at authoring time, or something relevant to the consumer

OTOH of course there are plenty of 'greyer' cases
No, I don't think that Dropbox should manufacture its own hard drives. The main reason is that switching hard drive manufacturers can be done piecemeal as you need to buy them. Getting data out of S3 if the contract negotiations go bad can cost more than storing it. It's just very different economics and level of vulnerability given the two.
If I say humans are made of polyester you wouldn't correct me? You usually meet them wearing insulation too.
I'm surprised a bit that nobody here is turning this into a question of where do LLMs lie on the spectrum of "understanding" compared to this.
Not sure why you are giving plugs for two lesser-known VPN providers (at least I’ve never heard of them) that are adopting less secure practices such as requiring email for sign-up and are more expensive than Mullvad, that is widely considered one of the most trusted VPN providers. Also I’m currently using Mullvad in mainland China right at this moment, it works perfectly fine.
Inside Google Willow
Useful for those who, for some unfathomable reason, don't use emacs.

Might be hard to get into a good workflow as running them and then
re-editing seems tedious.

Author gives credit to emacs "writegood", but my all-time fave
style-nazi plugin is "artbollocks-mode".
What’s the “baby formula brouhaha”?
Microsoft gives Alt+Space shortcut over to Copilot
let’s not ignore the practical side. Algorithms for studying primes drive advances in computing, machine learning, and data science. Cryptography literally depends on them. Plus, big unsolved problems like the Riemann hypothesis could completely reshape number theory.

Green and Sawhney’s work is especially exciting because it shows how tools from one field—Gowers norms—can unlock progress in another. That kind of cross-disciplinary insight is where breakthroughs happen. And yeah, it’s fair to question funding priorities, but basic research has given us antibiotics, GPS, and even computers. Without it, we’d still be in caves.
Being able to explain the word is a common house rule. The official rules only state that the word must be in an agreed upon standard dictionary (plus a few exceptions, like no abbreviations), which is the official Scrabble dictionary for competitions. As long as you can point to it there when challenged, you're good.
As an aside, I'm surprised that the author's suggesting that 16GB is a sweet spot for a configuration – I'm not sure that's true today (I don't think it is for quite a few workloads on top of heavy webengine apps), but I doubt it'll be true in five years.

This is coming from an M1 MBP user with 32GB who, even with aggressive paging in and out of an uber-fast disk, manages to fill about ~20GB on a regular basis.
I think you’d need to get a court order. You may be able to get that if you are a direct competitor. Essentially, unless you have a competitor who has a keen interest in making your life miserable, nothing will happen. The days were lawyers themselves could send you ceise and desist letters just to earn some money are long gone.
There are many questions we may want to ask about society. For example, "Does funding social sciences make a society happier?" is one of them. Social sciences give us the general capability to ask those questions and understand the answers. Whether you see value in that is of course up to you.

(I never said, claimed or argued any of the things you mention in your reply, so I'm not addressing those points)
Excellent comment. I beg the OP to address the topics, specially spare parts, so I can buy it.
Do you think group selection applies to eusocial species such as bees? It must. If so, imagine a species that is incrementally less social than eusocial. Unless there is some threshold degree of sociality required for group selection, then there clearly some level of group selection occurs for other animals (whether or not it's a major effect)
Nae Scottish.
> The crowd went wild

I am curious what a group of number theorists "going wild" looks like.. were they throwing chairs or are we talking slightly raised eyebrows?
Not at all.

Basically, a naive implementation of exceptions uses a lock to guard unwind tables, and this scales poorly. The lock is needed only because .so libraries can be loaded and unloaded dynamically. One solution is to say that after a certain moment, the program doesn't load/unload dynamic libraries and doesn't use the lock after that. That's what ScyllaDB and Yandex[0] do, for example. Another solution is to just use the new glibc which fixes this issue.

That aside, both exceptions and error codes introduce overhead, but they do it differently: exceptions add most[1] of their overhead when an error happens, while checking error codes adds overhead when an error doesn't happen[2]. One might conclude that exceptions should be used when errors are exceptionally rare; otherwise, use error codes. Or, just reclassify errors that happen too often as something you expect to happen, return them as a case of valid data and keep using exceptions.

[0] https://habr.com/en/companies/yandex/articles/852244/

[1] https://habr.com/en/companies/jugru/articles/494986/

[2] https://archive.is/bIU23
Maybe not VR then. But perhaps AR glasses like Meta's Orion prototype. Though that seems somewhat doubtful as well.
Can’t you send PDFs to a Kindle? Been a decade since I used one, but I vaguely remember that being a thing.
For the very same reasons you point out, there is also a style shared by the servers who work at these coffee shops. We would expect young people from the same generation to adopt similar hairstyles, facial hair choices etc.

When we look at 70s interiors full of leather upholstery, wood panels and with a desaturated look from old film camera pictures, they feel outdated. It's hard for me to imagine looking at these white, clean HD interiors and saying "oh this feels so outdated" - but I bet that's exactly what people will think decades from now.
I'm scared of it
Is there a BOLTR for general tech? For Instruments there is evvlog… but general tech?
The classic elementary school definition of species is something like “x and y are different species if they cannot produce fertile offspring” which is obviously already incomplete (it causes eg two males of one species to be different species, for example) but could be made a bit more precise.

But the actual definition is much more “a species is a group of reasonably closely related and similar organisms, capable of reproducing fertile offspring given sufficiently many individuals, and the grouping is useful for scientists to talk about”. Obviously that definition isn’t useful for a layperson to decide how to taxonomize things, but I think it’s a useful definition to have when reading about classifications of things into species.
A version still influenced by Delia Derbyshire's version. Being recorded in 1980 it could use a commodity synth to give it some of the flavour of the Derbyshire arrangement.
Another fp-ts
I assume a workload with many Docker containers will need much less memory on Linux compared to osx.
"When every supermarket aisle looks like a sea of sameness, when every category abides by the same conventions, when every industry has converged on its own singular style, bold brands and courageous companies have the chance to chart a different course. To be different, distinctive and disruptive."

I don't think it is that simple. There is stuff with different asthetics today, they are just not always successful among the mainstream audience. It is always a choice to substantially differ from the mainstream look, and in industries where the cost of entry is not too high plenty of people do it, they are just not successful or too niche most of the time. Where there is a high cost of entry obviously less players try to be massively different, because being too niche is not profitable in that case.
Subsequent updates can be. The original flashing process has to be this way for everything other than chromebooks.
>I just built a home server

People building home servers aren't a big customer base. In other words, you don't really matter to them.
do you know https://www.jbang.dev/ ?

btw. installing "java" is now very easy, you just need to install jetbrains toolbox, from there install intellij community edition (1 click), which installs a jdk for you with (2-3 clicks), when it detects that you need one.
This version came out in 1980 almost 2 decades after the Derbyshire version and is trying to be hip in a 1980 way using a synth line that is clearly inspired from Derbyshire.
Data integrity in Git isn't that hard. It hashes things. And compresses things.
It's not a file system. The kinds of bugs that would cause data integrity issues in Git wouldn't be improved by Rust, because they're regular old bugs, like adding or multiplying the wrong numbers.

In fact, Git is probably one of the types of programs that least benefit from Rust. As a one shot program, you technically don't even need any memory management. You can just malloc stuff and let the kernel collect it when the process exits.
I thought geneticists already do that?
>where a lot of users are considering near 24/7 usage in some way or another

Who are these "a lot of users" doing this? Are they "a lot" of the total gamers' market share this card is aimed at, or are they "a lot" in your reality/bubble?
See eg https://www.nsa.gov/portals/75/documents/about/cryptologic-h...
I think that just shows that those tests for randomness can just tell you when something is not random, not when it's actually random. There are problems, I think, about giving a rigorous definition of random, but I think most would agree that if you have an algorithm that predicts with certainty what the next element in a sequence will be, then that sequence isn't random.
How can u know sharks don't know how to write ?
Full Text of South Korean President Yoon Suk Yeol's Address to the Nation
FUTO Keyboard comes to mind: https://keyboard.futo.org/

Swipe worked pretty well but I had some problems (perhaps switching languages or something? can't remember) so I switched back to plain AOSP keyboard for now.
> If I want to understand an individual human being, I must lay aside all scientific knowledge of the average man and discard all theories in order to adopt a completely new and unprejudiced attitude.

-- Carl Jung, The Undiscovered Self

Everything in the average is infinitely reduced, even if you make a chair, a perfect chair for one is torture for another. So we compromise for all.

It is the same with user interface, or education.

Now however I think we can break out of this, with new unique interfaces for each individual, or teaching every child what they are struggling with, be ahead or behind the other children, there is no need to teach quadratic equations to 1 million kids in the very same time in the very same way, some get them in the first lesson, some in the last, and some never get them.
You can flash your own firmware which you can inspect. QMK and ZMK are two very popular options.
I've worked at a smaller project where it worked just fine. The key I think is to have the project be small enough to be able to fit in my head.

That and have an identical test server. I used to make changes locally, test it locally, then make the same change on test, have someone else look at it, get a lgtm, and do the same thing on the production machine. It sounds like a lot of steps but it is pretty straightforward.

Sadly, it probably doesn't work with bigger teams or more complicated projects.
AMD nearly beats 30X efficiency goal – AI servers 28.3 times more efficient
She didn't care, and she got away with it. And if she were still alive today, I wouldn't be talking about it since the statute of limitations is not passed.

Also this was in Germany, but still just as illegal.

She was the most amazing and remarkable woman I ever met. There will be an Arte documentary about her early next year (not about this; about her work in Ukraine).
Apple is reportedly building an AI server chip with Broadcom
It has caught my attention, I keep hearing about it as a new industry standard, I keep meaning to try it.

The reason why I keep procrastinating it is that, again, experience has shown me that LLMs are not really at a point where you can afford to abstract away the prompting. At least in the work I have been doing (large-scale unstructured data extraction and analysis), direct control over the actual input string is quite critical to getting good results. I also need fine-grained control over costs.

The DSPy pitch of automagically optimizing a pipeline of prompts sounds costly and hard to troubleshoot and iteratively improve by hand when it inevitably doesn't work as well as you need it to out-of-the-box, which is a constant with AI.

But don't get me wrong, I know I sound quite skeptical, but I intend to keep giving all these advancements a serious try, I'm sure one will actually be a big upgrade eventually.
Yes you can, but it's not the best format to read on, and a PDF with 2 columns is kind of even harder to read.
Congrats on making this! Looks very cool! For me it was very hard to learn about your products from your website. It is painful to scroll, it lags a lot and I had to put very much effort into getting the information I wanted. The design definitely sparked interest, but website killed it. Good luck on your journey!
>According to the make-up artist Colby Smith, Kim Kardashian is patient-zero of Instagram face. Ultimately, he says, every social media star’s goal is to look like her.

Pretty sure Kim K's look is itself highly artificial. Here are some of her old photos:

https://www.lifeandstylemag.com/wp-content/uploads/2018/01/M...

https://hips.hearstapps.com/hmg-prod/images/kim-k-a-intervie...*

>We are so conformist, nobody is thinking.

I continue to believe this is downstream of the like/upvote/share architecture of modern social media.

The early internet was a space for nonconformist weirdos. The early internet was also a space where the like, the upvote, and the share hadn't yet been invented. Maybe that's not a coincidence.
rust is super slow to compile. Its a showstopper for me using it more. when i compare to say, ocaml to build speeds are like night and day.
My definition:

A person who writes software that is closely bound to the operating system interface and/or hardware for reasons of performance and/or functionality.
One word, emacs ;)
Notion: Going Native on iOS and Android – By Gergely Orosz
That is impressive...

I will be the one saying this though: While the design of the metallic parts looks really good, the wooden arch not _at all_. It is _very_ offputting for me.

I think if you want wood, you should do more wood, sturdier and without the "ethereal" shape that feels very dated (for me this is straight from the 90s).
It sends the End Of File character. In most terminal applications, this ends an interactive session. E.g. if you're in a Python REPL and are done with it, you can press Ctrl-D and it will close and return to Bash. Press Ctrl-D once more and Bash will exit as well (and in most cases the terminal emulator will then close, too).

So, just a conventional shortcut to close things.
> is that you can swipe left and right on the space bar to quickly and accurately scroll left and right in a text field. I find this about as fast as tapping at a position in a text field, but much more accurate

I recently learned about a hidden iphone feature. If you hold the spacebar for about halve a second you can move freely the cursor around any text field.
Fortune cookies, classic hallmark greeting cards or twitter threads
I was obsessed with manuals back in the day too. Computer manuals were a gateway to a new world of possibilities and techno-fantasy. In my young mind, it was the 80s/90s version of the portal to Narnia.
That's interesting. I do hear Derbyshire's influence!
For this particular model, not much, other than having a partially open source bios. That can provide better security and bug fixes compared to the original bios, but that's the sort of thing that'll be mostly transparent to you. You can make this a robust system like chromebooks with verified boot or use a project like heads, but these require quite a bit of effort. For older models, there used to be more practical benefits too such as removing wifi whitelists.
How many olympic swimming pools do you need to accommodate a blue whale?
Just an illustration of this https://www.statista.com/statistics/1341003/poverty-rate-wor...

"nearly 38 percent of the world's population lived on less than 2.15 U.S. dollars in terms of 2017 Purchasing Power Parity (PPP) in 1990, this had fallen to 8.7 percent in 2022"
McDonaldization = globalization? The world is smaller now than it was in the 80's, and even then there were trends in design and fashion that spread across the world.
The design looks pretty but I'm sticking with freeze-dried granules, a kettle and a mug. Proper coffee, with none of this squeeze-the-beans rigmarole that needs complex machinery to make.
Historic inflation numbers are constantly changing depending on the year, pounds to kg is just one number.

2.2 is good enough for most practical purposes, even 1 kg = 1 lbs isn’t that bad and it’s easier to calculate.

It’s like not knowing how many months are in a year…. I mean you don’t need to remember, but people will look at you funny if you’re constantly looking it up.
The historical criteria for Spain seems dubious. It posits the ahistorical existence of a "Kingdom of Spain" from 1479 on, when this political entity didn't come to be until several centuries later (despite some monarchs using the title "King of Spain". For that matter, the current Spanish King holds the title of "King of Jerusalem", but to my awareness no Kingdom of Jerusalem actually exists today).
Really cool approach to running a VPN company
Species is a human taxonomy which doesn't strictly relate well to the variety of organisms in the living world. There are lots of different definitions and ways to approach it depending on context.
It's worth mentioning this scalability issue doesn't apply to SJLJ exceptions.

I wrote a program that throws an exception and catches it to warm up, and then throws a second exception.

void first() {
throw "";
}

void second() {
throw 2;
}

int main(int argc, char *argv[]) {
try {
first();
} catch (...) {
}
second();
}

The second() function with LLVM libcxx using normal DWARF exceptions calls pthread_rwlock_rdlock SIX TIMES and calls pthread_rwlock_wrlock one time. Overall, this program triggers ~4000 function calls according to --ftrace (see https://justine.lol/ftrace/)

On the other hand, if I use SJLJ, then this program triggers 269 function calls. It never locks anything. Although, like the first program, it does call pthread_once three times. That's doesn't cost anything though. It's the rwlocks you need to worry about.

For an example of a modern C++ toolchain that uses SJLJ exceptions, see https://github.com/jart/cosmopolitan/releases/tag/3.7.1

Please note that SJLJ exceptions carries a tradeoff. While SJLJ will make throwing exceptions much faster, you'll incur a slight performance degradation on normal code that isn't throwing exceptions. Using GCC in SJLJ mode will cause most of your C++ functions to have extra code inserted into the prologue and epilogue which calls _Unwind_SjLj_Register and _Unwind_SjLj_Unregister. Modern DWARF exception handling makes the intentional tradeoff of making exception throwing extremely slow, so that zero overhead is added for normal non-exceptional code. Both methods (SJLJ and DWARF) will bloat your binary size. With SJLJ it's just a few instructions inserted into prologues and epilogues. But with DWARF you get a lot of mandatory .eh_frame junk that's generated by everything, and it's centralized into a particular section of your binary that's only touched if exceptions are actually thrown.
> people hate modern society because they understand that although things are better than they were they aren't nearly as good as they could be

How do you know how good things "could be"? Just because you can imagine something doesn't mean it's possible
great point.

however, i dont think it is a matter of offending people, but of boiling down our differences to the least common denominator. if you ask people around the world what the color of the sky should be, you cannot be surprised when they all answer "blue"
Advertising ...
Headline by the economist in 2016: "Their time has come"

Well. No. Not yet.
This is no different to me than other historical artifacts. Old furniture, cars, clothes, books and so on tell a lot about the time they were created, and the people that lived during those times. It is not just about nostalgia. It is about knowing about the past. History and archeology are scientific disciplines where this is crucial.