skysight-inc/HackerNews huggingface dataset:
SonarQube and Visual Studio analyser for the most part, also enabling bounds checking and other test configurations.

In the old days I used stuff like Insure++.

Additionally when using C is unavoidable, taking a abstract data types design approach[0], to minimize killing data structure invariants as much as possible.

[0] - https://en.wikipedia.org/wiki/Abstract_data_type
I'm not saying that a drought is evidence of climate change - I'm saying the opposite.

The article ties climate change into this, when it says:

> According to experts, the dry season has worsened this year due to El Niño, an irregular climate pattern over the Pacific Ocean that disrupts normal weather, adding to the effect of climate change.

but there is no reason to think climate change has anything to do with this. The article itself also says:

> The rock carvings are not usually visible because they are covered by the waters of the Negro River, whose flow recorded its lowest level in 121 years last week.

ie 121 years ago, the river was recorded as being this low. ie before climate change.

For me this is another 'climate change' article, but is interesting as not all the claims the article makes can all be true.
It’s called cloud because it’s not in your own data center. Usually cloud symbols were used in network diagrams to depict systems/networks outside of our concern.

Also you could don’t really get elasticity with a system like this. If anything, that would be the operative bit for me.
A cursory look at the Estonian thing and it seems 1000% more legit than this: https://en.wikipedia.org/wiki/E-Residency_of_Estonia
One of our engineering teams wanted to use fly.io instead of kubernetes that I was running in AWS for the company. They really liked its ease of use and they really wanted to use it. Unfortunately fly.io only allowed 5,000 concurrent TCP connections, and there's was a chat app that needed to maintain many more web sockets than that for each instance that was running (More like 50,000).

So they ended up switching to kubernetes and AWS.

Fly.io is nice, but as far as scale is concerned, it's entry level.
Looking at the C section, clang-tidy, gcc analyzer, -Werror, and Coverity. I use several more non-static (runtime) checkers too.

I tried to use Frama-C a while back and gave a talk about it, but for us it wasn't too practical: http://oirase.annexia.org/tmp/2020-frama-c-tech-talk.mp4
Look at how much R&D spending has gone up over the last years, all while macos and iOS does not become any better and new iPhones are straightforward stepwise improvement on previous years version.
Early stage VC-backed startup compensation is very different from later stage companies or bootstrapped companies. It's very common for founders or early employees to receive a lower salary and receive equity instead.
"Private cloud" has been a term for at least a decade to refer to situations where people are building their own cloud infrastructure to provide a "cloud feature set" even though the servers are self hosted.

You may not like it, but it's been a long time since "cloud" has exclusively referred to "someone in another organisation entirely runs the computers" as opposed to virtualised allocation of resources.
Securing an OAuth implementation is hard. There’ve been several appendices added to the spec that many developers are probably not aware of [0]. Remember to check for current best practices to learn about the latest mitigations and protocol updates!

[0] https://www.ietf.org/id/draft-ietf-oauth-security-topics-24....
When you start a container in AWS, do you think Amazon is letting you run that without a VM? VMs are pretty lightweight these days.
Meta verse is a long term play, VR gaming is profitable now. FB doesn’t really care about the gaming all that much, but gobs of profit from meta verse advertising, real estate, cosmetics, etc would be worth risking and losing tens of billions in dev costs right now.
As soon as memristors become viable for general-purpose computing.
Partially, in Visual Studio and GitHub.
If it's the shitty half, what's the problem?
If anything the last couple of years has shown that people don't want VR gaming or work experiences.
On the one hand I get this. But on the other hand... assuming no actual cognitive issues like dementia, why do we not actually just expect our elders to actually try and learn and figure out how things work?

I suppose that's partly also a question of how learning is affected in old age. In other words, are elderly people physically incapable of adapting?
You do need to practice them. When I was learning my instructor devoted significant time to them. If you come from a country that doesn't have them, it's not irrational to worry that you aren't going to pick up how to manage them instantly. You need to make several decisions in succession, at the same time as doing several lane merges. But they're not rocket science. If you make a simple mistake, you just end up going the wrong way and have to turn round somewhere.

Holders of foreign driving licences should probably be required to do a course, including these at least, before being allowed to use their licence here.
Private cloud is a marketing misnomer.
I would not trust a company with my email that does not even publish its full name and/or address on their website. It's not even clear under which jurisdiction they fall. This is an absolute non-starter for me. I will stay with Migadu who are very clear about these details.
Literally on the main page there is a picture of a big computer. And then it says:

Oxide Cloud
Computer

No Cables. No Assembly.
Just Cloud.

Contact Sales

How much easier can they make it? They clearly want to sell computers.
Have they basically done for the data centre what iMac did for computers in about year 1999 (or whenever!)
20A is now standard in kitchens[0]. For example, when I moved in, all my kitchen outlets were 20 amps. The sockets look like https://en.wikipedia.org/wiki/File:NEMA_5-20R.svg

[0]Requirement: Provide at least two 20-amp, 120-volt circuits to supply power to GFCI (Ground Fault Circuit Interrupter) electric receptacles for countertop and eating areas. -- https://www.thespruce.com/kitchen-electrical-code-basics-182...
Agreed - once the tech is there AR/VR make sense in so many applications and meta wants too be the first company to win in that space. Yeah tens of billions in losses doesn’t look good now, but in 7 years when they’re potentially the winner it will be worth the hundreds of billions in revenue.
Holding paper-gains equity doesn't provide monthly cashflow to buy groceries. :)
I am really happy with IPFire on my home network. It doesn't have all the advanced features that PF/OPNSense have, but it's suitable for my needs.
> things like it should be possible to launch an Activity on another device, access content providers from another device and so on, all mediated by the OS

Actually, that does exist, at least for smartwatches. I fail to see the use case for other devices beyond sending links between Chrome on the device and on a laptop.
Are you suggesting that police services should operate like a service for hire? It isn't clear to me if you think the victim should hire the police to investigate (and thus decide if their price is lower than re-purchasing the item) or if you think the police are only expected to investigate based on the value of the item.

In either case it doesn't sound like a sound way to operate a police department. It seems like a good way to incentivize vigilantism though.
There are people doing a bit of this work with methods journals and pre-registering hypotheses.
You probably dont need OAuth2/OIDC.
While the two are very powerful protocols when used correctly, and have many advantages and use cases, the truth is that they are not always necessary. In fact, you most likely do not need them.

- https://www.ory.sh/oauth2-openid-connect-do-you-need-use-cas...
For Microsoft it's another case of them going out of their way to exercise every possible inch of lee-way permitted by the specifications. No one in their right mind should expect a userinfo endpoint to only be accessible at an entirely different host. It's doubly stupid that Azure AD provides no other options for remote token validation, conveniently skipping the token introspection extension that _every other IdP supports._

People writing OAuth2 clients reasonably assume that trustworthy IdP's will behave normally and predictably, which means Azure AD/Graph(/Entra ID?) is probably not compatible with the libraries you're using. Fortunately Microsoft provides their own perplexing, over-engineered SDK for a handful of languages. All you have to do is rip apart your existing OAuth2 plumbing and carve another Microsoft-sized hole into your otherwise nice and standardized application.
I’m trying to imagine myself crafting saas apps for 38 years.
> paid GCP customers get the same

I think paid may be relative with GCP.
I think Java is only good for long-running servers.

Java doesn’t support C interop. For many desktop and embedded projects this is a showstopper, here’s an example https://github.com/Const-me/Vrmac/tree/master/VrmacVideo That C# code directly consumes V4L2 and ASIO Linux kernel APIs, and calls unmanaged user-mode DLLs like libfdk-aac.so and liba52-0.7.4.so.

Native stack and value types in C# reduce load on GC, and the number of complicated tricks required from JIT compiler. This in turn helps with startup performance. This is critical for command-line apps, and very desirable for desktop apps.

Another thing missing in Java is intrinsics support, both scalar like popcnt, bitscan, BMI, etc., and SIMD like SSE and AVX.
Yes, he carried some spare parts, one at least one occasion, he had a local blacksmith do repairs, and I think he might have been paused at one point, waiting for additional spares by post.
NASA Brings Back Actual Sample of Asteroid but Can't Open the Lid
>Meta verse is a long term play

Maybe, but in practice they tried to force a low quality immature tech, to the already skeptical general public, way too soon.

They should have kept it brewing in their basement and release it gradually years in the future when it would be more mature.
How do you even request a (root trusted) cert for a TLD only available on OpenNIC?
Also this. Looks technically great but how do you sell this to business? Whats the price range? Is this supposed to be an acceptable solution between on-prem and cloud as we start to realise the true costs of being hooked on cloud when your a large org and not a startup?
Cool, I just bought a microwave that is so much better than the one I had.

Things better about the modern microwave:
It heats food faster despite the same power rating.
It has a higher CFM vent which is noticeably better than what I had before at getting cooking gasses off my stove.
It has a brighter stove light.
The panel is completely blank aside from the time when not in use. (I find all the buttons kind of mentally disruptive, odd maybe.)
The buttons are kind of annoying capacitive things, but other than that I’m very positive on it.
> But really, for busy roundabouts, pedestrian overpasses are the only sane choice. Ugly as hell to look at, but easily more comfortable than underpasses.

They're usually not accessible, or very expensive to do so.

Also, why should the infrastructure be vehicle-focussed like you describe? There's no reason other than people are so used to it.
Wow.. what kind of an input? I sometimes want to get back into hardware.
Rise: RISC-V SoC Acceleration on the Edge for Homomorphic Encryption
I didn't really realize that Nintendo was that good at keeping talent. I guess it kinda makes sense, they seem to have a vastly different culture than game developers have here.

It is also interesting to compare this to the stories that came out of breath of the wild of them specifically asking their newer developers for the crazy ideas and that leading to how great BoTW was. However given just how crazy Wonder is I have to imagine this was still the case here.

Super Mario Bros Wonder really is an amazing game. I have struggled at times with putting it down and going to bed. This will likely be my first 100% Mario game. (Can we talk about the Singing Piranha Plants in the second level!)
This is beautiful, Apple kind of elegant but the guys taking care of server racks are not the same crowd as those into Typescript/Rust/Go I guess?

But yes, if multiple teams and they have direct access this rack to provision VMs, maybe yes.

Also - as a developer you don't provision VMs on daily basis. You start a project, you need those resources at the very outset and that's about it?
There's two independent issues: capex vs. opex, and flexibility.

When opex is a primary benefit of the cloud, that's specifically for start-ups and other businesses that have little working capital. The actual primary benefit of the cloud for most cloud customers is flexibility - prior to AWS adoption, getting a server provisioned could be a multi-week if not multi-month affair negotiating between devs or operators and on-prem infrastructure workers to get the servers through capacity planning and provisioning. AWS made provisioning so simple, that you could start to set up auto-scaling, because you had extraordinarily high confidence that the capacity would be immediately available when your autoscaler tried to scale up.

But opex is not a benefit of the cloud for heavy/established businesses. Cloud opex is a financial expenditure every month that you can't get rid of and counts directly against your profits. Indeed, the desire for capex in the cloud is so high that businesses routinely purchase Reserved Instances and other forms of committed usage, which allows accountants to treat the cost of the RI as capex and then discount the expenditure through depreciation (to zero, since there will be nothing to sell when the RI expires) over the lifetime of the RI. It is normal and frequent for businesses to make capital expenditures to reduce their operational expenditures over time, thus increasing their monthly/quarterly profits.

Oxide's unique value proposition is to give customers, particularly those with high monthly cloud bills that they have difficulty reducing, the operational flexibility of cloud computing with the profit-improving benefits of capital expenditures.
duplicate: https://news.ycombinator.com/item?id=37996958
Is this due to the departure of Steve Jobs?
Yes! Agreed, but this is definitely the one, because I'm a huge Gred Egan nerd. I just misremembered. (So not big enough a nerd to actually remember correctly)
I would assume a million dollar. Ballpark.
That was the case ~15+ years ago. Private cloud has been a term for the majority of that time to evoke the elasticity and virtualisation without the "not in your own data center" bit, because to most users of a cloud the operative bit is that they don't have to worry about where the computer is or talk to someone to provision one, not whether it sits in the corporate data centre or off at Amazon.

Hybrid clouds even means devs might not know whether it sits in the corporate data centre or a public cloud, because it could be either/or depending on current capacity.

> Also you could don’t really get elasticity with a system like this. If anything, that would be the operative bit for me.

"You" as in "the organisation as a whole" don't get elasticity. "You" as in "your department" or "you as an individual" do get elasticity.
Unfortunately it doesn't always work. Finder eats shortcuts like ctlr-1 because it use this for assigning tags to files.

You also need to enter menu item names even though the system already knows those and could let you browse current menus.
Not being a particular Zuck fan or hater I have to admit I like the fact he has decided to spend billions on a fairly out there R&D project. I also happen to believe VR is commercially useless but the R&D will yield tangential technologies that benefit us more directly, such as the control interfaces.

People have forgotten that Bezos used to receive very similar treatment over the cloud and everything non book store until it suddenly exploded.
Meta's handling of the Oculus strikes me as one of the shortest "long term plays" I have every seen. Meta cares a lot about profit and they've turn a maybe-soon-to-be-profitable division into one that's dug a hole billions of dollars deep. Now the board is unhappy with these losses, teams have been downsized and they are back where they started minus billions and billions of dollars.
It is easier to tell it, "don't do it this time" than all the time.

It is no accident that while Val/Hylo, Chapel and Swift have taken inspiration from Rust, they have decided to not inflict the affine types directly into the language users, rather let the compiler do part of the work itself.
Thanks, that's the one. I can't recommend his short story collection enough.
Should be getting reserved instances at least
They have leveraged their userbase into an (admittedly very useful) spy network
>They have 50B cash on hand, I don't think the money would be the limiting factor if they wanted to do

Just to provide some ballpark numbers...

Supposedly, Microsoft spent $100 billion on Bing and the CEO Nadella said the most common search query on Bing is "Google".

https://www.google.com/search?q=microsoft+spent+%24100+billi...

It's safe to assume Apple executives look at Bing and estimate the costs and potential ROI when considering their own plans for an in-house search engine.
Show HN: Terminal based YouTube feed reader
I created this after seeing a hacked-together setup based on newsboat. I really liked it, but wanted to create a program with such setups in mind.

Also, I wanted to learn Rust :P

This project is already a bit older and mostly finished, at least for my needs. But I always wanted to share it, but never came around to doing it.

I am happy for any feedback, and hope maybe for someone this might be useful.
Yes you can, there's an official Apple app to do it: https://play.google.com/store/apps/details?id=com.apple.trac...

And a 3rd party tool that does even more: https://play.google.com/store/apps/details?id=de.seemoo.at_t...
A major critique of the python transition is that they forced you to port your code instead of supporting python 2 code alongside python 3.
They would still need to make more cash with it than what Google gives them.
Kind of a moot point? Enforcing the law operates on a different level of desired outcome than the goods itself are worth. imagine you get your phone stolen and instead of retrieving it they bought you a new one creates a pretty perverse incentive structure!
> What if Apple would put all that money back into developing its own search engine?! That would be beating Google with its own money!

But then they would loose the $18 billion each year they got from Google.

By keeping Google as the default search engine - they get free money and send Apple users to the search engine they probably want to use, without being targeted with the flack Google gets for tracking/mingling ads with search etc.
> and no need for traffic lights

Inside cites, those traffic lights in intersections were usually also semaphores for pedestrian crosswalks. So when you replace the intersection with a roundabout, you usually keep the traffic lights for the crosswalks alone. At the speed a car exits a roundabout, a non-regulated crosswalk could be quite dangerous.
I'm sure all the folks running OpenStack in-house, including NASA and CERN, would disagree.

From a developer's perspective an API call is an API call, and to them it's just another instance.
It's like 50-100 bytes of data per device seen to cache, not exactly data cap shattering amounts :)

Timestamp + GPS coordinates + device ID is about what gets sent to the cloud for each device.
Commercial Real Estate Titan Says Remote Employees Don't 'Work as Hard'
One thing i hope i that this VR stuff will finally make Apple and others think about latency.

It still feels snappier to play a gameboy or use a windows 95 computer with a CRT screen which is bizarre.

There was this huge push years ago about Retina and resolution because "eye candy sells" but gaming and mobile has been pushing the Hz/Fps game in the last years, and i know the new Apple displays have "Promotion", but still theres tiny click latencies all over the place not to talk about how long it takes many apps to open on "supercomputers".

I wonder if anyone has made comparison from click to screen on a gameboy compared to say a macbook pro.
Designing 3D Printable Objects with Clojure
Interested in 3D printing possibilities? In my recent blog post, I explored the endless possibilities and efficiency of using Clojure for 3D design, and showed how to create your first 3D object with Clojure.
It'd be nice to get a warning where the lock symbol goes at least, telling you that the connection is only secure because an additional cert got added. Maybe with an option to get warned when it first happens, so your browser doesn't just send along cookies.

Worst thing to me about enterprise certs is when people get tricked into installing them because a captive portal says that's the only way they can get their iphone on the free wifi.
Show HN: A Touch-Tone Phone Halloween Adventure
This is my tribute to two word parser Scott Adams (not that one) adventure games and horror-themed nineties telephony.

Written in parenscript (of course) and featuring over 25 minutes of unique audio. This is a fairly large adventure game that should take around an hour to play.

Happy Halloween!
Oh those silly ground-based astronomers. Just give 'em a JWST so they stop yapping! Maybe you should tag along with the next Starship so I don't have to read garbage comments like this anymore.
One might say it was rebranded as trickle down economics.

Given the 'nanny state' that exists in London where there still is a culture of nobless oblige there might be an argument for benign neglect from the well-off. Of course, the ideal is a balance between the two extremes.
I don’t understand this. Unless VR gaming was a net loss, why wouldn’t you keep investing in it? If you were currently making a profit from gaming, shouldn’t you just hedge your bets and continue to make money?
And they currently run a podcast weekly called "Oxide and Friends" where they talk about miscellaneous things in the software space.

The most recent few episodes have been about corporate open source and they've had excellent guests, like Kelsey Hightower. Definitely the best computer related podcasts out there. Bryan and Adam are great hosts and their humor is always a delight.
We're using the Lens tool: https://store.k8slens.dev/products/lens-desktop-pro?plan=pro... ... it's not too expensive per-seat and very good. Even the free version is good enough for most things, tbh.
Go packages is yet another design item that I dislike on the language, exposing SCM URLs directly on the source code, and no story for binary caching.
That's interesting, I don't think I've seen that sort of implementation in common use anywhere with pedestrian traffic. The only implementation I'm familiar with are roundabouts with crosswalks where pedestrians have the right of way.

Given the lack of crosswalks, are those roundabouts designed to be crossed by pedestrians at all?

> I wasn't able to access the paper you referenced unfortunately.

Here's an alternative: https://www.researchgate.net/publication/271423184_An_overvi...

The paper references the following source which I'm not able to access: https://catalogue.nla.gov.au/catalog/2717863
Aside from patrick451's comment, what makes you think the original owners can make effective decisions for environmental sustainability today? Their descendants probably can't.
Companies aren't moral, their purpose is to increase value to their stock holders
Good. Hate the things I love changing for the sake of change. My new iphone IS just as lovely as my old one.
Yes, absolutely.

Static analyzers are for when your test suite is subpar.

If you're obsessive, like the SQLite guys [1], runtime checkers are better.

But you have to be obsessive about an excessive test suite.

[1]: https://sqlite.org/faq.html#q17