skysight-inc/HackerNews huggingface dataset:
>An average physically unattractive male looking for a stable longterm relationship faces very slim odds with this type of woman -very prevalent in the West- today unless he performs massive compromises and lowers his requirements.

Do you mean an average physically unattractive male has a better chance of acquiring an average physically unattractive mate?

The mere idea that a society where a woman may have multiple sexual partners to compare against and the idea and that a man may need to exceed the standard "completely incompetent in giving her pleasure" in order to win her affections is inherently unstable reads a lot like someone claiming heavier than air flight is impossible in the 1980s. It's utterly inexplicable. People have been having sex with more than one person for a LOT longer than the 80s. What did happen in the 80s is the beginning of a massive rise in inequality that began with the top 10% earning 26% of all income in 1980 to where we are at the present time where they earn half while the bottom 50% share around 10% between them down from 2O%.

What you are framing as a crisis caused by too much female sexual choice is in fact a crisis of inequality wherein females are choosing "not poor" and the group "poor" expands year after year. Vastly more females escape this trap because men overwhelmingly value youth and attractiveness while women want people with some degree of complimentary earning power.

More recently what has happened is that the internet has allowed more niche groups to connect with their fellows. Incels are a group not of those who aren't getting any but rather those who aren't getting any who have decided to blame society in general and more particularly women. They are fetishizing both self hate and hatred of women. In the context of their in group communication their behavior and statements that would in larger contexts be considered aberrant are normalized by familiarity because people confuse repetition with truth.

If you want to decrease the negative impact of this behavior address inequality, make mental health more broadly available at zero cost, keep shutting down such communities and start putting people in prison who publicly call for acts of violence against others.

Driving evil and maladaptive behavior into hiding means less people will encounter it. Thus fewer will let its poison turn their pain into evil, or begin to view it as normal.

Wishing women boinked fewer men is a complete failure of analysis.
I'm torn about their account. It's true that you could easily scrape 25k pages per day on a small VPS that costs less than the $50 Lambda costs they mentioned. And in order to scrape from that VPS you wouldn't have to engineer this much with getting Chrome to run in Lambda, batching URLs, and you wouldn't worry about Lambda timeouts because you could run the whole scrape in one session more or less. So you could say that the engineering effort they spent building this was a waste of money. On the other hand, if they ever do need to scale up for whatever reason (information spread across more pages, or they need to scrape more services, or need multiple attempts per URL), all they have to do is push a button, at which point the upfront engineering effort will have paid off. Either way, their current Lambda costs are definitely eclipsed by the costs of paying for the residential proxy IPs. My two cents.
Good question/intuition.

You are correct in that I am appealing (exploiting?) the Liar's paradox [1]. The gist of which is that the truth-value of the proposition is undecidable.

You could interpret my statement as a performative contradiction; or you could interpret it as a lie, but a far more interesting a conversation would ensue if you simply ask me "Why do you say that?"

Which is why I said that it's up to you on how you choose to handle the exception (which I have intentionally triggered in your brain).

The way I would prefer you to interpret my intentional contradiction is to see it for what it is. I am engaging in cooperative multi-tasking [2]. I am yielding control by triggering an exception. Your turn to steer the conversation.

[1] https://en.wikipedia.org/wiki/Liar_paradox

[2] https://en.wikipedia.org/wiki/Cooperative_multitasking
That's the attitude of just about every successful company in history. Once large enough, some of them (e.g. YouTube) even force industrial changes to accommodate all the theft that made them successful.

Meanwhile on the topic of attitudes, referring to a startup as 'pond scum' simply because they scrape an extremely expensive data set, especially regarding an industry with a long and controversial history of strategies designed to avoid price transparency.. hmm.
Android by Sony verses Samsung or webos? I’m happy with my choice.
There is no way to mathematically prove that a lock cannot be picked, though, because of its physical reality.

But there are definitely ways to mathematically prove that parts of a program do what they should, or do not do what they should not.
It really depend on context. I did not use gdb at all before the end of my first year where i had to code my own posix-compliant shell (i don't think it was by the end of the project but we were close).

But gdb helped me understand why printf() was not working as intended, how those pesky register worked, remove memory leaks, and overall taught me a lot, fast. I had to rewrote malloc() using mmap at the start of my second year, i don't think any amount of printf() would've helped me as much as gdb and valgrind did. Also watchpoints basically do the same job as printf most of the time (but are more tedious to use).

I find pdb() usefull too (although it might be because i don't understand python as well as i should). I definitely use print() though, like said in the article, to narrow down where the break points should be placed. And i think than more than half the time i used pdb() it was on my test files, whether it was unit testing or feature testing (those are hard :/), so better test coverage would not help me much.

Also, debugging Common Lisp with (print) is usefull for beginners not used to the REPL, but once you understand how this whole slime/REPL thingy works, not using it to debug is bold.
I ran across his 'toys' due to numberphile, this guy is great.

https://www.msri.org/web/msri/public/tadashis-toys
The only thing stopping SQLite from becoming the primary application file format is browsers. Every single other client supports SQLite. Embedded, Mobile, Lightroom, Desktop Apps and Cross platform mobile frameworks have really good support for SQLite.
As someone fairly disjoint from the field of CPU design, I'm curious if there are "processor debuggers/process core dumps" that give you a low-level view of how a certain instruction was executed–how it was translated and reordered, which instructions it had dependencies on, what was in the pipeline and what got invalidated, etc. for bugs like these.
Fellow lefty, fountain pen user. Just my 2 cents if any other lefty reads this and takes the bold nib advice at face value:

Although I prefer bold nibs, and the reasoning of your comment is sound (bold is going to be smoother and easier to push, which is what lefties do on paper), you can definitely get away easily with medium nibs too as a lefty, unless they are badly tuned.

Fine and extra fine sized nib are a matter of 1. taste in smoothness and line size, 2. how well tuned they are, and 3. hand writing position:

I don't enjoy particularly the fine line they leave, but I have at least an extra fine (european, on a Diplomat Aero) that writes really well, and it has very little feedback when sliding on paper, to the point it's almost smooth (I prefer smooth over feedbacky) even left handed.

There are cheaper pens on the market to try out different nib sizes, if one enjoys pens like I do, definitely find your favorite

And these are the most common nib options, there's even more :)
Swapping the 5400 RPM drive with a SSD still makes sense even on SATA2. You'll go from 80ish M/s reads to 300.
My guess is free VPN services and browser extensions which resell your residential network in tiny chunks.
Ketamine, psilocybin and electro conclusive therapy are all similar in that regards.

Ect is the definitive treatment of resistant depression, but if you can get the same effect without requiring a psychiatrist, anesthesiologist, cna, respiratory, and nursing, why wouldn't you?
Grammatically "for instance" is a non-restrictive clause in that sentence. It adds information, but it doesn't narrow the meaning of what preceded it.
I very strongly disagree with your suggestion. Matlab is mostly for numerical work (e.g. what NumPy/SciPy/R/Octave are usually used for). Almost universally, this is not research mathematics (although it is certainly useful for many cutting edge engineering research topics and plenty of applied math work).

Sage can deal with these tasks as well as Matlab, simply by virtue of having interfaces to NumPy/SciPy/Octave/others, but this is not where Sage shines. Sage is indispensable for research math (some examples I understand: group theory, cryptography, abstract algebras; but there are many others that are far beyond my level of math education).

In short, I think you are misrepresenting or missing who Sage is really useful for. Matlab simply does not have these features. The competitors would be Mathematica/Maple/Magma.
That's C to Rust, not Rust to C. (mrustc provides something like the latter, but it doesn't actually support full Rust.)
If you do not mind me asking, did you to intend to have the children at the time that you had. Its not very clear from your comment and was just curious. If its too personal, my apologies and please ignore.
I stumbled along and made the changes you recommended! Seems to be working fine. Thanks again for the tip!
Removed undefined behavior from your code with this one weird trick!
Got it. Better to stick to tried and tested “boring” stuff and actually code small functionality yourself than chasing a thousand line library for trivial stuff.

At work, someone used a 3rd party library to send stats to a server in json format and “standardized” on it. 100s of developers had to now learn this new library and it’s APIs and one bug caused everyone a bit of hassle. It probably made the original dev’s job just a little easy but made it a bit hard for everyone else. These things do happen. The point is to learn from this and make better decisions over time, not give up and say we can’t get better. Trying to provide an estimate forces you to think more carefully and become better over time.
One component choosing to use a mature implementation in another browser instead of a rewrite from scratch in rust means very little.

We can look at actually statistics instead of just one random anecdote. For instance, according to [1], there are 2 million lines of rust code in firefox, 6 million lines of C++, and 3 million lines of C. Very roughly speaking that's 20% of the lines of low level language being in Rust.

Firefox only started requiring rust to be built about 3 years ago, this is a pretty breakneck pace of replacing C/C++ with rust.

[1] https://www.openhub.net/p/firefox/analyses/latest/languages_...
I'm disappointed they didn't double-down on what I feel is the best general purpose programming language C# (and related F#).

It has a great toolset, generates good code, and with a good microkernel architecture (which Windows 10 is, mostly) 90% of "systems" programming would be fine in a garbage-collected language.
Shi means "is", not "yes" in Mandarin.
This misguided meme comes up like clockwork every two weeks.

The actual legal standard is much closer to “don’t rip off the company” than “you must grab onto every penny anywhere near your grasp.”

This thread has a bunch of references to court cases: https://news.ycombinator.com/item?id=23393674

The common theme is that the directors of a company have incredible latitude to run it as they please, and courts won’t second-guess business decisions as long as they are vaguely plausible.
This statement is pure FUD. There were no meaningful quality issues and the situation is exactly the same for all alternative implementations of the same ISA. You could make the same argument to say that AMD or even a new Intel microarchitecture is incompatible as doesn't have the exact same runtime behavior (eg. shifters on the P4).

The only relevant metric: does it run the applications that customers use.

The Crusoe/Efficeon issues were performance related.
Google has the (often implicit) permission of the website owner to scrape. OTOH, Google Flights explicitly disallows scraping results.
Also important to note is that enterprise pricing is way higher than you'd think because when an enterprise needs a solution, something like $1000 is literally too cheap to justify the cost of procurement (which involves not just getting a license, but also internal documentation, which in turn needs to be entered into whatever process certification programme is in place, etc.)
2D graphics on the GPU is an open research problem. My understanding is that piet-gpu and Pathfinder, both state of the art research projects, use coverage-based solutions based on the GPU. MSAAx16, which is incredibly expensive on mobile devices, only provides 16 different coverage values, and from my limited tests was poorer quality than a coverage-based solution.
More like radicalization in general. Left wing got similarly radicalized, if not more so. When everybody lives in their own bubble people get pushed to the extremes :-(
I'm the same. It drives me absolutely insane when software developers (especially games designers) don't think about motion sickness.

Things like scrolling a web page can induce vertigo-like feelings if the content lags while it's scrolling. Mouse lag, which you mentioned, is unbearable.

I've had to stop playing certain games such as Overcooked or Lovers in a Dangerous Spacetime because they incorporate elements where the entire screen's perspective moves.
> You are assuming that I support Trump, or that the author does. I don't, and he doesn't. You are engaging in what-aboutism.

Seeing the person you're responding to's attitude fills me with a sort of depressing frustration. As a center-left person myself, I engage with people and I'm always up against the wall of what-aboutism. If I criticize Trump those folks start a rant about Obama or Biden. If I criticize the topic we're talking about here, I'm reminded about how mean the GOP is.

For years I've been trying to wrap my head around this.

HN doesn't like political conversation, I get it. But a HN-friendly topic would be, is technology itself to blame for this insane bifurcation of conversation, from topic-by-topic or subject-oriented reasoning and debate, to this head-scratching angry tribalism? Or is it just human nature somehow (whatever that means)?
The ambitious plan to build a Minecraft version of Australia
Living on Free Land
There's also the head bobble, common in south India, which looks a lot like an ongoing head shake but generally means something like ongoing agreement.

https://en.wikipedia.org/wiki/Head_bobble
AMD started out and get the designs directly from Intel to make 8086 CPUs on license and continued onto the 286 until Intel broke their agreement and they had to make clean room 386 implementations. So AMD has been doing this since, essentially, the beginning, and have been able to iterate tracking Intel and not starting from scratch in the 2000s with an entirely new approach. They probably could have done it, eventually, but they ran out of funding and thats the end of the road for that adventure.
Pond scum? He's scraping some data from a company that got rich scraping data and that probably will tell him to stop doing it. I mean if he's pond scum, what level of scum are those guys with upshot sites? What level of scum is Mark Zuckerberg? Pond scum is generally supposed to be pretty scummy, I can think of thousands of people more scummy than someone scraping from google.
I don’t understand - why can’t you prove you can’t pick up a lock?
Many reasons for this:

(1) Because SQLite is just a function call whereas PostgreSQL
is a round-trip message to a separate server process, MRigger
was able to run many more test cases per second on SQLite.

(2) We fixed bugs faster in SQLite, allowing MRigger to continue
testing SQLite sooner.

(3) SQLite has much stronger backwards compatibility guarantees
than PostgreSQL. We have to continue to support design errors
made decades ago, whereas PostgreSQL gets to walk away from their
poor design choices with each major release. For this reason,
SQLite is rather more complicated than you might imagine.

(4) Many of the bugs found by MRigger had to do with the innovative
(and controversial) decision by SQLite to use flexible typing rather
than strict, rigid typing. SQLite allows you to put text into an
INT column, for example. PostgreSQL has a more traditional design
that simply does not allow that kind of thing, and hence many of the
bugs found by MRigger are simply not applicable to PostgreSQL.

(5) The PostgreSQL developers are very clever people and write
some of the best software around. When we were developing the
cross-DBMS "sqllogictest" test suite for SQLite
(https://www.sqlite.org/sqllogictest/doc/trunk/about.wiki) we were
able to crash every DBMS we tried it on,
except for PostgreSQL. To this day, when somebody has questions
about whether or not the behavior of SQLite is correct, our
reflexive reply is "What Does PostgreSQL Do?"
It's not so easy. I really was looking for those 2 (NN and ZZ) recently and had a fight. Also bijective function, problem is I can read about it all day but I need an intuitive understanding (which I do have now but wasn't born with it).

> about the domain and codomain

I was taught these as domain and range. Another notational inconsistency.

I basically agree with you but maths is a lot harder for some reason than programming. I don't think it's just me either. Perhaps if we could animate maths... I don't know. It's simply not an easy thing.
I also have three identical seeming patents. I was also confused, so I asked my patent examiner friend, and this was his response. I assume the same applies to you:

"You have one patent family with three patents in it. The lowest number is the parent, it was first to grant. Before it was granted a continuation was filed - they wanted to claim some shit that you disclosed in the parent but didn't claim, and it got granted. Before that one got granted a second continuation was filed to claim some shit that was disclosed in the first continuation. Sometimes that comes from realizing something else in the patent specification was also really important and deserves protection, or something comes up in prosecution and the easiest way to get around a rejection is to file a continuation. All the claims in the patent family are unique."
In a similar vein, wubi-uefi[0] is a fork of the original Wubi project, made to be compatible with newer versions of Ubuntu-based distros and newer versions of Windows. Upside is that it uses the built in Windows bootloader, so you don't have to rebuild it if you want to get rid of Linux. It's incompatible with Bitlocker though.

[0]: https://github.com/hakuna-m/wubiuefi
> Few of these features were of much value.

Then why were users upgrading?
Do they offer auto pay?
Primary application file format for... what kind of files? Because it's certainly not going to (nor should it ever) replace hypertext documents.

Being able to load a read-only .sqlite database might seem cool, but I can't think of a single instance in which that's smaller and/or more efficient than calling data endpoints that use gzip/brotli for transport.

Or are you thinking "as replacement for IndexedDB"? In which case, hard agree but then it's an actual database, not used as file data container.
This is so interesting. Something to read about over the weekend. Thanks!
An electronic lock is a physical device and you won’t be able to pick it as easy as you are saying.
Ask HN: Urgent problems within the timeframe of thesis
Hi,

A ton of problems aren't being researched upon or being looked into as much as they should be (AI Safety for example). What are some problem statements that can be looked into within the timeframe of a Bachelors's or Master's thesis?

See https://effectivethesis.org for more details.
No problem. I consider this part of my therapy session now, part of writing a letter to a fictional friend, so lets go personal.

Well, I always wanted children, but not at that moment, I was not ready. I just didn't have the heart to go for an abortion. I did consider it though and that still hurts. It still burns, I never would have forgiven myself. Only in the darkest of hours you should consider that.

We still together and have 4 kids now. I am happy how it all worked out. Could have been worse.

It helps to write, so thank you for asking :)
Yes, assuming that everything that program relies on to run also works perfectly as intended. God help you if you get a CPU bug.
Hah... and I thought this was weird:

https://youtrack.jetbrains.com/issue/JBR-2310#focus=streamIt...
Hi folks - I made this :)

The initial release was only two days ago, after working on the language on-and-off for several years. Happy to answer any questions!
You can apply formal methods to code that you cannot in physical reality. If I show you the equation “x == y”, you won’t be able to pick 7 and 8 to make the equation true. If I give you a mechanical device that works with beads to answer the same question, you might make it work.

Of course computers are eventually physical reality, too, and things like rowhammer show that you don’t even need traditional “bugs” to escape your mathematical utopia.

But all the bugs talked about here are entirely the fault of the software.
Build Facets with Elasticsearch
I do agree with the possibility of uses for this kind of technology, however at least in the United States, health insurance is largely tied to ones employer which makes it impossible to switch insurance companies.
"will GCC begin to lose relevance"

Systems programming is not web where they change the framework and 'script flavour every six months.

Systems programs live for decades - and hence their critical infrastructure like GCC will as well. C will be with us at least 3 decades more. Longer if Linux kernel will use it still.
I think the chart showed transliterations similar to "aa". It was not claimed that the exact sound or spelling of "huh" exists in every language.
Must have missed something? I thought you recently joined Cloudflare.
MDN Periodic Table
I failed with the startup race, but I do enjoy seeing others succeed, so that is why I started to linger around here again.
Building a Search Engine for Programmers
Hey HN, I've recently started working on a side-project. It's basically a vertical search engine for programmers. You'll be able to quickly search through documentation, GitHub repos and stack overflow. It'll know what language you're using and what project you're working on and tailor results accordingly.

What other features would you want to see in this tool?
well, spectre and friends show that physical reality gets in the way of theoretical security. Also see the tweezers attack on the Wii.
'I could see was my pain as a sore spot on a multicoloured "wall".'

All other stimuli forming you dissipated, so then you were seeing a flat representation, or screen, a map of your body and then perceived the spot radiating pain as a multicoloured spot on the wall/screen? That's what I took from that description.
You're confusing substance with allegiance. Your arguments are ad-hominems. Which means they're not actually disproving anything or attempting to, but trying to discredit people by their allegiances. That's what this downvoting is for. And the persecution comment sounds like a sort of activist or provocation on your part.

I'm speaking not as a conservative at all, but someone who values reason and calm argumentation.

Activism and agitation belong elsewhere.
Then don't come near the Clojure community either, that's the most cultist one I have encountered.