skysight-inc/HackerNews huggingface dataset:
With a typical workflow of “just compile this source code”, this is an impossible task, because performance of algorithm implementations depends on the actual data they process (think how SQL plans queries based on table stats). Profile-guided optimization already improves performance significantly despite merely informing some heuristics. A truly optimal compiler would need to design algorithms for specific data sets (basically what people do when they profile the code).

However, there are some takes beyond the “Algol68 on PDP11” design of most languages. There’s Intel’s SPMD C compiler that extends the language to make auto-vectorization a first-class feature.

There is Halide lang specifically for image processing, which separates the goal from the algorithms used to archive it.
I don't know, but reading on v2ex shows that there is still a sizable community in China. It's called 黑苹果. (Black Apple)
$10 is cost target. Price will likely be significantly higher.
Boeing plane that landed with missing panel prompts investigation
>and it didn't suck relative to what was on the market at the time.

That's going to depend on what things you cared about. The original iPhone was heavily criticized for no copy/paste, no 3g service, no MMS, no physical keyboard, its absurd at the time $700+ price tag, carrier exclusivity, lack of subsidized pricing model and number of other things. Plenty of commentators thought Apple had widely missed the mark and had just launched a multi-million dollar folly that was sure to sink them any day now.
That’s not how this marketplace works at all. A better analogy is to say that BMW has a monopoly on making BMWs, yet they are still forced to compete with Porsche, who has their own monopoly on creating Porsches.

There’s a two-sided marketplace for creative works, where publishers need to get works from creators and license them to customers. They want to maximize their own profits, but they also need to make a certain amount revenue as all methods of distribution have fixed costs.
Yet the very notion of countability in ZFC, which is itself a first-order theory, is rendered completely relative by Löwenheim-Skolem. ZFC itself has a countable model.
What's that? Is it invite-only (and why)...?
Could be the other way around.

"People who are more gullible are more likely to try a bluff" makes more sense: they aren't aware enough to read the situation and react accordingly. That makes them more gullible as well as more likely to attempt a bluff.
I don’t feel like 59k income was enough for home ownership during peak Covid times
“The Java Virtual Machine […] leverages the protected memory access signal mechanism both for correctness (e.g., to handle the truncation of memory mapped files) and for performance.”

Where by “protected memory access signal mechanism”, they mean SIGBUS/SIGSEGV, i.e., a segfault.

This is probably because the JVM is doing “zero cost access checks”, which is where you do the moral equivalent of:

try {
writeToFile()
} catch(err) {
if (err == SYSTEM_CRASH_IMMINENT) {
changeFilePermissions()
retry
}
}

…because it’s faster than checking file permissions before every write. (It’s a common pattern in systems programming, so it’s not quite as crazy as it sounds.)

I guess my opinion on this is that if you write your program to intentionally trigger and ignore kill(10) / kill(11) from the host OS, for the sake of a speed boost, you can’t really get too mad when the host OS gets fed up and starts sending kill(9) instead.

I also wonder what happens in the (extremely rare) case where the signal the JVM is trapping is a real segfault, and not an operating system signal.
Good to know that you had a try at this. Thanks for the insights. True, I agree on the part that finding PMF is the biggest challenge and on the other hand the distribution part.
Unless, we find and do better than the other players in atleast one aspect such as quality or pricing, it would not be straightforward.
Almost every major tech company took capital.

Almost every major company period took capital.

Money is energy and time. You can do it without these, but the gradient is steeper.
I’ve had a Quest 1 for years, it always required an Oculus account, and since rebranding as Meta it now requires a Meta account, which my Oculus account was converted into.

It’s not bricked and hasn’t deleted my software, I’m curious what exactly you’re referring to with that.
Awful take dude, you don't realize that libraries are currenty on the front lines of America's problems where in a alternative universe, the nation should have done the job not to mention that libraries are under attack by mostly all fronts (governments, politicians, publishers, copyright cartel, right wing zealots just to name a few).

https://www.axios.com/2024/02/18/libraries-ebooks-hoopla-lib...
https://news.ycombinator.com/item?id=39474151
"Tell me what are your three favorite dimensionless constants, and why."
Well, I can just skip the topics I'm not interested in. It's just that there's a pretty clear bias here for startup-capitalist mentality (which is fine, just not really for me), and it's harder to find people discuss the things that challenge that status quo system (politics, socialism, tech coops, etc.).

I think the moderators here do a great job, but at the end of the day it's still a service of YCombinator, and that draws a certain crowd. I prefer to gently step away from the financial side of that Venn diagram, personally, but there are also many people here who come here specifically FOR that, which I have no problem with.

I just miss the old Slashdot, probably, with high-quality tech discussions but less of an emphasis on the business side of things and the startup hustle culture.
Exploiting by giving half a million dollars and taking no control? Right.
Not saying they are a bust, either of them. Just to scale down expectations because AI, even the generative type won't be coming up with novel solutions.

EV aren't a bust either, but case in point... manufacturers are already anouncing scale downs because expectations were too high. Combustion will stay around for quite a bit given the battery production constraints.
I'm happy with the M1 air pro for 700. Could use 256 more SSD but it's not worth $500 extra that apple wants to charge.
Why Is the Sea So Hot?
There was a time when hackintosh was practical for everyone who needs macOS and/or can't stand other desktop OSes. It was the tail end of Apple's Intel hardware. It was pathetic in terms of performance (underpowered CPUs and buggy GPU drivers), quality (butterfly keyboards) and thermal design (things would overheat all the time), yet expensive.

I myself was contemplating building a ridiculously overpowered hackintosh machine around 2019. Then the ARM transition was announced. And then the M1 came out with overwhelmingly good reviews from literally everyone. So I decided to wait for the beefed up "professional" version, which did come later, so here I am, typing this on an M1 Max MBP, the best computer I've owned so far.

Also, for me personally, hackintosh was an introduction to macOS. I was a poor student at the time and couldn't afford a real Mac. Of course I bought one about as soon as I could.
https://archive.ph/jUzOZ
They can't, literally. There is no register.
Sometimes you really have to decide to take the risk and ship without a standard controller before you can see if the new model will work. The iPhone was famously derided for a lack of stylus. Video game consoles for years have tried to incorporate motion controls in some form or another and realistically only the Wii succeeded in any measure because they ditched the classic controller instead of trying to shoehorn it in. Many times it doesn't work, but if you give developers and users an "easy escape hatch" to go back to what they're already comfortable with, so many of them will default to that no matter how much better your new option might be.
surprised a git repo wasnt posted in regards to the whole setup
> it's the order of magnitude of performance that matters

Finally a sound voice in this merry go round of one-upping. Totally agree. The funny thing is, if people paid half as much attention to optimizing the bloat crap they build, instead of drooling over 10% cpu gains, you’d see a much bigger improvements. Obviously it depends on the domain, but everything I’ve come across (except core tech like SQLite etc) have huge overhead in both memory and cpu that could easily be optimized if someone paid attention.

Like the json parsing issue with gta online, that’s a perfect yet egregious example of software practices today.
You’re getting downvoted but I think despite the tone you are correct. 10 years ago corporate guidance on web dev was backwards compatibility going back several versions. Now it’s hardly any concern for anything more than 6 months old.

More than anything I think it’s because corporate IT has had to modernize due to security. Security now wants you to update constantly instead of running old vetted software. You also cannot demand user use an old version of a browser that still supports some old plugin. And as a vendor it’s not profitable to support people who maintain that mindset.

Also “update to the latest version” is the new “turn it off and back on again,” when it comes to basic IT help.
> readers are asked to build up an idea of what attitudes software engineers supposedly have.

But they do, don't they. Discourse's founder's words are just very illustrative. Have you used the web recently? I have. It's bloated beyond any imagination to the point that Google now says that 2.4 seconds to Largest Contentful Paint is fast now: https://blog.chromium.org/2020/05/the-science-behind-web-vit... (this is from 4 years ago, it's probably worse now).

You don't have to go far to see either Youtube loading 2.5 megabytes of CSS on desktop to the founder of Vercel boasting its super fast sites that take 20 seconds to load the moment you throttle it just a tiny bit: https://x.com/dmitriid/status/1735338533303259571
As mentioned CCBil. Another is Epoch and SegPay. Most are found in the footer for pay sites.
Spark offers a fluent DSL with infix operators for data transforms, but after a company-imposed auto formatter got done mangling it I was only allowed to check in a wall of method chaining that none of my teammates would write.

things
.where($"key" === lit(key))
.select("value")
.as[String]
.repartition(N1, $"value")
.flatMap(new ThingIterator(_))
.repartition(N2)
.write
.parquet(
s"s3a://bucket/things/key=$key")

As for naming, I see stuff like “every method must take one arg whose name ends with Request” even when envelope or notification would make more sense.
I don't at all see why "How to redesign this particular database design (tables/partitioning/indexes/queries) so that it can handle expected load in next 5 years" is a problem that only a human can solve because only a human defined it. Forecasting load is in the realm of machine learning without even needing LLMs, and LLMs are already capable of designing database schemas and so forth, so this seems much more like a question of "when will the existing technology, which can do this sometimes, get to the point of being able to do it always".

Recall that things are true "by definition" if they're not true for any other reason; you're free to define yourself out of the race against the machines, but the real world need not pay attention to your definition!

Computers are "just tools" is certainly true, but I find it harder to automatically agree that the programs running on them are "just tools". Here is a rather bad analogy which is suggestive: in school we learn that there are seven features which are necessary and to some extent sufficient to identify a living organism ("movement, respiration, sensitivity to surroundings, growth, reproduction, excretion, nutrition"). Programs certainly move (thanks to Kubernetes, for example), are sensitive to their surroundings (think of self-healing clusters or load-shedding), grow (scale up in response to demand), and excrete (cleanup jobs on databases). They don't respire, but then that was only ever a contingent feature of how life evolved on Earth; they don't take in nutrients unless you really stretch the analogy; they don't currently reproduce, although LLMs being able to code means it's only a matter of time before an LLM can train another LLM (even Claude 3 Opus is able to train small ML models). All this is to say that the word "tool" is a very poor description of what an LLM is: "tool" calls to mind things which don't have any of those lifelike properties, whereas even large non-intelligent software systems such as Kubernetes have many of those properties.
Sisyphus on the Street
Central African Republic, Fiji and Tonga are currently moving to accept Bitcoin as legal tender[1].

1. https://en.wikipedia.org/wiki/Legality_of_cryptocurrency_by_...
I do read the news but only really skim and do so across the spectrum of mainstream news, trying to ignore the really biased stuff (and really it seems like news outlets have a couple of themes they keep hammering that once you're on to them you only have to read the first few words of an article to know what the rest will say).

More productively I read fiction, usually some variant of mystery or police books. I'm going through some (translated) Japanese "golden age" mysteries right now, there are lots and it's a good way to read something light where you still learn a lot.
Can you elaborate? It all seems really straightforward to me. There is no bijection between a set and its power set, via diagonalization. Thus, there is no bijection from the natural numbers to the power set of natural numbers. By definition, that means the power set of natural numbers is uncountable.
It finally supports them, which is nice. It doesn't support deferred checks to the commit, like postgres, but are otherwise good. I've appreciated using it to enforce json schema at the db level
The can_ada repo threw me off, too. It looks super amateurish because of the lack of tests, fuzzers, etc.

But it appears that they've just exported the meat of the Ada project and left everything else upstream.
I've never needed to actually repair a Mac.
You're correct, it is 2 MB/s. The actual bandwidth from the AWS Lambda docs is:

>Uncapped for the first 6 MB of your function's response. For responses larger than 6 MB, 2MBps for the remainder of the response

Some of the other numbers in the article are also incorrect. Lambda functions using containers can use a 10 GB container image (the article claims 50 MB), and container images are actually the faster/preferred way to do it these days.
As someone with recent experience using a relatively slow Android phone, it can be absolutely brutal to load some web pages, even ones that only appear to be serving text and images (and a load of trackers/ads presumably). The network is never the bottleneck here.

This problem is compounded by several factors. One is that older/slower phones cannot always use fully-featured browsers such as Firefox for mobile. The app is takes too many resources on its own before even opening up a website. That means turning to a pared-down browser like Firefox Focus, which is ok except for not being able to have extensions. That means no ublock origin, which of course makes the web an even worse experience.

Another issue is that some sites will complain if you are not using a "standard" browser and the site will become unusable for that reason alone.

In these situations, companies frequently try to force an app down your throat instead. And who knows how much space that will take up on a space-limited device or how poorly it will run.

Many companies/sites used to have simplified versions to account for slower devices/connections, but in my experience these are becoming phased out and harder to find. I imagine it's much harder to serve ads and operate a full tracking network to/from every social media company without all the javascript bloat.
I find that even just 2 or 3 minutes unconscious still helps a lot. The Minimum Viable Nap is pretty minimal.
Source Generators – C# (2023)
Review of Tracy Kidder's latest book, Rough Sleepers: Dr. Jim O'Connell’s Urgent Mission to Bring Healing to Homeless People.

https://archive.ph/dQtNx
If you employ an AI to do software development for you then you are now a boss, congratulations. Getting rich is still up to you though.
Please post a new share or self post! and link to it here :)

(Just bc the eyes one this comment section might die down by the time you get it written!)
Abandoned? Certainly not. But it's a complex part of a mature database product, with many existing deployments/users, which means the improvement is affecting literally everyone. And query planning in general is a hard problem. So it takes time to get new stuff in.
In general i think it's always better to have people express their opinions (may it be a wrong diagnosis) and be corrected. Especially on the internet, so people can learn.
Layman's take: All of them are afraid of making the system that fulfills the promise nominally, but that lacks some key component or is on hardware that doesn't get adopted, only to have a competitor swoop in, clone that system with the necessary fixes, and essentially do what Apple did with MP3 players and smartphones. They're all trying to establish market dominance BEFORE giving us a reason to use the devices (bass ackwards) - and are even happy to see the market collapse, if it meant that, simply, no one cracked that particular nut.

Apple, Meta, Microsoft like how things are right now. These pushes are much-hyped, but they're made less out of real passion for the promise and more desperation to avoid being left behind.
At often 10x the latency and significant query compatibility issues. That's a hard pill to swallow
...

can_ada is just the python bindings.

The actual underlying project is at https://github.com/ada-url/ada
Quick note that it's different but not very different, to the point that one can be misidentified as the other. A key difference is in the mood cycle length. Days/weeks/months with bipolar but seconds/minutes/hours with BPD.
Since 2000, I've observed the internet shift from free sharing of information to aggressive monetization of every piece of knowledge. So I suspect that is the culprit. If you use the mobile web on the latest iPhone you'll find its unusable without an ad-blocker.
Irrelevant? My entire argument is based around whether hurricanes can lift things off the ground for long distances. You acted like it's obvious knowledge that they can, but I don't agree. And if they can't then the turbine blades are probably not even making it to shore.
Infinities simplify various things in math. Weird multi-sized infinities though don't appear very useful.
> All too frequently bugs are coupled to such style violations

That's a really good point actually. Style violations can make the code look like it does something that it doesn't, `if (a=b)`, missing curly brackets in C/C++, missing semicolons in Javascript, mismatched brackets, etc. An autoformatter can make it more obvious when you've done something wrong.
Topics on GitHub
"analog" used high-power horizontal and vertical sync pulses. These were hard for the receiver to lose / mess up, if there was any signal at all. Put another way, the receiver would receive the sync pulses (aka 'blacker than black) before even a shred of the video could be decoded. Another way to say this: The sync pulses had such good SNR compared with the picture content, so when the picture content was even barely visible, it was solidly in sync.
We need a study on competitive sailing and polo
Ask HN: Best Event-Driven Finite-State Machine Learning Resources
I am working on an existing typescript backend service that receives events and takes actions based on those events. I would like to further my understanding of event driven finite state machines, so that I can apply well known patterns in hopes of improving maintainability and reliability of existing services. I am also keenly interested in deepening my understanding of state machines and modern design philosophy, so that I may design future systems that are highly reliable and maintainable.

What resources do you recommend? I am a book lover, so I am happy spending money on books, but I am interested in any and all resources, including online course-ware.
"A Canticle For Leibowitz"

"The Sparrow"

"Lord of Light"

"The Immortal"

"Hyperion"

"The Last Question"

"Do Androids Dream of Electric Sheep?"

"Stranger in a Strange Land"

"The City and the Stars"

"Childhood's End"

"Anathem"

"Eifelheim"

"A Case of Conscience"

"VALIS" trilogy

"The Book of Strange New Things"

"Behold The Man"

"The God Engines"

"Book of the New Sun"

"The Parable of the Sower"

"The Dosadi Experiment"

"Grass"

"Project Pope"

"Calculating God"

"Factoring Humanity"

"Jesus on Mars"

"Surface Detail
latency increase is likely payment for distributed consistency regardless of specific DB: doing consensus between nodes is much slower than dumping block of data on local nvme.
Nobody is going to claim that these theories are bulletproof but that’s an entirely different discussion to the point I was making about using the term “designed”
Are there any comparable CPUs made in Europe?
Try this metaphor:

Your brain is a movie theater. When it's in use it's all bright lights and gripping soundtrack and shiny shiny. But once in a while you have to chase out the Observers and shut down the projector and then go grab a hose and ruthlessly flush out all the tracked-in mud and popcorn remnants and stepped-on gummy bears and who the hell knows what other gunk.
You're making the same mistake the post did. It depends on the reader already having sympathy for the idea that bloat is bad in order to make its case. I can read nerd site comments all day that lament bloat. For an article to stand on its own on this point it has to make the case to people who don't already believe this.

Dan's articles have usually been very good at that. The keyboard latency one for example makes few assumptions and mostly relies on data to tell its story. My point is that this article is different. It's an elevated rant. It relies on an audience that already agrees to land its point, hence my criticism that it's too couched in internet fights.
The House of Government by Yuri Slezkine.
Perhaps these people are better off by running a web browser on a remote machine and interfacing with it over VNC.
I don't know about Swedes, but here's (a subset of) modern Norwegians:

https://www.youtube.com/watch?v=GxOSqSUgNzE
Organized Pseudolegal Commercial Arguments as Magic and Ceremony
It’s not just slow devices, it’s also any time you have any kind of weak connectivity.

I think every OS now has tools to let you simulate shitty network performance these days so it’s inexcusable that so many sites and even native apps fail so badly anytime you have anything less than a mbit connection or greater than 50ms latency :-/
Rust is very good at code reuse.

Generics and cross-crate inlining enable zero-(runtime)cost abstractions, meaning there’s usually no perf downside to using 3rd party code instead of your own.

Strict type system, standardized error checking, thread safety in interfaces, and built in tooling for API documentation makes using libraries relatively easy.

The ecosystem is pretty large now, and has a culture of respecting semver, and focus on safety and reliability.

Cargo makes adding dependencies easy (the most common complaint is that it’s too easy, and people use too many dependencies).
You have been able to do that with DuckDB for 18 months.
https://duckdb.org/2022/09/30/postgres-scanner.html

Clickhouse supports it too
https://clickhouse.com/docs/en/sql-reference/table-functions...