skysight-inc/HackerNews huggingface dataset:
Ok, it's quite possible I just didn't understand the writing. How about this part?

> Disney shareholders were once over $200 billion wealthier than they are now

Is that an exaggeration?
They don't. It so simple. Or they walk or bike whole distance.

I think after we have fixed the car parking, we really should start looking into those bikes and ban them from street parking.
The lines between fantasy fiction, performance art and scam are getting really blurry with this one.
You clearly missed my point entirely. I'm not a fanboy saying Apple's products are the best. I even specifically said their success is "due to their marketing prowess and the strength of their brand just as much as their technical expertise."

They weren't the first smartwatch, but Apple is the company most responsibly for changing arbitrary societal metrics of "mainstream acceptance" like the percentage of people who would wear a smartwatch on a first date. That seems like an obvious observation and a "win" even if smartwatches aren't as ubiquitous as smartphones. I think the Vision Pro will follow a similar trajectory of success in that it will take years before anyone uses that word "success", but a few years from now you'll get on a plane and notice more than a few people wearing headsets and that will be because of Apple.
There is a fundamntal tradeoff between FOV and image quality at any given pixel density (and there are other tradeoffs between pixel density and cost and compute power needed).
Noted that this would be a non issue if you could just connect a cable between your Mac and the Vision. You already have the huge battery pack dangling off the side. This is an apple issue, not a technical one.
Self-host StableLM-2-Zephyr-1.6B. Portable across GPUs CPUs OSes
Yes, exactly - Astro is used for the documentation and blog for your SaaS project
“Small” LLMs are the ones that have 1-2B parameters (instead of 7-200B). They are still trained with trillions of words. The idea is to push the envelope on “information compression” to develop models that can be much faster and much smaller for specialized use cases, such as as a “pre-processor” for larger models on the edge.

StableLM-2-Zephyr-1.6B is one such model. The video shows an LlamaEdge app runs this model at real-time speed on a MacBook. With the LlamaEdge cross-platform runtime, you can customize the app on a MacBook and deploy it on a Raspberry Pi or Jetson Nano device!
Fair point, Itanium's impact on SPARC might be less than I stated, but Alpha is very clearly documented.
"Done well" was the Nokia motto. They did solid phones with a ton of features. Look what happened to them?

Their problem was that none of the features was _usable_. It was like they released the first MVP the engineering team got done and forgot that people needed to use it too. But it gave them a bonus and another line on spec sheet, so all was good.

For example Nokia had Copy & Paste years before Apple. But it was shit. They _had_ it, but you could copy very specific text bits to other very specific locations. Even Android had the same issue, you could copy some bits not others.

Apple isn't innovating, they haven't for a long time. They rarely come up with something "new" that _nobody_ has done yet.

What they are pretty much the best at is getting the tech everyone else has tried and packaging it to a usable form factor for the normal non-Hackernews consumer.

Wireless BT headphones existed before the Airpods, but they made it so seamless even my mom could do it and hasn't needed any help with them. Open box, insert in ear, done.
Yes, I’ve used it myself :)

That’s the type of service these new services are going to be providing in their first phase, just (if all goes well) with unmodified mobile devices.

I’d guess we’re some time away from broadband data to unmodified phones, but in the end, it’s just a function of available power per square meter in the downlink, i.e. how many satellites can be launched and how tightly their beams can be focused, and of reflector size in the uplink (since the transmit power of 4G/5G devices is fixed at about 1-2%
that of Iridium).
In my experience they are equally unusable due to compounding reliability issues.

It’s a tech demo, not a platform, a data acquisition operation and alpha testing rather than anything seriously useful.

Interfaces are unstable.
Inference is intentionally non deterministic and control is crippled (e.g by choosing not to expose seed, denoising or image to image on dalle), to avoid PR backlash whole simultaneously hiding the true capabilities of the platform.

something as simple as using VITS to analyze an image fails 30% of the time because GPT5 decides it doesn’t have vision, wants to use pytesseract instead or writes hallucinatory pytorch code for a non existent vits library instead of just using inference.

One may create prompts that temporarily don’t fail at a high rate but constant silent finetuning, system prompt changes and unstable models / APIs make the whole thing a tech demo designed to get users to volunteer future training data
Interesting Read! How will this change influence companies like American Tower? How fast will they need to adapt? 5 years, 10 years, 20 years?
Would the US Intervene to Defend Taiwan? Ask Japan
Have you seen Zig's comptime macros? On the surface, that seems like a great approach: no second language and readability fails
would you mind opening a feature request? Would love to hear more about it: https://github.com/wasp-lang/open-saas/issues
I do that! Some of my projects are packaged in distros. In the past, I've found discussions of problems among distro people, who didn't contact upstream at all, but just tried to patch things on their own. I fixed things on my end, and in such a way that their patch would fail to apply when they update. No words exchanged at all.

I'm not a user of CMBC. I read about it here, I wrote a comment here, and that's the end of it.

But for a minute I will bite. The submission has no link to the actual project. I found that by a web search.
The project has no project trappings: no mailing list, or anything of the sort. The page says, "For questions about CBMC, contact Daniel Kroening". The name is a link to his home page. His home page has no obvious contact information. There are links to papers; probably his e-mail address is given in some of them. Let's click on "A Tool for Checking ANSI-C Programs". Hey, e-mail links in that page, before we even get to the PDF. But ... from 2004. Is k-----g@cs.cmu.edu from two decades ago going to work, given that he's at Oxford?

Suppose I hunt down his current e-mail address. What do I say? "Dear Sir, I feel really awkward to be contacting you about your CBMC program, which I have never actually used, but believe me when I say I have a valuable suggestion ..."

If I used the thing, I'd fix it myself and send a patch!
Wall Street punishes Alphabet and Microsoft despite earnings beats
https://phys.org/news/2017-03-nasa-magnetic-shield-mars-atmo...

" In the future it is quite possible that an inflatable structure(s) can generate a magnetic dipole field at a level of perhaps 1 or 2 Tesla (or 10,000 to 20,000 Gauss) as an active shield against the solar wind."
> People love to compare difficulty of processes… they’re all easy with a lot of practice.

People also love to diminish the value of skilled trades and high quality craftspeople. If it takes thousands of hours to become a competent welder then it’s hard. It’s okay to say that things are hard.
HPE has an Ampere server line that is quite good, especially considering TCO, density, and the IO it can pack. But yeah you'll have to fork some cash.
The UK's energy availability has collapsed 30% since 2000. Yeah, there are no good jobs. If energy policy gets screwed up that badly, there are really not many options except admitting mistakes were made and doing something sensible going forward.

I've been advocating deregulating nuclear power and looking for cheap energy that way for a long time. Possibly renewables has also gotten cheap enough to cover the gap, although realistically it has so much political support the fact that it hasn't suggests it is uneconomic. China just built lots of coal plants. Life has been on the up-and-up for the average Chinese worker. Weird how that works out.

Part of helping people get good jobs involves allowing capitalists to build power stations. Handing out $1,000 checks to random families is unlikely to help with that.

[0] https://ourworldindata.org/energy/country/united-kingdom#per...
How Software Works (2015)
A single tab web browser, no client-side JavaScript, over MJPEG from pptr
Humans figured out rockets before steam engines and electricity. Rockets being invented in 13th-century China, while the steam engine was only invented in 1606 and made useful in 1712. Electricity has a much more complicated history, and you could make the case that it was discovered before either of the other two, or invented later.
The verge is probably the most critical. Here’s what they say:

“marvelous display, great hand and eye tracking, and works seamlessly in the ecosystem, … The Apple Vision Pro is the best consumer headset anyone's ever made”

Yes, they also list a bunch of flaws. But the people trying to make out that the reviews are saying it’s a shittier oculus quest are not being honest.
100Gbps connection per link.
Assuming 50Mbps per customer per laser link: 2000 people per laser link

I wonder how that compares to the number of people who can connect to the same satellite at one time?
Tried Vision Pro. Here's what I thought
Where is your company incorporated? (e.g do you comply with the GDPR?). This should be stated on the website.
Thanks for saving me the click. People act like the BBC is some bastion of flawless journalism but it’s still full of dumb crap like this
No but theoretical round-trip times are getting pretty dang short as these sats are launched into lower and lower orbits.

The round-trip speed of light to a geosync orbit is 239ms, but some of these LEO sats are already sitting as close as a 4ms round-trip away, and there have been proposals for some even closer.
Yes, supply and demand matters a lot. In my country becoming a doctor is particularly lucrative even by Western world's standards, because a combination of our broken healthcare system (and doctor's association's successful lobbying to keep numbers of doctors being educated too low) creates an artificial shortage of doctors. Many of them choose to work 3-4 days a week in private sector and still live very, very well. The public sector is forced to buy services from private with very inflated prices, again allowing those companies offer excellent salaries.

At the same time professions like engineering are actually underpaid here, not to even mention nursing.
Based on pay, I would guess chemists aren't in demand.
Bolt EV is around $27K and believe Nissan Leaf is also in the same price range. So, with taxes you are look at max $30K. If you qualify for the federal tax credit, then you should be able to get that well within your price range.
>Well there’s FOV and there’s pixel density which are both too low right now.

Exactly. You know what is the best "goggle" type display I ever saw (and I tried quite a few)? Recent FPV goggles (hdzero) that have 1930*1080 OLED displays at approximately 46 degrees fov. I'm very glad the manufacturer decided to use the his low fov instead of increasing it to 55deg and more like others. The picture is insanely crisp, and looks better than looking at a 4k display. Another huge benefit is that entire picture fits within your "focus cone" so there is no need to gaze around. It is not a VR display, it's purpose is different, but it shows us what visual quality is possible.

I'd love if manufacturers, if they can't make 16k displays that fill the entire fov, create variable pixel density displays. Best quality in the center. Deteriorating towards the edges. That would be much cheaper, but then for good illusion one would need eye tracking and motorised optics which would probably be more expensive in the end...

Oh, well, I'm pretty happy with my fpv goggles (for fpv) I just wish there was a way for them to display different picture for each eye. They already have head tracking, I wonder what VR would be like with this huge ppi narrow fov goggles. Would it be more or less immersive?
Something I have wondered about is how can a layman like me could communicate with a satellite? I would need an antenna of some sort I believe but then what's the protocol?
Suppose you weigh 180.0 lbs. Suppose your target weight is 160.0

Week 1 at 180.0. Eat ONLY when you weigh less.

Week 2 at 179.9. Eat ONLY when you weigh less.

Week 3 at 179.8. Eat ONLY when you weigh less.

...

You get the pattern.

When you eat you can eat anything you want.

When you reach your target weight eat ONLY when you weigh less.
I would imagine the metal fumes are also likely to be a statistical hazard over the long term as well.
Threads shows up in your feed.
One thing I like about Canada is that you can take any federal government cheque into any bank branch with ID and by law they have to cash it for you for free.

Account or not.
The more general version of that question would be: Whats the closest distance it can focus to?
What a ridiculous straw-man extreme argument. When people say "car-free" they do not mean 0 cars. They mean a city where the incentive structure has been changed so driving cars is expensive and annoying, while walking or transit is easy and simple. But in such a "car-free" city, there should/can be

* emergency vehicles
* other essential government vehicles like post office, garbage, etc.
* commercial delivery vehicles (dozens per 1000)
* taxi services (dozens per 1000)
* personal vehicles for those with disabilities
* personal vehicles for those who are willing to pay a lot of money+time for them (hopefully not many dozens per 1000).

You are thinking that the terminal goal is no cars. But the terminal goal is to live on Earth in a sustainable fashion so we don't destroy the only habitable ecosystem for humans. Fewer cars is a secondary goal in service of this very reasonable requirement.
The Complete Developer: Master the Full Stack
You're equating webapps with cross-platform frameworks, so we'll just talk past each other.

None of what you mentioned is all of "what webapps are",

just a short list of shortcuts to the technical definition of one.
Experienced coders don’t magically appear because salaries go up.
So, how good are these results? Are these impressive?
>have made some earnest headway in being an actual fab

In the terms of end product - not really. Last 3-4 gens are indistinguishable to the end user. It's a combined effect of marketing failure and really underwhelming gains - when marketing screams "breakthrough gen", but what you get is +2%/ST perf for another *Lake, you can't sell it.

They might've built a foundation and that might be a deliberate tactics to get back into the race, we'll see. But i'm not convinced for now.
Putting a Python executable in venvs is probably a necessary thing
I think thats the author of the wsj article
Card fees here in Europe are capped on consumer cards at 0.2% for debit and 0.3% for credit.
Probably more to do with google hating maintaining stuff and they probably lose money showing you stale websites with stale ads instead of a live one with live ads
Dell kills sweetheart distribution deal with Broadcom's VMware
That much of text, of no use to most in the tech field... Discussions on big tech seem to me like those on geopolitics.
Fantastic work, I was looking for something exactly like this. I do wish A1 didn't feel like getting thrown in the deep end - too often I don't know the words I need to respond and end up using the dictionary - but I get that this is supposed to replace language tutors, so A1 isn't really the focus.
This looks like a zmk-ish solution implemented in zig for cheaper/easier devboards like the ch551/2 (and seemingly rp2040, which zmk does support), but with better ux. Better explainer in OP's post on reddit[0]:

[0]: https://www.reddit.com/r/ErgoMechKeyboards/s/Dkoy7YZmWs
Too low and all the surrounding UI is an impedance mismatch.
Appending site:Reddit.com to everything bc Reddit search sucks
agreed. adding discoverability and reviews of Google Maps with a self driving ride share button would be a great combo. i switch between maps and Uber apps to accomplish this currently.
Seems more likely that those are caused by things in our environment that we know are disruptive, like PFAS and certain plastic additives. Also bad diets and ultra processed food.

There’s plenty of things to worry about where we do actually have studies showing they’re worth worrying about.

Radio waves are basically proven safe by now.

Like, think about it.. people now regularly sleeping with their phone right next to their head, and use Bluetooth headphones all day. They blast their entire house with Wi-Fi, Z-Wave, ZigBee and wireless speaker signals. If these radio waves were as bad as people thought some years ago we’d all be walking blobs of cancer by now.
I stayed in a hotel in a city recently. I wish the cars were the loudest thing. There was an ice-skating rink blasting music until after midnight and then a jackhammer at 6am. Needless to say, I didn't sleep well.
Are they really doing jobs that Americans wouldn't or couldn't do for that amount? Honestly curious about your opinion, since they are your friends.
I circumvent paywalls with my back button and blocking the domain
Depends entirely on what you want to do!

There are amateur radio satellites that you can legally communicate with using a technician’s license and equipment for around $100 (essentially a UHF/VHF FM walkie-talkie and an external antenna, i.e. just analog voice).

If you have a fairly modern iPhone, you can already share your location to a satellite out of the box.

And if unidirectional communication counts, you already do it every time you use GPS :)
I think they're doing better (disclaimer: writing this from a Ryzen laptop) and their latest chip has better thermals and consumption, with a decent reputation compared to 10 years ago for instance. But yes, it's a long road ahead.
> but I can't get unlimited AR desktops for software development etc?

You can't because it's computationally impossible. There is simply no computing device that can render unlimited high-res desktops at 60Hz per eye.

Not to mention the need to stream all that data to the headset - since you're not going to put a high-end graphics card needed to even attempt this in anything approaching a wearable form factor. Good luck getting multiple 4k or even just HD streams between your laptop and your AR headset over Wi-Fi.
Honestly, what is the market for these SAAS starters these days? Is anyone making serious money, or even a modest side income, with some web app? It seems the low-hanging fruit is well and truly picked at this point and building something that will earn you decent money requires a lot of time and money investment in a vertical niche, not yet-another-project-management-tool you can put together in a week.
We do not know that. We have some data about how they perform in idealized situations rather then general ones. And we have next to no independent data.

Also, we could lower amount of people who die to human drivers too and I am all for it. Speed limits, regulations about car design, higher driving age, better public transport, there is a lot that could be done.
The domain.
I'm using Ampere powered servers on Oracle cloud and boy, they're snappy, even with the virtualization layer on top.

Amazon has its own ARM CPUs on AWS, and you can get them on demand, too.

Xeons and EPYCs are great for "big loads", however some supercomputer centers also started to install "experimental" ARM partitions.

The future is bright not because Intel is floundering, but there'll be at least three big CPU producers (ARM, AMD and Intel).

Also, don't have prejudices about "brands". most motherboard brands can design server-class hardware if they wish. They're just making different trade-offs because of the market they're in.

I used servers which randomly fried parts of their motherboard when see some "real" load. Coming one morning and having no connectivity because a top of the line 2 port gigabit onboard Ethernet fried itself on a top of the line, flagship server is funny in its own way.
>Want it for productivity? it can't run MacOS applications and if you want to use your actual Mac it can't do multiple monitors.

Do you mean a Mac's external monitor visible through the vision pro AR view?
Do US credit unions generally roll their own software? Or use one of a few vendors that white-label it?

Most Ontario Canada credit unions (and maybe others) just badge an internal provider's UI for their websites and online banking.

I've had worse experiences with a big bank (and Canadian banks are massive) that once forced me to update their app. Then when I went to something I used to always do, schedule a future bill payment, it just said "coming soon". Ughhhhhhh.
There’s been a fair bit of commentary regarding the changes around third party App Stores, CTF, etc. that is probably not worth repeating here. The situation with browsers is somewhat more interesting, because while not perfect I actually think it’s probably the only part of the guidelines where Apple is not intentionally complying maliciously. Like, sure, there are some parts that would be nice to have (web clips from third party browsers! In-app web browsing using your choice of engine!) but a lot of it does actually seem somewhat fair. Like they basically shipped Safari’s security and process isolation model directly as API, which is kind of weird I guess but it’s not terrible and shouldn’t be too hard for engines to adopt. The APIs are a bit wonky but I don’t fundamentally see them being any worse than any other platform API Apple offers. You can be upset that you can’t do your own custom scrolling, sure, but I mostly view it as not being able to do your own custom page table walk or your own custom gyroscope handling: the OS has to provide something. And I suspect with the DMA Apple will be a lot more careful moving forward when they use private APIs in Safari to work around bugs or give themselves features they deny other browsers.
I still have one of the Oculus Devkits at home from their initial campaign. It's more than 10 years old now. I've noticed the biggest improvements to VR over the last decade were in useability - not the screen. Once they figured out low latency by switching the screen to black after every frame every device upgrade felt like a tiny improvement in resolution at best. Size 12 font text on a 2m screen wasn't really readable yet, but I still don't use VR for text work today (even though I could) so it also doesn't matter. Right now it's still a question of usability rather than the screen.
We don’t pull whole racks anymore. We pull whole DCs if enough servers in it die.
Uninitialized local variables are documented as a source of a certain type of nondeterminism: http://www.cprover.org/cprover-manual/modeling/nondeterminis...

So the checker treats them as defined, but with an unknown variable. You could have written this instead:

extern int unknown_int_value(void);
int x = unknown_int_value();

And leaving unknown_int_value undefined (so it's not visible to the analyzer). Or write a function and use x as a parameter.

I suspect CBMC does this to have a convenient syntax for this frequent scenario. Apparently, it's used quite often, as in these examples: https://model-checking.github.io/cbmc-training/cbmc/overview...

It seems that CBMC is not intended to check production sources directly against C semantics, but to prove things about programs written in a C-like syntax.