skysight-inc/HackerNews huggingface dataset:
Just to clarify, Mindstorms has had many iterations. I believe what you're referring to is Mindstorms 1.0 (RCX). It's had three successors in the past 20 years or so - NXT, EV3, and most recently, RIS.

The most recent iteration is based on SPIKE Prime. It's the same hub, but with slightly different firmware. The motors are and sensors are the same but in different colors.

All Mindstorms iterations (including the most recent) are untethered. As is SPIKE Prime.

Essentially this announcement is that they are discontinuing the consumer-facing branding, but continuing with the education product, SPIKE Prime. Both products are actually identical, minus a few firmware differences. The number of motors and sensors included in the box also differed.
Treesitter is amazing. We have a bunch of sql strings in python and I was able to drop a couple of lines into my injections.scm to isolate them and get perfect sql highlighting within my python code.
You don't have the police decide if you get your teeth fixed.
I wonder if the industry incentives have shifted and if it impacts these cognitive benefits.

Games changed a lot over the past two decades and I am not quite sure they preserve the same sense of challenge, opting for quick rewards and addictive mechanics.
Nintendo Switch. Animal Crossing? Breath of the Wild in a year or so.
Except you're not counting the thousand other ways a bird could die in a particularly newsworthy way.

Not that the raw statistic is meaningful either (how many turbines were in the sample region?)
Can we not make this the new low-effort way of saying "this doesn't make sense to me"? I've seen it a lot lately and it's at least as insulting as a regular old ad hominem attack.

FWIW it made perfect sense to me. It's a fun and thought-provoking analogy.
About :grep, try integrating GNU id-utils with Vim.

GNU id-utils provides a mkid command which scans a directory of files to build a binary index file called ID. The lid tool is used to query this and provides a grep-compatible mode.

lid sometimes puts out things in a funny order, so I sort the output.

:set grepprg=lid\ --word\ --result=grep\ '$*'\ \\\|\ sort\ -n\ -t\ :\ -k\ 2

This is basically instant even on huge file trees.

Or, if you'd like :grep to use git grep:

:set grepprg=git\ grep\ -n\ '$*'
> Well, your own link proves it, doesn't it?

That code simulates a bounded cellular automaton, which effectively reduces to a regular language, but that's about as far as I've been able to get. If it's possible to implement general recursion, I'm not quite sure how - yet.

> Kotlin has nominal subtyping, contravariance, and generics, therefore its type system is undecidable.

They're not using Kennedy and Pierce's system, but it's closely related. See Tate (2013) [1], in particular, "In general, since declaration-site variance can easily be encoded into use-site variance..."

> I ported that code directly to Kotlin

Can you share your translation of Eric's code? Maybe we can get it to work.

[1]: https://fool2013.cs.brown.edu/tate.pdf
Meta thinks about foreign market share constantly, it’s a primary reason why they purchased WhatsApp in the first place.

The failure to capitalize on their userbase with accessory businesses probably has more to do with the VC/Silicon Valley obsession with the hot new thing and what they hope will be the next new hot thing. Commerce is boring, TikTok and VR platforms are much more exciting.
>.......I'm sorry, what? It seems like iOS is "stealing" features from Android every few years, they basically let Samsung and others implement something first, improve it for a couple iterations, then finally they add it to iOS and say "look this is a massive step for iOS!"

Who knows -- there may have been a time where one was superior and the other inferior but slowly pilfering features, but for right now moving from iOS to Android is like an American considering emigration...

(Where you gonna go... Montreal? If I rolled my eyes any harder, my retinas would literally detach.)
When all this started going down I bought industrial engineering technologies I wanted to teach myself to use better - and got to work doing useful things with them. I'm unsurprised that these tools keep climbing in value. I feel like we are entering a world thats going to separate those who use technology to their advantage and those who are just being used by it - and it does not look good for the latter.
I am curious to understand the reasoning behind people saying it was a mistake, like how does something that big get past all the C-suites, F-suites and every other suite people of the company...
Like I mean seriously was everyone blind!?
But this isn't state of the process image that needs to be serialised, it's state of the connection between two hosts and some kernel configuration on those hosts. Programming language doesn't play into it at all. Languages "such as Lisp" will have the exact same problem, for the same reason. Collecting all of the "components" of the connection and sending them to a different host won't make the other host start sending packets to the new recipient, or replay the in-flight packets (which is state on intermediate routers, different computers than the connected ones entirely), or fix the ARP tables on the neighbouring hosts. None of that is available, and certainly isn't writeable, to the host doing the serialising.

To play some silly semantics games, this isn't so much about _serialising_ a connection as it is about _deserialising_ the connection and having it work afterwards. That act has literally nothing to do with programming language.
Perhaps the underlying addiction mechanism (dopamine) also improves cognitive performance (as a side effect)
It wouldn’t be surprising at all that a child’s relationship with video games is no different than their relationship to any other form of media - it can be constructive and educational and productive, or it can be a waste of precious time. Big AAA games can still be fun and formative, too. Discuss the meta aspects with the kids - what ads do they see inside the game? What team aspects or problems solving is needed? How are video games like the real world and how are they not? How much is the CIA involved in the plot lines of the latest CoD game?
Totally, it's certifiably untrue!

Take the InnoDB storage engine in MySQL/MariaDB for example.

For performance (and likely other) reasons, this file only grows. It never shrinks... it will only go to 0 or grow.

The DB (or individual tables, depending on config) have to be truncated/emptied to reclaim those blocks.

Stop it uncleanly and there's a good chance you'll have to sacrifice a considerable amount of the data just to get the engine to start

This and countless other things have to make consistency trade-offs. While everything could be written to only operate atomically, it will also slow to a crawl.
They promised full autonomy for the F35

And supersonic flight.

Its just its been held up by the small detail that the airframe keeps making huge holes in the ground every few weeks.
It's funny how different circumstances shape people so differently. I had access to a lot of video games and I decided I wanted to make them as a kid and that started my programming experience around 11-12.

If I didn't have video games I probably wouldn't have become a programmer!
Many LED wall shots are completely rotoscoped anyway just to dial it in that much further. But you still get the advantages of environmental lighting and the efficiency of real time decision making.
> I met someone recently who told me they SLEPT on their way to work in their Tesla. On purpose. They bought the car specifically because they had a very long 2.5 hour commute.

Think about that. If someone can literally sleep while the car is driving itself, and it doesn't crash, then the self-driving feature actually works really well.

I mean, try doing that in a Chevy.
CuriousMarc has an excellent episode on an atomic clock.

https://www.youtube.com/watch?v=eOti3kKWX-c

I like to pretend I can fix computers, this guy can actually fix computers, which is probably why I find his show so fascinating.
Something like 90% of it is drug addiction.

The communists simply made everyone poor and hopeless.
I dont understand what you're getting at. What are the "reasons to think" that the populations are not equivalent? The study controlled for parental income, sex, age, BMI, IQ.
> There are over a dozen confirmed deaths at this point, directly attributable to the outright lies spewed by Elon and co. regarding its' capabilities.

Got a link to a list?

The few cases I've investigated turned out either not to have it enabled or were cases of serious negligence on behalf of the driver.

Also, they get a user manual they need to read/click through before they're allowed to use the autopilot.
"Houston, we have a problem."

The other pilot is not wrong. If I can't already see that there's a MiG on your tail, what on earth am I gonna do about it? Least of all because in that era would I even know which direction you are from me at that moment, if I wasn't your wingman? Meanwhile you're screaming over everybody else's wingman.
stories like this make think, if the metaverse is a thing, that guy lived to write that account in exactly one universe.
> As far as I know, they keep running with the last supported version of macOS.

During the past 3 years I was forced to upgrade from Mojave to Big Sur to Monterrey, each and every single time because otherwise my 2019 MacBook pro would not be allowed in the network as it was running unsupported OSes.

No, they do not keep running with the last supported version. Having a successful boot sequence and seeing blinking lights is not the end goal of spending over $2k on a luxury computer.
Can vim and/or emacs do refactoring? That is a feature that I use daily and couldn’t live without
Quite the opposite. While IME is discussed to death, the same loss of control is happening everywhere and becoming more and more entrenched.

Like mentioned elsewhere in this thread, the problem isn't the presence of these types of components, but how opaque to the user (read: highly technical user) they are. Also they exist because there is demand for their features.

The talk I linked makes the case that OS development is failing by pretending these co-processors are outside its scope, and hardware vendors just go and do their own thing on the side. I add that this incentivizes proprietary firmware instead of open one. I mean, if there were pressure (from paying customers) for Intel to support open-source IME firmware, they'd do it. After all, they just want to sell more chips.
It would be natural to do so since you assume in these time-reported things that people are not precise about the actual amount. If someone will report (x-1,x+1) h then it makes sense to just bucket into low and high so that, if there is an effect, it is initially apparent.
Tangent: Man this landing page is hard to read. For the record, I'm a full stack web programmer.

What the fuck is an island?

"Lazy loading islands" What?

"Components only hydrate when they scroll in to view" WHAT?

"Need interactive UI? Load individual, non-blocking component islands in parallel." WHAAAT!?

"...and live server output (SSR)" SSR = Live Server Output. OOOOOOOkay.

50 acronyms later and I'm way too fatigued to try this shit out.
The Feds are afraid of Musk. You may have better luck at the state level.
Let's just admit that you have no idea what Mississippians want or would do.
you neglect inefficiencies of converting primary energy sources to actually used energy
> if you own you have to factor in maintenance, property taxes, and insurance.

Around here, if you rent, your landlord factors those things into the rental price. Admittedly not necessarily the insurance; that typically is just a requirement of the lease.
The most easily available Meccano-compatible system still in production is the Swiss brand Stokys: https://www.stokys.ch/de-ch/home/

The web site and order system is in German, but I've been able to talk to their friendly customer service in English. Then there's the matter of shipping outside of Europe... but it's still much easier than scraping parts together from vintage Meccano vendors with circa-1995-style web sites.

I remember having some Erector sets as a kid in the '90s (they had merged with Meccano long before, and the choice of which brand to appear on which set seems to have been random since then), but these days the official Meccano/Erector selection is almost non-existent -- there are maybe a dozen small self-contained model vehicle kits, and you can't order generic kits or parts in bulk. It is rather sad -- these brands were once used for serious engineering prototyping and scientific work: https://en.wikipedia.org/wiki/Differential_analyser#Use_of_M...
You'd be surprised how close this is to the truth, if you ever saw how the sausage is made.

There are few easy promotion-worthy projects left to be done for NT or Win32, so little work gets done. A lot of the work is done by people who don't develop Windows as their primary job description, especially Azure folks.
Yup. There _is_ a bottom line.

I remember a few years ago taking Ubers and thinking: "so cheap! But, well, this can't possibly last". And it didn't.
This is just people not understanding databases (see: crypto as an extreme example)

Money is very real, it's just abstract in the sense that it's a unit in a database more than it's an object (it used to be both).

So sure, there are other units in databases that can be converted into money at a predictable exchange rate (often via code written by thousands of people sitting in information silos), but that doesn't mean that those units replace money in any holistic sense.

It's like saying money doesn't matter for TV networks, commercials viewership does (when ofc commercials matter b/c they lead to money).
I don’t know if there’s a word for it, but I get that too.
I have to enquire if something like that exists in our town. Seems like the idea has been implemented and seeded elsewhere.
Uh, the federal government is always at the top of the food chain in all R&D tech. They pioneered VR before Meta. They continue to fund VR. Zuckerberg is just acting like a government research investor. Which is, spend money on an idea that doesn't seem like it will immediately bear fruit.

This is how literally ALL the technology you use was developed. Huge, multi-decade spending on R&D until it works. Literally any technology you can think of.
That is exactly why the Core 2 platform remains popular precisely for this purpose.

A 45nm platform that will do what you ask is far preferable to a 10nm platform that won't.
Not my experience. I knew a kid who went to prison for years after hitting a biker in black with no reflector at night.
Yes. Well, Emacs definitely can, and I have no doubt Vim can with the same tooling. For example, Emacs has excellent support for LSP. If a language server exists for your favorite language, and it supports refactoring, then so does Emacs.
I did the same thing - I was very confused at first. Once you orient yourself though in that initial city and get a bit into it then it becomes very very good. I think I may have been playing years after with all the bugs fixed and the DLC's added and whatnot but I thought they killed it with that game. Still hoping we get another!
Oops, I was trying to install a used HDD and wanted to make sure it was clean with the forensic 7x write option, but I chose the wrong device from the CLI and wiped out the data you're too cheap to pay for
Wait - it ends at Prague? I thought that was the first city? I swear there were lots of locations .....
>Got a link to a list?

There's been 10 just this year: https://fortune.com/2022/10/19/tesla-cars-involved-in-10-of-...
I am one of the co-founders of https://ably.com. We have built a Serverless websockets platform that is near infinitely scalable and designed to handle the complexity you’re describing such as cluster resizing, connection failures, automatic sharding and reallocations using hash rings across our global edge service etc. I’d be really interested to hear why you wouldn’t consider offloading this to a service like ours which powers the likes of HubSpot, Expedia, Spotify etc. Feel free to contact me directly @mattheworiordan if you’d prefer not to comment here. I’m really keen to hear different perspectives on what we’re doing right and where we can improve!
I'd be interested in measures of social and emotional intelligence.
> When it comes to banking there are a lot of modern "shortcuts" that make it safe and painless pretty much everywhere in the world.

Can you elaborate what shortcuts are you referring to in this context?
What I said was that VR gear won't replace smart phones in the next 10 years.

So it isn't about presence (after all, we have and have had VR/AR/XR equipment for quite some time now), but rather about relative ubiquity and obsolescence of what came before (in this case, replacing smart phones).

I might have a blind spot here (or lack imagination), but I think some of the reasons why I don't see these glasses making mobile phones obsolete in a 10 year time frame as a confluence of:

- people in the US by and large prefer not to wear things on their faces (is it seen as weak, esthetically unpleasing, sign of old age?)

- mobile phones (and smart watches, etc.) provide a good balance between mobility and utility

- if VR/AR/XR moves to contact lenses, the first point goes away but you will still need input mechanisms etc. and I doubt that contact lens formats will be able to supplant photographing/video and music playback which has become such a big use case for mobile phones.

Arguing against myself (somewhat): I think for VR/AR/XR to be truly successful, you need to feed the experience directly into the brain because that gives you high fidelity, high mobility, and removes the physical barriers that a contraption on your head brings. But that is even further out than 20 years, assuming humans don't retaliate against the idea of interpersonal communications that is so heavily mediated (read: manipulated) by a company (this happens in social media already).
Who really believes in determinism these days? The people who believe that one day, should we have enough inputs we could make provable predictions about the behaviors of sentient beings? That AI will become fully conscious like a human?

I don't claim to be an expert in the area, but it seems that non-determinism in nature seems to rebut that possibility. At the subatomic level, to a systemic level.

Meanwhile the idea of a deterministic universe masked by a fake belief in in our own consciousness is something of a deeply pessimistic thought.

If we everything has been determined, and you are just an observer within this deterministic vessel, then there's absolutely no reason why ethics should have any consideration, among other problems.

I'll just settle on the existential dread that I've been making the wrong decisions...
I recommend storing the server topology somewhere that's super highly available, like Cloudflare. Then having the client choose from that. If their connection drops (use heartbeats), retry a different one you have and refresh the server topology in parallel. If the second connection fails, retry again with the new topology. This is convergent and avoids putting load on your database to connect, so you don't suffer from thundering herd problems.
The same thing happened with young people coming out as gay or bi years ago. It wasn't a memetic epidemic, it was people feeling safe to admit and come out about aspects of themselves that weren't socially acceptable in the past.

> All this is possibly fine if it weren’t for the fact that it’s self destructive and encourages self mutilation.

If you genuinely care about the well-being of children, you should know that the acceptance and support of their identities results in drastically reducing the risk of suicide and mental illness[1]. The science shows that children who are supported in their identities have the same rates of suicide and mental illness as non-trans children:

> Socially transitioned transgender children who are supported in their gender identity have developmentally normative levels of depression and only minimal elevations in anxiety, suggesting that psychopathology is not inevitable within this group. Especially striking is the comparison with reports of children with GID; socially transitioned transgender children have notably lower rates of internalizing psychopathology than previously reported among children with GID living as their natal sex.

[1] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4771131/
Exactly. It essentially amounts to "ban people from talking to one another" in the end.
Why hamstring the game by running it in a VM?
Her partner Andrew is in Bowden's work "faster than thought" but regrettably she doesn't seem to be. I think an oversight which would not be made now.

What an amazing career she had.

https://en.wikipedia.org/wiki/Kathleen_Booth
I wish there were a vim equivalent for electronic medical records

Or at least the ecosystem that you could choose your tools to help do your job, rather than be victim of the world of shit that is the (pick any) EMR
You'd be surprised how much having even a couple dozen square feet of canopy can slow you down (his full canopy was probably over 250sqft when fully open).

Here's a video of someone whose reserve and main chutes get tangled, and despite them spiraling out of control into the ground, walks away without injury:

https://jointheteem.com/videos/friday-freakout-skydiving/fri...

You can search videos of "parachute double malfunction" to find other similar examples.

The person in the video above certainly had a fair amount of canopy open, but there are others where the person has little more than some crumpled streamers.

As far as opening at the last moment, if the person in the OP story had had it open above like 150 feet, it would have slowed him enough to have essentially no injuries. If they fell 15k feet, most of it unconscious, there's no reason it would have opened in the last 150 feet and not the 14850 feet beforehand.
Maybe the annoying leetcode interviews will end too when everyone stops trying to copy the (once) rich kid on the block.
Haven't astronomers already found a way to solve this problem? by using the standard Epoch.

"there has also been an astronomical tradition of retaining observations in just the form in which they were made, so that others can later correct the reductions to standard if that proves desirable, as has sometimes occurred."
[https://en.wikipedia.org/wiki/Epoch_(astronomy)]
https://www.youtube.com/watch?v=qs2QcycggWU check this out, excellent teardown explanation about how the antenna works.
You already can, Unity has their own section of Unity on the web games you can play. They aren't graphically impressive usually but comes down to lack of development resources.

Then there's examples like Townscraper (https://oskarstalberg.com/Townscaper/) which are graphically nice and already playable on the browser. There are also many games on itch.io of varying quality, but IMO Townscraper is the nicest.

The problem of storage is also quite important, it's hard to push a high quality game on the browser when a lot of people won't stick around for the 10GB+ download needed, not like they would if they're downloading from the Xbox store or something like that. So it's a bit of a cultural issue as well on that front.
But they make the compilation slower, don't they?

If the library is open source, I'm fine compiling it once and then linking it. Not a big fan of header-only libs to be honest.