skysight-inc/HackerNews huggingface dataset:
Yeah industrial design and ergonomics tend not to have the same goals. Personally I was able to use a Quest 2 for ~1hr without too much issue, but it's not something I'd want to do on the regular.

The big product marketing question is what niche do headsets fit in, and thus whats the ideal single session and daily usage goal for a headset?

If it's about replacing laptops or another high usage scenario, that's a pretty high bar, definitely too high for the next 1-2yrs. I imagine some people at Apple wore dummy see-through goggle ergo tester units of varying weights around all day to get at these numbers :) Wonder what they came back with. Even still, that only gets at weight vs the perceptual ergonomics, skin-feel, etc.

The issue I see with headsets is that there may not be a lot of improvement possible without compromising durability or other factors necessary when going to market. E.g. what if they can't get it below ~400g (making AVP ~40% lighter), but to make the headset comfortable for most people for the usage scenario that makes them mass market (e.g. 2h+ sessions daily) requires ~250-300g?
I don’t think I want hyper dense, but having more places to walk, bike, and explore that aren’t just cookie-cutter boilerplate-esque suburbs and freeways would be really nice. More places to meet people too, there’s so few third places. And not needing to drive would be a really big convenience.

What does hyper dense mean? And how is that detrimental? Tokyo meets all of your requirements, for example, but you would call that hyper dense for sure, right? The article is "about" Baltimore, MD. Does that city meet your threshold of hyper dense?

As with most things, a lot of this comes down to money. The more dense an area, the more use the things you want are used, and the more money they make, they more likely they are to thrive. The more dense an area, the bigger the tax base, the more money there is for nice things that maybe don't make money on their own.
Never. I rarely get above 170GB RES. Most days below 30GB, even.
> What would VR add here?

I'm imagining an AI VR tutor - heck, with some legal deepfake+AI style evolution, perhaps that tutor could actually be a famous player, talking to you.

The 3D view gives, well, a 3D view, and all the advantages it entails. For example, when you are with a physical real world teacher, you don't have a fixed view. You can observe from any angle, the teacher can observe and correct micro errors. And the senses of scale and proportion are intact, unlike viewing on a 2D screen of arbitrary size at arbitrary distance.

Even the simple POV of VR means that you get to see the techniques in-situ - e.g. seeing the expert's hands on your guitar, and how the technique is supposed to look from POV - rather than the standard teacher-student limitation of e.g. guitar, where the student sits opposite the teacher and sees a reversed image.

But to be clear, my vision of how this would be game changing relies upon a level of interplay between hardware and software that is not yet developed. But I expect it will be, in time, because virtualising real world experiences is arguably the core goal of VR, and (correct me if I'm wrong) but nothing in the music tuition world has yet proven superior to having an extremely skilled one-on-one mentor who can personally guide your every step, "in person" - and this is what VR would seek to achieve here.
It sure does, but also provides the company with exponentially more room for growth. As it stands they still make fast, tiny, low power computers with a large amount of community and enterprise support. They still make an in-demand product, and aren't finding difficulty in selling them. Investing in IPO's is a real gambler and suckers game to me, but in the long term this could accelerate the growth of the company greatly. Whether that leads to exciting and innovative new products from them is completely in their hands.
Sadly, I don't have a link for this yet. My goal is to write this up once I have a compelling example.

In the meantime, check out my github. https://github.com/nanolith

Currently, I'm feeding commits into libcparse, which is the start of this effort. That stream is currently about 180 days out of phase with what's in my local repositories, but it is slowly trickling in. The first step of this second phase will be to use libcparse to verify itself via constructive proofs in Lean. Currently, and by that I mean what hits in March or April, libcparse has a mostly C18 compliant lexical scanner for the C preprocessor. The goal is to have a SAX-like C18 parser that can detect all C declarations and definitions. Tooling will include a utility that imports C declarations and definitions into both Lean 4 and Coq. This is a moonlighting effort for an upcoming book I intend to write.
https://m.youtube.com/watch?v=XboeI_lRW48
Immediately set as my laptop background
> only really turning around because Jobs was a hard-nosed businessman.

Exactly, he knew that the success of the platform relied on third party developers (NeXTSTEP was a huge improvement)

> Also: is macOS "perfectly fine now"? How many people only use it because it's necessary for iOS development?

I don't know? Do you? I would bet on around 5%. Although I'm not quite sure what's your point?

> Like between 1993 and 2000,

Which was a relatively short period, compared to their post 2000 succes.
Why isn't this actually happening? Parking lots are really 2D spaces, so leveraging the unused 3rd dimension is very smart and profitable.
wow love it
This is what I want in obsidian and maybe even an ollama integration
I don't think you realize how many products Google has. Cruise had ~ 4k employees at its peak. Waymo is just one tiny project in Google. Splunk had 8000 employees, GCP has a competitor to it. Bigquery is a competitor to Snowflake, who has around 5,000 employees. Databricks had 4k employees, which GCP also has a competitor to. This is just a fraction of the software just in cloud.
Crypto lost the anonymous value long time ago when against a state power. So the money are not really their to begin with, particular when it is 2B.
The watch is a new product category under his leadership isn't it?
Its bit sad that startsWith doesn't narrow the type, making this pattern slightly less convenient. The GH issue: https://github.com/microsoft/TypeScript/issues/46958
Well, this site often deals with fringe stuff. Take Lisp, for example. It is a fringe language, no matter how zealous its advocates are. So is Haskell. But you see articles about them posted here far out of proportion to their real-world use and impact.

And I disagree that "most of their assumptions go unchallenged". I see challenges to the assumptions of lesswrong, e/acc, and other such stuff often here. (Maybe less often than is warranted, but still fairly often.)

"It is the mark of an educated mind to be able to entertain a thought without accepting it." - often attributed to Aristotle, but apparently not actually from him. Still a good thought. We can post about this stuff, and discuss it, without buying it.

I agree with your pushbacks.
isn't that how Xorg remoting used to work as well? the display server and client are separate, so whether the pipe was local or remote didn't matter. In principle, Wayland could do it too, I think, if there were a way to synchronize texture handles (the Wayland protocol is also message-based, but IPCs GPU handles around instead of copying bitmaps.)

I guess one downfall is that that your pipe has to be lossless, and there's no way to recover from a broken pipe (unless you keep a shadow copy of the window state, and have a protocol for resynchronizing from that, and a way to ensure you don't get out of sync.)
This isn't the first commercial RE bubble the US has had to cope with. We had a similar catastrophic one near the end of the 80s that bled into the 90s. People have mostly forgotten about it. Vacancies in some cities rose from 10% to 40% largely due to overbuilding. Recovery took about a decade.
> Using this technology in [space] environments in which there is potentially dangerous biological material would make laboratories easier to control and safer for the professionals who work there.

> Spike the viruses to kill them. This seemingly unsophisticated concept requires considerable technical expertise and has one great advantage: a high virucidal potential that does not require the use of chemicals. The process of making the virucidal surfaces starts with a smooth metal plate, which is bombarded with ions to strategically remove material.

> The result is a surface full of needles that are 2 nanometers thick—30,000 would fit in a hair—and 290 high.

> [...] The research has revealed how these processes work and that they are 96% effective
Shareholders are the primary paying customer, coupled with legal obligations and a wherewithal to act on any sort of litigation. So it’s no wonder why they’re prioritized.

I’m not a fan of it, but it’s the lay of the land.
Apple said that contact lenses might interfere with eye tracking (or maybe with the iris scanning). So it’s a data point if he says he had no problems with soft contacts.
Wait you guys got offices?
How do you know which keys to get? Let me guess... you read their website.
It seems that anyone entrusted with private information will eventually be breached. I think that there should be legislation - strong legislation - that protects our society's individuals and their information. Make it an uncomfortable and costly responsibility to collect information, store it temporarily and long-term.

Additionally, connecting devices to the internet directly or indirectly should have the same sorts of responsibilities.
I'm glad he talked a bit about what this thing is like with a trackpad / cursor, because for productivity that seems like it's the only real way to use this device.
It's just a pretty old HP Z820 workstation. Not top of the line by any stretch of the imagination.

Here's an older geekbench report: https://browser.geekbench.com/v5/cpu/3159963
In many ways Marx works are continuation of Adam Smith's, who is explicitly calling against "rent extraction" and that landlords are curse on society and economy - which in mostly agrarian economies meant landlords held the means of value of production.

It's very ironic to later see fervent defense of rent seeking under the banner of "Adam Smith Institute" (at least an org named so locally) :/
The first two iWatches were borderline pointless/bad.

The first two iPhones weren't as innovative as they make them,just more polished than other symbians with cameras and internet, it took off with apps really in third iteration.

I think visionpro has lots of opportunities in the next iterations, early users will provide feedback this gen.
It’s my understanding that eye tracking isn’t great as an input method, it should be used more for stuff like rendering or NPC interactions.
"Musk launched a self-driving process, recalibrating the

speed and direction along the way as he saw fit"
Looks like the proper link was already submitted an hour before this one.

https://news.ycombinator.com/item?id=39195112
Not a good analogy.

1. Cobol is still around and it is much older than JS
2. Cobol systems is not as entrenched client side JS. It is used on websites because it is what browsers support.
Sure you will. Plenty of families share a single VR headset.
In 2007 we didn't have a precedent for just printing money to cover everyone when things went down. If anything financial disasters are great for people who hold stock now. All the added money will settle there.
One of the most mind-blowing use cases of spatial computing was using the Vision Pro while cooking. You could create timers for different activities and place them in the locality of the object that you are tracking. This way you can track the recipe throughout its different stages with these virtual timers over different pots, pans, ovens etc.
LLM is not doing anything given that Bing's growth since adding chat-gpt has been negligible.
All the positive stuff, apparently.
Arh.. nostalgia. I learnt to programme in PDP-11 assembly on ДВК-1 and БК-0010 somewhere in 89-90. That was my second assembly though. The first one was MOS 6502 on Atari 800s, they were quite popular in USSR in late 80th.Funny thing is that you still can purchase КМ1801ВМ3 chips in Russia for less than a $1 in bulk. I once considered building a ДВК clone to play with and to teach my kids some proper assembly, but then found this DVK-FPGA project on Github: https://github.com/forth32/dvk-fpga
There is some really great African food up north just outside the city. :-D Likewise along the northern parts of Aurora you can get some really great Korean food. (Also not strictly in the city limits).

Parks, lots of parks.

The only decent real "spas" I've found are all up north (Again, Shoreline, just outside of the city)

Ballard and Fremont are both big draws.

UW, kind of a biggie.
Apple Maps falls in that category. Maps was bad when it came out but after years of effort (and a lot of money), it's pretty good now. That was no small feat given how good Google Maps already was when Apple Maps started.
Not just French, also for example German and Polish.

Milion, Miliard, Bilion, Biliard = Million, Billion, Trillion, Quadrillion

(neither are justified because neither start at the beginning, that is at a thousand :) )
Ad revenue: $65.5 billion vs. $65.8 billion expected ($59.04 billion in Q4 2022)

Right, they got $300 million less than expected.

Which means they only got 99.544072948% of what the analysts expected.

That means they missed analyst expectations by 0.455927052%.

Not for total Revenue. Not for EPS. Not for net income. Not for diluted EPS. For the one category, Ad Revenue.

Resulting in a 6% after-market drop.

0.455927052% miss. 6% drop.

I think it's entirely possible that people focus too much on short term metrics and not enough on long-term growth.
> The court opinion is surprisingly readable. I don't know why, but I was expecting a lot more opaque lawyerly jargon.

As a European person, this is the kind of pleasant surprises I expect to hear from America
The moats are 1) network effects, 2) switching costs, 3) economics of scale, 4) low cost producer, and 5) brand. So an AI technology where each new user makes it more valuable for the existing users, there are data lock-ins that prevent customer switching, training costs are spread across more users, there is access to lower cost chips/storage/compute and a brand that attracts more users.

OpenAI already appears to hit a number of these categories.
The watch first 1-3 generations were clearly "so so".
What flaws? Age really badly in what sense?
This seems like a prank. I simply cannot fathom wanting this even if it were free --- and I own and have used multiple VR headsets. The idea that I'd want to live any significant portion of my day in one seems like absolutely madness.
We successfully onboarded a few grads and interns these last three years and all are productive team members today with a clear path for career progression as well. Some of them were already promoted to positions with more responsibility.

I always see these arguments and understand it can be hard. It can also not be hard and work well.
This is a plot point in the final season of Barry. I had no idea it was a real thing.
Elon Musk cannot keep Tesla pay package worth more than $55B, judge rules
I don't think it needs to be 100% not-there to reach full popularity, in the shape of glasses or a hat would be good enough, or perhaps something you can put on top of your regular glasses.
Every time I dive into the virtual endlessness of deep space, I feel so blessed knowing we’re part of something beautiful. Cold. Brutal. Terrifying. Not even a pale blue dot, just a nothing but still something.
That sounds like a problem with the engineering team's roadmap/work: if an individual who doesn't do work and doesn't impact the team's goals, then how is that a problem with the individual? Maybe there needs to be a more concrete or interesting (non BS work) roadmap.
Notion for some reason still use Somalia (.so)
Right, but if I have so much RAM available, it practically doesn't matter.

I've been running emacs since I logged in at 9am, edited ~100 different files. Many LSP inferior-processes running and emacs is currently sitting at 1 whole gigabyte resident memory.

What's more is that I would say this is a particularly light day for me and emacs.

I have literally never, never, not once ever had an issue with this much RAM and essentially turning gc off in emacs.
There is an audio interview, linked on HN, in one of the comments I can’t find, about the crazy story of tk domains involving gun running and drug smuggling, freedom getting sued by Facebook for tk abuse and so on. It was very interesting to hear dotcom bust millionaire stories from a user here.

Have this instead “How a Tiny Pacific Island Became the Global Hub of Cybercrime”

https://m.slashdot.org/story/421307
Tons of unused commercial real estate coupled with tons of people who cant afford housing... I wouldn't be mad if govt used my tax dollars to incentivize conversion of giant downtown office complexes into mixed use buildings.
Nice, love it.

There is an minimalistic Apple Watch face that I love which is such a simple graph of the suns position and it tells you times like these. You can move forward and back in time with the wheel.
I work in GCP, I don't get the sense that people are unhappy here. I think it's more likely that GCP, unlike the rest of google, is more of an amalgamation of many corporate cultures, (both good and bad).

A little bit more Amazon/Oracle, a little less traditional 'Google'. I think most people work 45 hours a week. I don't see anyone slacking off. But it's not a death march, it pays well, there are tons of perks still.

shrug It's not some magical fantasy land that some people make google out to be, but it's a nice job with interesting problems, smart coworkers, and it pays well.
I have never heard of CBMC before this thread.

SMT cannot solve cases where it simply cannot know what the length of an array is. For example, when array is allocated in code not available to the solver, or is set by the environment.

I remember trying out Spark a few years ago, which advertised its compile time checking abilities. I tried using an integer equation that used an OR, and it gave up on it.

If you need to add in range checking code to help the solver along, then the range check itself is a source of bugs, and the range limit has to be made available somewhere and be correct.

In my proposal, the array length is set at the time of creation of the array, and the length is carried along with the pointer. The solver's role then becomes one of eliminating the bounds check in the cases where it can prove the index is within range. The user doesn't have to do anything.

We've been using it in the implementation of the D compiler for a very long time now, and problems with buffer overflows are a faded memory.

P.S. I also added manual integer overflow checks when passing the size to malloc(), no matter how unlikely an overflow would be :-)
There are probably two dozen specialists on this issue nationwide. A properly targeted Google search will outperform your personal network of attorneys (and their network of attorneys) 99.9% of the time.
depends on how close those people live to the office, i think. my productivity definitely went up during the pandemic when i didn't have to face a daily commute.
Judge strikes down Elon Musk's $55 billion pay package
> On Windows of all places (95ish to MEish) there was a remote tool called radmin and it had something that I wish companies had embraced: it hooked in to (maybe even before?) the window-rendering functions and sent the changes over the network. It’s hard to explain exactly what I mean because everyone is so used to streaming pictures of the screen over the network (if they even use remote access at all), but you could have less than 20ms latency while controlling over the internet while using tiny amounts of data (50kbps? 100? not sure but somewhere around there).

This has been done many times before (see e.g. X Windows) and has known downsides. Off the top of my head:

- You need the same fonts installed on both sides for native font rendering to work

- Applications that don't use native drawing functions will tend to be very chatty, making the total amount of data larger than VNC/rdesktop/&c. style "send compressed pictures"

- Detaching and re-attaching to an application is hard to get right, so it's either disallowed or buggy.
> They then upload arbitrary packages on the server

And change the instructions to point to a different GPG key (or none at all).

I think the only situation it possibly helps in is if you are using untrusted mirrors. But then a simple checksum does that too. No need for GPG.
I've never played Pokemon, but I have played Ark and BOTW. Palworld is like a love child of multiple games that I love and does a reasonable job at them (IMHO).
Watch still under Steve, put it in other way, it's last product under his supervision.
That could end up not too bad actually - the for-profit company becomes hugely profitable, the foundation uses the dividends to further their goals of affordable computer education etc. etc.
Proton, a fast and lightweight alternative to Apache Flink
> It’s the first new product category made under his leadership and he’s eyeing retirement, as context

I've been wondering how much this is part of the context here. He may feel some pressure that he hasn't really launched a new major product category from scratch in all his time as CEO and if this has been running 10 years as a project now, that it would be a blemish on his legacy to not get it out the door before he leaves. Perhaps without him there it would even be binned which would be even more pressure to deliver it.

Contrary to all that he really seems a bit ambivalent about the device himself, having never allowed himself to be seen publicly using it.
> The "historic city center" and all that crap... that I understand... noone goes there for weekly shopping, but instead people go there to hang out, drink coffee, eat, etc.... public transport works great for that. Malls, shopping centers or even larger stores? Nope.

When there's a lot of housing there, people sure do do their weekly shopping downtown - but it's mostly the people who live in the area. I lived in central Philadelphia for 7 years or so and when I needed groceries, I walked to one of the grocery stores in the neighborhood. I mostly wasn't carrying a ton of stuff on the train, but that's because there were shops close enough to walk to instead anyway.

(Though also, you can fit a lot of stuff in a cargo bike.)
The most valuable owner in this space is whoever you communicate with to tell them where you want to go. They get to offer you a price, they get to offer you alternative destinations, and they get to offer you "deals". For example that means that a different supermarket can make an offer you come to them instead, or you can be offered a different price should a different route be taken, a ride share happen, a journey delayed or brought forward, and numerous other possibilities. It isn't too dissimilar to typing what you are interested in to a search engine. That will be extremely lucrative.

But for it to work, that entity will have to have ultimate control over where the vehicle goes. Everybody is going to want to have that ultimate control, and not cede it to someone else. That would make licensing not really work out since Google would retain control.
Ah, yes, the photorealism will definitely confuse people and make them think Taylor really did have an orgy with everyone on Sesame Street.
I think it's because urbanites keep getting suckered into letting builders do "condensed affordable housing" under the false premise that more housing means cheaper housing. Obviously that would only be true if the units were owned by competitors. Where one contractor owns all the units they set the prices, and they have no reason to make them "affordable." Just condensed.