skysight-inc/HackerNews huggingface dataset:
College students learning mostly Rust -- that would be a blessing. We would get rid of the typical "every noun is a class" type of thinking that students tend to have going through a Javaducation. We would get them to see the correspondence with structs, procedures and traits and we would get them more often to reach for the simpler solution that way.
This ignores that imaginary numbers (useful for both electronics and Pythagorean triples) were originally thought to be that kind of “abstract nonsense”.

You have to think up a new ontological idea (eg, imaginary numbers to “complete” the solution space of polynomials) before you can apply that to modeling things, eg signal analysis in electronics.

Category theory to some degree has this problem: the ideas are useful, but only once you’re at the level of “I know many areas of math and have noticed proofs have similarities… how do I discuss that?” …but it turns out that abstract problem is useful for computer science, eg design patterns.
I code in this style. I can tell a lot of things started going right when I adopted the style too. Instead of global variables I have a single config which I initially pass around to functions, then I refine and pass only the data each function needs. The config generally doesn't get mutated. Testing is easier. Functions are easy to reason about. I keep functions to a dozen lines or so, but not to the same neurotic level uncle bob presribes. Likewise a few extra arguments are fine, but too many usually signals a new type is required or time to compose a new function which utilizes the function whos parameters are growing.
What I like about Saudi Arabia is that it knows how to play America and the West. Saudi history is inspiring to every country blessed/cursed with oil and foreign corporations.
Meh. "Europe" as you know is not a monolith. The paragraph is as meaningless as insisting that "Asia" has a problem with energy policy.

Russia's neighbors like the Baltics + Poland + Finland have been warning Germany and France about all of this for decades, and their domestic energy and military policies have taken all of this into account. The EU center of power is shifting towards these countries as a result.

So, maybe be a little bit embarrassed if you're German or French but only a little :)
> To copy and paste text/files into Remote Desktop, such as VMWare Horizon, RDP, and others where clipboard doesn't work or disabled

The URL the tool generates is very long. If you can't copy/paste, are you just retyping that URL by hand?
German privacy watchdogs conclude that Microsoft 365 is incompatible with GDPR
Things being what they are, gitea is essentially the form, and this is the continuation of the existing open source model. Gitea(Tm) is trying to fragment the community by creating a company, but this fork is just about building a great open source product.

If anyone at Gitea(Tm) is seriously afraid of fragmenting the community they are free to contribute to the open source product just like everyone else, but the open source community is naturally not free to engage in anything on behalf of the company.
I don't have an opinion, but I'll say that the argument form of "no normal person wants to do X; if you want to do X, there's something wrong with you" should be beneath us.

I hope we know better than casual No True Scotsman arguments.
Right but if you want to edit and fix files that failed compilation, using `:make` and the quickfix list is the vim way of doing it
Simon Willson explanation is actually really good. Thank you for sharing this!
It isn't safe because of Sharia law.

It's safe because they need foreigners to work there, since they themselves don't want to work and live off government oil money.
Yeah, I got so frustrated with the odd workflow (having no sane way to locally test new/more advanced pipelines and having to do lot's of "change .gitlab-ci commits") at work that I started investigating alternatives.

At home, for some hobby projects, I've been using earthly. It's just amazing. I can fully run the jobs locally and they are _blazing_ fast due to the buildkit caching. The CI now only just executes the earthly stuff and is super trivial (very little vendor lock in, I personally use woodpecker-ci, but it would only take 5 minutes to convert to use GH actions).

I am not a fan of the syntax. But it's so familiar from Dockerfiles and so easy to get started I can't really complain about it. Easy to make changes, even after months not touching it. Unless I update dependencies or somehow invalidate most of the cache a normal pipeline takes <10s to run (compile, test, create and push image to a registry).

This workflow is such a game-changer. It also allows, fairly easy, to do very complicated flows [1].

I've tried to get started with dagger but I don't use the currently supported SDK's and the cue-lang setup was overwhelming. I think I like the idea of a more sane syntax from dagger, but Earthly's approachability [2] just rings true.

[1]: https://github.com/phoenixframework/phoenix/blob/master/Eart...

[2]: https://earthly.dev/blog/platform-values/#approachability
You're right but Iran doesn't need to be pro West for a balance of terror strategy to be workable. Iran needs only to hate the US and Europe less than it hates Saudi Arabia, which I believe is the case .
> It's data about the US

Posted on the internet with a worldwide audience. (Including this HN audience of engineers and scientists).

> where such units are the default.

All the more baffling!
In some places you have to worry, I guess. Sounds like OP is from the ones where you do, and is (probably rightly) amazed by the ones where you don't.
I think most flavours of markdown support html just by putting it in there.

If you want dynamic pages do those in html. No problem.
Interesting! This made me wonder -- would this kind of optimization be recognized and rewarded in colossal scale organizations?

I've seen comments about Google multiple times here where people say you wont be getting promotions unless you're shipping new things -- maintaining the old wont do it.

But if you get to something core enough, it seems like the numbers would be pretty tangible and easy to point to during perf review time?

"Found a smoother way to sort numbers that reduced the "whirrrrrr" noise our disks made. It turns out this reduces disk failure rates by 1%, arrested nanoscale structural damage to the buildings our servers are in, allowed a reduction in necessary PPE, elongaded depreciation offsets and other things -- this one line of code has saved Google a billion dollars. That's why my compensation should be increased to include allowing me to fall limply into the arms of another and be carried, drooling, into the office, where others will dress me"

In this hypothetical scenario, would a Googler be told "Your request has been approved, it may take one or two payment periods before your new benefits break into your apartment" or "No, you need to ship another chat program before you're eligible for that."?
The problem with some C belivers is that they lack the imagination to accept how systems programming used to be like before Bell Labs released UNIX V6 source code into the wild, or the paths trailed by other companies before UNIX clones won the server room.

So just like with St. Thomas, apparently we need all those Rewrite in Safe Systems Language XVYZ, to bring the non-belivers into the righteous path.

Which is anyway only half of the battle, as Joe Duffy points out in one of his talks, several developers on the WinDev team dimissed Midori efforts, even with the system running in front of them, providing them wrong in all their remarks about the system.
Holding out for 32GB
https://www.reddit.com/r/dotnet/comments/yuxkk7/how_fast_is_...
Implemented in this context means exactly the type of reduction that is needed. If halt can be implemented by using X that means you can reduce X to halt. This is similar to polynomial time reductions in complexity.

Standard practice in mathematics would apply here if what was said is wrong. This time it is about an interpretation that no one shares with you.

[edit] After reading again your comment I realized that maybe you are not applying the logic correctly. If the reduction "implementation" uses both length and foo, then the conclusion is that at least one of length or foo cannot be computable. Since length is trivial, then it must be foo that is not computable.
You know, DOS is still there and you can bang directly in the metal inside a virtual machine. But nowadays you can do this even way better in Arduino/RaspberryPi, having even more hardware exposed. Sure, the road is a bit longer, but also the power rush you get from seeing your little nifty cobbled together wires that, once coupled with a serial->usb converter, your fiddling with switches will do on the screen, is very intoxicating.
Not everything is the West's problem.
It was already dated when compared against something like Modula-2 (1978), pity that OS vendors decided to go with UNIX clones.
Cal Henderson was a co-founder of b3ta!
> Your experience is vastly different from the common folk.

Have you grown up in the reality that the majority of the population faces?

If not, it's a bit presumptuous to be telling someone who has grown up there that you know better than them what their country is like.
I appreciate your comment on life in SA, but your statement on what Muslims want goes too far: you don't speak for them. I know many who hold a very, very different view.

Every individual has their own opinion.
This really chimes with me, I'm writing a book about the Linux memory management subsystem [0] and my primary motivation is to learn the subject more deeply and what Paul says here really aligns with my experience.

The effort to explain its machinery demands that I look very deeply - trying to answer questions like 'how does a page of memory get reclaimed?', or 'how does a userspace allocation propagate through the kernel?' - and following the white rabbit all the way down the burrow, forces a far deeper level of understanding than simply figuring something out for a patch.

(Obligatory plug!) For anybody who's interested in the topic, I plan to launch the book in a year or so, to be notified when it's released, sign up at https://docs.google.com/forms/d/e/1FAIpQLSen0gefOrPWi6ZtEQ25...

[0]:https://ljs.io/book.html
Ask HN: Why not we fight bots by verifying identity?
Hey HN community, this has been on my mind given the rise of AI for content generation, and the whole Elon-Twitter-bot situation, and I wanted to solicit the opinions of smart people:

To avoid having a toxic / bot / spammy online environment in different places, why don't we just verify each internet user's real identity in either a centralized / decentralized way?

It's not difficult to do identity verification nowadays - if you try to sign up for one of the scooter apps for instance, they'll verify your government ID. Some other services will use your face to know it's actually you, etc.

If we only allow signups to certain services (Twitter is one example) if someone has verified their real identity, doesn't that by default get rid of most bots? (barring criminal identity theft).

Would love to get your take!
I mean it’s not like we haven’t tried this. Without loans normal people don’t buy houses. At least not early in careers. How exactly would a regular wage earner save enough to compensate people for the thousands of hours of embedded labor it takes to build a house in a reasonable time? Where do they live in the meantime?

We have tried subsistence living models. It’s not better.

The problem isn’t that access to capital exists it’s the combination of excess capital with drastically restricted supply due to anti building policies, as well as general unequal distribution of resources.
Consumer SSDs don't really use slower NAND; the QLC vs TLC ratio might be higher for the consumer SSD market than the enterprise SSD market, but a consumer TLC drive is using the same speed of NAND as an enterprise TLC drive (and likewise for QLC drives).

Enterprise SSDs only really have significantly higher endurance if you're looking at the top market segments where a drive is configured with much more spare area than consumer drives (ie. where a 1TiB drive has 800GB usable capacity rather than 960GB or 1000GB). Most of the discrepancy in write endurance ratings between mainstream consumer and mainstream enterprise drives comes from their respective write endurance ratings being calculated according to different criteria, and from consumer SSDs being given low-ball endurance ratings so that they don't cannibalize sales of enterprise drives.

Your poor Ceph performance with Samsung consumer SATA SSDs wasn't due to the NAND, but to the lack of power loss protection on the consumer SSDs leading to poor sync write performance.
Are you saying that the artists in that contest made "Motel Art"?

"Motel Art" just took $300 from an artist who is naturally creative and talented and who might have went on to become the next Van Gogh.
That’s a great example and suggestion. Thank you!
Yes, but so poor is my memory that when I eventually sat my exams I had to do most of it by those first principles instead of the known formulas!
Elon Musk said he would create a new phone if Google and Apple remove Twitter from Play and App store.
Can you give more concrete examples of good apps, i have kids but they allready far from this age ..
How Finland Ended Homelessness (2021)
I would agree more with this view if there was also an explicit indicator for lazyness: in (define (foo arg1 arg2) (+ arg1 arg2)) the two parts (foo arg1 arg2) and (+ arg1 arg2) are both interpreted specially; the former as a data structure and the latter as code with delayed execution.
Abolishing the ability of people to rent houses probably won’t go the way you think it will.
I would prefer to read other people's explanations of what the problems their code solves rather than the code to implement it.

Wikipedia is almost enough to implement a few algorithms that I've implemented from written descriptions (btrees, tries and multiversion concurrency control). But for other algorithms I just use the pseudocode such as for A*.

I would prefer that the English explanation was good enough to implement the code.

I journalled computer, software, parallelism, multithreading and futuristic software and architecture ideas out in the open since 2013. I am up to 700 entries. Writing is manifested thinking. Writing is very good for you. Links are in my profile.
https://github.com/andrewjkuo/playlist-recycle

This was my first time using React so it might be a bit messy...
If you threw in an efficiently-run jihad against the spammers, I'd be sorely tempted. /s
> The US is deeply Christian as is Zambia.

Statisticaly no, the US is only 63% Christian, while Zambia is over 95%. Further I would argue that the actual american figure is lower due to Christianity's persistent cultural foothold in the country. If you count the number of people going to church weekly that figure is going to be much lower.
Norway?
Great idea. There's an endpoint for this so I'll add this functionality soon. Thanks!
A visitor came to Richard Feynman's office. When he saw Fenyman's notebooks, he was excited to see records of Feynman's thinking.
Feynman replied: They aren't a record of my thinking process. They are my thinking process.
Related article, Lockhart's Lament.

https://www.maa.org/external_archive/devlin/LockhartsLament....

If we taught music like math, you'd spend years learning sheet music and theory before being handed a musical instrument. Note, I love the triangle area example and how it is extended to a cone's volume.

I used to teach high school math (turns out you can earn more as a software engineer), and I respected the curriculum we adopted, CPM. It wasn't a silver bullet, but it focused on conceptual understanding by investigating relationships and patterns and formalizing those into "normal" math.

By way of example, linear graphing is explored through tables, plotting, and uncovering y=mx+b over a couple projects. When I was taught the same, it was explicitly instructed starting with "m represents slope and b the y-intercept, now match graphs to their equations" - building mental models that connected concepts was left up to the pupil.
Loading 1GB json files is still slow.
They likely have become one of the 10k getting fired for "underperforming". Company management in basically all businesses don't like know it alls that do the opposite of what they are told regardless of the outcome.
Thanks! The app is fully client-side so nothing is ever stored on my servers. I pretty much use the Spotify API as the backend.
What on earth is a mask rom key?
Everyone gives things value. I don't need a museum curator to tell me I like a particular piece, even if it's motel art. If enough people like some motel art, does that not give it value?

Nothing has absolute value by itself, not even gold. If there weren't people to want gold, it wouldn't be worth something by itself. Value is a people thing.
"Writing is Thinking"

- my master thesis professor.
> - push 30 fixup commits to fix all the small syntax errors, logic mistakes, and GHA idiosyncrasies I hadn't thought of,

I don't have a lot of experience with GitHub Actions, but is there really no better way to do this?
A feature of docs-as-code is having the (typ. markdown) docs live in the code directories. Leaving no excuses for tech people not to update them, or at least insert a TODO.

Another idea might be, whenever a new feature is closed out, auto-allocate some percentage of its implementation time to documentation, and schedule an interview with a tech writer.
A few ballpark numbers I encountered:

Sequentially reading a file on a spinny laptop disk was about 80-100 MB/s. On an SSD that went up to 400-500 MB/s for me.

That's the sequential case! What about random access? I tried an experiment where I memory mapped a large file and started updating bytes at random. I could get the rate down to kilobytes/sec.

Even though we've all heard that SSDs don't pay as much as a penalty for random access as spinny disks, it's still a huge penalty. Sequential spinny disk access is faster than SSD random access.
Nobody does that. On the contrary, all infosec people will say the exact opposite: "obscurity, as an additional layer to cryptography, is very much desired". What they say is to not rely for your secrets only on obscurity.
The fact that something this important is represented on Wikipedia as a blurred gif of indeterminate length and not 4 clickable thumbnails that change a main image makes me angry.
That's obviously necessary, yes. It still really doesn't make much sense to do it with microbes when compared with SMR, though. It's entirely possible to store the CO from SMR as with microbes producing CO₂, but there's more CO₂ compared to CO from SMR.
> my employer demands that I take the cheapest flight to attend a conference.

WTF!

Several of my employees bowl from the pavilion end. Is utterly unthinkable to insist on them transiting through a territory so hostile to their very existence in order to save a few quid on expenses.

Your post is mind boggling to me. Is this how you expect to be treated as an employee?
Get the brain dump when it's all still fresh in the head !
I bet white straight males who owned property loved living in antebellum south...
I'd just like to thank you, as a (cannibal) resident of Nukuhiva, for respecting my culture. Everything is just a matter of perspective after all, it is good to keep an open mind.
Thanks! First time using React so it might be a bit messy...

https://github.com/andrewjkuo/playlist-recycle
Problem is same with western countries (EU/US). People emigrate from western countries to Asia and bring their backward ass laws with them to Asia and want Asian countries to conform to them.

TLDR: Bigotry is a two way street. Either appreciate the differences or STFU. You don’t have monopoly on deciding whose laws are backward.
My immediate thought was are you measuring throughput or latency?

The latency of reading from disk is indeed very slow compared to CPU instructions.

A 3ghz clock speed processor is running 3 billion (3,000,000,000 cycles a second) and some instructions take 1 cycle. You get 3 cycles per nanosecond. A SSD or spinning disk access costs many multiples of cycles.

Read 1 MB sequentially from SSD* 1,000,000

That's a lot of time that could be spent doing additions or looping.

https://gist.github.com/jboner/2841832
I know and I do use it! Unfortunately there's lots more to the OS than the start menu, that can't be changed :(
Sing, O prompt engineer, of the artstation anime waifus
The tech writer's output will be a Force Multiplier.
> A great photograph can take just a few minutes to get right

As a professionally selling photographer whose work appeared in magazines I can say with great authority that you are wrong.

> There used to be a debate whether photography really was an art form

Yes, and we are just beginning that debate with AI.

In an artists medium there are constraints. For the painter, the paint, for the photographer, the subject. With AI there are no constraints, so it is not art.
If you specify the type of the data, not just the size, then yep: it wasn't really about the number of bytes read, but what the CPU had to do to process it.
> US is deeply Christian

US is and always was a secular state.
In an artists chosen medium, there are constraints. For the painter, the paint; for the photographer, the subject.

It is the constraints that determine creativity.

With AI there are no constraints, so it is not art.
Windows Phone was the best
Stuff like this is why the fossil fuel industry keeps pushing for hydrogen rather than solar + batteries as a replacement for the current fuel system.

Hydrogen can be created cleanly, but once the infrastructure is in place, the cheapest and most profitable sources will all be fossil fuel sites, depleted or otherwise.

I'm glad electric cars are already taking off. Hydrogen may have a future for storage for excess renewable energy eventually, but as a simple replacement for gas tanks it's simply dangerous.
It's correct. You can visit Medina as a non-muslim. But some parts of the city is off limit to non-muslims. It's Mecca that's totally off limit to non-muslims.

https://www.inclined2travel.com/post/medina-non-muslim
> that one could survive without clothes

I'd love to see you to try and survive naked in the desert for an extended period of time. Temperature isn't everything. Also at night it might get pretty cold.
I have a hunch when rewriting the program in C/C++ or Rust this will change significantly.
EBS costs crazy crazy amounts for reasonable iops

We pay 7k per month for RDS that can do barely 2k iops.. in the same time a machine at hetzner does 2 million iops for 250 euro per month (not to mention it also have 4x more codes and 5x more ram).

So, even though I/O is no longer the bottle neck physically, it still is a considerable issue and design challenge on the cloud.
Ahh, I misread your comment. Indeed, halting is not very interesting property of programs.