skysight-inc/HackerNews huggingface dataset:
> The math don't math. It's a drop in the bucket. The entire impact of AirBnB + all housing built in the last decade does not offset the last half decade of population growth.

The population growth is largely due to rich foreigners moving into the city:

"I was born and raised in Barcelona, no longer live there however. I didn't remember how bad it was until I went to visit my family last summer. Me and some friends went to walk around the center and the girl that took our orders at a Pans&Company didn't even know Spanish or Catalan, only English. It was honestly quite depressing. She was surprised we didn't open the conversation with English."

https://www.reddit.com/r/askspain/comments/1833ub1/comment/k...

https://www.thestar.com.my/lifestyle/travel/2023/10/09/fed-u...

People say that it has become difficult to hear Catalan or Spanish being spoken in the city center and there are waitresses who don't know Spanish. Some started to say that this is not a case of gentrification, but a colonization.
Not just humans, but Uber/Lyft drivers. It is very common for an Uber driver to perform unsafe and illegal maneuvers while driving me. I don't report them because I don't want to get them fired. Usually I don't even remark on it, unless I think they did it in a way that was especially unsafe.
This makes perfect sense to me. The plane was an interceptor intercepting the ground, there's no bombers at all involved!
IO OR L4$ triangle tiles, main chip hexagons
Ongoing discussion (71 points, 4 hour ago, 133 comments) https://news.ycombinator.com/item?id=40751339
I’ve spoken about it here somewhat and circumspectly before - but I prefer to keep the SNR low, as I don’t want repercussions for him. Me, good luck finding.

It’s the U.K. It happened under Cameron. It related to the judiciary. That’s as much as I’ll comfortably reveal.

I will also say that it was a factor in me deciding to sell my business, leave the country, and live in the woods, as what I learned from him and his experience fundamentally changed my perception of the system in which we live.
It's going to happen in fits and starts and not all at once everywhere. But there's also something of a ratchet effect as places copy what's working in other places. And no one reforming because they're all waiting would be catastrophic.

And really, not everyone is going to move somewhere. You could not pay me enough to live in NYC or San Francisco. People who love NYC would probably be bored in my small city.

Burdensome parking mandates are being eliminated or reduced across the country, as one example.

One way to try to get more places to reform on a similar timeline is to join a nationwide group, like https://new.yimbyaction.org/ or https://welcomingneighbors.us/
This looks like it's building on top of this prior JEP https://openjdk.org/jeps/457.
rr took about 9 years to get first class aarch64 support.

https://github.com/rr-debugger/rr/issues/1373
> build out a compatible API that can be used with editors/tools that use tree-sitter's library?

That's an interesting idea. Tree-Sitter and Lady Deirdre are quite different in their approaches to parsing. Tree-Sitter is a GLR parser, while Lady Deirdre is a recursive-descent parser. In the Lady Deirdre API, there are customizable traits that let you define new types of files with parsers ("documents" in terms of Lady Deirdre). Perhaps it would be possible to create an adapter, but I would implement it as a separate crate.

> what happens with open-source projects that use this that are then used in commercial projects?

Good question. The idea is that if you link to Lady Deirdre in the Cargo.toml dependencies, it is up to the commercial project authors. They will compile the actual executable intended for selling by downloading both your crate and my crate. However, I'm not a lawyer, and this is not legal advice. Just my thoughts.
> You're now trying to change the terms of your original disagreement to be about the tech sector alone

I didn't say only tech. I said tech and office work that can be done remotely. And which of the discussions at hackernews is not related to tech? 0.1%? The proposition doesn't make sense.
These concerns apply to viral licenses like the GPL, not permissive such as MIT. Also, they only apply if you modify or distribute the software, which does not include running `cargo add lady-deirdre`. This is pointed out in the README and again in the EULA:

> However, if you want to create an extension for my crate, you can develop a separate crate that uses my crate's public APIs through Cargo. In this case, you don't have to assign me your work, and you can distribute your project under any permissive license, such as the MIT license.

> For the purposes of this Agreement, third-party works that remain separable from the Work, that use the application programming interfaces (APIs) of the Work only, and that do not copy, distribute, display, or sell the Work or any part of the Work to third parties in source or compiled form, shall not be considered "Derivative Work."

I am not a lawyer so I reached out to one about this particular repository. She says you'd be fine using the MIT license for your code. (I'd still talk to your own lawyer first if you're uncomfortable.)

> Be sure to pin the cargo version of your proprietary-by-inclusion otherwise-MIT not-open-source project to the current version

If you don't want to call MIT-licensed code open-source, that's an interesting argument, but not one I view it's fair to accuse the developer of lying over.
It should be said that Sollya doesn't _really_ use floats. It restricts its coefficients to rationals that are (mostly) representable by floats, but the minimax is still run in full precision. Which means you can often beat it by brute force or similar.
Ongoing discussion (72 points, 4 hour ago, 133 comments) https://news.ycombinator.com/item?id=40751339
It would only require double the cuts, right?
No fine tuning needed, as long as the target language/DSL is fairly natural, just give eg a couple examples of tscircuit React, atopile JotX etc and it can generate compliant circuits. It can hallucinate imports, but if you give it an import list you can improve that a lot.
To me that is a sign that Apple is about to violate privacy and monopoly laws in order to make their AI tech work.
And to be honest, not only do I have next door to zero interest in having generative AI technology integrated into any operating system that I use but I also find the prospect utterly horrifying.

I should also add that john grubber's opinion on apple is completely useless and irrelevant as he's been acting as an unofficially PR agency for the company for decades.
Consider yourself lucky for being from a country that never bombed anyone. Mine killed about 4 million (mostly women and children) in the ME over the last 30 years, and are still at it by helping their friends pound Palestine into smithereens :(

https://watson.brown.edu/costsofwar/costs/human/civilians
This Website Is Vaporware
OpenAI isn’t a nonprofit.

https://openai.com/our-structure/
I know your comment is a "hot take", but the thing is about Tourism as an industry, is that the places where that /is/ the industry end up not gaining any other industries. So they become stuck as a "tourism" industry place
Ah, that's how the ice age ended
I ran LineageOS for years and was very happy with it.

Bought a phone recently with /e/OS preinstalled, haven't been that happy with it actually. I keep threating to flash it with lineageOS, but haven't mustered the initialtive yet.

Of course none of the OS choices are going to affect the massive loss of privacy involved with logging into goggle. If you still use a goggle acct, all privacy is lost.
> Rides have usually 10% mark up over Lyft and Uber.

Waymo says they are a premium service like Uber Black because they have nice cars (Jaguar I-Pace), plus the novelty and safety of being driverless. They’re not trying to be competitive with Uber X or shared rides for in their current form.
When I think of places dominated by tourism its not the tourism that did it. Its that the tourism is what is left after little other job growth in any other sector after whatever impetus that triggered building the town in the first places ceased to exist.
Lots of people are excited to try these out too. I understand you are not but just wanted to mention that. I am looking forward to seeing how they make the integration helpful and what it might allow.
Mathematics is a tool that can be used to describe the real world, and mathematical discoveries are often motivated by practital uses. However, mathematical structures are not directly influenced by the real world; they can just model it.
Only if companies compensated fairly instead of incentivizing 2 year job hopping.

Only if companies treated workers with dignity and not like they’re disposable cogs.

Only if companies understood value of standards that would prevent new joiner from wreaking havoc.
11. Eratosthenes, Olympic Victors 3rd century
via Favorinus, Varied History, via Diogenes Laertius, Lives 8.47
“Eratosthenes (according to what Favorinus reports in book eight of his
Varied History), said this man [sc. Pythagoras] was the first to box using
technique, in the 48th Olympiad, letting his hair grow long and wearing
a purple robe; after being excluded from the boys’ games and jeered at,
he immediately joined the mens’, and won.”
Olympiad 48: 588 to 584 BCE cf. Eusebius, Chronography, p. 93
Karst
There are many reasons we've stopped ordering from Amazon, their treatment of their human employees being the main one. The proliferation of fake products and reviews being another. The hostile anti-competitive business practices towards small businesses is yet one more reason, and I could keep going.

I saw a recent poll that many Americans list Amazon as their favorite retailer, and it blows my mind. Do people really need same day delivery on consumer goods, for the not-low cost of the aforementioned problems?
I still blame the management here for not building a team where quality and foresight matter enough to avoid large messes.

Trust from management isn’t all that is needed for good work to be accomplished, good managers of software development also should not shockingly know good software development.

I swear software and tech related roles are one of the few places where the managers don’t also know how to do the job of their reports.
I’d love to take it to the airport, but I imagine it’ll be a mess trying to pull up and park at departures. It’s already incredibly chaotic with the way humans are, and I don’t expect they’ll even pretend to extend any curtesy to a robot.

Maybe I’m wrong though? I think they go to the airport in phoenix, I just haven’t heard any reports on the experience.
"You only get Read Committed transaction isolation." – That's unexpected, I wonder what within CloudSQL makes the other modes not usable.

If my prod were using CloudSQL, I'd use CloudSQL for tests too. Haven't noticed so many differences between Heroku Postgres and stock.
It would be such a drastic change that it appears to be beyond our ability to model, as we lack the empirical data to make any accurate prediction.
There is no electrical difference between an iron pot that heats up from an inductive load, and circuit that takes that inductive load and directs it to chemical energy storage. The iron pot just doesn't conduct it anywhere useful
BatFi – Optimize macOS battery performance
I'd wager a guess that it usually has less to do with latent guilt and more with a narcissistic personality exercising control over the fate of a defenseless person.
It's clear OpenAI badly wants to get to a place where the Support and R&D departments of big companies can dump every disjointed scrap of info they've been collecting for years, into a massive bucket, let OpenAI's servers cook it for a while and then like magic, let managers ask the Borgian result.. stuff. Why is this process failing? What's not relevant? What stuff that we've demoted in importance, isn't? etc etc etc
Okay so it sounds like you're saying that they are fundamentally the same, but only because the Challenger wasn't in the "informed risk assessment" category after all.
Exploring gray matter volume in habitual entrepreneurs
Previous discussion (2021): https://news.ycombinator.com/item?id=26114863
Learning about science is more rewarding to me as an amateur than hobby/indie computer programming. There are others like me, though perhaps a minority on this site. I'm sad to see this go. One of my favorite experiences as a child was visiting the Boston Science Museum.
How's the air quality on the ISS? I think I remember seeing something about it smelling pretty bad, and I know I've seen terrible reports about the waste containment systems that were used on the shuttle.

Stuff like that isn't quite as sexy as a big volume, but I would think it is at least as important to solve, if not quite a lot more important.
I'd love to cross reference this against all the Eggcorns from the Adam and Joe show (and subsequently the Adam Buxton Podcast).
Seems like the old -> new temperatures are the same for each city.
I wonder if this one is using pirated software, too?

https://nicole.express/2023/book-it.html
This might be a naive/stupid question, but wouldn't it be relatively easy to merge triangles in the same plane into polygons automatically? (I suppose few triangles from this process would be in the same plane maybe?)
The AZ-0001 Co2 meter. Vendor of a CO2 meter with zero to 2000 ppm co2, 30 or 50 ppm accuracy, serial data output, humidity, and temperature. The meter appears on a big name cheap sales website for a little under $200.

https://www.co2meter.com/collections/handheld/products/az-ha...

One problem with the yellow AZ-0001 CO2 meter is the meter has to be manually restarted if the 9 volt input DC power is interrupted. A second problem is the CO2 value is quite sensitive to my breath when the meter is running on the garage workbench. For outdoor readings the mechanical problem is to put the meter at least 8 feet away from passing humans and also have the meter accessible for restarting.

The same vendor sells a hockey puck device which I have also used. I stopped using the hockey puck due to it's humidity measure device. That was about 4 years ago.

https://lessco2essay.blogspot.com/2015/08/carbon-dioxide-met...

Contact me for a copy of my Python CO2 meter software. The output of the software is lines of unixtime, GPS position, CO2, humidity, and temperature. leemck at gmail dot com.

My CO2 interest is in the global excess CO2 problem.
It would work, but it also requires curbing the extra demand that is generated by foreigners moving into the city and scooping up the housing from the locals.

> I might be naive, but I’d assume that the solution is to build more housing to increase the supply instead of curbing the demand?

Spain is not the US. Neither Spain nor any other Mediterranean country has large surface area that could accommodate housing demand at such high levels - there is already scarce land that you can build on across the Mediterranean as there are limited shorelines and deltas that were created by rivers etc, and the rest is immediately mountainous or hilly landscape that is very difficult to build on.

These countries could easily cope with their local demand, but allowing foreigners to buy housing caused a large influx of foreigners exacerbating the demand for housing and crowding out these places way beyond their capacity. The investment funds that scoop up housing to profit worsen the situation.

Maybe the US could handle such a demand with its gigantic surface area - solely Texas is larger than ENTIRE Western Europe, mind that. Or Russia. Or China. But other countries in the world, especially the Mediterranean ones, don't have the space to even start comparing with those.

The only solution is to limit the demand to the carrying capacity of each locale, province and country.
Because they have courtesy to not block traffic. Anecdotally, drivers are also MUCH more aggressive near them, so I’d be pretty nervous as a pedestrian getting in/out of one near heavy traffic. I’m not handicap in any way, and I’m totally fine walking to the corner of a city block to get in it, in exchange for a much safer ride than an Uber.

I’ve never had it be more than a few hundred feet - usually it’s 2-3 cars away where it can parallel park on the other side of an intersection in the WORST case. Oh I guess they do avoid some of the intense AF hills but I’ve had Uber drivers do the same.
Feels like not many discuss how Climate Change would effect Geopolitical tensions. This page makes it obvious how Western enemies like China and Russia may benefit from land now frigid becoming more temperate
> I’d rather have to wait a while for shiny new feature, than dive head first into the unknown.

Is there a possible world where that is your choice and that vision is not imposed on me ? I fully respect your point of view and strongly believe you should have that option at your disposal.

But I also feel like having an AI model running on my (private) device should be an option available to me if I want to.
No, if you have a $1m house and you're intending to downsize to a $500k house, and they both lose half their value, that's $250k less in your pocket for retirement.
It looks like a modern statically typed multi-paradigm language with OO, exceptions, higher order functions, pattern matching, annotations, concurrency primitives etc. sitting on top of LLVM and something called CVJM. I guess it is in family with modern C# and perhaps Swift - has kinda a similar syntax to Swift.

There are also some instructions for running it on Ubuntu in the pdf.
Where are you going to find a counterweight in space? Launching two Starships is much easier than trying to capture an asteroid or something.
Yeah, the FTC and DOJ publish guidelines with thresholds, and you basically just follow them.

E.g. https://www.ftc.gov/enforcement/premerger-notification-progr...

https://www.ftc.gov/enforcement/premerger-notification-progr...

There are like 10k+ mergers and acquisitions done in the US each year (ballpark). It requires real analysis to figure if something should be blocked (practically none have any real effect on anything and shouldn't be) and there are only so many folks at the regulators who can do that analysis (and honestly... they aren't good at it...).
flux.ai founder here

Agree with OP that the raw models aren't that useful for schematic/pcb design.

It's why we build flux from the ground up to provide the models with the right context. The models are great moderators but poor sources of great knowledge.

Here are some great use cases:

https://www.youtube.com/watch?v=XdH075ClrYk

https://www.youtube.com/watch?v=J0CHG_fPxzw&t=276s

https://www.youtube.com/watch?v=iGJOzVf0o7o&t=2s

and here a great example of levering AI to go from idea to full design https://x.com/BuildWithFlux/status/1804219703264706578
I don't know if you meant specifically in Barcelona, but I'm in just such a unit in Montreal as I type this. Physically it's a 2BR apartment, with its own washer/dryer and full (though small) kitchen, but it's booked and run as a hotel. There's hotel-like housekeeping, not a note hidden somewhere that says I have to clean up myself before leaving or incur a hefty extra cleaning fee (on top of the one that's already buried elsewhere in the fine print). There's not much of a lobby, no concierge, no room-service menu, so it's not a four star hotel, but I'd still say it's a hotel that feels like an AirBnB and I think places like this are rapidly taking over that part of the market.

The move that Barcelona just made might actually be kind of like closing the barn door after the horses have escaped. Good political theater, I guess, but not really moving things in a direction they weren't already going.
Absolutely baffling that you could come to the conclusion that houses being kept empty for the benefit of speculators while citizens sleep on the street is somehow the best outcome
There is/was also rampant corruption ran by real mafia. Some of them are from Montreal and are on the run in Sicily. Not sure if this spread to Ontario but given the timelines I imagine it had.

See Turcot collapse in Montreal.

See Olympic building in Montreal.
And it’s a real IMAX dome screen, not the diluted version that gets the stamp these days.
Hope without optimism – transcription of a talk by Dave Snowden (2022)
Tracking Finances in TOML
Sounds like there’s an interesting story buried in there!
> But is that really it? I'm all ears. I'm on a 5 hour flight. I'm genuinely unclear on whats going on that leads people to take this absolutist position that they're waiting for ??? to admit ??? about LLMs.

Irony: humans think in very black-and-white terms, one could even say boolean; conversely LLMs display subtly and nuance.

When I was a kid, repeats of Trek had Spock and Kirk defeating robots with the liar's paradox, yet today it seems like humans are the ones who are broken by it while the machines are just going "I understood that reference!"
That’s exactly what everyone does. Most even put Google Sign-in into their free plans because it’s a great way to increase sign-ups.

The main benefit of SAML comes from the permission management and standardisation across systems. Its also what starts to make it complex beyond just writing the code.
Can you not go use ChatGPT now?
The 100% charge thing is also for balancing, as most BMSs are pretty dumb and only use passive balancing.

When an individual cell reaches a set voltage, a resistor is turned on which bleeds the excess power preventing that cell from overcharging. When the pack reaches 100% theoretically every cell should then be at the same voltage.
Groq now supports Whisper Large
Sorry to be negative but this website is completely awful on mobile. And some of the map colours are virtually indistinguishable from each other.
Ask HN: What to do with my defunct startup's domain?
I shut down my company (Stage, heystage.com) back in December. It feels silly to keep renewing the domain, but it also feels silly to let it lapse; since only one of those decisions is reversible, I'm paying to renew it.

What should I do with the .com of a now-shuttered business?
Building companies don't own the apartments, banks do. Lower effective prices means writing off debt.
No. You just tax the living daylights out of the empty houses so that they will have to utilize or rent them. That is ALREADY the law in Spain, by the way.

> Forcefully seize their apartment because people need it?

The needs of the many come before the needs of the few. Someone said it somewhere across the ocean. But the country where it was said does not heed it at all. The rest of the world does.
its not only bombing, it is casual everyday racism towards others that is a problem.

same like zionist jews think of themselves as superior to palestinians, same russians think of themselves as superior to Ukrainians and other ex-soviet nations. BTW a lot of Israeli jews immigrated from Soviet Union and some could argue they could pick up this superiority complex from russians
Studies say the opposite: https://www.law.berkeley.edu/files/How_Copyright_Keeps_Works...

"A random sample of new books for sale on Amazon.com shows more books for sale from the 1880’s than the 1980’s. Why? This paper presents new data on how copyright stifles the reappearance of works. First, a random sample of more than 2000 new books for sale on Amazon.com is analyzed along with a random sample of almost 2000 songs available on new DVD’s. Copyright status
correlates highly with absence from the Amazon shelf. Together with publishing business models, copyright law seems to deter distribution and diminish access. Further analysis of eBook markets, used books on Abebooks.com, and the Chicago Public library collection suggests that no alternative marketplace for
out-of-print books has yet developed. Data from iTunes and YouTube, however, tell a different story for older hit songs. The much wider availability of old music in digital form may be explained by the differing holdings in two important cases
Boosey & Hawkes v. Disney (music) and Random House v. Rosetta Stone (books)."