skysight-inc/HackerNews huggingface dataset:
You have good points, but I think you misunderstand the post in many ways.

First, you do realize that there already has been an OS that has been formally verified, right? It's called seL4. There is also a C compiler that has been formally verified. It's called CompCert. So there is a clear path to get there on the software side.

Second, I am not referring to dynamic linking. Dynamic linking requires jump tables because the dynamic library will be mapped into a different spot for every process. That is not what I am suggesting.

I am suggesting that the OS map the library into the same spot in every process. This means that no jump tables, and thus, the dynamic part of linking are required. Most importantly, the OS would not have to invoke the dynamic linker to execute the program.

So what I am really suggesting is something like static linking, but with OS support for reducing binary code duplication.

Think of it this way: say I had an OS that could take a static .a library and map it into memory. Then I compile my libc into a static library and tell the OS to map it at address 0x0A0000. Then when I compile programs, I tell the compiler that libc will be at address 0x0A0000.

When running such a program, the OS recognizes that it needs libc at that address, so it maps it. Then it maps the program and just starts it.

Of course, this would still require recompiling every program when libc changes, but if you keep the equivalent of LLVM IR around for every program, you only need to run the backend when that happens.

As for pinning stuff to their own cores, it turns out that most transistors in a chip are not running all of the time. That would, in fact, be a problem because it would be too much power consumption and heat. The term for this is "dark silicon," by the way.

So pinning stuff to their own cores and leaving those cores idle is not, in itself, a problem. The hope would be that the dark silicon would be balanced out by the fact that when the process gets a signal it needs to respond to, the OS does not need to do a process switch to start the process running again, which would save a lot of time.

However, I could still be wrong about how well such a design would utilize cores. I acknowledge that.

About the ring buffer, I would want hardware support for this, but if hardware support existed, then a process could try to read from the ring buffer. If there is no data, it could set a bit and go to sleep. Then when there is data, the hardware could wake up the process, and it could immediately start executing. Likewise for trying to write to a full buffer.

Thus, instead of spinning on them, they would do something closer to how glibc uses futexes: check them and if no progress is possible, go to sleep, then wake up on a signal from the hardware.

The double benefit from this design is that the OS would not need to get involved to wake processes up.

However, I do acknowledge that the design includes things that don't even exist, even in a research paper. The blog post was sort of a target to hit eventually, in 30-50 years or so.

Take it as a wish list, I guess.
Instead of being disappointed you could try and analyze why Ruby is lagging so behind Python. Perhaps it's Ruby itself that is the greatest brake and not Python?

After all, people did flock to Python for integration with scientific, math and machine learning libraries, not to Ruby.

There are some musings, for example, here: https://twitter.com/zverok/status/1365014133180141578?s=20
> the Chinese ones are going to be much less stringent

Hmm, what makes you think that? I didn't see any indication in the article that the Chinese branch was not testing to the standards of US certification.
Part of what makes it funny is that if Bezos somehow got IBM to license z/OS to AWS to offer z/OS as a service on-demand, that it would likely be incredibly lucrative.
I think you are looking for marketing statistical textbooks. Classical problems are for example what mix of products features will be optimum assuming you have discrete data on individual features. The textbooks when I read them many years ago were mostly concerned about consumer goods. Maybe today they deal with software. I don’t know. What to measure is a another tough one. If everyone knew that there would be a million Steve Jobs and Elon Musks.
These are whole human lives, paid to do nothing but pour liquid from one container to another. That doesn't seem like "a little slack", that seems like a sad waste of human capital.

Pay them to attend junior college or something. The payoff is a million times higher.
Stock options and RSUs are largely taxed as ordinary income. There is a way to forward exercise options and save, but that’s super rare for non-founders (and only super successful at that). While I agree that the truly wealthy have ways to structure their wealth to reduce tax burden, vast majority work for a living and don’t have such perks.
You can perfectly well make a tool that emits incomplete JS API’s with some human interaction to specify details of ownership and object representation.

In you could reuse much of it for multiple target languages.

In fact, you can also make FFI wrappers automatically, and handle the memory safety with wrappers on the JS side.
I used to forget my note to self TODO messages and accidentally sent “oh fuck fUuCcccccck you stupid idiot fix this you suck at your job…. Blah blah blah “ In a deploy that made it to production, the actual copy was much more offensive
I think the hard part is making a compelling UI which works in all of: up, down, left, and right reading order. Practically everyone will also be dealing with something like 16:9 and 9:16 aspect ratio, so users will need to be able to transition from vertical to horizontal naturally.

In my limited experience with side-panel navigation UIs I believe I would find it hard to use with my vertical
displays.
Pretty much no mention of any manufacturing machinery or processes, beyond a robot arm.
Was just asking, as a guy into CGI, geometry and funk/jazz (syncopated stuff) .. I couldn't stop but to think about progressions or modulation as nurbs curves accelerations when you place control knots too close.
Backups and disaster recovery sites are definitely important from business continuity perspective, but there is a bigger risk of leaking PII and other sensitive information such as SIN / Social security numbers if the software vendor has access to it. Your business might be able to recover from backup if the hacker has not encrypted it, but the hacker for sure will be maliciously using the PII information to send phishing emails.
So China, which is currently bullying all its neighbours in southeast Asia, most of which have good ties with the US? The same China that constantly pokes at the boundaries of every single nation it borders?

And Russia, which literally annexed a neighbouring country.

I'll take my chances with the US, thank you very much.
There are a ton of effective drag and drop GUI builders for HTML/CSS: Webflow, Squarespace, Wix, and Plasmic to name a few, and that's just the current generation (see also: Dreamweaver et al.).

> Even html frames and tables were better than what we are using today

How? CSS and HTML can do practically everything frames could do (the only thing I can think of that doesn't apply is independent histories). There are a lot of different technologies at your disposal -- grid, which is probably the most intuitive; flex box; or just `position: fixed` divs.
Is a gui tool really faster or better then directly writing the code? It is like using a cli vs using a gui... propably a hybrid approach would be best...
Top 100 3D Renders from Internet's Largest CG Challenge
great post, think that explains it pretty well
What community? The web development space has moved on to javascript and friends. Ruby was also big in the security community for a while, but almost everything new is in Python. I actually checked the comments on this post to see if there was some new big push for Ruby I was missing.
My apologies, I shouldn't have started that discussion in the first place. Losing grip on emotions is terrible.
Yes I'm sure they price their MacBooks in India based on the same logic
Human riders can kinda do that too (track standing)
The issue is not that we need n+1 political parties. Its that people don’t have time or much motivation to read actual policy.
Baby Boom or Bust?
I'm one of the maintainers for ASCIIFlow (though not the original creator). I can try to answer any questions you have. Weird to see it on the front page :D
Change and Inconsistency
Well, if you would survey the Italian and French restaurants in other parts of Europe, I'm not sure the majority of them would be run by ethnic Italians/French, and I'm pretty sure nobody cares if the food is good.

Some cuisines have "brand appeal", some of it deserved, and that makes business sense for restaurant owners - and at least here in the far north, a chef's training includes the basics of the distinguished European traditions. Those who want to perfect it will obviously make the pilgrimage.
So the answer is _Electron?_

I think way to many people massively underestimate the complexity they add to a problem when their solution involves Electron, React, and npm…

I’m less convinced than most commenters here that he’s underestimating the difficulty of some of what he proposes, he ends with:

“ The reality is they’re all quite possible, but nobody makes money doing them. Engineers are a defeated tribe; it’s cheaper to hire an “AI” (Alien or Immigrant) slave to write the terraform or electron front end rather than paying clever engineers well enough to build themselves useful tooling to make them more productive and the world a better place. ”

Amidst his snark (which I’ll acknowledge will put some readers off) and some borderline probable racist dog whistling (which certainly put me off a bit), he is totally acknowledging that these ideas require smart engineers with budgets and mandates to spend the time making them come true. He’s not suggesting the 12 week boot camp front end engineers should be parsing c header files and inspecting deeper I to he c code to discover the stuff you need to use those to auto generate interfaces for other languages. But surely some of the senior AWS engineers should be spending their time investigation his ideas about ec2 and cloud and OSes?
"Pretty much all compilers and interpreters think computers are a PDP-11 stack machine" shows that authour have no idea how modern compilers work. A ton of low-level optimizations and code generation are utilizing intrinsic knowledge of details of underlying computer architecture.
Given that I'm reading pretty much the same articles about teaching experience for decades now, how sure we are it isn't dominated by an idiot majority yet? I mean, looking around and reading the news, I can't really name a lot of things that tell me it couldn't be the case...
Delphi was pretty awesome.

https://en.wikipedia.org/wiki/Delphi_(software)
I think this points to the real answer: libraries should be defined by something else than the C headers we are using now. All automated solutions or parsing C headers require a C compiler present and as you write, there is a lot left unspecified.
> If you have that to add, I am pretty sure you don't have any formal experience with aviation

Walter Bright is an aerospace engineer, programmer of flight critical systems of airliners, son of Charles Bright. You are way off on your accusation.

citation: https://www.amazon.ca/Jet-Makers-Charles-Bright-ebook/dp/B00...
As someone who found an old I-94 in his wallet last week and spent a while as an alien, I try to be sympathetic to those sort of rants. It is genuinely frustrating when employers solve problems by finding a cheaper labour force instead of automating an unnecessary process or fixing the underlying technical issue.

A company I once worked for that will remain nameless paid an entire team of people in the Philippines to read global weather reports and respond to them instead of integrating with the relevant APIs, solely because it would have been a higher upfront cost to get expensive US-based engineers to do the work, and I found it infuriating: partly because the time of the two groups was valued so differently, but also because it was just so inelegant and pointless.
Somebody call this clown a whaaaaambulance.
> Any sanely designed modern language does not allow this to happen

Sorry, how does Rust protect you against injection again?
Ask HN: Where do you get your tech news from (besides HN)?
That is not actually false. Volksverhetzung, as in "incitement to hatred" is censored and includes Holocaust denial. Usage of nazi symbols is restricted too, you can use them in historical context, but not for fun however you wish.

Mein Kampf itself is legal. But not everything is.
> Your home's A/C unit can't just pick a particular volume of air and cool it. It takes in air from your entire house, cools it, and puts it back out into your house.

I'm talking about how much air goes through the unit. By the time it's done, it will have emitted fewer cubic feet of air.

> Moreover, your whole comparison is irrelevant to what I am saying. The objective is not to get the dewpoint (or temperature) as low as possible. The objective is to get the dewpoint (and temperature) just low enough for comfort (note that the target dewpoint might indeed be lower than the target temperature--see further comments below)

It's not irrelevant if overshooting one target lets you undershoot the other target.

> The main efficiency penalty is not from letting the temperature wander. It's from letting the dewpoint wander. Most of the work the A/C does is actually condensing extra water vapor out of the air, not cooling the air itself.

Same difference. If you cycle the AC on and off every few minutes, neither one will wander much.

> There's also a penalty for starting them up every time from off. For many such devices, given the number of times they cycle on and off during a hot, humid day, that penalty can easily average out to be larger than the cost of running the unit at lower power continuously.

It only takes a few seconds of power to spin up. If that is the dominating inefficiency in the system, then it barely matters what you do.

> Which you can't if the system is off. The only way to control the dewpoint is to run the A/C continuously. As soon as you shut the A/C off, on a humid day, the dewpoint will start rising. And then your A/C will have to work harder during its next on cycle to lower it again.

If you run it a little bit every ten minutes it will do almost as good a job at preventing drifting. It will work "harder" but for less time, so averaged over the entire 10 minutes it's probably about the same. Might be more, might be less. Depends on how efficient the fans and compressor are at different speeds. And how efficient the evaporator is at different flow rates.

> If you run the A/C continously at lower power, then yes, you can adjust things so the heat coming into the house raises the temperature (from the A/C outlet temperature, which is basically the dew point) just enough to have the combination of temperature and dew point that you want. That's basically what I've been describing. The dewpoint of 68 F that I first threw out might be higher than optimal; the point was not to pick a specific optimal number but just to illustrate the concept.

The different modes having different dew points was a core part of your original suggestion.

If you're changing that, and now we're talking about a system where "full on" is an optimal dew point but high air flow, and "energy saving mode" is the same dew point but with low air flow, then that sounds great. And if you had suggested that originally, I wouldn't have posted to question it.
> class of people who think sounding like a dick makes them more authoritative

It's a writing style. Like it or hate it.

Nonetheless, criticisms of writing style are far too cheap and shallow for HN. Be better.
>why doesn't the gov/NHTSA mandate a video and data recorder in your car

The automakers were already "voluntarily" putting EDRs in cars, so no need to mandate it.

From 15 years ago, standards were set so that data can be retrieved after an accident and such:

https://www.nhtsa.gov/sites/nhtsa.gov/files/fmvss/EDRFinalRu...
Bitcoin is a hacker’s favourite choice for ransom demand due to lack of regulatory oversight and control as the legal tender has. KYC and other rules need to be implemented on crypto currency too.

Read more here:

http://www.vendormanagementoffice.net/2021/06/us-recovers-mi...
How well does text extraction from a PDF work? I almost never try it but thought there were random spaces in the output and such things.
I see neither hubris nor exaggeration. Before Turing, it was Church who proved the equivalence of the power of his lambda calculus and Gödel's universal model.
There are some conflicting things, why would you do a clean OS design(this would be great and i would very much like to see some experiment with serious effort) and write it in C? You would already be throwing most of useful programs that exist today. If you no longer write it in C why would you need to parse C headers for calling "foreign" code?

The point on software not taking enough advantage of hardware is on point. I would also like the hardwares(e.g. SSDs) to expose a bit more how they work rather than have another CPU emulating spinning disks.
Indeed he is. Blazer is my favourite reporting/dashboards tool by quite a distance.
Attempting to discuss the well-documented statistical declines of testosterone in men is always and completely "Alex Jones"?

You need to get out more.
Licenses are for losers. Any half brain can figure out from first principles there can be no such thing as stealing ideas, and ideas are not property.

Time to amend the U.S Constitution and liberate ideas and people.

http://www.breckyunits.com/the-intellectual-freedom-amendmen...
Think what you want. I can give you an excessive list with examples what is the foundation of UI design as a logic and implementation. What is Accessible and Usable interface. There are a ton of books on the subject. But reading, drawing and deep research are things that require serious focus, dedication and critical thinking. Those skills are not available for people who have more time on hand for “social” media and dribbble or instagram, self validation. I seriously doubt that Steve Jobs will accept the “modern” Apple HIG and iOS redesign of Mac OS, on a simple and logically grounded premise called mouse pointer. Don’t let me start on colors, contrast or flat design. Bad idea from Microsoft Mobile UI gone wild. But don’t worry and be happy. Hey, in the end all user input is error and the almighty emperor will save us all from cognitive overloads with tiny colourful implants.:)
In case you haven't heard of it yet, check out https://excalidraw.com/ for an alternative non-ASCII diagramming tool.
Lopez is up for recall, along with Collins and Moliga.
> There's a shortage of people doing top-quality work that advances the state of the art.

Ok. What do you have to back this up?

From my perspective, a PhD is defined by making a new contribution to the field, and we're graduating lots of PhDs. Part of Butterick's ire is directed at the many other prominent members of the Racket community who have passively enabled Matthias by ignoring his bad behaviour. If Matthias was hit by a bus, would Racket cease ongoing development? Of course not, there are many very smart people driving it forward in interesting ways. I would assert that Matthias isn't even necessary, now to the continuing advancement of the state of art with respect to Racket.
Aggragrating Nested Transformer
I’ve never heard of C function “ownership”. What does it mean?
What are the advantages/disadvantages of Zircon over seL4?

I've read up a bit on seL4, but can't seem to find the rationale or design decisions behind Zircon. Not sure why Google needs to roll their own microkernel when there is a fast, secure, formally verified one they could use.
> Honestly, I think the world we'd create by solving both these problems would be a better world. I really don't like how we can't program the processor's speculation engine and uOP scheduler. I'd love to be able to do that.

Have you started working on any solutions for 1 and 2?
I'm struggling with this sentence:

The town of Coober Pedy is only accessible by a small airstrip, by coach tour or private car, and via the Ghan railway line running between Darwin and Adelaide.

So... it's "only" accessible by air, automobile, or rail? Does their readership travel exclusively by steamship? Camel?
Mm, that makes sense. Which also means that on the individual level it's developmental. (Since it's intrinsic to young males, and they (we) tend to grow out of it.)

Presumably though even if biological aging were somehow paused at the level of young adulthood, I would think cognitive development would still proceed, so young males would still outgrow that reckless period.
Cars are marketed by car manufacturers as a safe and reliable way of getting from A to B; Youtube is (to my best knowledge) not marketed by Google as a source of safe and reliable life advice. The better car analogy would be someone who procures metal plates, household cleaner and a school textbook with an illustration of how internal combustion engines work and winds up blowing themselves up with the creation, and even there the textbook author still puts more of a society-backed stamp of approval on the content that was employed than Google does.
Are patents and IP even a good thing? Preventing idea or bytes from spreading, what kind of silly thing to try to protect. Look at software: OSS is probably the 1st world wonder, and Debian and Postgres will last for millenia. The rest of the software world is moving to the cloud, where the source is not visible to the user anyway. Software never successfully relied on the law to be protected.

Same for the film industry. Piracy is common consumption, law has had no power in this billion dollar industry, and yet this industry is striving. I say, companies should be allowed to protect their films with the DRM they want, but once the film is in the open, the law shouldn’t try to protect it from being copied. So you’d just pay to be among the first to see the movie, in a good quality, and the rest of peer-to-peer would be legal.

IP law and patents is a weird contraption, making very little money compared to what it costs, and a major risk to any innovating company. IP law is a major drag on our industry, that’s not even respected by our real competitors.
The bike towards the end of the video looks different from the one in the beginning. Perhaps somebody who understand Chinese could clarify this for me?
mind elaborating what rights are being curtailed in Canada? Quebec right now has that stupid no religious attire in public offices law right now. What else?
Can't edit: the 1.5x was wrong. Assuming no one dies, if every couple has 1 child, population would approach a limit of double its initial level. Since some will die in accidents, you could have slightly more than 1 child per couple without unbounded population growth.
Correct me if I am wrong but this appears to be a format string bug because of the %n at the end?

If someone could look at the crash and explain what is happening, it would be great! :)
7. software that allows you to add an empty line in between numbered lists
Seems this is more common than I anticipated. That said, I've only done that at my first job, not so much because I felt like I owed my employer anything but because it was my first full time job as a developer so I questioned every descision.
Well then, don’t?