skysight-inc/HackerNews huggingface dataset:
The proposal that has the most concrete chance of succeeding is probably to formalize some of Miri's behaviors as auditors [0], explicit syntactic annotations which indicate a type/function's willingness to have its source code inspected and have facts proven about its behavior.

In terms of quality engineering, the "page of assembly" strategy is the one that I think has the most merit. Write out enough machine-level code to boot the machine and provide an environment for some higher-level language. This should take about a page. Rinse and repeat until the higher-level language is high-level enough for comfort. VPRI supposedly had made this technique work for them. This would cleave Rust into two or more languages, though, and I gather that a big selling point of the language is the ability to compromise and allow many different safety perspectives into a single codebase.

I'm not Miyazaki; I can't just tell you that unsafe-blocks were a mistake. But clearly and obviously, to anybody watching who has considered design and implementation of programming languages, they were a mistake. Further, they're the same mistake as Safe Haskell. We keep making this mistake, as a community of designers and theorists, and we need to do better.

[0] http://www.erights.org/elang/kernel/auditors/
If you are hosting guests at the home where you also live, I doubt anyone in this thread would oppose that. It's literally a bed and breakfast in the traditional sense.

Airbnb corrupted that by incentivizing a business model where investor groups buy up entire properties solely for Airbnb use. That's very different from what you're describing. They're acting as full-scale hoteliers, but evading hotel regulations and zoning laws by setting up shop in residential neighborhoods. And of course, reducing the overall housing supply for all the people who actually live in that area.
The question was why can’t we just make hot things cold.

The answer is “you can, if you have some place to put the heat”. What would you call the counterpart to a heat source?
Micro Blogging Using DirectoryIndex
> If it was correct already (not sure about this, but it seems it was very popular and used in production, so I imagine it worked well)

Oh my. This was not about code aesthetics or some purely philosophical problem. It was about experimentally found undefined behavior that opened potential security vulnerabilities in the wild. The ”well it works fine so it must be correct” mentality is exactly what led us to this situation where the vast majority of critical net infrastructure code is full of vulnerabilities, the very problem that Rust attempts to alleviate in the first place. The problem with the existence of malevolent actors is that it matters little if your program works correctly in all common cases. Someone out there is going to be actively looking for the uncommon case and their goals may not align with yours.
Seaside: The Heretic Web Framework
I'm not sure the practice is that common when the maintainer works for one of the largest 5 software companies in the world and that company is using the code.
The answer is probably not. I am aware of have been a number of attempts at lawsuits against such state rules over a period of decades, and they have generally not gone very far.

You can hold out hope that there will some day be a ruling that changes this. But I am dubious.

To quote my brother on the USA vs China, "China is a nation of crooks ruled by honest men, while the USA is a nation of honest men ruled by crooks. It remains to be seen which is worse." This is one of the examples that I would cite for the US version of that.
Good point. I guess it's the exception though. Interesting that it probably had similar user numbers for the first few years as Angry Birds but just had a lot deeper and more "creator"-type gameplay.
Job openings has been reported by the government every month for a long time. This isn’t obscure, cherry picked news.
Of course, the right solution would be paper ballots that aren’t stupid.

Much like computer interfaces, it doesn't matter how much you dumb down the experience, there will always been dumber people.

I know that sounds harsh, but part of my job is building web sites for low-education people. There's a ton of research into this problem, much of it very interesting, and some of it just downright amazing.

For example, I follow a recommendation to use "Go" instead of "Search" for search submission buttons because more than one study has shown that a remarkable number of people with low education and poor computer skills will just click the Search button without typing anything in the search box because they believe the computer will actually read their mind and know what they want to search for. I shit you not.

The next time you're looking at your logs and you see clicks on search buttons with no text entered in the search field, it may not be a bot. It may just be someone struggling to understand your web page.
This is rapidly changing. On the international stage we're competing with state backed monopolies that don't suffer the same burden of internal US anti-competitive policy. It may damage access to the US market, but the expanding global market is becoming more appetizing anyway. Consider China's Belt and Roads initiative.
Oyo's top VC happens to be none other than Mayasoshi Son.
Am I the only one who winces at the brain-numbing robot-like false confidence and dogmatic preaching of attributing all natural disaster to man-made climate change?
I’d argue any community that crosses Reddit and Open Source would cross this issue eventually - it’s not necessarily a Rust issue.
> Please just stop writing Rust. You do not respect semver, you do not respect soundness, so why are you using a language predominantly based around doing these things right?
Totally, I think that sometimes, forks do make sense! Sometimes, you have to be aggressive, and people will find it justified. io.js is a great example of this happening and working.
stock indexes aren't necessarily a great indicator of how well PEOPLE are doing. The stock market has mostly rallied due to massive stock buybacks and the FED which means that companies are choosing to buy stocks rather than make investments in actual R&D, employment, their workers, innovation, and their future. the 99% aren't seeing any benefits from ATH stock indexes.
This sucks. I really want DO to succeed because I love their offerings - whereas I occasionally feel like I really do need to RTFM in depth for many AWS offerings (even EC2), DO seemed to just work.

That being said, and I can’t put my finger on why necessarily, it sometimes feels a bit like Heroku - the thing you use before you “graduate” to just using one of the major cloud providers.
> If you had $1B for carbon negative tech, where would you invest it?

Renewable energy and electric transport.

Trying to pull carbon out of the atmosphere is like trying to pull salt out of water. It is far easier and less costly to avoid putting the salt there in the first place.

I'm not saying we shouldn't be invested in carbon extraction, but so long as we have large carbon emissions then the most efficient place for money to go is towards eliminating those. Cleanup should be secondary.
Yeah, we have the chance of having a few good QA in our company and they are very important in getting the SW through the door not overly late and without too many serious defects
Bessemer Boosts LaunchDarkly’s Valuation with Insider Round
>Consumer confidence 20 year high.

It's not even at a 1-year high [1,2,3].

Reuters also reported on consumer confidence, stock index prices, and the USMCA, so maybe they're only reporting the news.

[1] https://tradingeconomics.com/united-states/consumer-confiden...

[2] https://www.marketwatch.com/story/consumer-sentiment-index-t...

[3] https://seekingalpha.com/article/4315169-weekly-economic-rel...
I didn't do some kind of deep analysis. I just saw that separations rates were unchanged. I Googled the unemployment rate at the same time and it's unchanged. So I made some assumption, possibly not a very good one, that those jobs were not filled by employed or unemployed people.
>These two issues are usually brought up by people who haven't written a lot of C.

>In day to day work it's really not an issue.

Polymorphism and error handling, these are issues, address them. Go's a fine language, but don't dismiss actual real issues that have been addressed in other languages for 40+? years.
I don't know if EM phase coherence is a question of quantum entanglement. I think it can be achieved regardless of it i.e. if a laser was made of unentangled photons that just happened to be in phase, it'd still function as a laser. Imagine if all the photons in a laser are entangled: it'd mean any partial interference with the laser would interfere with the whole wave .. which, correct me if I'm wrong, but I don't think that happens.

Like not all lasers are bose einstein condensates, though lasers can be made from the emissions of such a state. I could be entirely wrong about this. It's been a while since I went back to quantum physics.
Quantum Objects: Maybe that's what "Quajects" in Alexia Massalin’s Synthesis Kernel actually represent!

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29....

p. 51: Chapter 4, Kernel Structure

All things should be made as simple as possible, but no simpler. -Albert Einstein

4.1 Quajects

Quajects are the building blocks out of which all Synthesis kernel services are composed. The name is derived from the term "object" of Object-Oriented (O-O) systems, which they strongly resemble [32]. The similarity is strong, but the difference is significant. Like objects, quajects encapsulate data and provide a well-defined interface to access it. Unlike objects, quajects use a code-synthesis implementation to achieve high performance, but lack high-level language support and inheritance.

Kernel quajects can be broadly classified into four kinds: thread, memory, I/O, and
device. Thread quajects encapsulate the unit of execution, memory quajects the unit of
data storage, I/O quajects the unit of data movement, and device quajects the machine's
interfaces to the outside world. Each kind of quaject is defined and implemented independently.
Why not nix the range check and just rely on the cast? As pointed out by another poster above, there are double values outside the ±2^53 but fits inside long.
Very nice. Alastair Reynolds touches on this concept as well in Chasm City.
As long as there are huge piles of cash floating around looking for something to be invested in, it's not going to crash. Everybody buys into every little dip, on the assumption that it'll go back to where it was, and they will make some money. Because they do this, it does go back up to where it was, or a little higher, and the piles of money get bigger.
It's his project. If he wants to act in a way you call "childish" - not that I agree with the characterization - neither I, you, or anyone else has much of anything to complain about.

If he says it's production ready, I have to assume he thinks it is. If you don't think so, you don't use it.

Open source projects dependent on a single person goes away all the time. If you aren't prepared to maintain it yourself for your use, don't use it.

Honesty is something we should expect, as well as some amount of mutual respect.

It's abundantly clear that anyone expecting him to dance to their tune was clearly lacking in respect. If you do a patch that isn't accepted you haven't lost anything, and have no grounds to complain, unless possibly if you had a prior agreement between you about you making that particular patch.

Many maintainers are absolutely inhumanly awesome, but that doesn't give us the right to expect anything at all from those who is "only" giving us tons of more or less awesome code!
That's very cool! Thanks for sharing.

I was thinking of a list of hardware devices with some notes on how hard they were to repurpose and experiment with. Could be a tough field to stay on top of though.
> Maybe I'll even use a non-free license just to reinforce my "you take what you can get" policy.

Consider CC0 instead.

As a veteran open source contributor, I totally understand that dealing with open source communities has a huge cost to go with the huge benefit. Even just vetting patches can be a pain when you care about security and architecture and don't want to spend time endlessly explaining your choices.

CC0 allows you to provide maximum benefit should you opt out of "social coding". People can go ahead and fork your stuff, or just use bits and pieces, without needing to deal with licensing or crediting headaches. (Significant consumers still have to track provenance, though.)
After a miserable day trying to decipher an Angular 8 code base, I like to crack Pharo open and build an application the only sane way I know. I have pleasant dreams that way.
Not sure this applies here. This certificate isn't mean to be a one-size-fits-all, it's just to affirm that the holder knows Python and Git.
I think the real lesson here is to choose the language that works best for your team.

On my team we use Python and Scala. For network critical I/O stuff in Python, asyncio has worked out just fine for our needs. For massive CPU parallelism needs (at least in sporadic bursts), we've actually found that AWS/Lambda does pretty well.

Golang seems to be really polarizing. Most engineers on my team have tried Golang in the past, but haven't liked it, which is why we would never consider building anything on top of it. Everyone likes Python well-enough that it has kind of become the lingua franca for us.

Deployment is all based around containers or serverless/lambda, and we have a pretty standardized way of deploying these things by now. Just because a bunch of k8s tooling is written in Golang doesn't mean I need to rush out and write my stuff in Golang too.
> DigitalOcean continues to be a high-growth business with $275M in [annual recurring revenues] and more than 500,000 customers globally. Under this new organizational structure, we are positioned to accelerate profitable growth by continuing to serve developers and entrepreneurs around the world.”

If not obvious this can be translated as positioning the company so it can be acquired by a larger entity for it's customer base and remaining employees.

> It says it works with more than 1 million developers across 195 countries.

I always love marketing statements like this. For sure 1 million is a large number. But what makes someone a 'developer'? It's not something defined like 'Physician' or 'Pilot' or 'Attorney' which require some type of certification to use the title. To DO (in terms of the marketing) a 'developer' is almost certainly only someone who signed up for an account and perhaps (as with other web properties) multiple accounts.

(I have used DO and was happy although I don't have a need for what they offer anymore).
No. Other people who also don’t understand the evidence around climate change also try to deny that pollution causes natural disasters.
I don’t think people who work in infrastructure currently will be surprised that Go is a better choice than Python for infra, but for those who are newer to the field of ML or only work on model development (vs deployment), it is likely surprising that a major part of production ML is best done in a language other than Python.
Tech consultancies need people with certs because usually a client will say 'i want X people with Y certificate on this project or I'll go to someone else'
> Or just because it's Sun/Oracle/baked into android/symbian.

Fact is, in the 25 years since its introduction virtually no one has built a platform with a similar combination of performance, productivity and observability. Java has very little competition in the "serious software" space, although platforms/languages like Node, Python and Go -- that suffer in some or all of the factors I mentioned -- get used in microservices, that are eating into "serious software".

> Borland had nothing for serious enterprise, MS had C++ and VB only back then, regarding IBM I don't even know what you mean, Smalltalk?

I meant Borland with Delphi (which was quite heavily used for a while, even after Java came out), MS with Visual C++, VB and Fox Pro, and IBM with Smalltalk.
And what percentage of those people are not bottom 50% by the time they retire? Wealth is not a lifetime static number.

It's easy to google median wealth by age and see how people add wealth over a lifetime.
The way the FAA handles rulemaking itself is deeply concerning. They intentionally underfund the departments that need the staff to do the analyses. Then lobbyists set up shop inside the FAA itself. I would encourage you to go to the FAA offices in DC and look at the Amazon presence.

Rulemaking bodies are comprised of "industry leaders" (mind you, that for Part 107 about 50% of these "thought leaders" now have defunct companies). I will point you to Airware as a prime example, who rumor has it never completed a revenue earning flight with their own air vehicle and autopilot.

These industry leaders use their own proprietary technology and investor slide decks to establish as "the way to be safe" and that gets pushed into some weird kind of law that serves little more than the isolated interests of these ridiculous bodies of people.

A popular saying is that "the FARs are written in blood". IE: the FARs come into place because of a pilot error or aircraft accident. Letting these new flying car companies help decide what is safe is going to end up in a disaster.
The desire to excel and the desire for glory are two different things.

I'm not on board with those who say the desire for glory is automatically a bad thing, though (although I admit that it is something that I don't really understand).
Or the crash may be a slow burn crash. Like bitcoin. Heck after 2.5 years, the price is still 50% higher than it was.
I wish CompTIA's A+ cert would get fixed. I know of a guy that has his A+, works as a computer repair tech, and doesn't know that you can plug a speaker into most motherboards to get POST Beep diagnostic codes, or how to watch a drive activity light to see if the system is indeed posting/loading and you might have an issue like a bad GPU if you get no display but still have a single "GOOD" POST beep.
> no change in runtime behavior

That's the problem: how does the maintainer guarantee this? And when flooded with multiple such PRs, the task rapidly becomes overwhelming. If you have a robust suite of unit tests and a CI system you have better guarantees but still about as much work to ensure the new functionality is properly tested. That's not to say the maintainer's attitude in this case was excusable, but it's his project and this style of maintenance is definitely not for the feint of heart.
> Ok, so here is the article Klabnik cites, comparing various Rust HTTP clients:

Interesting. I'm being led to believe that the actual problem lies in HTTP itself: it is too convoluted to be safely implementable and should be replaced with something else for security-critical applications. (Or in general.)
Uncomputable is indeed a totally different concept from uncountably infinite.
This is an interesting take on language design, but it's somewhat diminished by what looks like your friends coming in with their two-month old accounts to praise you.
> So, someone takes a peek under the covers, and it turns out actix-web is using a lot of unsafe code. That’s not inherently a problem. The problem is, a lot of that unsafe code is not actually needed. This is where things start to go wrong.

Can anyone link to a discussion in which the actix-web maintainer explains his position at a technical level?

The article leaves me baffled at why the maintainer was so unreceptive to concerns about the use of unsafe.
Electronic voting is a great example of evolving mentality in herds on HN.

Five years ago HN was filled with people foaming at the mouth, "We should have all electronic voting! There's no reason not to!"

Today, the pendulum has swung the other way, and people are clamoring for paper ballots, my guess is because we've learned to no longer blindly trust technology.

Voting is one of the few fields where the HN mindset isn't automatically technology=better.
> I really do need to RTFM in depth for many AWS offerings

Agree. But I think part of the plan with Amazon et al is that those who RTFM are locked in to the platform and therefore will be less likely to switch.
In several ways yes. I meant not only in terms of code but generally. In gamedev the complexity is for the most part harder to measure and estimate. It can escalate pretty fast, involves several areas etc, must take the psychological of the player in account, often in abstract ways, what players are looking for, what engages them etc. Pretty complex for me, specially in AAA games like this.
Sure. But pieces of paper might as well be nothing compared to the technology we have available once we're capable of downloading consciousness into a machine and interstellar travel. So the challenge may be bigger but also the tools at your disposal.

You are projecting today's problems on tomorrow's technology. And I'm being generous here, we're actually talking about multiple generations probably. We're just as close to understanding such future technology as people (scientists) 100-150 years ago were to understanding ours. Saying "in 200 years we'd surely lose the data to HW failure and bit rot" is no different from them saying "you can't fly without flapping the wings" 150 years ago.

Those future generations face challenges we can't even imagine today. Like if I whip up 5 copies of myself who is "me"? And if 4 died will it be a loss of data or just loss of redundancy? Will it actually be just one combined copy running on multiple machines (Borg style)?
This is correct. Neither the public nor the majority of economists have ever been able to predict a stock market crash. Price only crashes when reality falls short of expectations. The fear is priced in. As long as everyone is expecting a crash, virtually no news can be worse than $(calamity causing event) which seemingly is anticipated.
Most news organizations are biased one way or another. About 90% of reporters are left of center, that probably also applies to Reuters.

They do keep the spin to a minimum, I’ll give them that.
Start a biochar plant burning biomass for energy but leaving the charcoal as a long-lasting soil improvement and carbon storage product.

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

Sell the biochar to homeowners:

http://www.ultrakulture.com/wp-content/uploads/2015/10/4-Ter...

I have no idea about the economics, though, maybe it's just not feasible without subsidies.

Edit: Why? Because the technique is simple, biomass is relatively cheap, you get electricity and heat you can sell in a cold climate, and that terra preta example makes me envious, as someone interested in gardening. If the char was cheap enough, I would want to buy lots of it myself. Helping the planet and helping my own plants.

I think you need a large scale plant to keep costs down. There are large scale biomass power plants where I live, but they specialize in burning everything, so some investment is needed.
Does this surprise you? What should they do when a politician is an aligned with them 90%? Do you only support or vote for local and federal politicians that share your values on every single issue?
I'm a happy user of Firefox Preview for a while not, and I just want to say to all developers: THANK YOU!

It's pretty stable in my experience, and in fact much faster than the main version.

Link for those who want to try it: https://play.google.com/store/apps/details?id=org.mozilla.fe...
There's a lot more people with money willing to invest in a planet-destroying weapon than space exploration, unfortunately...
I don't know much about DSP, neural nets, and audio, but I am really intrigued by this project. If you have a second, could you give a simple example of how this approach could be applied to problems outside of audio?