skysight-inc/HackerNews huggingface dataset:
This is not quite true. "Trust" is to give a permission for someone to act on achieving some result. "Verify" means assess the achieved result, and correct aposteriori the probability with which said person is able to achieve the abocementioned result. This is the way Bayesian reasoning works.

Trust has degrees. What you have brought is "unconditional trust". Very rarely works.
The quantity of money legitimately is an issue too though. Especially for mobile games -- which rely heavily on advertising and scaling up thin margins -- 2.5% of revenue (plus $2,000/yr/seat) could be quite a significant percentage of profit.
It's a matter of degrees. Absolute trust is a rare thing, but people have given examples of relative trust. Your car won't break down and you can trust it with your kids' life, almost never challenging its trustworthiness, but still you can do checkups or inspections, because some of the bult-in redundancies might be strained. Trusting aircraft but still doing inspections. Trusting your colleagues to do their best but still doing reviews because every fucks up once in a while.

The idea of trusting a next-token-predictor (jesting here) is akin to trusting your System 1 - there's a degree to find where you force yourself to enable System 2 and correct biases.
Stallone is another option for Rust: https://github.com/GaloisInc/balboa/blob/main/stallone/log/s...
Sneakers (1992)
Open Source Alternative to Outerbase.com
Do you know any open-source alternative to Outerbase.com that includes table views and a chat or SQL assistant feature?
Cheers
School is easy, the point of it is more to learn social skills.
A tattoo on my thigh says I don’t
MavenGate gets it all wrong and hurts open source
I think my only problem with this article is how seemingly easy it is for people to do this. I wish our cops could do proactive things like this on their own more often. This viewpoint brought to you by how many videos I've seen of anti phone scanners, Mark Rober anti package theft, etc. An airtag is $20. So with shipping it around call it $30 to do this "sting". Seems like a low bar.
That is quite possibly what will happen - for terrestrial applications. But anything past the orbit of Mars will require nuclear power - or very robust beamed power infrastructure.
damn. That is a lot of skins. Yea, make sense to try to automate that. Approx how much time does it take to turn it into money?
That fact that you think that "alt right, anti-vaccine crazies" are extremist is the best example for not wanting people like you be able to censor anything.
Wow really wholesome and exciting.
People need to stop looking at their screen all the time
> Jumping to the conclusion of "it's aliens!" is unscientific and really a bit tiring.

It kinda seems your jumping to conclusions, "sign" is not the same thing as "evidence". Sign is basically increasing the perceived likelihood, but it may mean an increase from e. g. 0.000001% (baseline) to e. g. 0.001%.

Add some other signs like presence of water, radio activity etc. (each of which alone is no proof of aliens) and you can get interesting candidates.
I would add:

- it accomplished the task of teaching some technology/language/practice to the author, so that it becomes subjectively useless after that knowledge is absorbed.

Sometimes people start building a car because they need an incentive to practice making wheels.
Unveiling "Sedexp": A Stealthy Linux Malware Exploiting Udev Rules
Well yeah, don't USE your janky from-scratch libraries at work of there's something written & maintained by a bigger team. It's a learning exercise.
> gone completely to shit over the last decade or two

Has the 777 and 787 done this? I don't think so. Yes, Airbus has many competitive aeroplanes in adjacent categories now, but that does mean the originals (and their many sub-models) from Boeing have "gone completely to shit".
I've been learning io_uring for fun and 0 profit by building a web-based game using only the Rust standard library. I create a simple WebSocket server and am now creating async from the ground up. I'm documenting it all: https://github.com/kilroyjones/series_game_from_scratch
I sort of get it, I do use vim and only very recently switched to nvim. For some reason the web UI here just seems different to me - because the rest of the web you would be using has changed around it, perhaps. Maybe it's just not really used much at all but still exists I suppose, just because someone posted it here doesn't mean anyone's using it.
China's largest Core i9-14900K gaming cafe suffers from instability issues
This is a centralist argument. If the market were structured in a sane manner, you wouldn't need politicians to be involved in these choices. In fact, I think the argument in this article is defunct for a similar obvious reason - people can just build solar panels because they are cost effective. Bam. These alleged legions of nuclear supporters have ceased to be a roadblock. Just go do it, we may well all already agree that any blockages to building solar are a bad idea.

Of course the real case that the nuclear people are making is that if we stopped putting all the bizarre political blockages in front of nuclear it'd be perfectly competitive and people would invest in that too. But this idea that we want politicians to be the bottleneck in deciding where our power comes from is even more bizzare. We should decide power is generated, by paying people who generate power in a way that works for us. The tech is not so important [EDIT not so important that we need to do it through the political process].
If you want a few random insights into LOTR I was an extra in it back when it was being filmed. I captured a bunch of thoughts / memories and random recollections into a video:

https://customer-yttq5m392rsx80xb.cloudflarestream.com/a44ff...

I'm not YouTube personality so it's pretty rough (I also couldn't upload it to YouTube because of all the footage, hence the CloudFlare link). Anyway, you might like some of my random anecdotes from it.
You grew up in the states or similarly well-off place, right?

The first point is actually huge - soviet russia was the textbook example of the tragedy of the commons. If you're in system where your get paid the same token amount of money regardless of outcome, the rational optimization if to minimize effort.

The netflix series Chernobyl does a great job capturing the aesthetic of this - everything is just a little shitty and run down, every interior has some paint flaking, every exterior has something rusting etc.
Everything We Know About the Brazil Air Crash [video]
I'm tring to write a minimal tool in Go to deploy and manage CD for my self-hosted projects.

I've tried many things but still none fit exactly my needs (I deploy many static websites so I want that to be effortless but I still want to be able to do continuous deployment on git+docker based projects). I know about Dokku and is probably what I should have learned to use but this way I can also challenge myself on a medium Go project
> The chatbots are the Zero to One for programming.

This would make Peter himself cringe let alone the rests of us.

That said, if you really believe this, I've got an AI product to sell you. It's the Zero to One for anything you want. It's called HypeLLM.
What is “ECU” and “EV” in this context?
Australia is part of the five eyes, many Australians with, say, a signals intell background will have seen things that may or may not make your eyes bleed wrt crime and|or state actions.

Yes, functional states should have extremely good oversight .. in reality they "mostly do" but with cracks that allow unwanted behaviours to sneak through and sometimes become normalised.

eg. recent revelations that SASR types are "blooding" new members with unsanctioned kills in war zones.
Or regular joe LEO types using surveillance powers to stalk ex's. Or total innocent gets railroaded by tangential "evidence" simply because they chance to tick all the boxes for a needed arrest and the actual perp was overlooked | unseen.

> I would be very concerned if your knitting grandma was an active member of a drugs and arms dealergroup.

And yet an actual sergeant at arms type of an organised biker gang based in Australia used knitting terminology key phrases in just such a group to organise international transfers of "packages".

The person in question was a NZ background stone cold killer with a special forces background.

( Yes, most crims are "dumb" | "lazy" and yet a good few understand covert messaging, not all can be caught with a fake encrypted phone honey net trap )

These are all real concerns and examples of things that have actually happened.
> we didn’t really care for [Boeing]

Hi, thank you to share your first hand experience. This is one of best features of HN. Can you provide some specifics (if allowed)?
Amazing. Big fan here. Please keep up the food work.
I think a better translation of "control" in that saying is "checking" or "testing". "Control" in present-day English is a false cognate there.
Gamification of holidays! /s
Blasphemy against Muhammad is a serious crime in some countries too. Doesn't mean that everyone has to share this opinion.

I personally don't considered hate speech to be worthy of criminalization, much less as a "serious" crime.

What I consider to be serious crime is censorship, though.
Hey, get away with your facts and logic. It distracts from OP's agenda.
Can Claude tdd itself ? Lean-Claude
I'm working on planning next year's Square Foot Garden and building some tools to help me figure out staggering and succession planting--trying to be self-sufficient this year. I'm also working on a cookbook that focuses on "composable" meals and minimizing kitchen waste.
Very cool! Is the code open source?
With sha2 (non truncated) but not with all hash functions eg sha3.
I mean, what wealthy person wouldn't like to be on the "free money" train?
Slightly off topic, but my mind went there.

Bezos could spend $41 million dollars a year since 2476BC or $112k a day (all without earning interest) , and he'll still have change.
This is about identity theft like selling credit card details, meth and child porn (telegram deletes 60 thousand such groups. Per month. It's a shitpile that attracts flies, evidently)
Nuclear has had issues with scaling, but new small modular reactors (SMRs) could help.
Well there's two tests to figure out if a kid is a fast enough reader:

1) Have them read subtitles out loud (from a different language so they can't rely on audio).

2) Have them skimp through the text and provide a summary afterwards.

I'm not very sure however how to GET there apart from the boring "read a lot". And reading a lot in today's video-infested age is simply, not realistic. When I grew up in communist Romania there was virtually no video content so much like a century before, the only form of ENTERTAINMENT was reading books. I read them because I was motivated by pleasure. Hated school-mandated readings, never did them or just cheated if no alternative but I did read a fuckton on my own volition because I repeat, that was the most powerful form of entertainment available.

If I were brought up today surrounded by video content everywhere: addictive shorts, game tutorials, movies... I'm not at all sure I would have cared much for reading.

It is what it is and we can't turn back time and expect today's kids to be as proficient readers as a gentleman of the 19th century, they just don't have the motivation anymore.
I think I read somewhere that you need 800 wind turbines to replace a typical nuclear plant or 5 million solar panels. Personally, I prefer solar panels on roofs over wind turbines as it's less of an eye soir and noisy.
What a great question! Many interesting movies to check out in these comments!

My own list, I re-watch movies the same way I re-listen to music, often to get in a particular mode of thinking, as they become familiar, I mostly daydream while appreciating some particular concept and whatever new minutiae, or ways of understanding, creeps into my mind.

Hackers - 30+ times, for dreaming about a world that never was and never will be, for reminding myself how cool computers used to seem.

The Crow - 20+ times, for thinking about the world

Koyaanisqatsi - 15+ times, for thinking about my life in the world

Alien - 10+ times, for thinking about the future that passed us by

Terminator 1 and 2 - 10+ times, for examining a time that never was, or passed me by, and because Arnold is awesome!

A Clockwork Orange, 10+ times, to reflect on violence and aesthetic

Event Horizon, 10+ times, mostly for the aesthetic, and who dosen't love spaceships from hell ?

1984 - 5+ times, for thinking about humanity and society

Requiem for a Dream - 5+ times, for thinking about the value of life, and what society is

Once upon a time in the west - 5+ times, for thinking about loss, revenge and justice

Genocyber - 5+ times, to think about what life is for anyway

Stalker - 5+ times, frankly, mostly to look at the pretty pictures.

Lots of other amazing movies, I probably forgot some (time to watch again?)

Bonus:

TV Shows I've watched more than 10 times:

Star Trek TNG

Neon Genesis Evangelion
This seems really neat! I'm a huge proponent of incremental CI for any project that gets big enough to care about test speed.

I'd be pretty worried about an abstraction ceiling on the caching here relative to something like Bazel, though. Like would Mint get mad if I generated 4000 dynamic tasks?
> I know absolutely no one using Telegram as a chat app however. Pretty much everyone uses WhatsApp for everything here.

Hi, pleased to meet you. I have around 15 people I only chat with via Telegram just in France.
> I can’t believe a mostly text website that doesn’t scale well on mobile made it to production in this day and age.

I can. This is pretty typical.
LibreOffice 24.8 Released
They recently released Pharaoh: Dynasties which is pretty much a complete overhaul of the base Pharaoh game, and is pretty much what the game should have been.

They gave everyone half their money back, this free upgrade, new factions, bigger map and a ton of changes. Overall its been a big push from their side to keep the player base happy.

But yeah, there's obviously a big market for historical games, from city builders, combat, etc. and I'm here for them all.
Interstellar, Inception, Dr. Strangelove, Goodfellas, Godfather, Full Metal Jacket
Parochialism in time and space (2021)
You might have just described dart/flutter.
I write Godot games using both C# and GDScript and they’re both excellent. It’s wonderful being able to use the latest C# features, and integration with the engine and API is flawless. GDScript is just python, but with a few extra functional programming features added that make it a much nicer language to code with than Python. And it’s fun and easy to learn - a reasonably experienced developer can learn it in a few hours.
I am working on revamping my past project built last year https://www.loom.com/share/95c8aa93d24648dca8d61837104fe31d?.... Making this more apealing and user friendly, until I found a new project idea to build a better project.
Apparently global trade via ships is much worse than airplanes - in terms of environmental impact. Apparently container ships burn extremely dirty fuels once they enter international waters.

I guess regardless where humans start, the dependency on fossil fuels is simply too vast to rollback.
> A lot of people hate rote learning - but elementary math classes, meaning all the way up to calculus (or prior to more rigorous proof based classes), do require a bunch of memorization

A lot of people still think reading and re-reading textbooks is the way to memorise theorems but recall (attempting to remember them without the book) is much better.

I cannot recommend the book "A Mind for Numbers" by Barbara Oakley enough - it put me on a journey to re-learning Maths as an adult.
There are a few canonical json specs but they are different and in my experience the implementations are not correct.
Hate speech is a nebulous term, extremely dependent on the speaker's values.

Plus, people aren't really obliged to love one another or their institutions. Why should I pretend, for example, that I respect some dead Iron Age prophet and people who follow him like sheep?

And yet anti-religious speech is usually perceived as hate speech by the religious folks on the receiving end.
I think the French secret service who apprehended him probably does know more than the average person.
Saudi attack on Houthis is not a threat to the Western world.

If anything, Houthis are even more backwards than Saudis.
And this is where Siri failed in my opinion. Even things like "Create an event that starts on Monday and continues for 90 days" is and always has been a crapshoot.

All the things you didn't want to do manually yourself, Siri couldn't do either. Not much of an assistant then.
The subjective "eye sore" argument isn't going to work anymore. It's too frivolous and doesn't give you the right to dictate what others can build on their private property.

Wind and solar work well together. It's windier at night and in winter when solar underperforms. It can be built in farmland wherever agrivoltaics may not be appropriate. It is especially valuable in Europe which has high wind and lower insolation.
Looking at back to high school and then university. I fully believe I would have been capable of learning maths, electronics and so on... But I just did not care enough to put any actual work into the process. Still graduated. But well I really just did not care to put in effort. Thus lacked the motivation...

Same can be said about any learning including languages. It really comes down to motivation, outside sufficient immersion.
I do not believe that the claimed grid problems cannot be overcome. If it is really a problem, connect nuclear reactors to a separate grid for the railway and heavy industry.

In Germany, the Energiewende has been an expensive failure that led to astronomical electricity prices that no one can afford.

China will out-compete us yet again with their new pebble bed reactors.
Groundbreaking study finds we could all be living in a simulation
Do sunrises look different from sunsets?
> If nuclear made sense, Microsoft ... would finance the construction of a few plants to feed their ever growing appetite for reliable carbon-free energy

Companies focus on their strengths. Microsoft isn't building its own chip fabs, or lots of other things it has an appetite for, because it's not one of their strengths. Companies can only be good at a few things. So them not building their own nuclear plants isn't a reason to believe it's a bad idea.

There are a few startups building small modular reactors. As I understand it, while data centers are certainly on their list of potential customers, they're getting more immediate sales commitments from remote mining operations where they're replacing diesel generators instead of competing with the grid.
I listened to the whole video, and the parent understands this better than you do. The video doesn't say that gliders are impossible, period. It says that slowly gliding down, without a heat shield, is impossible. As the parent noted, the Space Shuttle proved that quickly gliding down with a heat shield is possible and very realistic. The video doesn't claim anything to the contrary, of course.

It's a good and important point that the term "glider" needs to be qualified. But you failed to make this point.
Maybe you can try https://wxt.dev/ or plasmo for the extensions

Do you know if there's a way to get info about programming (show names and schedule) from the streams?
the command of critical projects Elon has is unnatural. He builds his massive projects with no permits or regulatory approvals;
see:
- the massive supercomputer in Memphis, no power power approval from TVA and did do an EIA. The city council never new about the project.

- Starship and Starbase, no lauch approval

- Tesla FSD, no regulatory approval

-Starlink version 2 upgrade, the competition is still fight. Again, no approval

and many more.. all this projects a massive like really massive.. True Elon is a government project.
Yeah, it's confusing. The standard maze generation algorithms start with a fully-blocked grid where each cell has four walls, then proceed to punch holes through one wall at a time. This is basically the same procedure as solving a maze, except when solving a maze you only move between cells that already have holes punched between them. So a solver is really a generator run backwards.

Think of it as an automaton: it can both accept and generate a string. The string here is the path through the maze.

But I think the main, shall we say, contribution of the article is the method they use to find the farthest two points on a maze, that they then set as the entry and exit point of the maze. It's at the end of the article, after the discussion of their preferred method to generate a maze.
>If nuclear made sense, Microsoft or Amazon or Rio Tinto would finance the construction of a few plants to feed their ever growing appetite for reliable carbon-free energy…

But they are starting to do it [1]. I'm sorry, this is not a well though out article.

[1] : https://www.ans.org/news/article-5842/amazon-buys-nuclearpow...
Indeed. But I legit have never seen as many rats as in the area around the Eiffel Tower.
>If a few nuclear plants could easily be built on budget and on time in a given system, it would not be an issue...

Then it must not be an issue, because the People's Republic of China has been building dozens of nuclear plants on time and on budget for the last decade.
If you know it better, enlighten us.
I agree in that they won't make bones tougher or tendons more elastic. They maybe able to add more TypeII fibres though if they grow additional muscle?

The other big thing on the horizon is gene doping, such as with Myostatin in Bully Whippets.
All while the expected value as given by the competition through the A320 Neo series is zero deaths per passenger mile with more than double the fleet size.
But politics cannot be avoided.

If nuclear is to be built, there will be risk of serious accidents. The rational private response to this is to bound the liability to the nuclear operator via bankruptcy. So, in a severe accident, the cost imposed on society will not be covered by the operator. What's the response to this problem? Either imposed safety regulations, or requiring insurance (and the insurers then impose regulations as condition for insurance.) If de facto public insurance is provided (as in the US limited liability for accidents) then public regulation is a necessary consequence.
Meanwhile China can keep building nuclear plants at breakneck pace no problem. It's the same playbook for decades -- first we block nuclear at every opportunity, then we set impossible standards that make it impossible to build, then we say it's "out of time" and "taking away energy from renewables".

For decades these people have been saying "sure, nuclear would've been great if we'd built it decades ago, but there's no time now!" -- at this rate, we'll see those exact same articles keep getting written in 2064.

Of course solar is great too -- I'm highly in favor of having a diverse set of energy sources. Solar has base load problems, nuclear needs fuel, etc -- many strategic benefits and downsides for both.
> while in railroad engineering and aviation (where human lives are at stake) you'd get your licenses and certificates revoked

Is that true? The safest train is the one which is stationary. Cut off the wheels, and drop the rail cars on secure foundations (carefully) and you just protected yourself from 90% of possible accidents. If you remove everything flamable and weld the doors shut you got rid of 9% more.

Do you see why this is silly? Because the main business of rails is to transport people and stuff. You won’t be railroad engineering long if you don’t keep that in mind.