skysight-inc/HackerNews huggingface dataset:
> that he really focused on invariants

Oh the horror those classes were. Meyer is a great guy, and in hindsight I appreciate his ideas quite a bit. But the idea to take Eiffel for an introductory course, the questionable exercises (being encouraged/forced to write the code twice, once as invariant and once for the actual execution) plus the terrible Eiffel-IDE made those classes very easy to loathe.
Xen and KVM are different beasts.

Xen can implement things like a CPU scheduler exclusively focused on VMs, while KVM has to deal with the normal Linux scheduler for processes.

Xen can do advanced defense-in-depth techniques like driver domains -- something impossible to implement on KVM.

Xen has a mature security response process; if you're a cloud provider, or ship anything with Xen inside of it, you can be notified of security issues typically two weeks before the public disclosure; and we're quite thorough about what we issue security alerts for. For KVM, you just have to hope that your functionality is worth issuing a CVE about, and unless you're a distro, you're only going to be told after it's been made public.

Xen is a microkernel, so you can run it on tiny embedded devices for which Linux / KVM would be too big. Xen is small enough that it's actually feasible to do Functional Safety Certification on it.

That's why Xen is still used by QubesOS, the NSA, and various defense contractors; why a number of cloud providers (including say, Ghandi.net) use Xen; why Xilinx has their own Xen distribution; and why Xen is in the reference implementation for ARM's automotive stack -- in addition to being officially supported by SUSE, and being the driving engine behind Citrix Hypervisor and XCP-ng.
I stopped charging hourly, now just monthly retainer.
Making around $800 per hour, depending on the month.
I think that the term industrial revolution is a bit misleading even, it should be named the fossil fuel revolution. Because cheap and abundant energy is what differentiates the world post industrial revolution from the world before more than anything else
This would be kind of huge if this actually happened. As a researcher in the field, I hope someone can finally do this, please.
It must be Delphi's brother then: not quite dead, but calling them alive too would be a stretch. What a wonderful world full of undead technologies we live in.
That’s a GREAT idea. If someone doesn’t pick this idea up (please tell me if you do so I can at least save myself time!) I’ll put something out next week.
No idea what you are talking about, I assume you are one of those people who has some delusional level of assumption about how many people radiation has killed.

> Where's the hard evidence?

The countless studies done on the topic that shows nuclear is incredibly safe, admits almost no CO2 and has very few other harmful emissions.
Simon Peyton Jones and John Hughes, not bad.
I agree no readability argument. The relatability and tone argument is what I wrote.

SPJ and TS don't have to relate to me, or anyone if they so wish. Just making the point SPJ's argument is quite poor, whatever "brow-level" it exists at.
Well of course ...
120.00 per hour plus expenses . Payable at time of delivery.
Samsung Galaxy S22 Ultra 5G is 108 mp.

Motorola Moto X30 Pro is 200 mp.
We work with Java devs in the Balkans and $70-130/hr is normal.

Where in Europe do tile guys make more than that? (I’m assuming that Java rates have some global or at least EU stickiness)
This seems a very extreme oversemplification that explains nothing.
Except, modern AC is pretty efficient. I have a decent monoblock cooler in our apartment in Berlin. I also have a 1-second sampling power meter. The AC unit uses about 700 watts when active cooling, but of course it cycles so that's not all the time. We also only run it when it's 30+ during the daytime.

Overall, it's only added about 15-20kWh to our monthly usage. (2-person household, about 200kWh/month average)
Cost of battery maintenance seems to be a huge thing I never see mentioned here. I imagine EVs will depreciate much faster in that arena. My 15 year old Ford Focus still gets 30 mpg and still goes just as far on a full tank.
Are you US based? Companies are hiring mid to senior devs at $150k/yr. That is way under market rate.
can you elaborate a little more and explain the mechanics of this setup?
I am in Cyprus, run a small agency, and charge $130 an hour but willing to go down to $100 for long term contracts. Also have one legacy $90 an hour project for which rate increase is simply not possible, but i won't take any new client at that rate. We specialise in video.
I always search <lock> + lockpickinglawyer

https://www.youtube.com/watch?v=XqsAFdFsQmQ
> Most scientists want to ...

are you their union rep ?
Mildly interesting from an educational perspective.

In reality, most processors use a lookup table for this. And it should go without saying that processor micro-code should not be re-implemented in Javascript.

https://www.quora.com/How-does-multiplication-and-division-w...
I sent my CV to recruiting companies such as Hays, Computerfutures, Gulp and a couple more as well as having a linkedin and xing profile. On my first job I actually worked with one of them as an intermediary for a larger company and when I quit I asked them if they could actually arrange it so I could continue to work there but as a freelancer. They agreed, my original contract did not forbid it and as I was the only dev at the company no harm was done.
If you never make mistakes, you never learn. I had applied firewall rules to our render license box. Monitored, it looked okay and went for lunch. Came back to an angry mob of animators and a pissed Head of IT.

I hadn't allowed an undocumented port. This caused the animation software to exit without save as the software couldn't communicate with the license server.

Coincidentally, when I went to lunch, picked up my food; I had accidentally dropped it in a puddle around the same time the licenses were revoked. Spookily felt like I was somehow spiritually connected.
So many funny details in here. The USB 2.0 on a 30 TB drive was the kicker.
I often daydream similar things. And it looks like we're not alone: https://www.howtoinventeverything.com/
As some other commenter calculated Stockfish wins in about ~>98% of the cases. The other ~<2% of the cases aren't Magnus winning, rather them drawing. I think no GM is known to beat a modern competitive AI in chess, however there are known/recorded instances of draws.
This does not counter OPs point. The invention caused the increased demand for slave labor. It wasn't slavery which caused the invention.
Email relay and email forwarding filters. However, it’s up to the email service provider to handle this. Which is out of your control.
It seems to be a research team within GitHub based on the blurb, projects, and team.
> But at what rate? And how long will they stay in the game without recognition before giving up? And do those numbers differ based on your color or where you're from?

If you provide that data, we can continue the conversation. However, the truths in my original post stand firm. STEM is an objective field. Sure, there may be issues with equality of opportunity, but that's outside the scope of my argument.

Equality of outcome will always be attainable through personal effort, intelligence, and innovation - But as I said in my original post, you'll need to be really good.

Not everyone will be like Hal Abelson, Margaret Hamilton, Dennis Ritchie, or Richard Stallman. Those people are built different. Those are the people I'm referring to. It is literally impossible for them to have ever not been noticed due to their next level talent and relentlessness.
It is a lot faster to have things stored in your head than to look them up. You can just put a time limit on the test and tell people that they can either spend a year before the test starts learning the material and getting it into their heads, of they can try to learn biochemistry from scratch using Google after the 40-minute timer for the test starts.
I use browser extension MarkDownload to save all the articles I want to keep aside as Markdown. They end up in Obsidian.
Reddit’s CEO explains why he’s still big on the blockchain
I was well downvoted.

Could you explain to me why I'm unhinged? I didn't feel like I had posted anything controversial or whatever.
> they are 10x faster now. Definitely fast enough for our work.

They are definitely faster and great improvements.

But when I can use Linux through qemu and compile my companies Haskell application in 45s rather than 3m30s...

The choice is obvious to use Linux.
Hmmm. This argument would be a lot more convincing IMO if the Roman Empire had expired because it lost out to a more industrialized neighbor. Rather, it mostly just collapsed under its own weight.
It's infuriating, when you are large enough you can get away with anything when it comes to copyright violations but I remember the crazy pushback on things like format and time shifting against private individuals.
I love spicy food, but the older that I get, the more my body (stomach/digestive system) does not agree with it. It's an unfortunate state of affairs.
I've configured my web server so that it's accessible over the Internet, but only if you have a client certificate issued from my certificate authority.
Religious ignorance is now the law of the land. This will fix everything.

Thanks con-servatives.
The paper: https://www.cell.com/current-biology/fulltext/S0960-9822(22)...

One of the highlights: a novel food-selective component is discovered in the ventral visual cortex
I read the whole page and still can't tell what this is. Was someone up against a deadline to get this up?
dominant factor here is how rich your customer is
Given that the currency is in USD, I assumed a US context was implied.
David Woodhouse was right all along
India's ancient quake-resistant homes
As someone with wide eyed wonder at Bell Labs what languages/OSes would you recommend to get as far away from the unix world?
If anyone on the team at GitHub who built this site sees this --

Heads up, that page has no `<title>` tag so the browser tab is `githubnext.com/`. That is a _VERY_ minor nit, but still an SEO ding (you're github, that doesn't matter much), and a rough edge that could be buffed out.

Bonus points for adding a favicon too. :)
Edit 2: I didn’t realize I was replying to OP, so what I wrote below is not very relevant.

I’ll leave it here so people can read it if they’re trying to avoid doing something else.

Original comment below

——-

As long as we’re doing HN meta comments, I’ll bring up that your “me too” reply is a pet peeve of mine.

It would’ve been better to just upvote the parent comment and not reply with “me too”. A comment like that adds nothing to the conversation.

Truly no offense is intended but the only time it’s additive is when the person saying it is notable to the conversation. Like OP, the article author, a moderator, etc.

In those cases it’s only helpful if they clearly state who they are. Otherwise, it comes off as just another person asking for attention without contributing something.

So, I downvoted your comment but wanted you to know why.

Now, that I’ve said my peace, I must find something else to procrastinate with.

Maybe I’ll continually refresh this page with the hope that I’ll get a reply and could procrastinate further by writing another long winded comment.

Bonus points if they say something I think is blatantly wrong.

Fingers crossed.

Edit: Anytime I see a “me too” comment, I sing the line from Weird Al’s “all about the pentiums”. I won’t repeat the line because it’s offensive and that’s not how I feel but I sing it every time.

I wonder if anyone else does this too.
That's a nice trick!
Ask HN: What do you use to make CLIs?
I am curious what people reach for when writing CLIs these days; specifically what language, libraries (if any), and why?

By CLI, I mean any executable program or script like git that supports commands, sub-commands, and POSIX-style flags.

I mostly work in Go, and have been happy with the standard library[1] or Cobra[2]. I also write a lot of shell scripts.

I thought it would be interesting to see some other approaches.

[1]: https://pkg.go.dev/flag
[2]: https://cobra.dev
Heroku Removes Free Plan
I like your logic And like lower temperatures when working. The idea that someone would ask for the whole company to be set at the temperature they want and everyone else wears a jumper quite funny.
I’ve done online proctored tests where the selfie cam on your phone was held up to the laptop cam to check for this exact thing.
1.6 mil a year. That's not too shabby.
Probably not, but I don't know what it actually does stand for. It's definitely not Personal Computer
How to make induction stove from hard drive
I hope that this will lead to more eInk-based deployment for digital signage, and ultimately bring down the cost due to the economy of scale.
which book do i read to unpack this
It's even worse than it sounds because Google has managed to white-wash it's propietary QUIC protocol through the IETF as an open HTTP3 by getting other similarly motivated mega-corps (like microsoft) to support it.

QUIC does not allow communication without CA based TLS encryption. It can't even use a null cypher with encryption enabled. It is, and will be, illegal to use QUIC to access websites over amateur radio. But far worse is the near future where browsers drop HTTP and only HTTPS and QUIC are left. At that point it will be impossible to host a visit-able website without getting the continued permission from some third party corporation. It will be the end of the open web for people and the start of a purely commercial one for corporations and institutions.
No, it just creates images compatible with docker.
I’ve done this with Vivint and New York Times.

I will continue to do this for businesses that wanna try evil subscription cancellations.
I read a fun book that explored this possibility, “Kingdom of the Wicked” by Helen Dale.

In the story, the Romans have somehow stumbled upon the industrial revolution at the height of the republic, the consequences are fascinating. Very good read.
So does my mechanic, but he does a harder job and has 100k€ in tools. Also, a mechanic can only charge when he has customers, where I can do 8hrs/day for a single customer for ages.

That being said, I know the rate is low comparatively for the wider market, but it's still high locally.
The older OSs seemed to work correctly even if you switched windows.

I.e., select a window, type ahead a few screens/commands, switch to another window and continue work - the keyboard buffer would stick with the previous window.

That sometimes works now with Terminal, etc, but sometimes it doesn't. I think it's a question if the OS is buffering, or the application, and/or if the application tracks which window was in focus when it buffered.
Me, used to do full-time-style remote contract work for a company in Europe, and my hourly rate was $10/h. Granted it was still good money compared to where I live, but there you go.

Now moved to and working in Europe as a TAC engineer for $18.5/h.
The absolute last thing the United States needs right now is even more friction in the legislative process! Yes, it would help prevent bad laws, but it also prevents good ones.
Haha, I'm not a bot.

Edit: I'll shamefully admit that I impulsively posted a comment to share my love for HN without actually reading the article...
Ask HN: How to quantify compute in terms of programs?
This might be what a "flop" is when thinking of GPUs.

My question is aimed at microcontrollers. If you want to know what it can do, when seeing specs like 80Mhz, 1MB ram/flash, 32bit CPU.

What could you do with that?

I don't think it's possible or at least not sure how to self-write C++ after compiling. That would be interesting.

Or make sub functions that are compiled however can be combined to do more things.
"The old narrative was simple: Per capita incomes in the US might range 30% higher or more, but Western European lifestyles are less stressful and more relaxing. European health care systems, and their near-universal coverage, are also superior.

That narrative now lies in tatters."

I'm the first to defend the U.S.A. when they're getting shat on over here (I'm no fan, but feel like the country doesn't get enough credit for the good it does, and too much easy criticism), but this is bullshit, and putting the statement on a separate paragraph for impact isn't working.

Nothing in the article (all points I would argue against anyway) detracts from the fact that yes, life in most European countries _is_ less stressful. Things I take for granted here are apparently areas of stress in the U.S.A.:

* I can get sick and not even think about what it will cost. It's simply not in the picture

* The police are public servants here, and know it

* I don't have to cower under my boss in fear of losing my job

* I don't have to worry about getting _shot!_ I mean, Jesus!

* We have normal proper food at normal prices. Fresh organic vegetables and meat are not luxury items!

* I can't get evicted from my flat on a whim of the landlord

* I don't have to think about saving money up to educate my child — and even then, having him in debt afterwards

I feel like I could go on, but these are probably the biggest stress points I'd have moving there. You guys have some cool things, but damn you need to fix up and get out of this dichotomous way of thinking about "socialism" vs. "capitalism".
The reason there's a COBOL developer shortage and every shitty company is crying is because they're not actually paying very well. If they were willing to pay that much there would be no problems finding COBOL people.
Do you increase to $100 with the leverage of new clients willing to pay that much, or do you just say "yeah I'm $100 now"?
As a point of comparison, Slack uses MySQL (Vitess) – https://slack.engineering/scaling-datastores-at-slack-with-v...
The industrial revolution used water power.

https://en.wikipedia.org/wiki/Steam_power_during_the_Industr...

> Improvements to the steam engine were some of the most important technologies of the Industrial Revolution, although steam did not replace water power in importance in Britain until after the Industrial Revolution
No, theres not!
Battery "breakthrough"s are a dime a dozen. There are usually fatal flaws.

Wake me up when you can buy them.
with respect, it contributed immensely. USENET traced a lineage to PLATO notesfiles. That was the http equivalent until http came along.
Tencent Games; forgot them
I have a personal opinion on this, which is not scientific, but then again for such a huge question I’m not sure science
can give us a very useful answer anyway.

After visiting Pompeii and a number of other ruins in the area, I sense they were close. You can see it in their highly organized society, advanced construction techniques, complex economy, and vast amounts of labor at their disposal. This was an incredibly advanced society. They where clearly riding some S-curves. If the party had lasted a little while longer, a century, 3 centuries, it seems very possible they could have lit the great spark a thousand years early. We can never know, but I absolutely sense that this was an accident of history and it could have gone another way.
Where? In the US I've never had to do so.
See https://news.ycombinator.com/item?id=32607709; in addition to what you say, enabling IBRS basically comes for free in Xen because its "userspace" is actually guest kernel code that can itself control processor speculation.
That's pretty much the plot of A Connecticut Yankee in King Arthur's Court. Although that involved steam engines.
From Twitter bio: "GitHub Next: a team exploring the future of technology and software beyond the adjacent-possible." https://twitter.com/githubnext

Their team consists of engineers and researchers.
Rust itself is high friction but the Bevy Engine is offering a ECS System with delightful ergonomics.

So while I share the general sentiment, who knows, it might actually work out. Maybe Rust can be tamed.
If you're manufacturing chips under sanctions your most difficult finds are going to be the manufacturing equipment, expertise, and raw materials to produce the chips. It's not going to be an ISA - there have been a litany of "open" ISAs and well-documented industry standard ones you're likely going to do unlicensed copies of.

Secondary challenge here, going beyond the ISA, are pre-defined blocks of functionality already implemented (eg: an ethernet controller, internal CPU busses, memory controllers, etc). Even in the RISC-V world many of these are commercial and require a license.
DevSpace 6 Is Here
He writes fast and copiously. Typos are common on his blog. Don't care 10/10 content.
Rust + Clap: https://github.com/clap-rs/clap
I would state this as "you'd be surprised by what you can do with a monolith on a single server"
Not just HN comments.

We are all sets of the same memes, recurring over and over.

(A cool and weird experiment: try playing several shows all at the same time. There'll be eerie moments when the audio syncs up, or one show surreally reacts to another.)
Considering that ship loans were known already to the Greeks, that assertion is wrong. They were a feature of the antique world, and the fact that Mohammed declared them an abomination would indicate that they worked rather too well.
They did train it on copyrighted work. The GPL is a license for copyrighted work. If it wasn't copyrighted, a license would be useless.

The code being covered by copyright and the code being publicly accessible are two different things.
I realise your comment isn't directly related, but the article directly states "showing a black image" is not an acceptable solution (it wouldn't save any power). I'd like to see your idea done for backlight/brightness control though!
When I was in business school 15 years ago I interned for a Big 4 consultancy, paid $40/hr (hourly on an $80K assumed salary).

Rather than do things by hand like many MBA’s, I wrote some scripts to make it easy to create lots of Excel files (can’t remember if I used a DB, I don’t think so).

Client wanted to keep me on during the year, and my employer never had that come up and didn’t know what to do. So client offered me $100/hr and said I could use a different one-guy firm as my employer to avoid new vendor set up.

They offered me $100/hr. Being an MBA student I figured I was being undervalued (even at 2.5X, as I was doing both engineering and MBA BS). My manager very firmly but nicely said $100 was an excellent rate. I agreed and did 10-15 hours a week, mostly training 2 employees at the consultancy how to do what I did and move away from my non-standard scripts.

Sometimes you’re offered the right rate upfront!
Yes!!! I've long been frustrated by this. I'm around 1800 if I play at certain times, but quickly get down to 1700 when playing at others. For some reason 1700s are stronger during night.
having unrealistic expectations may be considered unhinged by some. we are still a bit far from having 3d scanners that fit on your pocket.
There were all of those things in the Roman empire.
I think C puts the C in Cthulhu.

The C spec is a half generation behind the Common LISP spec which set the standard for how you specify languages like Java and Python. The K&R book is poorly organized and the language contains various mistakes, such as the way the parser needs access to the symbol table that deform the C++ language today.

It was minimal, it was viable, and it was in the right place at the right time so it was available on old microcomputers, 8-bit micros, MS DOS, 32/64-bit, web assembly. It competes and wins against assembly code on the AVR-8 (where it boggles my mind how many cycles C wastes following calling conventions in my simple Arduino programs) because I can compile a C program for a much better performing board.

So it is with us more than FORTRAN, PASCAL, COBOL, assembler, etc.