skysight-inc/HackerNews huggingface dataset:
Not required for planes manufactured before 2010. https://www.ecfr.gov/current/title-14/chapter-I/subchapter-G...
Thanks buddy, this made it a lot easier to grasp without any reading on Cuttle.
A teleporter is just a portal that you can’t see through.

> You could make some weird impossible geometries by just superimposing sections. Two sections could occupy the exact same coordinates, but movement and rendering were done across edges shared by sections and did not care about if there was some other section in the same space. As long as there was never a way to see those sections at the same time.

This is exactly what portals are.
Yes, just like how due to the diversity of Whole Foods workers it's easier for them to unionize.
Recently I wished for "VB for Web". Something that'd make it easy for a tech-competent, but a non-programmer, person to prototype a functional web application.
Try it and judge the quality of the results. I never got any quality non-English results from any alternative to Google, before trying Kagi.

Note that you should select your preferred non-English language as your standard language in Kagi and not the "International" option. You can still search in any language.
If you can easily cross / unfocus your eyes, it also allows you to see 3D images easily. Try:

https://www.reddit.com/r/ParallelView/

https://www.reddit.com/r/CrossView/
The original Unreal had great graphics for the time but did require a very beefy machine.
Disclaimer: I wrote and maintain a MessagePack implementation.

Reading through this, it looks like they toss out indefinite length values, "canonicalization", and tags, making it essentially MP (MP does have extension types, I should say).

https://fidoalliance.org/specs/fido-v2.0-ps-20190130/fido-cl...
This is similar problem to "the more suicides we have the less suicides there will be".
I spend all of my working hours with modern PHP.

IMHO, although its improved A LOT it’s still a mess. But with the right tooling you can kinda-sorta make it behave like a sane language if you squint a bit.
I seem to be the only one in HN and maybe the world, who worked with decent enough codebases where dynamic typing was no problem at all.

Not that I “feel” it was no problem, but there were no bugs found that could be traces down to that.

It was not a small codebase.
Ooh, as an American involved lightly in real estate who relocated to Suomi a few years ago I always love this topic. Let me ramble.

It's worth pointing out that, on a country-wide level, Finnish housing prices have been remarkably stagnant for the last 20-30 years when compared to e.g. the United States or most other European countries. That is not true of the cities, obviously, and cities are where all the work is, but it is quite possible here to find very cheap housing in the "middle of nowhere".

Government subsidies don't change that dramatically between these different areas, so it's entirely possible to rent e.g. a studio apartment someplace like Kemi or Vaasa for 500€/month or lower and then just coast if you are willing to put in some effort. If you're willing to live with roommates, who may well be running the same strategy you are, it becomes even easier. (The downside is you then have to live there. Many of these areas have record high unemployment rates, for much the same reasons 3000 person towns in the United States do. Having done something like that for a year, I can report it felt like living in cryostasis.)

So there's arguably an oversupply of Finnish housing in these remote areas, and most of the country is correctly classified as remote (seriously, look at a map, Finland is huge for 5 million people). One interesting mechanism which might help curb that oversupply in the coming decades is the 15% inheritance tax - many people who live in these areas are older and don't want to hand down e.g. a $50,000 valuation home to their kids and then force them to somehow pony up 7.5k in liquid capital. That incentivizes them to sell sooner rather than later.

The more interesting question: Has Finnish housing supply growth in areas like Helsinki, Tampere and Turku kept up with demand growth? I suspect that no matter which country we're looking at, the one which answers that correctly today for their largest cities will be the best place overall to live 10 or 20 years from now. Personally I'll always prefer Finland's massive concrete suburbs to the endless, pointless sea of single family homes I grew up in in the States, and I hope we keep building more of them!
> That logic that allows nulls has been implemented using the same unified set of keywords and operator names is a pragmatic decision

That's why it's name-squatting. Rather than introduce a 'kleene' datatype & operations, and let the user opt-in, they decided that in our 'bool' world, the following is not a truism:

a = a or a <> a
"It's not just good charities they support"

I'm not sure what you mean by "good charities." They're supporting charities they agree with ("The recipient organization does share our values") to counteract speech that they disagree with. So by definition, these are "good charities" from their point of view.
> This sounds unreasonable. If Europe can forget about Germany messing with everyone some 80 years ago

That's politics. Many Europeans are certainly still hurting from the trauma the wars caused. That includes later born generations.

Culturally, the two world wars have had a great impact, but that's another story.

My main point is that individually experienced trauma does transmit over generations, while great national narrative can change relatively quickly.
Yes, but their estimated profit is less than the revenue from providing the service, so the morons have still spent more than their target gets.
>Tinder, Spotify, Citymapper, Mumsnet and Sky News were among hundreds of companies named in a sample list of apps linked to the breach.

>Hackers appear to have targeted a US location tracking firm Gravy Analytics. It collects information through smartphones, including peoples' precise movements, and then provides it to other companies or governments.

So... those companies sold their customers' data to Gravy Analytics? You know, Cambridge Analytica style? And these hackers just siphooned data from this tracking company?

>He also told Sky News the apps named in the leak weren't necessarily working with Gravy Analytics.

>Instead, he said, software development kits used in the apps appeared to be sending off users' location data.

So... those companies used SDKs from Gravy Analytics which secretly phoned home users' data to this tracking company?

Not sure what's worse, but if this is really the case, it highlights deep flaws in the way major companies evaluate their "software supply chain".

Also, from a more technical standpoint, single API calls following an established specification (assuming that's what those SDK actually do) should be favored over SDKs. If you send a POST containing certain data, there's no way the destination gets other data from you, unless your HTTP client is vulnerable and can somehow be attacked by the company who owns those APIs.
peter the great gave a shit about the peasants , like all Russian zhars, russians had cholera as main source of death till the communists did take over. thats drink from the place you shit in savagery ,those aristocrats did less then nothing and deserved to be purged for dysfunctionality alone . You can not romanticize backwardness just because the front fell of the anti democratic progressive priest caste in the west. Those guys didn't built a thing either besides a caste system .
> is a nice thing to know but [not] relevant for flight safety [edited to what I think you meant]

If the pilots made mistakes you want to know what mistakes they made so you can make changes to prevent future pilots from making the same mistakes. The voice recorder is extremely important to understand what mistakes (if any) were made. Even if they did everything correctly, reducing uncertainty is also important.
I don't think that's right. UTM falls back to QEMU for x86 emulation.
They are effectively not pretending. They defend free speech by hosting shit that they explicitly do not like.

Then they use their own freedom to support speech that counters the shit they find offensive.
I read about this the other day. The main thing I remember was the weird grip required...a fist grip? I'd be curious to hear more about that aspect...
What kind of role did you occupy that you saw "manager leave headcount unfulfilled because the qualified candidates they found were non diverse"? Have you considered it may all just be the appearance you are interpreting in your head, but it doesn't map out to reality?
> The point of the investigation is to determine what went wrong before the crash became a certainty.

That's the reason for starting the investigation. It is not the exclusive goal for it. Increasing safety for all future flights is a big part of why and how this is done. Bird strikes are inevitable.

> Which for Jeju was the moment they lost both engines.

It seems like you do not require any investigation at all.

> should your commercial air liner lose both engines at 1000' in a descent the outcome will be crash

The outcome will be a descent. You do see that the concern here is related to the fact that this failure happened very close to approach and even given this the pilots managed to successfully navigate it to the runway. With the gear up.

I mean, if you touch down with the gear up, technically, I'll give you, that's a crash. If the gear was down it would look very much like a regular _landing_. What precisely went wrong considering the gear _had_ been down previously? So.. it's not hard to imagine how a working CVR and FDR here would help us answer that very question.

Although, your investigation may have been this thorough, do you have the answer?
Their own estimated profit comes from the entity that hosts the content, right? So if I want to trick them into supporting a charity, I open an account, give nearlyfreespeech x$, they make x-y$ profit, and then give that to a charity. I've just lost y$ on that transaction, compared to just giving it to the charity directly.
Appreciate the breakdown.
> So nothing is ever equal to something that can be anything

It's worse than that. It's something is neither equal nor not-equal to something else.

Whether you can implement something differently as a workaround is immaterial. It's weird, per the title.
The struck engine was still spinning — you can see the visual distortion from its thrust reverser being deployed while on the runway.
If it took fewer lines of code that's something to consider too.
It's far from obvious that thought space is much less complex than physical space. Natural language covers emotional, psychological, social, and abstract concepts that are orthogonal to physical aptitude.

While the linguistic representation of thought space may be discrete and appear simpler (even the latter is arguable), the underlying phenomena are not.

Current LLMs are terrific in many ways but pale in comparison to great authors in capturing deep, nuanced human experience.

As a related point, for AI to truly understand humans, it will likely need to process videos, social interactions, and other forms of data beyond language alone.
Keep recharging the battery on the plane,, switch to battery when there is a loss of power.
How would it become "the next Ukraine"?
The Word "Alignment"
Exactly! And he was called out because he did that without following the stablished procedures!

Also is not instant, will take a minute or two. The APU is a turbine that takes time to start. Maybe they did turn in on, but 2 minutes too late. We don’t know.

He was a super pilot, who had extreme good understanding of all systems in the plane, and many ours on that plane. You cannot expect that (and do both want that!) from an average pilot. It seems right now that this very accident may have been caused by not following the procedures.
Just doing the the thing, oddly lets you sleep on it, and the brain often has the a more optimal way waiting in the morning.
In Clojure, treating data as a first-class citizen means that data structures (like maps, vectors, sets) can be:

1. Passed as arguments

2. Returned from functions

3. Stored in variables

4. Manipulated directly

5. Compared easily

Unlike some languages where data needs special handling or conversion, Clojure lets you work with data structures directly and consistently throughout your program.

This philosophy extends to how Clojure handles data transformations. For example, transducers are composable algorithmic transformations that can work on any data source - whether it's a collection, stream, or channel. They treat the data transformation itself as a first-class value that can be composed, stored, and reused independently of the input source.

This first-class treatment of both data and data transformations makes Clojure particularly powerful for data processing and manipulation tasks.

That's why Clojure often finds strong adoption in data analytics, fintech and similar domains. The ability to treat both data and transformations as first-class citizens makes it easier to build, for example: reliable financial systems where data integrity is crucial.
> Object and Array cannot be streamed when writing. They require a 'count' at the beginning

Most languages know exactly how many elements a collection has (to say nothing of the number of members in a struct).
> However, at the point of design, this suggests a tool design (or tool application) that is flawed: the tool (or system) is too complicated (or annoying) to use from scratch.

As someone who teaches and sees college-level students ask chatgpt what's 1 + 1, I disagree that it has anything to do with complexity or annoyance.

Humans be humans; that's mostly it.
To me, this is a development in the wrong direction. Shell is great precisely because it's so minimal. Everything is string rule is one that calms all of your type-induced fears.

Having to implement hash-tables, while still keeping the appearances of everything being a string is the anti-pattern known as "string programming" (i.e. when application develops a convention about storing type / structure information inside unstructured data, often strings).

I would love for there to be a different system shell with a small number of built-in types that include some type for constructing complex types. There are many languages that have that kind of type system: Erlang, for example. But, extending Unix Shell in this way is not going to accomplish this.
I am a well known OSS developer with hundreds of commits in OpenZFS and many commits in other projects like Gentoo and the Linux kernel. You keep misreading what I wrote and insist that I said something I did not. The issue is your lack of understanding, not mine.

I said that supporting 2 AVX-512 reads per cycle instead of 1 AVX-512 read per cycle does not actually matter very much for performance. You decided that means I said that AVX-512 does not matter. These are very different things.

If you try to use 2 AVX-512 reads per cycle for some workload (e.g. checksumming, GEMV, memcpy, etcetera), then you are going to be memory bandwidth bound such that the code will run no faster than if it did 1 AVX-512 read per cycle. I have written SIMD accelerated code for CPUs and the CPU being able to issue 2 SIMD reads per cycle would make zero difference for performance in all cases where I would want to use it. The only way 2 AVX-512 reads per cycle would be useful would be if system memory could keep up, but it cannot.
That safety of the occupant.
In the context of a city car I'm more interested in safety for passerby.
That resentment drove people to vote for powers that forced FB and other bigtech to reduce the discriminations that were creating those resentments

I’d say it did make things better.
>you're just getting a bunch of yelling and swearing before the crash.

Even that is valuable information for discerning what went wrong and how.
Hiring and recruiting would have valid points if IT recruiting and hiring wasn't so hopelessly broken.

An example: When existing technology team members can run an interview and decide if someone could learn what they're working with.
The same happens with midnight-commander as well.
Ironic since the ADL is a staunch defender of Israel, a country whose leader is wanted for crimes against humanity.
This isn't just a meta phenomenon, it happens at all the big tech companies and it's always asians and indians that form insular groups (indians slightly less so). It is common and not an accident.
I put NFS is the same category as Tarsnap.

While I love the aesthetic and mission, I long ago moved away because the UX is just so obtuse and pricing unpredictable.

As NFS say, they're a service for smart people and while I hesitate to call myself smart, whatever neurons I do have are better spent thinking about my family than obscure service offerings.
Well said, languages are largely syntax and can be picked up with time. Clear thinking through a process is the valuable skill.
Kotlin backend dev of 7 years here (never done Android). Here my 50 cents to some of the "bad" points:
1) tenary operator. Apart from the "if-else is an expression" defence there's also the fact the in Kotlin the '?' is linked to nullability, not only conceptually but also in regards to parsing Kotlin code. There's a video on youtube where the first Kotlin language designer said that he once - because so many people were asking for it - actually sat down and tried to my the "a ? b : c" syntax work, but couldn't because of ambiguity (I think the issue was interaction with nullability operators, but I could be wrong).
2) return inside lambda. There is actually an option that allows for normal returns, but it's not very idiomatic (to a degree where I myself forgot that this option exists until a few months ago) and that is to instead of providing a lambda as a parameter, you can always provide an anonymous function instead (https://kotlinlang.org/docs/lambdas.html#anonymous-functions). In anonymous functions a return works like you're used to, but but the whole code gets more verbose. Here's an example: https://pl.kotl.in/4NQ4lMasf
3) Destructuring is worthless without naming. I visited the KotlinConf2024 and in one talk they said there are going to fix this (Kotlin 2.3??), probably in this one https://www.youtube.com/watch?v=tAGJ5zJXJ7w&list=PLlFc5cFwUn...
4) Coroutines. If I'm writing a Spring app, I (generally) don't use those as well. The exception was an reactive Spring with Webflux app that I converted from Java to Kotlin where the native coroutines constructs were just nicer (and more secure thanks to structured programming) than using Mono/Flux (see https://www.baeldung.com/kotlin/spring-webflux-kotlin). But I use Ktor in several of my newer apps and there coroutines are the only option. I admit that I struggled for a long time with coroutines. I read a tutorial or official documentation here and there, got the gist of it, but things got fuzzy soon enough. But I want to recommend the 3rd chapter of the 2nd edition of "Kotlin in Action". This is the best description of coroutines I've ever read and I finally got the feeling that I understood the whole thing! https://www.manning.com/books/kotlin-in-action-second-editio...
Sorry. I misunderstood the context.
Seems reasonable not sure why other governments aren't doing similar to protect youths.
Regardless of whether you prefer Trump or Biden, I don't get this trend of making last-minute US policy changes before Trump sits in. Can't he undo all that once he becomes President? If so, what difference does it make?
> there is a school of philosophy that proposes the idea that humans primary purpose is as landscape architects

Interesting. Where can one read more about this?
> and the more declarative (more "formal") method of directly proving things about a model

"Formal" simply means mechanical so neither is more formal than the other. There is, however, a qualitative and rather easily delineated difference between deductive methods that operate by applying deductive inference rules for some language and methods that operate on the model of the language (the universe of values, more or less). Neither is fundamentally more rigorous than the other, though. Remember, a test (assuming no nondeterminism) is a complete proof of the proposition it states, it's just that it can state only weak propositions, i.e. typically without quantifiers (forall, exists), and certainly without nested quantifiers.

For propositions with quantifiers, deductive and model based approaches can differ in cost. Usually, though not always, deductive methods are more expensive, so they're used less. Model based methods are less expensive because they can more easily reduce their "confidence". Complexity theory tells us that knowing the answer to some question has some minimal cost regardless of how the answer is learned. Model-based methods allow us to not really know the answer but increase our confidence in what it is, so their cost is more flexible.
Couldn’t you just do a breadth first flood fill from the player every time the environment changes? Would be O(n) where n is total number of cells, which would be fast on any hardware or in the browser.

You’d still want to use the directional chart idea.
Democracy was always influenced by wealth, now it looks like it can easily be taken over. The richest people are buying their seats in the government, and the very rich (but not the richest) feel like they have to protect their wealth by politically endorsing it.
I remember that Boeing changed which pack provides air conditioning to the cockpit between the 737-200 and the 737-300, which lead to a few similar situations in which pilot were confidently wrong which engine was bad based on smell alone.
> And yet UCSD Pascal was using a P-machine. So, the problem was the implementation and not the concept. Which was exactly my point.

My point is that implementations don't come from nothing. You can't just demand them to be there. They have to be invented/implemented/improved/... Companies at that time did not invest any money in micro implementations of Lisp. I also believe that there was a reason for that: it would have been mostly useless.

> Temporarily. But then it died when the big money went away and left Lisp all but dead. All the while all the people using languages on those "toys" kept right on going.

Lot's of toys and languages for them died.
There's a subtle difference between a nice template and a fully-working implementation that you then modify though.

(e.g. in that they were designed with different goals in mind, so the former is likely to have stopped at the point where it was general enough, to save you time, but not too specific to create footguns).

Bonus points if your template explicitly has fail patterns that prevent your code from silently failing.
Every few years I rediscover this fact and every few years I do my best to forget it
What's the kind of delta to be reasonably expected relative to ICE?

The cost for the entire ICE drivetrain is estimated to be between somewhere between 1.5k to 10k depending on cars and analysts, so 8k in bare cells before factoring in engineering and manufacturing costs that aren't subsidized by a century long inertia of ICE industry is already significant extra.

Really the ones tooting "EV should be cheap to make" horn are Tesla guys. They're not doing engines unless gigacasts is a weird foreshadowing. I doubt it make sense to take it too seriously beyond as a conceptual hand-wavy panel discussion quote when the opposite had been the case for nearly 15 years.
I'm a little curious, would anyone have a way to know how many researchers research something they came up with, vs researching something being done by an independent developer online, it being picked up and then researched and reported on?
Could be, but I don't think it changes my point about some companies (or people) acquiring too much wealth (aka power), in a way that risks democracy.