skysight-inc/HackerNews huggingface dataset:
I've been implementing a language with a TypeScript-like type system, and while the core system is pretty intuitive (values combining with other values, determining whether basic value types fit into others), some of the fringes have been challenging:

- Generics, especially inferring generic type params

- Recursive types

- Deeply mutable vs immutable types

- Type refinement based on checks/usage

- Giving good error messages for deep type mismatches (though I'm not sure TypeScript itself has figured this one out yet, lol)

etc. And even the stuff I've figured out, I figured out almost all from scratch (sometimes having to bail and take a totally new approach midway through). I would love to read a book giving me a proper bottom-up walkthrough of the current landscape of type system implementation
Questions:
- Can you do analysis of video captured from Trace cameras?
- Any roadmap for exporting the data for both team and player?
Buy N Large
This is the only answer I believe in this thread.
Its a new English word that is widely used; it may not yet have been picked up by dictionaries, which are trailing catalogs of usage, but that doesn't make it “not a word”.
> Trusted security: Your medical information is always protected

Nothing more than that on their FAQ page [1] - but that's the first thing one should be interested in: where will that data end up, and how will it be used? Will you now get blasted by sponsored products for, say, vitamin supplements or fitness gear after you've been diagnosed with malnutrition or obesity?

And there's an even worse point in this: Amazon is already utterly, utterly dominant in online shopping, has a massive presence in cloud computing (made possible, in part, by the lackluster competition), is threatening to "go big" in physical retail as well [2]... just how much of our economy, of our daily lives, are we going to give to Amazon? Do we really want an Avatar-style economy, with a few select mega-corporations controlling every single aspect of our lives? How long until Amazon starts rolling out their own health insurance, made "cheaper" by abusing all your Amazon Shopping data to determine if you're living healthy enough by (blackbox) Amazon standards (judged by a blackbox AI) to be worthy of even being admitted? Can such judgements be appealed in front of a legitimate court of law, or will you (once again) be facing a giant corporation's useless helpdesk that only responds with boilerplate?

Yes, I'm drawing a bit of a dystopia here, but this kind of behavior is already common in automotive insurance, so it's only a question of time until it arrives in healthcare.

[1] https://clinic.amazon.com/help

[2] https://www.chargedretail.co.uk/2023/02/28/amazon-physical-r...
"I learned another skill and I probably can always find a way to support myself in dire situations"

I think this nails it. As a grinder you know the work you put in. And given the game has been around lifetimes, during your life if dire shows up, like any skilled profesional, you do what you know.
All words are made up by humans; where else would they come from?
I think the word we are looking for here is horses lol
Google has another set of motivation: rights-holders are its primary customers.

It's pretty clear at this point which motivator has won Google's favor.
Louvre: C++ library for building Wayland compositors
I just call the Google Voice number from my phone and leave a message each time I get this email from Google. That seems to be enough to mark the number as "being used".
> But you'll need to annotate every single value to get any matching out of it.

Ok, if we're taking "1 is an int" as type inferencing then, yes, every statically typed language, at least every mainstream one, has at least a small amount of type inference since we don't, in C for instance, have to annotate values. But C does not infer the types of its variables or functions, nor do you have to annotate them in every location where they are used. But that's not inference either, that's using the information determined by annotating the variables.

----------

My main point was that it's weird to say the entirety of gradual typing works by type inference. It works by permitting mixing statically typed and dynamically typed code together in one language. Whether the statically typed portion uses type inference or more "classical" type annotations is orthogonal to the way it works under the hood.
Why struggle with where other people draw the line? Draw the line yourself and don't concern yourself with the line other people draw for themselves.
Some cities are more idiotic than others, apparently, but in case it wasn't clear the context was general elections. Not that what you point out isn't a travesty and should be dealt with before someone figures out that you can create as many companies as you want.
You don't - they can learn for themselves.

You can answer their queries but they should learn for themselves. You can't instil curiosity where there is none.

"Never try to teach a pig to sing. It only wastes your time and annoys the pig." - Heinlein
I have been stuck in those lines.

But the average time taken by each and every person at self serve lines seems to be higher, because not only does the person need to decide what they want to order, they also need to figure out the UI at the same time. And there seems to be more choice paralysis when the primary way the customer consumes the menu is the moment they walk up to the kiosk.

In a traditional line, half of the ordering process is typically handled by an individual already trained to rapidly enter the order details, and in most cases, the person ordering knows what they want by the time it’s their turn.

These kiosks are about optimizing cost, and just about everything about the end user experience seems worse.
If it’s open source, a private repo is not protection. Free software licenses allow for unlimited redistribution.
> maintain them

Maintain what?

They’re documents. They document things. As long as there’s a tool that knows how to parse the document, which is outside the role of the author, the document remains complete. There’s nothing to maintain.

The contemporary fetish for timely ephemera is a quirk of social media feeds and a generation that grew up immersed in them, not some baseline criteria for how the internet needs to work.

As automated search engines and social media feeds continue to drown in spam and engagement-porn, expect to see a resurgence of hand-curated web rings, directories, and marginalia-like scoped search engines, that variously highlight timely, historical, and evergreen content.

You’ll be surprised what an untouched document from 5 or 15 or 25 years ago might reveal to you, once you can actually find them again.
Near as I can tell, almost no one wants to prosecute Perjury.

Partially because lawyers are so good at weaseling out of it, but secretly I think it’s because lawyers are afraid of what would happen if it was consistently applied.

For Family court in particular, I imagine it could turn 1/4 of the state into felons.

The only cases I’m aware of were very high profile, ‘successful’ (as in folks believed it, and took action based on it) lies under oath with severe and high profile damages, that later evidence clearly showed was done in bad faith.

And by severe and high profile damages, I don’t mean something as simple as a single (non famous) person being dead when they didn’t have to be, unless it’s a huge scandal anyway.

[https://www.jstor.org/stable/1142605]
Like the sages say, a compromise human being has one ovary, one testicle, one breast and one-and-a-half children.
Thanks for the paper. Brownian computers are a cool idea, they seem like exploitation of the ratcheting paradigm.

Entropy increasing is a illusion based on the specific selection of macroscopic observables / slices of configuration space that we use as inputs for entropy. There is no information lost as much as some species that live on certain observable sense space slices, becoming ignorant and unable to exploit the new patterns of information flow. Chaos and order are two sides of the same coin. There will be brownian computers, funny enough, in chaotic environments. Whereas there might be very compact and sharply defined high efficiency solitary entities in low energy environments.

See
https://arxiv.org/abs/1505.01125
Can this camera stand up mid monitor slightly below eye height?

Top of laptop is not always ideal.
Thanks for the links - I was actually looking for a new Camo stand and those look handy.

The idea is that the desktop would send the content of the rectangle occluded by the phone screen and the phone displays it, appropriately tweaked, tinted etc. I have no idea if it would work well enough to be useful but seems like a fun experiment.

I find myself using the Camo setup with the phone in front of the screen and I just "look around it" - I dislike the "looking into space" on calls more than the inconvenience of moving my windows a bit I guess.
Dang, I missed this by roughly an hour :(

I still remember when we were at 1.2 billion seconds. Time flies.

While we're still here: my favorite way to appreciate the scale of million and billion is with seconds: 1 million seconds is approximately 12 days, whereas as 1 billion seconds is approximately 31 years.
> Grocery shopping? Still need a car. Going to another part of the city where my friends are? Still need a car. Etc.

I think that we also need to understand the whys of some of this.

Grocery shopping or going to another part of the city to see friends should not require a car. If it does, that means the city's transit infra isn't sufficient for residents' needs. And the reason that's the case is because car culture is prioritized above all else in the US.

For larger grocery 'trips' I usually do delivery these days. But we also have a small grocer a couple blocks away (very well stocked, huge variety of stuff, great produce, etc.) that easily meets daily/weekly needs.

I do have a car, but I drive it only a few times a month. I fill up the gas tank once every couple months. I probably shouldn't own a car, but I can't kick the habit. It's great for long trips outside the city when we're doing some light traveling, at least. But overall I really dislike driving at this point in my life (absolutely loved it back in my 20s); I'd much rather take a train or bus, or walk.

The lack of quiet is an absolutely valid point. I personally just got used to it. I grew up in the suburbs and didn't move to a city until I 29 years old. That was almost 15 years ago, and I still love living in a city. But everyone's tastes differ here, certainly.

> Your selection of restaurants and bars is actually quite limited

I guess you picked the wrong neighborhood, if that's what you were looking for? Within a 10-minute walk I can choose among 15 or so restaurants, and seven bars. If I widen that to 20 minutes, I can add another 10 restaurants and three or four bars. And I don't live in a particularly dense or "party scene" neighborhood. At this point my partner and I pretty rarely leave the neighborhood for food or drink. And when we do, it's usually to meet up with friends who live in a different neighborhood, or to treat ourselves with something fancy/different.

> Life is MUCH better, for me, in the suburbs.

I'm genuinely happy for you! I personally don't care so much about having a yard, and we have all the storage space we need. (Frankly I prefer to constrain my storage space a bit, so I don't accumulate more stuff than I need.) We also own, so no need to deal with renting.

But I'm not trying to say you shouldn't live in a suburb, if that's what you want to do! My point is that I do think that some of the things that make cities unlivable for some people are the way they are because of decades of pushes toward car culture. Maybe fixing those things wouldn't sway you, personally, but I think there are lot of suburb dwellers who think, "I wouldn't mind living in the city except for X", and that X is actually something that's not hard to fix, if there was political will to do so.
If you're taking home $110K, you're not paying $52K. That average is being driven by the fat tail of parents with million-dollar incomes.

Compare this data from Yale: https://admissions.yale.edu/affordability-details

97% of $100-150K incomes got financial aid, with median net cost under $15K.
Fair enough, I more so meant to ask if the core reason for you staying rather than transitioning to an equivalent service was the follow list. For example, if a tool existed that let you simply export/import your follow list to an equivalent platform, would you still stay for something you believe twitter does uniquely well? My big concern with twitter is it's main selling point was trustworthiness, which it has lost. Right now the one thing it seemed to do better than other platforms was combat misinformation, but now it is the same as other platforms, if not somewhat worse than some.
You mean you actually have to pay a significant number of humans to run a giant monolithic content platform responsibly?!

But our profits!
Southern fried chicken has a fascinating history.

It combines West African techniques that used flavoured batter and palm oil to force seasoning deep into (albeit soggy) meat with Scottish techniques that used animal fat to create a crispy shell designed for preservation (albeit with little seasoning) [1]. Add in one of the few places on the planet, at the time, where cast iron was cheap enough to find its way to even slaves, and you get the cultural tradition that is Southern fried chicken: flavourful, crispy and accessible.

[1] https://en.m.wikipedia.org/wiki/Fried_chicken#History
> You can't get addicted to a substance that you don't have the ability to obtain in the first place

If you're saying you can't acquire heroine, given 24 hours, I'm afraid I've lost faith in everything else you've said because it's just based on a flawed perception of what world we live in.
My father's family have been in Maryland since the 1600s. When my father made fried chicken, he made it with lard, a seasoned breading, and a milk gravy, somewhat like country fried steak. But he never billed it as "Maryland fried chicken" or conveyed any sense of "this is how ~we Marylanders~ do it" whereas with other things, like crab cakes, there was definitely a sense of This Is How We Do It Here And Those People In Virginia Can Go To Hell.
I'm so sorry for this, it was my bad. On the website, there is a link to the demo people can try but it is not exactly the link I posted.

This is the link: https://futvis.streamlit.app/. Sorry for not having it accessible to anyone. Unfortunately, it is a button inside the website and I misunderstood the rules.

Again, I apologize for this inconvenience.
Happy birthday! Here's a gift to help with numbers shifting place when updating:

font-variant-numeric: tabular-nums;

https://developer.mozilla.org/en-US/docs/Web/CSS/font-varian...
You're saying it hasn't made it onto your lexicographic allowlist yet?
Wouldn't a black surface be absorbing heat from above it?
Sphere and Loathing in Las Vegas
It's an easy mistake to make. They both are most often used incorrectly by people that poorly understand them.
Perjury cases are very, very rarely prosecuted even in cases where the violation is blatant (from my experience).

Occasionally the system works, though. I remember one suspect I knew defending himself against what he said were totally bogus domestic violence charges. The woman came and testified against him and he lost. A week after the trial, and before his sentencing, his lawyer came and told him the government had just disclosed that they had discovered the complainant had three separate perjury convictions in three other states for being caught lying in domestic violence testimony.
I’d love to learn how to build one of my own from you since it’s that easy?

The form factor here is ideal. Also unclear if it’s 4K (can help with brightness in less than ideal lighting.

My understanding is the same components still have to be driven well to work together by custom software for high quality?
What’s really needed is an end to zoning. It’s absurd that bunch of houses built when LA had a fraction of its current population are still standing, when the free market should have replaced them with higher density housing decades ago.
Mirror: http://archive.today/dqs0Y
Just need to use a Hermes berkin 35 for the toolbag and it will never be misplaced.
That's exactly why I use it. Only dev environment available to me.
I'm not a competitive Advent of Coder, but as a corporate trainer, I appreciate it for giving me insights into my coding style. Hopefully, I can use those insights for my students.

The last time I did AOC, I tracked every error I made to reflect on my mistakes when coding.

I think this year I will do "Advent of AI" and see how far AI tooling can get me.
Deny and list have both been words for more than 1500 years. Unless someone is trying to be particularly daft, it’s pretty straightforward to put them together and grok a mean. Much better than blacklist. If you didn’t have a dictionary, you would never know.
Wow. I've never thought of heat in that way. Mind blowing.
You're not being imaginative enough.

Evil Joe: Can you install this package in the system's python install? All users in the lab need it.

Naive Joe: Hm... Seems harmless enough enough. Let me just install locally and check if there aren't any setuid binaries in there

naivjoe:~ $ pip install --local getpwned

... checks all installed binaries look good ...

Naive Joe: Funny package name

naivjoe:~ $ sudo pip install getpwned

Naive Joe: Done!

Evil Joe: Thanks! evil laugh

Naive Joe: uh what's so funny?

Evil Joe: Nothing.

Careless, amateurish? Maybe. Obvious? Maybe not.
Agreed, eye height is critical and hard to ignore once experienced.
The page is wonderful as is but nothing is ever perfect. I think the page has 3 different readers: 1) quickly figure out how url's work (without the useless username:password@ and the port number) 2) The full spec/technical description. 3) The elaborate: Everything there is to know about this, history use cases etc.

I remember when it was normal to have data structures separated by whatever character. Sometimes you needed multiple or (heaven forbid) more than one character. It wasn't always as pretty as one would like. The URL is the worse case with all this "://",":", ".", "@", "/", "?", "&", "#" which may have a different meaning depending on where they are found. It is now complex enough to challenge even the best of us.

I keep making this joke no one thinks is funny: how embarrassing it is to have to explain this to the youngsters. We can only hope they are naive enough not to loudly protest our compound mistakes.

Imagine how the reader is assumed to know the "[notation]" for optional parts but then "we" chose to wrap the ipv6 in it! Or take how it isn't mailto:// nor https:www.example.com

I'm not entirely sure but I think it was www as opposed to ftp.example.com or mail, smpt, pop? The www was the new thing on the internet.

> I've not stated that this is the case, but I might add a note, that this is the case.

It is never mentioned on pages like yours but seems interesting perhaps even useful to know.

> The `&` is only needed if you have multiple parameters

What samtho wrote below is interesting. Apparently it is just convention. You can do whatever you like (as long as it doesn't include a "#" I presume)

You could say:

scheme://username:password@hostname:port/path?query#fragment

But then it would be less obvious than something like:

http ://jack:agent007@mywebsite.com:80/vacation/antartica/temprature.php?year=1988&month=march#notes

Except the username:password and the port people are likely to have seen most parts browsing the web.
> Poker has the best hourly rate for any job in India. The money is simply un-comparable to any job a 20 year old can get and is close to VP+ level in unicorn/FAANG companies

> Imagine sitting in front of a screen for 12-16hrs a day, clicking buttons

> The 95th percentile Poker income is about $200-250k.

I knew quite a few people who went through poker phases in college and their early 20s, back before it was heavily regulated. Back then, it was common for random people to join online casinos without any real skill to go along with it, so they were basically milking the average players all day long. They all had similar ideas about how they were going to get huge incomes by applying basic principles and scaling it to as many simultaneous poker windows as they could.

Some of these were very smart and talented people. A couple wrote scripts to track and graph their progress and statistics, which they shared online for extra motivation. Honestly, it became depressing to watch the growing dissonance between the high incomes they thought they were going to generate and the actual progress of their balances.

Also, staring at poker screens for 12-16 hours per day is soul crushing. Doing that to have a 5% chance of earning $250K (if those stats are correct) is even more depressing.

And then there's drawdown periods: Some times odds would align against them or they'd be off their game for some reason. They could go through long periods where their net balance was either flat or in slow decline, which could turn into a self-reinforcing cycle that worsened their play.

I don't know anyone who continued for more than a few years.

I did recently talk to someone who left their tech job to play poker for 5 years. He was at a level where he traveled to tournaments and got lucky a few times, but realized it was no longer fun nor sustainable. He was having a huge difficulty getting back into a career job. Most interviewers looked at the 5 year gap in his resume to play poker and passed. Those who did give him interviews asked a lot of questions about his career goals, likely because they assumed he was just falling back to a real job for a while before he went back to poker again in a few years. Last we spoke, he still hadn't landed a job.
Yes, I think this will come sooner than AI doing competent level coding (at least for large enterprise codebases). There is a lot of admin level work that is relatively straight forward doing summaries and status updates.
Just turn off autocorrect. That's only for kids who can't spell for themselves.
But isn't time relative?
Ask the joke.
This is also a great way to not pick up your phone too many times an hour.
I think there's a pretty wide gulf between true "rural" areas and the most dense of the suburbs.

A 30-minute drive to a grocery store in a suburb doesn't surprise me all that much. In the 'burb I lived in during my teens, 15 minutes to the grocery store was essentially the best you could hope for. Add some traffic (pretty common most of the time) and that could easily creep up to 20 or 25 minutes.

(And yeah, I live in a city now, and I can walk to a very well appointed smaller grocery in about 3 minutes.)
In the capital cities - maybe. But outside? You can travel on street view to Egypt or Russia, there are bad roads and no off-road vehicles.
> Inko uses lightweight processes for concurrency, and its concurrency model is inspired by Erlang and Pony. Processes are isolated from each other and communicate by sending messages. Processes and messages are defined as classes and methods, and the compiler type-checks these to ensure correctness.

> The compiler ensures that data sent between processes is unique, meaning there are no outside references to the data. This removes the need for (deep) copying data, and makes data races impossible. Inko also supports multi-producer multi-consumer channels, allowing processes to communicate with each other without needing explicit references to each other.

Now I'm very interested. I was wondering why with 'actors' we'd still mark functions as async. It seems that a class marked async is analogous to an actor.

class async Counter {
let @value: Int

fn async mut increment {
@value += 1
}

fn async send_to(channel: Channel[Int]) {
channel.send(@value)
}
}