skysight-inc/HackerNews huggingface dataset:
It's kind of like copying and pasting code from StackOverflow.. Except the code hasn't had as many eyes looking at it as something that was pasted on StackOverflow, and it has a higher likelihood of seeming like a correct solution to your specific use case.

Honestly, it seems pretty dangerous. Seemingly correct code generated by a neural network that we think probably understands your code but may not. Easy to just autocomplete everything, accept the code as valid because it compiles, and discover problems at run-time.
Bankrupt crypto firm Celsius’s biggest creditor linked to FTX's Sam BankmanFried
No.

Relying on a technicality is misleading and goes against the spirit of the question people care about.
You can think of it as either "Rust: The Good Parts" or "Modern Ada". It's a minimal language with linear types, capability-based security, an Ada-inspired module system, and strong typing. And it's designed with simplicity as the overriding goal: it's small enough that it fits in your head, and avoids becoming the Vasa[0].

By way of example: the borrow checker in the Rust compiler is 24.7k lines of code[1]. Austral's equivalent is 600 lines, because it's simply doing less. The linear type system is designed so that the rules fit in a page of text, and you learn them once and apply them everywhere, rather than fighting against an ever-changing, opaque pile of heuristics. It's much more like a normal type system and much less like static analysis.

There are a few example programs in the compiler repository[2] and the website[3].

[0]: https://www.stroustrup.com/P0977-remember-the-vasa.pdf

[1]: https://twitter.com/zetalyrae/status/1540883027743559682

[2]: https://github.com/austral/austral/tree/master/examples

[3]: https://austral.github.io/examples/
There are entire books of the New Testament devoted to assurance of salvation. I find this sentiment I described commonplace in my area of the world (Florida, US).
I'd love official console support but it's not possible being open-source. Porting it yourself is an option, but not many will be inclined to do that and would have to opt for paying a third-party to do so.
And for balance, here's my pessimistic take:

https://news.ycombinator.com/item?id=32101957
With the coming shortages of production and massive demand, guaranteeing supply is table stakes for the game of game manufacturing.

There is no alternative around the corners IMHO car companies are not thinking big enough with their investments.
Shouldn’t this read “Why should I care about Gemini”? As far as I recall Gopher is no longer maintained and doesn’t support TLS/encryption, but Gemini enforces encryption and is actively maintained.
Yeah, a metaphorical "early days". What I meant was that adoption level is still relatively low and there are still many infrastructure components and services that are lacking or incomplete.
Do you see in the news that these days KKK type orgs are marching around frequently and without massive opposition?

The last thing I can think of like that was Charlottesville 2017. That went pretty badly for the racists and AFAIK they failed to stage any meaningful follow-up.
What else do you qualify as a world city? London is dead at 2AM except in a few specific areas, the tube shuts down. Paris as well.

I think what you mean by "World City" is actually just "Party Zone".
Not everyone shares that point of view.

Gladly using iostreams since 1993.
Bro everything other then the alive is out there and all the aliens are on earth your just not capable of seeing them
Why are you comparing Indians to monkeys? That's totally not ok.
Too-small seems to be the perfect use case for DDB. I need someplace to stash stuff and look it up by key. A full RDS is overkill, as is anything else that requires nodes that charge by the hour.
This is an excellent article. I like the way the author builds up in steps to eventual consistency between source tables and their materialized views. It was fun to guess the next step.

I do have one question: how does the algorithm described in the article work when the source table is spread across multiple servers, say in multiple shards? Can TimescaleDB maintain materialized views on each shard and then run a query that reconciles them?

Edited: clarification
I would argue a programmer who doesn't notice the encoding issue when looking at this code would be the same kind of programmer who would write this kind of encoding issue. You definitely need to manage copilot's generated code to meet your requirements, the key is that massaging takes way less time than writing it all from 0. Copilot is, as the name suggests, a human-in-the-loop system.

For me, this is definitely a piece of the future of coding, and it doesn't change coding from a creative endeavour. It's just the difference between "let me spend five minutes googling this canvas API pattern I used 5 years ago and forgot, stumble through 6 blogs that are garbage, find one that's ok, ah right that's how it works. Now what was I doing?" To just writing some prompt comment like "// fn to draw an image on the canvas" and then being like "ah that's how it works. Tweak tweak write write". For me the creativity is in thinking up the high level code relationships, product decisions, etc. I don't find remembering random APIs or algos I've written a million times before to be creative.
Tech people think like doctors not computers. Non-tech people think I somehow have deep knowledge about all forms of technology. I don't.

I have two things they don't: abstractions, and problem solving.

My abstractions range from algorithmic and mathematical, to organizational[networking, hardware], to taxonomic and ontological. I have dozens if not hundreds of abstractions that I can draw from. This allows me to frame problems correctly. Sometimes we all chose the wrong abstraction, but 99% of the time we avoid that and it's a shortcut to weeding out all of the unnecessary details of a problem. Ever helped a newbie with a problem and they either misidentify what's important or overlook an obvious/crucial piece of information? I'm operating with 10 times the number of abstractions that they have and likely drew the right one whereas they are operating in a pre-theoretic world.

The second thing I have is problem solving. I can craft information-rich hypotheses and test them much more quickly(or at all) than non-tech friends. That means when I look for something, I'm much faster at finding the root cause and being able to tell whether something is a root cause or if I need to keep digging.

Having these two things mean I don't need encyclopedic knowledge of technology. In fact, I probably rely on Stack Overflow much much more than they would think. Can this be taught? Yes, but it isn't teaching someone _what_ to think more than it's teaching them _how_ to think. That takes a certain amount of deliberate sustained effort.
Godot is C++. You can use C# (among others) to write game logic in it.
I'm not sure what to make of this as .NET is "competitor" of Jakarta EE. In quotes, because who really would prefer that to Jakarta EE/Spring...
MS had "edit and continue" (aka hot reloading) in Visual Basic in the 90s. Then I switched to other languages and I've gone without it the rest of my career. I don't think VB the language is very good, but the developer experience still beats anything I've used since then.
I kind of agree. Stupid people doing dangerous things for "likes" usually deserve what they get, but it's not as if there aren't external costs they force on the rest of us for their idiocy. The 911 dispatcher whose line is tied up, the paramedic who has to scrape some dumb kid off the sidewalk, the doctors who'll do their best to save whatever's left, or any innocent bystanders caught up in the mess these people make. It's certainly behavior we'd be better off discouraging.
And formerly Paradox, if I'm not mistaken. It's one of the worst marketed game engines I have seen. Two rebrandings and practically zero social media presence. People are still starting more new projects with XNA than with Stride.

I would be promising asset compatibility with Unity and shouting about that everywhere if I were Stride.
Based on personal experience on enterprise storage solutions, LZO is the best generic compressor. Yeah, LZO.
I think this is a harsh and somewhat antiquated take on addiction, if I'm honest. I hope the curse of addiction never falls on you.
I think that ship has sailed - ICE vehicles have obscene amounts of power these days even in “slow” vehicles
Yes, that is my take. It only works economically if the soil nutrients come back to the field, and it costs no more (net) than adding a stalk chopper to the combine.

Extra trips over the field burn fuel, and something needs to pay for the dollar cost of that (in added fertilizer value or something) not to mention the net carbon emissions of burning diesel to go over the field again.
Everything without life is out there the ones with life are all on earth yo NASA spends all its money on how to lie
yeah .com and many others. You just need to think of some research reason which can be a lot of things, there's no real verification on this, and then you get access to all of the domains at once (you need to be accepted into this central zone dump system once). I was quite surprised when a colleague told me this exists and that he was accepted, since to me this seemed to be coveted data by e.g. commercial dns history companies. Anyhow, if you didn't already --for the myriad of other reasons-- consider DNS data to be open, you should consider it open data.
Ironically, I think Brad Cox had something like this in mind, after coming up with Objective C. Or at least, pluggable components [1]

I wonder what the threat model would be? Injectable binaries seem like a decent attack vector. But, if we're talking 2040, maybe a signable Merkle tree would do the trick.

Meanwhile, have been experimenting with recompiling Metal code at runtime. Was kinda fun with ObjC/C++/OpenGL, a few years ago.

[1] https://thenewstack.io/objective-cs-roots-in-the-life-of-bra...
A while back I came across a site on HN with a very similar style, which went into similar detail on living "off the grid" on a sailboat. https://100r.co/site/about_us.html

The posted website is the second time I've seen this, but I have to imagine it is a specific style or practice.
The US military wants to understand the most important software on Earth
Energy companies like to complain about demand spikes instead of doing their job and managing the grid properly. Like if bakeries were complaining that they have to get up at 5 to bake bread because people want it in the morning or something.
Thanks for the reply! Moving away from legal definitions, isn't laundering just fraud (lying) with extra steps?

What forms of corruption don't boil down to deceit?
> isn't he a eugenicist? I know everyone loves to "separate the artist from the art" or w/e but that one thing really does make me distrustful of every single other thing he writes. What are his goals, how does this fit into them.

IIRC, he's not a eugenicist, but shares one of their big assumptions (that intelligence is heritable and some ethnic groups are smarter than others).
I'm not denying climate change, but that's... a bit hyperbolic, with a bunch of silly absolutes. Mass death everywhere? Wildlife is thriving in the Chernobyl exclusion zone.[1] The world has been getting greener with more plant life because of the increased CO2 in the atmosphere.[2]

Total ecosystem collapse? Which ecosystem? Why? Again, I'm not denying any of the human impact to our climate, and I agree that many ecosystems will change, and it will be our fault, but I don't think it's productive or healthy to think of it with such bleakness.

[1] https://www.nationalgeographic.com/animals/article/060418-ch...
[2] https://phys.org/news/2020-01-planet-greener-global.html
>> What do you look forward to in the world of the future?

Medicine advances have been astounding, and I look forward to more. With respect to cancer and dementia-related diseases, we still have a long ways to go.

Politically related, I am not hopeful, as political perspectives are always changing and historically repeat the same mistakes. Sadly, war will still be a tool for delivering political power.
> my room wall on the outside hits 170F i think

That seems unbelievable! Is that a typo?
Yes. This is the main and only major thing that is holding Godot back from mass indie adoption. I would choose GMS2 or Unity over Godot for a 2D commercial indie project even though GML is worthless on a resume and Unity has all the Unity problems, because they build to all the consoles. Or Defold, since it is really nice and at least can target Switch.
And I would choose Unreal or Unity or maybe even Cocos Creator (which recently added Switch support) for a 3D project for the same reason.

If you want mass adoption, you need to make it financially viable for commercial indies to use your engine, and good luck convincing those people if they know they need to hire a 3rd party company to port to consoles.

Since Godot can't really go the console route, though, they basically need to do the work of figuring out how their users can make enough money on just web, mobile, and/or desktop, and then articulate and successfully sell that solution to them. Steam Deck could help for sure, but it's a big ask
But it’s a bad reply too. It just means the rule is from 1992. That gives us no way to gauge whether the rule was invalidated in the intervening times.

As I like to say, we launch spacecraft based on models of celestial mechanics from the 1680s. Doesn’t make them wrong or disaster-prone. If you replied to someone that “oh you think celestial mechanics was perfected in the 1680s?”, then a lay reader should be equally confused as to why they should doubt the person you replied to.

If you have a reason some rule is invalid, post it, FFS. Don’t just say it’s from $YEAR. And definitely don’t rely on ambiguity as a way to look smart and unquestionable.

But of course, he’s a longtime poster, so I guess he gets a free pass.
Fax Machines invented in the 1800s, Voice Mail invented in the 1930's, etc etc. Not a compelling argument.
google for "github system design primer" repository, youll get ideas
Related:

Rocky Linux 8.4 GA - https://news.ycombinator.com/item?id=27579297 - June 2021 (24 comments)

Rocky Linux 8.4 RC1 - https://news.ycombinator.com/item?id=27568087 - June 2021 (64 comments)

Rocky Linux releases its first release candidate - https://news.ycombinator.com/item?id=27304012 - May 2021 (116 comments)

Rocky Linux: A CentOS replacement by the CentOS founder - https://news.ycombinator.com/item?id=25445725 - Dec 2020 (533 comments)

Rocky Linux: Community enterprise OS compatible with RHEL - https://news.ycombinator.com/item?id=25358739 - Dec 2020 (16 comments)

Original CentOS founder intends to create new fork of RHEL - https://news.ycombinator.com/item?id=25354811 - Dec 2020 (8 comments)
Recognize when you've fallen off the happy path, slow down, and don't panic. For better or worse, much of recent UI design improves the Happy Path at the expense of tools when you fall off. But if you can get folks to recognize that they've gotten into a bad state, they can at least stop making it worse and ask for help. Quick examples:

If it froze after pressing a button, don't continuously press the button, at best it does nothing and at worst it ruins everything (looking at you "transaction processing don't hit refresh" messages in 2022).

"I deleted photos from my phone, panic, instantly mash sync to cloud!" - and now they're gone from the cloud too because its a 2 way sync

"The internet doesn't work, should I factory reset my phone?" - no, not as step number one.

Mostly, non-technical people don't know or care about why something is happening, or even really what is happening, and that's not a bad thing. But at least knowing if whats happening is "Good" or "Bad" can go a long way, though its getting harder now that OSs in general will signal less and less that you've gotten into a bad state.
Looking at this like the recent Uber leaks, plenty of employers keep a lot of things secret.
See https://read.cv/ for a viable alternative.
Related:

Torus Earth (2014) - https://news.ycombinator.com/item?id=15578594 - Oct 2017 (17 comments)

Torus-Earth - https://news.ycombinator.com/item?id=7182822 - Feb 2014 (62 comments)
It's all about the peripherals. Make them not suck and document them well and you could have a chance. Follow ESP32's lead and you'll just be another also-ran.
I understand, but that doesn't change my assertion that comparing Tokyo density to only-NYC density makes no sense, especially as an argument that there is no room for to build more. Hogwash! Half your NYC map is pure green, but even leaving that, most of the land area on that map that is housing is SFH.

The density of the NYC MSA is 1/3 that of Tokyo: https://en.m.wikipedia.org/wiki/New_York_metropolitan_area

There's plenty of room to grow up. Just because the reason we don't is shitty government organization and FPTP voting doesn't mean we can just ignore the vast swaths of low-density just outside Manhattan 's borders.
These things usually happened in small towns in the midwest or south back then, not in places like DC or other large cities as often happens now.
What? This is not at all what the author is describing (or even what you're insinuating is bad in Godot).
Greenest Software Framework for Cloud Development Launches
Just reverse the question, what makes you believe all these negatives are true?

You have some secret documents on R&D labs that you can say tech advancement stagnated?

You probably don't understand how big world really is, you probably don't understand how many different companies are there working on making stuff more efficient. All mobile phones looking the same for last 5 years is not "tech advancement stagnated".

There is also no single "world vision" and these "massive" geopolitical problems might be less of a problem then what media is presenting.

Deglobalisation and "less economic efficiency" seems like a good idea for me, first world people buying less crap built by exploited workforce from third world countries seems like a plus.

All that talk about "disconnecting" people for me is nonsense - people are connected more then ever I keep friends that I rarely see nowadays - but we are still good friends. Randos on the internet shouting at each other or teenagers playing MMOs instead of running in the woods is not convincing argument for me.

When I ride train - yes I read internet on my phone - yes I would never talk to strangers and never was even when I did not have internet on my phone, I would use Walkman to listen to tapes back when I was younger.

Problem with Walkman 20-25 years ago was that batteries were crap, headphones or earphones were crap and had cables that would break after month or two of using, nowadays I can listen music from my phone whole day and use earphones without any cables.
That page has almost no formatting. It is nearly all raw html. You can certainly zoom the page in your browser or apply client-side styling to change the font.

While there are sites that make it difficult to read due to aggressive styling, this is most definitely not one of them.
I put it on a 2012 Macbook Air about a month ago. Things went pretty well. Having a reasonable amount of drive space for the Linux environment was nice for once. The keyboard backlight was non-functional, but otherwise hardware seemed to work.
What exactly is Ironic?

To be clear, I was making a comment and speculating on the publics attraction to blunt language.

It seems like you are agreeing with me - you are sick of vapid and nonsensical PR bullshit.

I don't think anyone is in favor of the PR bullshit, except the people who hide behind it.

Wouldn't you prefer something more direct?
How do you enforce the physical check with captive portal? Do you give everyone a shared password to go into the portal?
RDS proxy should fix this, but the proxy team is out of sync with the RDS team. I’ve seen RDS ahead of proxy by two major versions.
With the caveat that Borland is even better before they decided to focus on enterprise customers, and went through all those acquisitions and name changes.

Delphi and C++ Builder are still unmatched in many capabilities on the Visual Studio side.
It's easier than ever to life more independent.

And I decided to do this soon due to my more pessimistic view.

We will be even more people in 30 years, weather changes but I'm able to stay connected through the internet and independent through my potential future farm.
It is hard to destroy the planet even with nuclear weapons. A full-scale nuclear exchange will probably put humans back in the stone age, but the species will probably survive (billions will die, the life will be awful, of course, and it will take thousands of years for the civilization to recover, but humans will survive). With some deliberation, it is possible to destroy all complex land-based lifeforms (with radiation weapons / cobalt bombs, and you need _a lot_ of them, like a planet-scale suicidal project, I don’t think it is possible to organize), but even with that, I don’t see how it would be possible to destroy life in the oceans, at this point.
Why should your car charge you in the first place? The fact that your "possessions" can drain your bank account already seems pretty dystopian to me.

It's ok if you don't want to own a car, and just want to drive it. Just stop calling it "your car" then.
Were they from the same people?
Also new mortgages and variable rate mortgages get more expensive, and landlords need to charge more to cover their costs.
Stand-up Maths on youtube recently asserted that, at least to topologists, a torus is a hollow rather than a solid donut. Is that something particular to topological domains or is the title on this incorrect?
Good point, thank you. The while (0) demands the expected ; The trailing else hopes for the expected ; but would tolerate a wide range of nonsense instead.
I’m a completely uninterested bystander, who has no issue using “monster”.

But the Wikipedia mention links to a Cloudflare blog post from 2019, which is around the time Big Tech started renaming CS terminology.

You can’t use that as proof of long-standing usage.
>Flying cars, cures for incurable diseases like cancer, Augmented reality Goggles, sex robots to look like your favorite celebrity, universal basic income

Energy inefficient, contradiction, evil big tech nightmare, creepy, inflationary.
PHEV for future proof is good point. Simple plug cost could be minor, but HEVs have small battery (and don't use fully for long life) so just adding plug is almost useless. Who wants only 5km EV range?
> by nearly all metrics, the world is better today than it has ever been

Maybe. But if that's the case, we're talking about humans only, which account for only a small part of the biosphere. Most other species are suffering more and more.

And even if we're only considering humans, we are materially better off, because we have access to more "things". But are we happier? It doesn't look like it.

> it's taking shorter and shorter intervals of time for society to completely transform itself

Yes, that's true. The problem is that we have a hard time keeping up with change. Social media for instance is a huge transformation of society, and it happened too fast for us to adjust and regulate it.

> For me, that's a prospect worthy of excitement instead of dread.

I don't share that thought, but I envy you.
The thought that the planet's resources allow a decent living for everyone but our behavior entails a decadent life for the few and overshoot and crash dynamics and that psychological/organisational deficiencies keep it so until a catastrophe.