skysight-inc/HackerNews huggingface dataset:
> Such a fake comment. You were never excited for AVs.
I was excited for AVs for most of my life, just like everybody, because it's cool sci-fi tech. But if you start thinking about the whole picture of transportation / urban design... they mostly don't make sense. Just like flying cars.

> As AVs scale, there cost will go below that of personal car ownership
Why?

> AVs maintain the same flexibility as personal cars, something public transit cannot resolve.

Sure. Why are we testing/using them in SF, a city that can resolve its transportation needs with public transit and light electric vehicles?

> As Personal cars ownership declines, real progress in emissions, land and safety will be made.

My whole point is we can make these progresses today.

Self driving cars and other innovations cribbed from sci-fi, are a distraction that prevent us from addressing our real issues in real ways.

> Your suggestions just add more regulation and fees that always end up impacting low income people more.

Actually, none of my suggestions would impact low-income people more.

You don't think giving 24/7 control of all personal vehicles to a handful of companies is going to hurt lower-income people?
Yes there are! Aro Homes is a prime mover: https://www.aro.homes/
Yep, but you want to write frontend with it then. Blazor (or whatever liveview-like implementation) or wasm might fix that.
There are many replies to this story about how it got people into the field of programming? Art is one thing, and I'm sure it was a great feeling to create leftpad but these writings sell a mystique that doesn't exist. It has always been people and relationships. I guess I don't know how to explain how it appeared to experienced professional working developers. It was like, here have a ticket for the burnout ride.
This would annoy me significantly. Can I ask what field you're in?
You can have both. This is the beauty of lisp - https://en.wikipedia.org/wiki/Homoiconicity

But in all seriousness you can gain reflection without a runtime. Just expose the types as data.

Seems foolish to not do something like this. Particularly when you look at the lengths so many devs have gone to try and replicate it.
Not necessarily.

Consider

const fooType = generateTypeInfo!<Foo>();

Where `generateTypeInfo!` is a macro that expands to a JS object encoding the “Foo” type (e.g. if `Foo` a record type, `fooType` will be a record with its encoded field types). It still compiles to readable JavaScript.

What this macro does break is that TS = JavaScript with type annotations, and all you need to do to compile is remove those annotations (excluding enums, but they are all-but-deprecated and obsoleted by string unions) without even type-checking. Since now you also need to expand the `generateTypeInfo!`, which requires actually computing the structural type of `Foo` (and if you want any sort of nominal type metadata, that too).

And that’s still a problem because type-checking is slow, but removing the annotations is fast. If there’s a limited way to resolve types for these annotations which restricts the resolution scope, that would be a good candidate.

—-

There's also more issues with TypeScript having a separate runtime besides it not being JavaScript. TypeScript types are structural, so they currently are available at runtime: to determine an object’s type, inspect its structure. Anything more and you quickly run into non-trivial cases being literally impossible: if you want erased nominal information like whether a string is part of a string union, TypeScript’s type system is Turing complete; and if you want the nominal type name, implicit structural conversions mean that once a value leaves its annotated cast or definition it’s effectively undefined.
Are you using the second GPU at all?

My experience is only a few systems will share load across GPUs. I didn't bother with dual GPUs for that reason.

4-5 tokens per second is slower than my system. I'm getting in the teens. I'm a little surprised since yours is newer, faster, and has way more RAM.
> But instead AMD has just followed Nvidia into making slow, uncompetitive GPUs at high prices.

This seems like a needlessly conspiratorial and complicated cope to avoid recognizing that the low end is simply suffering from fixed overhead and rising costs.

The alternative/null hypothesis is that both companies are responding to the market options that TSMC and BOM costs provide them, and the technology is simply moving slower in some segments. In this null hypothesis, it's not an active conspiracy to screw anyone, and nobody is deliberately "followed anyone into noncompetitiveness", there simply isn't a big market opportunity to sell $150 enthusiast GPUs anymore (7850 HD!) and make a decent profit based on the actual costs of building the product and getting the product through design/validation and manufacturing/shipping cycles.

Like, it's kinda facially absurd that gamers think that there's some golden opportunity to make low-margin $150 GPUs that everyone is just choosing to ignore because "they'd rather do AI/because they hate gamers". That's a shitty low-margin product and everyone is choosing to ignore it because it's not profitable, gamers are just kinda operating under this fallacy that $150 is a lot of money for an enthusiast-tier dGPU. And of course gamers will not touch a card with less than 8GB, and will scream a fit with 4060/6600 style 128b buses not being enough width. They don't like any of the compromises that are necessary to get down to this price point, they want a $150 card that's no-compromises quasi-midrange.

Shockingly, most companies are not interested in chasing the customer who wants the corvette for $25k. And yes, you can sustainably build a car for $25k, or maybe even a bit less... but it's not gonna be a corvette either. It's gonna be a midrange that you've "cut down" with feature lockout, or it's gonna be the shitbox econo-model that was bad to start with.
This is for fearless kids. Most kids, I think, would be scared to death by these suggestions. It's an embarrassment minefield. It's better to start experimenting in a more private way in places where you are clearly welcome - student competitions, newbie-friendly websites, publishing stuff quietly without advertising it, reading and lurking, submitting tiny contributions that are clearly wanted, etc.

Kids these days do not suffer from scarcity of opportunities. They suffer from lack of confidence. They need to gain confidence through little successes. Sending them out into the world doing things way above their current skill level is going to result in confidence-crushing failures.
Nominal types have different use cases.

Simple one, distinguishing `2` number with `2` currency in your domain.
Reminder: you can't really own a domain name.

Use public keys instead. Like i2p and tor do.
So you just skimmed the thread. There are comparisons, there are specific transcripts. There are examples without transcripts.
They actually did a pretty good job of elaborating a critique of my criticism in replying to the same comment you did, so I chose to continue the dialogue there.
Maybe that was the intention?

Sometimes art is storytelling, and sometimes its not...

I found the site as a whole had a lot of interesting stuff. The link in my comment was just one example.
> Typescript would become some kind of runtime on top of JavaScript. A new language that compiles to JavaScript.

Typescript isn't a runtime on top of JavaScript, but it very much is "a new language that compiles to JavaScript".
> Typical roofer in the US makes $50k (BLS figure). Not sure what he makes in Mexico but the median income in Mexico is about $20k.

If you were a roofer would you rather make 20K in Mexico us 50K in the US?

I don't know, but I doubt it is clear cut answer.

The insane US health care costs alone would eat up much of that if you're unlucky. I'd guess a young healthy single guy should take the 50K in the US but as soon as there is a family to support, 20K in Mexico may go farther.
Let's turn it around, union types are so much easier to use and so much more powerful. Enums have only a small subset of the features, are not compatible to JavaScript code and are hard to understand (read the docs about type script enums and you will see).
I'm hoping we see a move to allow the rendering of the webpage to be entirely up to the users. Just provide the data, and let me decide how I want to interact with it. But that would ruin SEO and Ads, so we're gonna get in a buncha legal battles about web scrapers instead.
Time is money is great when you’ve waiting at the hydrogen refueling stating for the chillers to be ready again after the person in front of you just used them.
it's only a no-brainer if you went to an expensive school or have low expectations for your career in your 20s.

total in-state tuition for a four year degree is ~$40k. that's not nothing, but at least for me, getting that wiped out in exchange for no house, driving a shitbox to work, and even getting extra scrutiny on rental applications would not have been a good start to my 20s.

if I went to a private school, wanted to be a teacher, etc, the calculus might be different.
Some years ago I tried to sign up for Twitter and got immediately banned for suspicious activity (following interesting people?).

They required I scan my photo id with address to unlock the account. I told them to go fuck themselve
What could it possibly need that much code for
If you just build a railroad and sell off parcels you aren't doing any development, nor anything that tech bros can use to slide into the industry. Actual development involves a lot of heavy earthwork, drainage plans, development of water and sewer networks, maybe road planning, fire hydrants, etc etc.

Just buying and selling land isn't development.

Railroad companies control where we build railroads and they are conservative after decades of closing unprofitable lines. This is not the wild west.
It's been working so well for meatpacking and agriculture...
I found it. It was then known as project Zeitgeist. The initial imaginations were quite wild and cool.
It supports Metal. In fact Metal is probably one of the reasons they built an adapter like this in the first place since GL became less of a supported thing on Darwin.
How much power does a Tesla supercharger deliver through a plug? More than a water heater draws I would think? Maybe not?
You are right, the lighting makes the original scene look worse.
You’re at home 12-15 hours per day, and with all the pure BEvs you can get today, you can buffer over the weekend too. 1.2kW gets you 14.4-18kWh. 4 miles per kWh is common for Tesla’s most popular Model 3 and Model Y, and improvements are coming. So 58-72 miles per day and more on the weekend. Much more than enough for the average commute, and you can buffer 250-400 miles. And if you need more, just use Superchargers. Overall you’d STILL spend less time at fast chargers than typically used for gas stations.

Plus destination chargers and charging at work.

This works much better than you might think if you’ve never tried it yourself.
I've heard the same complaint about Elm
> Only until the bar stops existing.

At which point you are STILL not responsible for any liability. For example if the bar gets sued, you don't lose your home, car, etc...

And in most countries, would receive unemployment that was at least partially paid for by the business in advance.

Notice again though - just like the gold mine - without the infrastructure you can't extract any value at all from your ability to pour drinks.

Wolff is about as bad faith as actors get.
Meta launches a Threads beta program for Android users
Reminds me of this Super Metroid FAQ: https://gamefaqs.gamespot.com/snes/588741-super-metroid/faqs...
I should be clear: I'm am not against all self-driving cars in the city. I'm against empty cars on the road, and when they cause issues, they should have to show that they're actually resolving them before more unsupervised operation can resume. If the problems are as soluble as their companies claim, this should be doable. If not ... Then we shouldn't have to live with them. Given that incidents keep occurring, I think guerilla actions like this are at least as reasonable as tech's history of starting programs in cities first and lobbying for those efforts to become legal after (eg Uber, Airbnb, some of the scooters...)
YMMV also depending of who you are. In China, I look like a tourist, so pickpockets have a field trip with me, they don't even bother to be discreet.

In Paris, I never had a problem, because I look local. But my mother from the country side actually got troubles, because she looked like an easy prey, despite take much more care about her sutff than I do.
That's not how Lisp works. Lisp macros don't operate on an AST.
Still true that it's not based on seniority, though. And there will generally be some kind of skill involved, even if its (eg) skill in the sleazier end of soft skills rather than skill in management per se.
> Government isn't a buffet you get to 'choose' where the money goes.

Well, in the case of school vouchers it would be is the point, and thats ok.

With regards to paying your local fire department, it would be impractical to try and get people to "choose" which fire department to be covered by. Fire department vouchers wouldn't work.

But with schooling, it very much is possible for parents to move their children between schools, therefore a voucher/charter systems works quite well.

> The responsibility is to provide a minimum education standard. Teach logic, science, math, reading. Give all kids equally some minimal ability to function.

Yes, it is good to provide those things. But that is the bare minimum. There is lots of room for additional schooling choice that go above and beyond teaching the most minimal necessities.

EX: If some parents want their kids to focus much more on intensive science or technology schooling, thats fine.
For those joining this thread and don't understand what Living off the land is in technical terms:

Use only what's available to cause mischief or prevent mischief. The rules don't allow use of your own scripts, tools, etc. Typically red teams are mischief makers and blue teams are the prevention.
“Reader Mode” is a successful example. I’m actually shocked it exists because of how it impedes the things you mention.
I think RHEL got to where it is by being a good choice for students that was similar to the most relevant UNIXes. More total users with UNIX like experience should have been good for the UNIXes but I wouldn't consider any of them healthy.
Except the license is not trivial.
> Only your person has rights, not the fake identities you created.

But if they only know u/lucb1e to own +31612345678, then it's all good and well that you're requesting data as Luc Lastname but that's not going to match their records anyway; that doesn't prove you're the legitimate person to send this data to.

> They can actually request a copy of an ID or something comparable to confirm your identity.

When I called the Dutch DPA about this, specifically about MAC address tracking (I got an email "welcome to ikea!", sent to anothercompany@lucb1e.com, when I connected to ikea's free wifi), and they said that supplying the MAC address is the identifier to use because that's the only thing they can match anyway. This was in 2018-ish so I may misremember details, to be fair.

As far as I know, this is similar to copyright under a pseudonym. If you can't prove it's yours, sucks, but if you can, then your rights are yours to exercise.
Well, as always, this really depends on our the code we read and our background.

TypeScript's type system is indeed way more verbose than Haskell's.
seriously? if a cone was on the hood of my car I could floor it for like 3-5 feet, slam the brakes, and it would fly off. this is a trivial maneuver.
Would be surprised if this extension doesn't shrink in a subsequent release
Don't quite understand what is shown here, but org-mode and git also make a nice and durable personal knowledge platform.
Maybe in some circumstances, sure. There is good reason not to like this person, who demonstrated the will and ability to hurt or even kill innocent people.
Almost certainly just a dependency graph pruning issue. They likely pulled in too much of the main app into the plugin, which no longer has the strict sizing requirements that it used to. They'll trim it over the next couple of releases and the binary size shrink will look good on someone's performance review. Any kind of quantifiable changes like this counts as solid impact, heh, even if it has no real impact on usage.

Let's be honest, nobody cares how big it is, so long as it doesn't force you to download over WiFi. Nobody sorts the App Store by 'size.' It's more important in the initial release to prove product market fit rather than spending time whittling down the share extension.

They made the right call to get to market fast.
At least they don't confuse gas and brake pedals und break through walls like senior drivers (yet).
I try not to cheat and hint at specific issues (since that relies on prior knowledge)

I'd be surprised if even after the last prompt it wouldn't notice that. Saying "Did we miss anything" leaves it open it to re-evaluate both the implementation and the original considerations

Edit: There's some non-determinism involved, but GPT-4 caught the pagination from planning stage here: https://chat.openai.com/share/3c356d4f-15d4-4f6e-bd29-af6a0b...
the actual protection from getting mugged is moving to a safe neighbourhood.

People must adapt, because it is unreasonable to expect the world to adapt to the most naiive user. You either will get mugged every day, or you learn your lesson and move out to safe neighborhood, or you buy a gun and solve mugging problem for everybody else one shot at a time.

same with fraud - user will continue getting defrauded and scammed until user learns the lesson and either abandons tech he.she is unable to use securely, or adapt and learn how to use it
I wonder if "personal honesty" and "professional dishonesty" correlate or not.

Too bad japan isn't on the list. I would expect a high level of personal honesty there.

That said, there is still yakuza in japan. I wonder how that works.
For me personally:
- The novelty has worn off. I still use it but not as much.
- It has been neutered into oblivion. Compelling answers have been replaced with bland, semi-committal "As of my knowledge cutoff in September 2021"-type responses
You won't be satisfied until you accept that the public has demonstrated that they want low occupancy vehicles by using there dollars.

People enjoy the privacy, flexibility, convenience, and safety of having a vehicle space to themselves vs public transport. Even in economies which have heavily incentivized public transport (Singapore, Japan, Hong Kong), people still pay large costs to get access to the incentives I mentioned above. AVs are much better than personal car ownership and will play a big role in improving transportation.

I get throwing conjecture out there makes it seem like you found a real problem, but you have no solution. Even if you increased public transit with more rail lines and busses, you can't solve the privacy, convenience and safety factor with something that is public. There a reason we have locks on our doors and don't share our homes, even though most of our home is empty and we can only occupy one room at a time.

We need real solutions (which AVs are a part of) and not people swooning over idealisms.
Unfortunately the rest of the world uses DNS
> Do you really think IBM cares enough about Fedora to mandate the insertion of telemetry, possibly upsetting everybody at Red Hat that works on it?

Yes, I think that's well within the realm of possibility. IBM bought Red Hat for some reason, so they obvious care quite a lot.

I'm not saying they're actually doing this, of course. I don't know. But we're talking about large corporations here, so suspicion seems warranted.

> It seems so much more likely to me that the Fedora team just wants telemetry data (which is very standard in the industry) for decision making, exactly as they said.

I think this is true! Both things can be true.

Standard in the industry, though? No. It's standard in the commercial software world (which is one of the reasons why I avoid commercial software), but it's not standard in the FOSS world.

The reason why I object so strongly to these sorts of moves from Fedora (and other such outfits) is because there's clearly a strong effort being made to normalize this in the FOSS world, and I think that would be tragic.
Normally I'd say "hard pass." I'm pretty comfortable with static types being a model where the compiler throws the type information away at compile time, so I can type with abandon without worrying that I'm going to impact runtime performance in my generated code.

... TypeScript may be one exception to my rule of thumb. It's already compiling down to JavaScript, so you're already paying a performance tax in having your code run in an interpreted language. The question should be "how much more of a performance tax are you paying annotating things with type runtime metadata?"
Yes, but it's special in that it compiles by erasure. (Mostly -- the cases where it doesn't are considered historical mistakes.)
meanwhile these vehicles will get stuck blocking an intersection for hours on end.

https://www.sfchronicle.com/bayarea/article/san-francisco-wa...

https://www.siliconrepublic.com/machines/cruise-driverless-c...

https://twitter.com/Tweetermeyer/status/1542625065144946688

a manual override is the easiest solution here. we pilot drones that drop bombs in the middle east from air conditioned containers in arizona, there is no reason we can't do the same for these stuck vehicles after X time period has elapsed.
Easily circumvented by posting old National Geographic-like photos of really primitive natives.
Nothing to do with DNS? Just something to do with the organization that controls some DNS records
Javascript already has standard serialization and deserialization tools.

The problem is that the deserialization is untyped. It's just a Javascript object. Usually, the first thing you'll do is to cast it to a typed Typescript definition, but there's no way to guarantee that it actually fits that definition. No type information exists at runtime. It's used solely to check the code itself during compilation.

So any time you get data from outside of your program (over the network, from a database, out of a config file, etc.) you just have to hope that it actually fits the type. You can write code to check it... but you have to write that code yourself.

There are libraries you can use. For example, you can use a Data Description Language with a simpler type system, which usually suffices for the kind of data you want to serialize. Then you can use that to generate both a Typescript definition and a runtime type checker. But that's inelegant, and not standard, so every project is different despite it being something everybody needs.
What no one tells you about seeking riches in the heart of Africa (2020)
I know little of chemistry, but I would assume this wouldn't work where longevity was needed, especially in moist environments, since there are plenty of bacteria that will happily break down the types of bonds in carbohydrates.
Introduction to math for game developers
Soon will be clear. Sorry I am not very good at marketing. This is completly different. Check it later.
‘The Bear’ Boursin Omelet with Potato Chips
So this is asking for a completely different language?
I never fail to re-read the entire series when it's brought up and will do so right now.
It works perfectly, government subsidies and cheap foreign labor creates happy american farmers. Housing and infrastructure are critical to the country, just like food. The only issue is the legal limbo of selective immigration, it would be less cruel to issue visas quicker for temporary workers with most resident benefits waived than the current under-the-table dealings with illegal and undocumented migrants.