skysight-inc/HackerNews huggingface dataset:
Romania has very similar ethnically homogenous population at 89.3% [1] and I can definitely say that this factor does not directly lead to a high trust society. I suspect there are quite a few other countries with similar makeups that don't result in outcomes similar to Finland/Japan.

While homogeneity may play a factor I think it's dwarved by other things.
[1] https://en.m.wikipedia.org/wiki/Demographics_of_Romania
That would be quite a claim and I certainly wouldn't assume it!
I solved this by writing code to walk the stack and extract the information I needed (this was Python, but am sure it would translate to Ruby).
> IMO, case-insensitive filesystems are an abomination; the case-insensitivity should have been done in the user interface layer, not in the filesystem layer.

Implementing case-insensitivity in a file picker or something is OK, but doing that throughout your app's runtime is insane since you'd have to hook every file open and then list the directory, whereas in a file picker you're probably listing the directory anyways.
So my first professional programming job was at a place where people described themselves as "C# developers" instead of software engineers. The team was run by a guy who had built his entire career out of teaching people a very dogmatic, .NET-specific flavor of MVP that he'd learned from a Learning Tree course without understanding any of its theoretical underpinnings. He augmented his One True Design by looking up ASP .NET hacks and tricks on StackOverflow, implementing them, then copying the source code for each project that he worked on to a USB key so that he could reference his handiwork at later jobs. Because this was a step above people writing unintelligible 3000-line classes he was hailed as a minor hero by management. His teachings created a professional quasi-religion where he was the Pope and his USB key full of copy-pasted jQuery selectors and Linq statements was the Bible.

In this hallowed religion one of the most fundamental rules was that every domain object had to have both an integer identifier ("ID") and a UUID ("GUID", because Windows). When I asked why we didn't simply use one or the other I was told that we had to have an ID because we "need a primary key" and a GUID because "we can't put an ID in the URL because then you can go to another record by changing it!" It didn't matter that we performed permissions checks on these routes because _security_. As I learned more about data modeling and relational databases I periodically questioned this (in retrospect we should have just used UUIDs as the PK because we had no good performance or design reasons to have both) but never got a good answer. This religion didn't tolerate heretical nonsense - GUIDs are for URLs because of hackers.

No idea if that's what's going on here but it reminded me of it.
Why use a 3rd party add-on solution instead of using something better in the first place?
To put the first equation more formally, we know that ℚ is closed under addition¹, so given k∊ℝ\ℚ, l∊ℚ then if k+l=m∊ℚ, then m-l=m+(-l)∊ℚ, but m-l=k which is not in ℚ so k+l∉ℚ.

⸻

1. For p,q∊ℚ, let p=a/b, q=c/d, a,b,c,d∊ℤ, then p+q=(ad+bc)/bd, but the products and sums of integers are integers, so p+q∊ℚ
Out of curiosity, what kind of request/second are you seeing and what was your before/after VPS cores? Is it built with rails?
Stop Trying to Schedule a Call with Me
While I sort of agree with you, I'm a software engineer with a background and hobbies in the arts. My wife and I are part time performing magicians, and I used to play various instruments in rock bands, I produced an indie album a few years ago etc. I'm saying this because I hang around people who are hyper-creative.

I compare those hyper-creative people to other people that I know and I work with and it becomes very apparent that what we tend to think of as "creativity" is not something that even the majority of people possess.

I definitely agree that everyone is "creative" to an extent within their respective interests and productive pursuits. But I think we might be conflating creativity with productivity. Everyone produces, or at least is capable of producing things. But what we tend to think of as "creativity" involves abstract thinking and piecing together things that are non-obvious.

In that sense, hackers and engineers do tend to often exhibit this form of creativity. I mean using something in a way that it was not original intended is an example of that "outside of the box" abstract thinking.

But my point, as anectodal as it is, in my 40+ years on this planet I've encountered far more people who are incapable of abstract thinking and coming up with novel ways to combine things than I have people who do possess this ability.

Now it might be a muscle, it might boil down to interests and personal ambitions. But, and I think you'd even agree with this, that's a hypothesis. I don't personally see evidence in support of that. The people who can't think abstractly are even some really decent programmers that I've met. They can produce shippable code and solve problems, but they can't think in terms of design patterns and abstractions... they need concrete examples for everything. The second you start to abstract a solution and talk in terms of generics you lose them. And I'm not putting them down, they're still great people to have on your team. Great work ethic and love what they do. They just can't think abstractly and are therefore not "creative" in the way that I interpret that word.
Programming Like It's 1999 (Before Agile/Scrum)
I argue this ignores rate of change of manufacturing capacity and deployment trajectories, but concede all we can do is speculate based on data available today.
It's possible that this is due to the underlying implementation.

In a unique column normally you'll have an index, so NULL becomes a special value in an index, but in SELECT DISTINCT you probably won't have an index, which means a full scan is performed, then every row has to be compared with every other row.
I Know About the Date in the Footer
Another great example how hallucination is the Achilles heel of AI. Never implicitly trust its output.
Another part of this history is the Machinima "Minecraft Survival Games" youtube series (Inspired by The Hunger Games) and the Hunger Games minigames that popped up in Minecraft servers in the early 2010s in the wake of that.
The post reads a bit like one of those stackoverflow questions seeking a solution to x when that’s not the problem they should be solving.
> QubesOS is great if you need to do work and personal stuff on the same computer

This is significantly underestimating the benefits of Qubes. Are you using your online banking in the same browser that you use for random web surfing? I do it in separate VMs with hardware isolation. Same compartmentalization with all other things.

> You are still just as vulnerable or more vulnerable to malware stealing browser sessions, passwords, and everything you have on the AppVM the browser is running on than you are on a regular Fedora Workstation

This is not true. I'm not using the same VM for everything but dedicated VMs for bank, email, HN, instant messaging and so on. A malware on a random website would only get the access to an empty VM, nothing more. Passwords can be securely saved in the related single-purpose browsers and in a plain text file (in an offline VM).

> If QubesOS had hardened templates, I would use it.

You misinterpret the Qubes' approach to security. If your VM is compromised, no hardening will save your data (https://xkcd.com/1200/). On Qubes, you should compartmentalize your digital live into security domains, such that you never run anything untrusted in trusted ones and never have anything valuable in untrusted ones. With such approach, hardening is irrelevant. More examples: https://www.qubes-os.org/news/2022/10/28/how-to-organize-you...

> Unless you only use disposable VMs, which you probably don't.

I don't understand why one wouldn't use them for everything not requiring saving the data. Of course I do use them and wrote this comment from one.

More benefits: https://forum.qubes-os.org/t/how-to-pitch-qubes-os/4499/15
Note this is a country where you cannot survive without shelter for most of the year. It's much "easier" to remain unhoused somewhere like California.
If they had used Next.js with a typical deployment this wouldn't happen since it uses a static CDN cache for all pages.
It's not much different than with Postgres:

ssh your-server sqlite3 /tmp/path/to/your/db.sqlite3

Or if you're using Kamal, then the choice of database is completely transparent:

kamal app exec -i --reuse bin/rails console
Squid Game s1 and Parasite took the world by storm in the same year. I thought we were seeing commentary on the horrors of capitalism and people were on the verge of demanding change. But no, it was mindless entertainment. People remain angry about their lot under capitalism, but they are successfully rerouted to place their rage with other targets that don’t meaningfully affect them.

Good job, elites. You’ve secured your place at the top yet again.
Is Common Core really that bad? It seems to be yet another globalist boogeyman for the online ultra-independent-personality types like "15 minute cities" and similar quips.
Quite surreal to watch Thiel and his little puppets try to market this faux awakening to the skeptical public out there, when so many of them are up to their necks in their own ties to Epstein and spook cut-outs like In-Q-Tel.

"How the Deep Right is Coopting Conspiracy Consciousness" https://open.substack.com/pub/childrenofjob/p/peter-thiels-g...
It's the same on Unix.

On Unix the reason for this is that the kernel has no idea what codeset you're using for your strings in user-land, so filesystem-related system calls have to limit themselves to treating just a few ASCII codepoints as such (mainly NUL, `/`, and `.`).
As opposed to using JavaScript on the front end & back end? That benefit of JS has always seemed a bit overrated to me—the context for front-end & server-side JS is pretty darn different, too.

Anyway, Ruby & Rails are such a joy to use that, at least for me, the fact that it’s written in a different language than the one we need in the browser is a non-issue.
bro your username speaks for itself lol
Lord of the Flies?
There are so many competitors though? Even VW is building a competing service, with trials starting soon.
Only 5 percent of US car buyers want an EV, according to survey
Using LLMs to bootstrap development in unfamiliar frameworks is a valuable approach when balanced with pragmatic engineering principles. While framework idioms are important, they're secondary to delivering working, maintainable software that solves real problems.

The focus on "terrible structure" misses the point - what matters is whether the system meets its requirements efficiently and can be maintained effectively. Have you measured any actual negative impacts on system performance, maintainability, or customer value? My experience suggests that starting with working code and iteratively improving it as patterns emerge often leads to better outcomes than delaying development for complete framework mastery.

The interview analogy is particularly misleading - success in a software engineering role isn't measured by framework knowledge, but by the ability to deliver value to customers effectively. Learning framework idioms can happen in parallel with productive development, especially when using LLMs to accelerate the initial learning curve.
Russian troll, please go away.
One thing I've noticed working with successful people, is they consistently have a track record of success. Even when its non work related - for instance being very high level in a competitive video game. Being personally interested in both business and hobby success, I see this across so many disparate activities. Successful people tackle their pursuits with their heart and soul, but are also smart about what they do, who they learn from, who they surround themselves with, etc.
I would be in favour of a kill-switch that emergency authorities could use to knock down all unauthorized drones in areas like that. It might be the only way to guard against this sort of idiocy.
Whether two measurements of 25C are the same is unknown, these are just values recorded in a database. 25 is a value, null is a value.

The values in the db are the same in both cases which is what I would like my db language to deal with and not make assumptions about what that value actually means.

I see no value in treating null special when in comes to equality in a sql db, in fact it is a hinderance that it does so in my experience.
Discovery of new skeletal tissue advances regenerative medicine potential
Well actually, if they had used Next.js deployed via Vercel or something similar, it would have been statically cached on a CDN and prevents issues like this. But because they want to use older technology that's more difficult to cache and proxy, this happens.
It's been a while since I worked on those systems, but you usually decide on some rules that you refine over time. So they are purely logical decisions that you can formalize. I don't see why it would be hard to specify. I don't mean to specify all up front but one can specify the exact decision procedure that is implemented right now very easily in my experience. Generally you have a state machine representing the process.

This state machine is usually embedded in the code, but code has a lot of noise around the state machine that makes it harder to see the underlying state machine.
Check your contract, particularly non-compete clauses.
Unlikely to be COVID. The mRNA vaccine on the other hand...
Bad Apple with Regex in Vim
Render doesn’t need a rails app to be dockerized. I have several Rails apps running on it right now.
Yeah, many of the fancy analytic methods are beyond my level of dabbling. I've been trying to learn more about them, so I can solve the myriad exercises left to the reader in all the Diophantine approximation papers.

Still, the newer methods publicized in the Quanta article definitely get more involved, and at least from my perspective they don't establish things as elegantly as Apéry's ζ(2) and ζ(3) arguments do. Hopefully they turn out to be powerful in practice, to make up for it.
Can you run a 1M, 10M dollar business ethically without screwing over anyone - employees, customers, suppliers, environment etc? Sure. What about 100M, 1B, 10B, 100B businesses?

How many Billion dollar businesses can we name that are run ethically? Not that many, correct me if I am wrong. I suppose at some level, profit and monopoly becomes the one and only motivation. Plus if you didn’t do shady stuff, your competitors surely would, putting you at a disadvantage.

Why else would Google drop “don’t do evil” from their principles?
Written by guys in leisure, both successful in their primary vocations, not falling in any stoic traps. Something like that.(Separated by couple hundred years, oh well.)
Nah, it'd come out too much as "almost famous".

I did manage to avoid being Microsoft employee #12 or so (my buddy Bob Greenberg was #8, I think?, and encouraged me to come join them), and Adobe employee #8 (I knew Chuck Geschke from some earlier work done as an undergrad extending his PhD thesis to Harvard's extensible language ECL), due to various life circumstances. I guess God didn't want be to be a spoiled rotten billionaire.

Another near miss was co-consulting with Len Bosack at HP setting up Lisp Machine networking, and wondering how the heck the then-nascent Cisco was ever going to sell more than a few hundred routers (based on the same Sun-1 boards developed by Andy Bechtolstein at Standford that we used at Imagen, the first typeset-quality laser printers, a spinoff from Don Knuth's research at Stanford) to universities and government labs.

As Gates said, those of us who grew up with the ARPAnet and came to take it as a simple fact of life like electricity didn't see the Internet juggernaut coming.
> Those are 2 sentences.

Are you saying the two sentences, in sequence, are unrelated?

> snarky

I wasn't intending to be snarky. My point was serious: 'suspicion' is not grounds for 'absolutely'.
Property tests are informal tests of formal properties. They don't guarantee the properties hold, or that the formal properties are complete, but they exploit the existence of these formal properties.

Once you have formal properties, you can write property-based tests using them, and I wonder how much of the benefit of formal methods could be obtained just by doing this. It's another example of using increased computing power (testing) to substitute for expensive hand labor (proving theorems).

I'll also observe that even theorem proving systems benefit from a kind of property based testing. If there's a goal to prove the existence of a value satisfying some property, this is essentially a property based testing problem. Similarly, find a counterexample to a universally quantified formula (also an existential problem) can be used to prune off unproductive branches of a search tree.
I watched the first 4 or so episodes and got to the one where the rich friend offered to pay for everything but he declined. I was like "this guy's an ass." and didn't have any motivation to keep watching.
No, that's exactly how the Industry (also) works. There are different styles of projects, but scripts being finished before any money flows in, is pretty common. And at those point changes are usually small. And usually they also don't plan ahead to become some global hit.

But the point is that Netflix specifically buys productions from different countries, to cater to the fans of those cultures. If they wanted to have a US-ified script, they wouldn't need to go to such lengths, they could just hire some us-asian writer to get another ethnic US-series.
There have been times when my wife and I resorted to including send times, because the latency between our phones was ridiculously high. I really wish SMS and email would include both sent and received times, so that latency issues can be accounted for.
I will get flak for this but just too funny to not say it.

This looks to me the equivalent of: "software engineer is a real engineering discipline" argument. Some practitioners of one field consider themselves to be equivalent to another related field because of similarities. Opponents cite some "key differences" and requirements to deny the claim. Fights ensue.
The "old money" was all made by psychopaths too, many of whom practiced all the same pedocratic techniques that Epstein has made broadly known.
> but I thought the reason he decided to do it was to help pay for the treatment so he didn't go in debt and to leave a nest egg behind for his family

The initial diagnosis is that it is terminal and without useful treatment options and his rationalization for cooking meth is to leave a nest egg. The high cost treatment comes up later and he immediately turns down an offer of no-strings payment in favor of cooking more meth to pay for it (Epsiodes 4-5).

The only medical service he pays for out of drug money before turning down the offer to pay for all treatment is the initial evaluation with the highly-rated oncologists that his wife schedules on her own without a clear plan of how they’ll pay for it from which the treatment plan originates.
Try on mobile, it's easier if the images are smaller.
Is there a reason to use rails over Django? Doesn’t seem like it based on your list.
Are you crossing your eyes (focusing nearer than the object) or diverging them (focusing past it)? Diverging is a harder skill to learn.
it's only organized by teenagers who are a part of hack club :)
hack clubbers will then reach out to adults in their city for help organizing the event, but most of the work is done by the teenager.
Randomly hearing a chime recently? It might be coming from your AirPods Pro 2
Research community is definitely not agreed on this, and there are a number of different camps. Broadly, 2 perspectives from the NLP community:

The 2020 Bender and Koller paper[1] that argues that meaning is not learnable from form, and LLMs are trained on form. They propose a thought experiment ("The Octopus Test" section of the paper) featuring an octopus that can intercept the conversation two humans are having, but "having only form available as training data, [the Octopus] did not learn meaning."

And a contradicting response from Yoav Goldberg (another NLP researcher)[2] with a much more informal discussion of "groundedness" and what LLMs learn. His argument is broadly that instruction tuning + post-training can meaningfully grounds terms like "summarize" etc.

[1] https://aclanthology.org/2020.acl-main.463/

[2] https://gist.github.com/yoavg/59d174608e92e845c8994ac2e234c8...
> I think the Chinese government would love for this to be true and maybe the US government too.

Why?

> Chinese people seem to be like to be everyone else and like that they can communicate with people from everywhere.

Do you think that's what people want? I personally prefer the time when almost 100% of the people online were american. I've no real desire to speak with chinese or british or any others. I simply just assume I'm interacting with americans.

> It's understood by everyone that English is the Global language

It shouldn't be. There shouldn't be a global language. Chinese, Hindi, spanish, arabic, etc along with english should be major regional languages. Also, it's a waste of time for vast majority of people to learn english on a superficial level. Their time is better spent on learning their own languages. Especially a language with such rich history as chinese.

> China is trying be more of a cultural power rn and that's all bc of English so...

Language is one of the most important aspects of cultural power. If china wants to be a cultural power, then they should be focusing on spreading chinese, not "submitting" to english. America didn't become a cultural power by adopting french when french was lingua franca.

> I just don't kno how much I believe this.

It's an economist article on china, so much of it is probably nonsense. So don't let it bother you so much.
Loser Lane: an impossible bike lane game
I have not fully read the whole page, but I wonder if this type of tree of expressions leading to a proof can be explored efficiently with the same idea as Monte-Carlo Tree Search in chess. I.e. surely you can explore all the possible combinations of existing axioms/lemmas, but if you have something like NN, it can suggest the most interested branches of the tree, so you can go deeper in the tree/graph without exponential effort.
The flying of unauthorized drones within firefighting areas is a federal crime punishable by up to 12 months in prison or a fine of up to US$75,000. Catching the person is the first order of business.
> You really shouldn't be running an unpatched office suite.

Is there any "patched" office suite up there ? Microsoft was never famous for its security and Google is of "ship it first, fix it later" and "extend the attack surface as much as possible" philosophy.
Better than I ever have.

Seriously. Life is good.
My email address is in my profile, send me your address and I'll send you a thank you gift :)