skysight-inc/HackerNews huggingface dataset:
> the very basics of what a file/directory structure (something a lot of young adults don't understand)

My dad is confused by the false-skeuomorphism of the word "file". He thinks of them as containers, since this is how "file" is used in the paper sense ("hand me the file on Mrs. Anderson"). So when he's describing something on the computer, he will often refer to a folder as a "file", which can be confusing even though I know he uses this term in this way.
This is super insightful, especially the last point which makes a lot of sense yet feels counterintuitive in practice.
SSDs are produced in China, most things are these days, and the Chinese Communist Party certainly won't start taxing carbon..

So you could only add the tax to SSDs when they are sold in a country where the government supports such taxes putting said countries at a competitive disadvantage in a globalized economy.

Furthermore how are you going to get an honest assessment of the carbon footprint of their products out of the Chinese to begin with?

The primary problem with reducing carbon emissions is that most of the world is unwilling to.
Not a ton has changed for the better - but a few things have:

1. Ticket prices have come down in real terms (especially with the advent of low cost airlines)
2. Fuel economy on newer jets has improved
3. Increased number of routes and frequencies
4. Lie flat seats in business and above on long haul
5. WiFi on planes
6. In-flight entertainment - both seatback units and video over WiFi
You can check out "Orient / Lock" control mode in the settings. It lets you orient a tile in one tap but needs precision about where you tap. I mostly use this mode but it takes some getting used to, so I didn't make it the default.
Kind of a form of cooperative multitasking: https://news.ycombinator.com/item?id=24688225
Interferometry is common in radio telescopes, and was the method used in the recent imaging of a black hole by the Event Horizon Telescope, which used interferometry between multiple telescopes on different sides of the earth. It's also used a bit in optical telescopes, but harder to do. Basically yes, interference can still be used even over these extreme distances. The speed of light is pretty exact I suppose!

https://en.m.wikipedia.org/wiki/Event_Horizon_Telescope

https://en.m.wikipedia.org/wiki/Astronomical_interferometer
You started with an argument-free assertion and your point seems to rely (as far as I can tell) on a pretty specific meaning of "academic freedom," which you've only defined by telling us that various aspects which one might expect to fall under "academic freedom" don't quite qualify. So it isn't that surprising that you've had to "reiterate" a bit.

I think we'll probably all agree that the juice isn't really worth the squeeze here, though.
>All you're doing is constructing straw men to be smarter than.

No - for example, the barber paradox (in the form of Russell's paradox) is what led to a revolution in set theory around 1910 and Whitehead's Principia Mathematica. It is a real problem, and led to the notions of classes and sets being distinct (and universes? I forget..)

The sloppy "definable number" game runs afoul of exactly these issues. If you look on google scholar for "definable reals" or "non-constructive reals" you can get a taste of the research still being done in this area. It's not as simple as I think you think it is.

The short of it is that there are many, many notions of definable, and they are not equivalent. Thus I asked you to provide one you think is suitable for your claims.

> the only thing those numbers provide is making the limits Cauchy sequences exist.

This is far from true - depending on the (set-theoretic) model of the reals, you end up with all sorts of interesting pure math questions. If I recall, certain sequences of modules over the reals end up with different homology depending on crazy subtle questions of the model of reals.

There's also a lot of equivalent methods for defining reals, most require proof to show they are equivalent.

There are lot of interesting questions on the constructions of the reals (Conway called his surreal numbers his best discovery, and they are spectacular - they spit out the reals in a really interesting way from only two rules - no Cauchy sequences or Dedekind cuts or common constructions in sight. They were discovered analyzing perfect information two player games....). Here's a paper with many cool constructions of the reals [1]. Claiming the only thing they provide is Cauchy sequence limits is missing a lot of other useful properties.

So you may not find the reals useful, but they certainly are incredibly deep and fascinating. But they are useful far beyond the concept of Cauchy sequences.

[1] https://arxiv.org/pdf/1506.03467v1.pdf
Interesting, thanks! I'll take a look (datasette is amazing).
> What are the "new neighbors"? Developers who want to build overpriced apartments in a nice neighborhood? They are not neighbors.

That's your opinion. Not mine. I'm fine with developers building next to me. My partner and I live in older MFH housing and we love it. We're glad for the option.

> I see apartments and townhomes everywhere too.

I presume you're a programmer. "seeing" is not believing. Look at your zoning map. The zoning map has the truth. My zoning map has an order of magnitude more SFH zoning than MFH zoning. The only way to hit parity between MFH residents and SFH residents, which isn't even a goal but is a hypothetical, would be to build Manhattan-style skyscrapers, which nobody in this neighborhood wants. Most of the US is the same. I haven't looked at Austin's zoning map but I presume it's the same.
I hope fining Charter .00002 of their 51.6 billion annual revenue gets them to change their ways.
Pretty sure my 6lb toy poodle contributes to climate change significantly less than you do… perhaps we should ban you to combat climate change.

Yet another “I hate this one thing so let’s come up with some ridiculous reason make it illegal” comment. Sheesh.
For real. I smoked weed all day, every day, throughout much of high school and all of college. After I graduated, I had to move to a new state for work and lost my "contacts" and had to stop. I thought I would really miss it, but I didn't and got over the feeling of "needing" weed pretty quickly.
> But do republicans run ads trying to say climate change isn't real?

They used to. Now they just say that the EPA is killing jobs or whatever.

I don't think it matters in this case. My point is that it's not a culture war. It is not a political decision to decide to allow ads that talk about climate change.

I wouldn't be upset if they ran the Republicans' ads too. It just can't be considered a matter of opinion either way.
This is a pretty old, but still interesting investigation into some "irregular" Kingston microSD cards.
The article title says 80 degrees. My layman understanding is rotating in place means 90 degrees. Correct me if I'm wrong.
The Fakest Journalist
I.e., half of everything is broken each 6 months, instead of just every 15 - 30 months.

Better would be half of everything not breaking every 15 - 30 months.
Time can fix things, but be careful with this also. We all only have the time we have, and it's easy to look up and it's been X years waiting for things to work out while just grinding away. So it's important to give things time, but also to figure out what actions will actually help things to work out and work toward doing those things.
Yeah, the "larger cars are safer for people inside the car but more likely to kill people outside the car" red queen race made roads even more terrible. In car like that, you would get ran over by a lifted truck or mama-SUV pretty quickly.
But NOPs aren’t even executed. They’re swallowed by either the decoder or dispatcher.
Expanding on that logic a bit, you may be able to cover the mortgage from 5 or 10 years ago when the landlord bought the house, but not today. Or you may not want to lock yourself to one area for 5+ years, so you choose to rent instead of buy. Or you may not want the hassles of homeownership.
Tulou – Fujian Earthen Buildings
But Hulu is banning ads that mention climate change at all.

The Democratic ad might only say, "We can fix climate change while creating jobs," and even that is banned.
with tactical nukes there would be no difference between nuke-only and regular militaries. You can dial down a nuke yield to be equivalent of a 2k lb HE bomb. Now you're right back to a regular military only, now, every bomb is a nuke instead of only a few.
All that, in addition to having the need to shop for as much stuff as possible during a single trip. People will fill up their entire car at costco, but if you're walking or cycling, you don't typically have as much cargo carrying capacity. So a massive costco, walmart, or target trip doesn't always make sense.

Splitting up the errands while walking or biking will result in either multiple trips to a big box store, or every time you leave the house, you knock off a few items on the list from the nearest store. The nearest store probably isn't a big box store since they have so much parking, so they aren't really around walkable areas as much.
Their slow timings seem to be because they enable the threaded/multicore runtime without actually using it. A performance footgun I suppose.
I don't see how you run into legal problems. The break from one day to the next still occurs at a well defined time, 23:59:59 + 1 second, or 00:00:00. Midnight isn't the middle of the night (or noon exactly at solar zenith), except on 15deg meridians anyway. What will happen is that over time, those "golden" meridians will shift slightly. The only people who will notice are those that are using time for celestial navigation. Terrestial navigation, which is almost entirely done with GPS these days, won't be affected at all (GPS already doesn't use leap seconds). And, yes, sundials will gradually get out of sync, and have eventually to be rotated on their axis to be right.
xmonad came out in 2007, it's not that old

display manager vs typing `startx` on login isn't old vs modern either
Congrats to Prof. Robinson, know him from his publications on conductive polymers
The significant "cool" things I can think of is internet on planes, and being able to take a shower on certain first class flights.

https://youtu.be/84WIaK3bl_s?t=424
My view: F#, or to be honest a cross-platform IDE like VS Code isn't probably appropriate for many of these apps or rather the dev workflow that Microsoft promote in those frameworks feels like old .NET to me. The frameworks themselves weren't designed for a minimal IDE, and language first development initially often assuming dev is in full Visual Studio with GUI XAML editors, EF designers, etc. To be bluntly honest with my opinion it isn't a dev workflow that would fly/got started in other more open languages including F# which should be develop-able and maintainable with a lot less tooling support.

F# feels like a different dev workflow than C#, which IMO is a very good thing in F#'s favor. It feels more like coding JS, Go, etc to me with static typing and richer features. I also think EF, as it is designed, doesn't lean to the FP approach that well.

I personally don't like EF - I'm happy with something in .NET like DbUp for migrations and straight SQL. Normally I get better performance anyway doing this and in the age of microservices I feel this pattern actually makes it easier to change DB's if you need to (but I still assert you probably never will without a rewrite most of the time) - just use the different query language and port your data access layer. Move to Redis? Just port your F# module that queries the DB in SQL to Redis code. In F# it also allows a richer data modelling experience doing it this way (e.g use of DU's for modelling cases in your domain) since db logic is decoupled from your domain types.

I never believed my domain model had to look similar to my DB table design which is what EF typically encourages. Especially with the modern features of DB's like Postgres you are leaving more and more performance on the table. In the apps I've written doing that leads to lower DB performance than otherwise, sometimes for some quite trivial apps.

TL;DR: Tooling like Resharper, designers, etc is nice but often is there IMO because the language itself is bloated and not expressive enough to just state your original intent there succinctly. If the code is enough then F# can express pretty much what C# can.
Why would anyone ever want the fingerprint reader under the front screen when it works so well on the back? Why do people want glass on the back of their phones when it breaks so easily?

Some trends really don't make sense to me.
What you posted is certainly the prevailing modern opinion. Looking a bit deeper, though:

1. if wealth comes from owning property, why weren't the indigenous people wealthy?

2. In South America, the indigenous people were pushed off their land, too. Why did South America remain poor up to the present?

3. How did Japan become such an incredible economic power despite having little land and no natural resources?

4. The American slave states were never particularly wealthy, and what wealth there was was erased in the Civil War. Literally burned to the ground. Slavery did not build the wealth in the US.

5. The GIs earned the benefits from the GI bill. It is not wealth redistribution. They risked everything for yours and my freedoms.

6. The Spanish indeed took tons of gold & silver from S. America. Do you know what happened? Inflation! The same thing that happened after every gold rush. The reason is simple - gold is not wealth. Gold represents wealth.
https://en.wikipedia.org/wiki/Fujian_tulou
And, by some accounts, every time we do, auto deaths and other bad things increase for some period after the change. Not to mention the weeks of bitching on either side of the change about how bad/great the time change actually is.
Pretty trite meme though. I’ve seen this gotcha 100 times in the last few days in response to this one topic.

Can we aim for better commentary than regurgitated quips?
I think he missed the number 1 lesson: when you finally do get traction, don't wait an eternity in order to let people in.

I think they have clubhouse for android now, but without it essentially 1/2 the population was at best left out, but at worse (and very realistically) made to feel they weren't a wealthy enough consumer for the product. He essentially told 1/2 of the globe that they weren't a good enough customer, most of them just shrugged, said ok, and then never looked back at the product.
Larry Osterman's Blog seems to be gone too...
Capitalistic governments love to bully poor people
A pipe dream, or a dream pipe? :)
I grew up near a 'random' fresh produce market called 'Balham market'. It's since been renamed 'Hildreth Street Market' and, according to Time Out, it's "blossoming into a foodie’s paradise".
This exactly this. If someone offers you 4B for almost anything you always say yes.
Ask HN: How ambitious were your parents on you?
Daniel Gross, former 18-something cofounder of Cue (bought by Apple) wrote [0] that the standard of what parents think for their kids is radically different giving location parameters meaning that roughly, parents in Africa unfortunately don't have the same ambition for their kids than in Palo Alto, CA.

[0] Daniel's blog: https://dcgross.com/posts
And what benefit is the company getting from saying a person that is not going to contribute to the company in any way is an “advisor”?

I guess the company should just do that with every former employee? I mean, why not.

This is the behavior of a person and company playing startup and not actually trying to build a strong company.
Perhaps but 102 is still 102. I think you can make the same argument in Chicago when it's 10 and snowing.
Try something else? I'm on lisdexamfetamine and I have no side effects whatsoever. I'm also a lightweight compared to my size so small doses work really good for me.

My average day was a 4/10 before, now it's a 7/10. It's been game changing.
Thanks for sharing, I'll add that option (on the weekend most likely).
The original thesis was:

> When a house with an ADU will reliably fetch 20% more than one without, then eventually all houses on the market will have ADUs, with the consequence that people buying will need to depend on short term rental income in order to make their mortgage.

If you significantly increase the number of units available via ADUs, then there's a lot more options to rent, and the demand to purchase houses goes down, bringing the prices down.

If the number of properties with ADUs doesn't go up enough to have that effect, then STR via ADUs will not significantly impact the housing market.

The reality is that if every house in the city had an ADU, most of them will not be used for STR, as the demand for STR isn't that high. They bring in a lot of money precisely because there aren't many options. If every house in LA suddenly had an ADU, you wouldn't get a proportionate increase in visitors. There will be an equilibrium point.

This is also ignoring the pain involved in building an ADU on an existing property. Depending on the locale, it can more than double your property taxes. Most existing homeowners will not build an ADU. Too much hassle, with uncertain income - most AirBnB hosts don't make much money via AirBnB - it's a fairly active investment and requires a lot of time/coordination.
GPU memory allocation in Vulkan seems to be a huge headache.
That seems to be the underlying cause of this ray tracing problem. It's exposed to the higher levels, but in strange ways.

I use the Rend3->wgpu->Vulkan chain, and can't get any info about how much GPU memory is available or left. If I load too many textures into an NVidia 3070, they spill into main memory and rendering continues, slowly. If I load too many meshes, I get a fatal error from the Rend3->WGPU layer, because the allocation that failed happens long after I made the request to load a mesh and it's too late to just return an error for the request.

Can anyone explain why it's so hard to find out the memory allocation situation in Vulkan?
It really is a hard problem and a hard policy to advance. I'm pro-pedestrianization but can really understand the concerns of car folks in terms of service availability and business health. There have been plenty of times where car restrictions have been done wrong and ended up killing off city centers - but in terms of safety the availability of safe and secure bike storage seems to require an almost autocratic initial effort. Forcing safe storage and monitoring, along with safe bike lanes, to be rolled out so that the demand can grow - it's very hard for demand to grow organically while bike theft and car-bike accidents are so common that they'll discourage usage.

Ditto for public transit, when public transit is sparsely utilized it tends to be less safe while as dense public transit will certainly have incidents but the increased ridership leads to increased safety funding and just more witnesses making crime less attractive in terms of expected gain.

It is a hard problem even before we get into NIMBYism and other socio-political complications. I definitely disagree with you but I think your comment was quite fair and reasonable.
Place a carbon import tariff on anything imported without a carbon tax already imposed. Make that tariff 110% estimate of carbon production.
No, UTC is TAI kept in sync with UT1. Changing UTC to being TAI with a offset is a fundamental breaking change in what it means. Anybody relying on UTC doing what it is designed and advertised to do, keep in sync with UT1, will be broken. The only people who will not be broken are people using UTC incorrectly as TAI. The only reason this is interesting is that basically everybody uses UTC incorrectly as TAI, but that is not a valid excuse to break the programs using it correctly.

People using the wrong dependency should fix their system to use the right dependency. They should not campaign to steal the name and replace it, that is absurd.
The points being made in this thread seem to be flying over your head as your beat the drum of personal anecdote. That is not productive in a conversation about fixing a flawed system
The idea that depression writ large is a monolithic, monocausal phenomenon is ludicrous.
In Tokyo most everything is nearby, because tall buildings have enormous amounts of space.
Curious what you think of The Gray Man (2022).
Yeah I have to agree. This seems a lot more suited to most of my uses than a more expensive Polaris UTV. With an enclosed and climate controlled cab!
I have no skin in this particular game (Though I work in the sequencing industry), but...
I don't think anyone is fooled/trying to trick anyone when they say "whole genome sequencing" or that they sequence 100% of the genome. That is the term of art for non-targeted/unenriched sequencing of DNA (nb: it may be RNA/ribosome depleted, so fine it's technically enriched but not in a meaningful way).
Also exons are genic region, are you thinking introns (arguably genic or at least adjacent), or promoters/enhancers and chromatin state?
> This article details some of the problems: https://www.ucolick.org/~sla/leapsecs/dutc.html

That article is ridiculous.

* "Most telescope pointing systems fail" (by 2027) (with 5s deviation from earth rotation). Pointing systems cannot blindly rely on UTC anyway, since (a) even with leap seconds UTC is up to 1 second off earth's rotation, and (b) pointing a telescope depends on where the telescope is on earth, so some offset must be added to UTC by some human.

* Hypothesized legal issues... give me a break.

It would be much less trouble for humanity to deal with this once every 100 years or so.
I like cities, but I never see the urbanists talk about the housing for a large family in the city, I guess Japan is different in this regard where each family still gets their own house. Only thing being built near me is 2-BR apartments with crummy balconies.
Safety! That's the biggest change.

https://news.aviation-safety.net/2017/12/30/preliminary-asn-...
Casablanca begs to be remarked on. As the great piece linked demonstrates.
Medication doesn't cure ADHD like glasses don't cure your shortsightedness. Still doesn't make them useless.
I am also glad you have something you like. But unless it's the only way you could have found it, it doesn't tell you much about the necessity of advertising.

As to magazines, I was not referring to the ads (something not all magazines have) but to the content.

In a world with ads, do some people learn about things through those ads? Yes, I never said otherwise. But my point is that in a world without ads, everybody would still learn about new products. Indeed, they might learn about them much faster without incumbents trying to manipulate the markets.
I'm fine if people think they need space, I just don't think that cities should outlaw other options, and sprawling infrastructure should have its costs tied more closely to the users. It's very expensive and unfortunately it's people living in denser areas that foot a large part of the bill.
Assuming you’re confused in good faith: Words have definitions independent of US politics.

Conservative: marked by moderation or caution
> digital data creation and consumption across the globe is snow bowling

I think they meant "snowballing"

Snow bowling would be a cool sport though
The actual news here is that a research group has developed a new greener way to generate synthesis gas (the standard way is to inject water or steam into a chamber of burning coal).

Once you have the synthesis gas, there are existing methods to manufacture a wide range of chemical products. Jet fuel being just one of them.
No paywall: https://archive.ph/IOOfg

Why not to use conditioner: https://www.cdc.gov/nceh/radiation/emergencies/selfdecon_was...
So how does it spread to children then?

https://edition.cnn.com/2022/07/22/health/monkeypox-children...