skysight-inc/HackerNews huggingface dataset:
The way I understand hubless wheel designs (powered or not) is that you don't build them as one big bearing, wasting huge amounts of load bearing capacity in all parts of the rotation that aren't the ground contact point. I assume that the moving part is the rim is designed as a rail, with tiny trucks (as in the rail car component) riding on it that are fixed to the non-moving part. You'd have a high density of strong trucks near the floor, some at the three and nine o'clock positions for braking and acceleration force and perhaps some flimsy guiding on top. Those trucks would not necessarily require more sealing (outside their own small bearings) than the rail/wheel contact in railroads need sealing. And moving that rail a little hubward, behind a lip that extends rimward would already get you strong centripetal forces driving out all ingress in contact with the moving part, and adding some overpressure (that you might need for cooling anyways) would help even more. I think it could all remain contactless on that first, whole-wheel level, at least if you don't design for routine wading.
I can never do it. Always find it amusing when another kid knows how to do it.
why are you surprised? Linux foundation is today's w3c for server software. they exist exclusively to push corporate will on open source and specifications.

why people assume it is related to Linux or the kernel baffles me. but that's the point of the name.

they contribute close to nothing: build servers and one single conf. in exchange of setting the tone and drowning development in nonsense.

edit: the younger crowd not familiar with w3c, they drowned browser development under nonsense from the advertising industry, the one that gave your chrome monoculture.
Abso-fkn-lutely! Stable computing protocols of all sorts don’t go away overnight and that is something everyone in IT should absolutely get used to. I expect C/C++ to live long beyond 2050.
As a "young single straight man" all I can really tell you is that I have utterly no desire nor interest when I have so many other things I could or should be doing instead.
Yeah, hard disagree with the conclusions in the linked article.

For reference: where I live, we have what can be summarized as "Obamacare as originally envisioned by Romney", i.e. a functioning insurance marketplace without too many carve-outs.

And... It does not Work! As in: everyone ends up paying pretty much the same, ever-increasing, and hardly reasonable premiums. Because: whatever your national/regional healthcare budget is, 80+% goes to fixed costs for mostly elderly (but sometimes just really unlucky) residents that simply cannot remain alive otherwise.

So, I see two options here:
-The extended nuclear family, where each takes care of their own. Potentially workable, but very unpopular, and not just for fiscal reasons: who wants to change the nappies of their parents?
-Outright socialism, where elder-care is part of a social-conscription program. Also highly unpopular (mostly amongst young voters), but maybe the only viable option? You do your 2/3/4 years of nappies-changing, and get your student debt wiped out? (Not that I think that student debt should be a thing, but, yeah)

Thoughts?
Sentenced to 1 year and 15 days for stealing the Mona Lisa, what a laughable punishment compared to today’s standards.(also, Picasso was accused and never convicted, Vincenzo Peruggia was the actual thief that was convicted)
>but it’s still a B-movie

It was "the third highest-grossing Japanese film of 2001". "At the 2001 Japanese Academy Awards, Battle Royale was nominated for nine awards, including Picture of the Year, and won three of them".

Hardly a b-movie, except in the sense "not a Hollywood blockbuster crapfest"
Plane was built in 2009.
This is true, but that was a one or two year phenomenon, driven by BLM protests, and at the end of it, ended with white people still having a disproportionate share of senior and management positions.
Same here but for a totally different reason. As I mentioned before, until US Based social media is given the same access in China as TikTok has in the US, they should be banned in the US.

This believe goes back to "reciprocally", that used to (still is?) a big part of diplomacy in the past.
** "...the goal should be for 100% of housing to be affordable."

In a world where everyone had housing, I wouldn't mind if Taylor Swift built a house for herself that wasn't "affordable."
2009, sorry. Fixed!
Thanks!
Looking for a Co-founder for Wallet App that focuses on security
Valtu.io is looking for a co-founder who can bring ideas and technical improvement and help me stand by my side while building the most secure hot wallet app for crypto.

I am available on LinkedIn if you are interested: https://www.linkedin.com/in/briannezhad/
> We should just have catastrophic health insurance

Yeah, problem with that is that, past 70, 80, 90 or so, everything is catastrophic...
Title 1 schools can get a ton of money. Smartboards in every class, school supplies fully stocked, not the usual "grim downward spiral" feel of a public school.
BR was fun. BR2 not so much, very cringe when the director tried to include message about Afghan war
So why weren’t women allowed to vote when those words were written?
The topmost upvoted comment there says it all: "We are tired and working on ourselves."

It's okay, the WW3 is coming, everyone will be drafted to shake things back to the baseline misery.
Probably not, since aside from "kids in an island" there's no relation between the two, anymore than there is between and Gulligan's Island and the Castaway, or Alien and Passangers ("people on a spaceship").
Lair’s Game was like a decade after BR
They already do. For example, for containers you have 5 per host included in the Pro plan (I have more in my hobby projects...) and then you pay extra for each. Their pricing model is quite complex and with time you start to wonder if all these nice features are really worth that high prices.
Exactly, throwing the baby out with the bath water, but I have to ask the question , why did any of this happen in the first place? There must’ve been some need and catalyst for it outside of “libtardation”.
Is the brick more important than the building? each level of abstraction has its use case and its advantages (and disadvantages). Better not to criticize the level of abstraction but to try to improve it. Even from the bottom with better bricks if possible.
But on the other hand the motivating problems noted in C++ don't exist. It is 100% legal to completely rebind a variable in the same scope, it never warns that `_` variables are unused nor about unused `_` prefixed variables. I think `_` being immediately dropped is maybe one of those unfortunate decisions we'll look back in 20 years and regret.
And that’s the confusing thing to me. When I was in my 20s I spent most of my time outside of work being social. I worked 10-12 hour days. What are the things you’re doing that are a priority? I’m not judging - I’m honestly curious and want to understand.
You would think that such a complicated machine would have some better method to notify pilot which engine failed, instead of "does it smell like right or left engine".
> One parting thought: how long will Python's reign last?

Python doesn't really target non-programmers (IIRC the Steering Council is composed entirely of professional developers, who steer the language towards fulfilling their own needs).

Therefore I expect Python's reign as a language for non-programmers will be ended by a language that targets that audience specifically.

But what might such a language look like? For example, I imagine it will unashamedly dynamically-typed, or maybe have a simple (Go-like?) static type system - rather than the complexity of Python's Mypy/Pytype/Pyright/Pyre.
Sadly I’ve never seen them live. Nuno is really one of the great ones, when you’re that good it’s easy to go overboard and lose track of what the song needs.

How was Living Colour? That’s one I have on the bucket list.
sequoia and yc!

interesting. seems very predatory too. $3/mo in places where cost of living is as low as $100/mo. plus $30+ fees for every little thing, even a charge back! money is simply stored, no interest of any kind. claim everything at cost but apply 2.5% on forex on top of Mastercard rates! which will be something like 4%+! wise charges like 0.4%

guess they are aiming to serve capital flight and little else. or expatriates needing a way to send money home.
I think this is all misguided honestly. There was a need for some of this, now because we’re claiming cost the democracy the election we need to tear it all up. Smells fishy to me.
Even if it doesn't do much from an economy perspective, the simple idea that the offending websites are paying for a cause they are against may have an effect.

Imagine you have a website about Vim and you realize you are paying for the promotion of Emacs.
Is this still a thing when we have uv?
Housing is an inelastic commodity. Increased demand will take considerable time to lead to additional supply.

Over-supply is even harder to reduce because housing is amortized over 20 or more years.

Developers are well aware of the cyclic nature of the housing market and thus reluctant to invest in many cases.
How big is GPT4o-mini? Some sources say it's 8b big, but I guess they have different models with different sizes. But if GPT4o-mini is just 8b, I don't see the point of a "distilled" model, which requires a much bigger network but still not on par with the original. Because it's open source?
There is no fork at the moment, there was only discussion of how to move releases forward on PostStatus Slack. It's a purge.
Apples innovations these days are in the privacy space, so it’s no surprise that Zuck doesn’t respect or even acknowledge it
He picks up trash in parks using a samurai sword
How are you sourcing your ideas?
https://www.hhs.gov/sites/default/files/my-parting-prescript...
One advantage to this is the ease with which it handles ephemeral annotations.

Suppose you want to attach additional information to some of the nodes of the AST. Different algorithms on the AST will attach different information; you don't necessarily need them all at the same time or know ahead of time what you'll need.

With nodes, you have to have some sort of node/value hash table, or hang a key/value map off each node. But with this flattened representation, each datum gets its own flat array as well, which can be independently allocated and deallocated.

One other thing I noticed about this flat representation is that it throws static typing into a cocked hat! All you have to refer to other nodes is indices. All different kinds of nodes are stored in the same array.
> It’s interesting how society never really teaches you how to have enough

"Society" is not monolithic - even if you're de facto referring to just American society, which is one of the worst affected by materialism, I'm sure that there are many sub groups within it, as well as many individuals, who have learned or been taught to reach a point of satisfaction, or at least acceptance, of their personal wealth. People who work to upkeep their homes, look after their families, maintain their lifestyles, not just for the accumulation of wealth and possessions.
Who would have thought?

Running several major companies simultaneously, studying deeply to match various engineers' expertise, spending all day on Twitter, giving interviews, cheering at political rallies, engaging in international disputes... and somehow finding time to master video games at an exceptional level?

Come on, seriously?
It’s about 75% China. Far from almost exclusively.
> 'Novel' engineering is out of reach because there is no text book on how to do novel engineering

There's no book on the scientific method?

As other commenters point out, it's kind of physically impossible to expect even a superinteligence in a box to figure something out that takes experimentation and observation. It would have to be limited to exploring pure math concepts and other fields where you only need to write on paper and think about axioms. And that's arguably the hardest type of field to make progress in, it took us millennia to produce enough polymaths to get where we are, and they all contributed a very small part each.
According to 737NG technical diagrams I found online, the CVR is powered by the XFER BUS 2, and the FDR by the DC BUS 1. Neither of these busses can operate from the battery, but both should be operating if either engine or the APU is running, provided all switches are in the correct position. On the surface it seems odd to not run the CVR/FDR from battery, but on the other hand it’s not a critical flight system.

This suggests either dual engine failure, or single engine failure followed by shutting down the wrong engine with the fire handle (which cuts off electrical power), or (unlikely) a catastrophic electrical system failure. This isn’t a new interpretation, since the ADSB transponder also shut down at about the same time which led many to assume the electrics had gone out for some reason. My guess remains that they shut down the wrong engine given that the reported bird strike occurred (reportedly) a few minutes before the plane seems to have lost power, but the timeline is still not certain.

However, it did seem like the engine that had the mobile footage with the compressor stalls was still running at landing which should usually be enough to generate electricity since even windmilling is enough, which adds another wrinkle. Perhaps the bird strike destroyed the generator?
>It's actually a very complex language hiding behind pleasant syntax.

I'm not sure emphasis on very is justified. C++ is a very complex language. Python is just... complex, like every real world language is.
But is this ivory tower hands off manager good for companies?

It seems the Musks and Ghosns of management reject this hands off approach and achieve great results.
> it feels the discourse in the US is poisoned by the word RACE. Back home, no one uses it.

I'm not sure where you're located, but as an American fan of European football, it seems like race is still very much an issue on other continents and not just as a proxy for some other inequality. Just in the last week, there have been at least two instances in the top 5 leagues of fans racially abusing players[1]. Maybe the US is too focused on race (I don't think so), but saying "no one uses it" seems like an indication of the opposite problem.

[1] In Fulham vs Watford and Valencia vs Real Madrid
Here’s the thing…
In Python, default arguments are mutable. That's the ultimate WTF and footgun.
ClassicPress is the only public one with any traction.
wordpress.com could be considered a private fork.
JavaScript is a better Python than Python. But then, Lua is a better JavaScript than JavaScript.
>Finally, almost everyone of the above mentioned interviewers was just not that bright. Seriously, sell your microsoft stock.

Well, if they were only interviewing you for performative box-checking reasons so they could hire the person they really wanted to hire then they would have a strong incentive to come across as somewhere you didn't want to work at. A disinterested interviewer is going to come across as not so bright. So this is hardly a fair assessment of the talent at Microsoft.

OTOH my professional interactions with Microsoft employees has always been positive. They've always been extremely capable and have gone the extra mile for me.
I would say that learning TLA+ is first and foremost learning how to describe systems using mathematics. It isn't at all as scary as it may sound, but it also very much isn't the same as describing a system in code.

You definitely don't have to learn to do that to use some formal verification tools, but that is what you commit to learning when you choose to learn TLA+ specifically. That is because the assumption behind the design of TLA+ is that using mathematics is ultimately the easiest and clearest way to describe certain important things you may wish to know about programs. TLA+ is a produce of the nineties, and the specification languages that preceded TLA+ in the eighties used more programming-like approaches. And TLA+'s novelty came largely from abandoning the programming approach. It is a later, rather than an earlier evolutionary step.

However, if you accept that you won't be able to describe such things, certainly not easily, then there are other languages and tools that don't require a mathematical approach -- some predate TLA+ and some are later, but follow the earlier approach of the 1980s.
The title is misleading.

The text that the founder has shared is the blueprint written at the time of the creation of the startup, and even though obviously the potential for an IPO is evoked, even just in theory, it is clearly not a priority (and could also just never happen), as the two priorities are unambiguously listed as 1) build amazing products 2) achieve to make repairability a new industry-wide standard.
CPU/GPU Converter from eBooks to audiobooks with voice cloning and chapters
I think most of the language implementers know about it.

Here is a relevant line from Go, even with a comment that it's about overflow:

https://github.com/golang/go/blob/19e9231/src/sort/search.go...
Sounds like you're looking for... Python?

It has tools for checking static types (and the language community strongly encourages their use). Pattern matching was added in version 3.10.
How I Stripe
There’s a YouTube channel detailing someone who did exactly that - bought a French castle.

Apparently it’s both cheaper than you’d expect and way more annoying, too.

https://youtube.com/@chateaudedampierre

It’s not “standard house” prices but I suspect anyone who can afford the more expensive parts of the world could afford something similar, if smaller.

But it’s a ton of work even if you have the money.
This bug, and many others, can be detected with a trivial amount of formal verification. I really think formal verification should see much wider use for things that see as much use as standard libraries, even if it's just for the trivial things like overflow and out-of-bounds access.

In the below code we can see a formal verification tool (GNATProve) detect both the original error and the out-of-bounds access that it causes. Doing the arithmetic using a larger type clears both reported errors without the need for any additional annotations for GNATProve.

function Search (A : A_Type; Target : Integer) return Integer is
Left : Integer := A'First;
Right : Integer := A'Last;
begin
while Left <= Right loop
declare
Mid : Integer := (Left + Right) / 2;
begin
if A (Mid) = Target then
return Mid;
elsif A (Mid) < Target then
Left := Mid + 1;
elsif A (Mid) > Target then
Right := Mid - 1;
end if;
end;
end loop;
end Search;

GNATProve output:

Phase 1 of 2: generation of Global contracts ...
Phase 2 of 2: flow analysis and proof ...

wrapper.adb:12:36: medium: overflow check might fail, cannot prove lower bound for Left + Right
12 | Mid : Integer := (Left + Right) / 2;
| ~~~~~~^~~~~~~~
reason for check: result of addition must fit in a 32-bits machine integer
wrapper.adb:12:45: info: division check proved

wrapper.adb:14:19: medium: array index check might fail
14 | if A (Mid) = Target then
| ^~~
reason for check: value must be a valid index into the array
>Bram's passing and the split into basically two code bases (Vim, Neovim) and three customization languages pushed me over to Emacs.

The resulting increase in height, strength, intelligence, and sexual appeal is no doubt a nice bonus.
Original ARM (as in Acorn Risc Machine) did VIVT. Interestingly, to allow the OS to access the physical memory without aliasing, ARM1 only translated a part of address space (26 bits), the rest of it was always physical.

Nowdays, you don't see it exactly because of problems with aliasing. Hardware people would love to have these back because having to do shared-index is what limits L1 cache today. Hope nobody actually does it because this is a thing that you can't really abstract away and it interacts badly with applications that aren't aware of it.

Somewhat tangential, this is also true for other virtual memory design choices, like page size (apple silicon had problems with software that assumed 4096-byte pages). And I seriously wish for CPU designers not to be all to creative such hard-to-abstract things. Shaving some hundred transistors isn't really worth the eternal suffering upon everyone who have to provide compatibility for this. Nowdays it's generally recognised (RISC-V was quite conscious about it). Pre-AMD64 systems like Itanium and MIPS were total wild west about it.

Another example hard-to-abstract thing that is still ubiquitous is incoherent TLBs. It might have been the right choice back when SMP and multithreading was uncommon (a TLB flush on a single core is cheap), but it's certainly isn't true anymore with IPIs being super expensive. The problem is that it directly affects how we write applications. Memory reclamation is so expensive it's not worth it so nobody bothers. Passing buffers by virtual memory remapping is expensive, so we use memcpy everywhere. Which means it's hard to quantify the real-life benefit of TLB coherence, which makes it even more unlikely we ever get those.
Is it worth making the algorithm slower just to have it work on extreme edge cases?
you're not wrong, but I think the underlying premise is:

"We have limited resources. Lets identify the most impactful places for our $$."

Presumably, people with social disorders will be much more expensive to house than someone that is more recently functioning in our society.
We use malli to define domain model. And generate pathom resolvers and mutations based on those.
It's not too difficult to rent a room in a shared house/apartment as a single person in these cities, regardless of age.
Does he maintain a blog somewhere to read how he does it?
Discussion about a month ago https://news.ycombinator.com/item?id=42253241
“Hate speech” is usually reserved for speech involving people… can’t tell if it’s sarcasm.

I use python, I don’t love it. Don’t really hate it either. You use it because it solves a problem or has a library that makes solving problems easy.

It’s ok for people to have different opinions about what languages they like.

There is a video where someone asked for people to submit python scripts to control his Christmas lights. It was fun but slightly annoying because over half the programs wouldn’t run ( missing libraries/ tab space indenting mis match). He said we would but he tried to install one of the packages on the fly. It installed, he got the same missing package error on rerun. Sort of matched my experience using python trying to get others peoples code to run.
PHP never did do a py2->3, but instead took the js route of adding things while being very cautious indeed if breaking compatibility.

I really have very little annoyance with PHP despite retaining some WTFs. In fact, with a modern language server and psalm I find it downright comfortable.
in that view, micropython on an esp32 could fit
Bernie speaks out against it. Unfortunately most politicians are totally owned on either side. I expect we will see (or not) a wild flip-flop of both parties similar to how Dems in the early 2000s were against gay marriage now its quite centered.
Mexican cartels have more money weapons and men than all the "right wing militias" combined.

So, yeah. Let's worry about a dozen guys in Idaho.