skysight-inc/HackerNews huggingface dataset:
Zdog – Pseudo-3D JavaScript engine for Canvas and SVG (2019)
Is it even realistic to make a provably secure/stable applications on an OS like windows or linux? This (provable correctness of programs, at the expense of performance) is one of the explicit design goals or urbit. I know HN hates urbit and don't want to rehash that, but it seems like a good goal for some use cases and I'm not sure it's possible to achieve without building the OS around it.
Edge computing at the cell tower is more of an advantage, at least until starlink or whoever figures out mesh networking in space.
How are cooperatives not incentivized to "let basically anyone join"?

The more drivers a co-op has means shorter wait times and higher geographic coverage for the passengers. If passengers have to wait too long, they will lose faith in the reliability of the co-op and be forced to use other forms of transit.

The more passengers a co-op has means drivers have to idle less or shorter (unpaid) distances to travel to pickup a passenger.

It is always better for the co-op to have more active drivers and more active passengers. The growth comes in the form of "let basically anyone join".
There was a time when Helvetica crapped out spectacularly in Windows with a certain combination of user-installed fonts. Can't remember exactly which combination it was or perhaps still is, but anyway that was a pretty solid reason for prioritizing Windows default fonts over Helvetica. Maybe someone pointed that out to the author who changed the content but didn't really test it on their own site.
I mean, it's an ISP. Any ISP you use can track you. Your cell provider can track you globally if you use international roaming. This is not novel.

> So if you have a device that uses starlink, there is not a single place on the globe where you cannot be tracked actively via starlink.

This makes it sound like Starlink is going to be built into your phone. Starlink is a satellite dish, it's the size of a medium pizza and consumes 60+ watts continuously in operation. It's not like you're going to accidentally leave it in your pocket or something.
That’s lovely but what if you live somewhere like KCMO or Columbus that doesn’t have established cab infrastructure and does have a ton of Uber drivers?
> HomeDepot.com often won't let me add things to cart.

Try opening the site in incognito mode. It usually fixed these random issues.

> Most sites just have really obnoxious CAPTCHA, often requiring more than one "pick the things" but I don't know if my experience is specific to Firefox.

Installing the "Privacy Pass" extension can significantly reduce captcha challenges when visiting sites that use cloudflare.
But what about corrupting data?
You’ve missed out a lot of numbers here. Soyuz is a bad example because it doesn’t matter how ‘cheap’ it is, it isn’t reusable.

If they can built a second stage for $13m, $2m for fuel and refurb (musk has previously said marginal cost for a relaunch is $15m) you’ve got marginal costs per terminal assuming 50 per launch of $300k, and terminals are somewhere between 250-500k (Shotwell said in 2019 they were below 500k ‘already’).

So I’m going to go with 600k cost to orbit for a single satellite.

There’s ~2,400 in orbit currently, so rough capital outlay so far is $1.44Bn

Income at 528M means they’re closing hard on some sort of model but yea that 2-4x figure looks good-ish
There's no guarantee it's a solvable problem.

And there's the more insidious variant of this: to solve it we need new physics. I say it's more insidious because, if we used all the money in current approaches, we would be diverting it from the research that could really solve it.
I think this is a great way to summarize how it works out in the real world. I think I’ll adopt that mindset too.
Daniel Jassby is a tiresome crank. Always quoted in the media as the sole critic of fusion. He runs a website devoted to blowing things out of proportion. In this article, he says that SPARC and ITER will both achieve first plasma around the same date (2025) but that SPARC will take another ten years to burn DT fuel because ITER is taking ten years.

ITER is taking ten years because the equipment required for DT operation won't be installed until 2035, after their second maintenance shutdown. SPARC is intended to progress to DT operation as soon as possible after first plasma assuming all the equipment checks out.

He poo-poos tritium breeding, referring to an article he wrote 5 years ago about the faults of a solid blanket, neglecting to mention that the ARC design has been based on a liquid blanket.

If he wants to criticize the MIT/CFS SPARC/ARC design, he should by all means just go ahead and do so, but this lazy approach of his is just plain dumb and tiresome.
Land should also go down (generally) in price though if the supply of buildable land goes up along with reduced supply restrictions. Of course, this only works in areas where there is abundance of buildable land near the desirable locations or nearby buildable areas that provide a decent substitute. Obviously, areas like the San Francisco peninsula and Manhattan where there is limited land due to surrounding water, land prices are likely to continue to go upward.
This is all true. But if you max out the discount (which is easy if you have a large family and/or want lots of leftovers and/or like fancy restaurants) then it's still a screaming deal and way cheaper even than eating in at the restaurant. I can't believe the code is still going...
> You can't do anything (other than using Stylish/Stylus, I suppose) if the dev hardcoded the font-family.

Well, i just disable "Allow pages to choose their own fonts, instead of your selections above" in browser font selection dialog.
If it quacks like a DAO and it walks like a DAO...

"I was in the recent alpha onboarding, and it was mentioned in the long-term (I don’t recall completely and I’m probably wrong) you’ll set yourself up as a DAO to, in short, manage the main public instance of Anytype (I assume like rewarding 3rd party providers, decide on new features, etc.)" [0]

(November '21)

---

(my throwaway thoughts)

Perhaps we're entering a new phase of crypto projects -- in an analoguous way to crypto-fascism [1] where the "crypto" part refers to "cryptic" i.e. hidden, it's possible that crypto(currency) projects are starting to be self-aware enough to not mention their roots, even though they are in fact blockchain-based.

You could say that this is crypto-crypto i.e. Crypto 2.0!

[0] https://community.anytype.io/t/long-term-future-decentralisa...

[1] https://en.wikipedia.org/wiki/Crypto-fascism
> Starlink launches are costing nowhere near that.

[citation needed]

> First, you're ignoring reuse.

SpaceX charges $67m for a Falcon 9 launch. They have some margin, of course.

> They may not discount external customers for this

They did reduce prices when reuse became viable.

> Third, a big cost in satellite launches in insurance costs. Launches can fail so insurance costs are really high.

Insurance isn't included in the $67M figure. SpaceX has self-insured, so, when the Feb 2022 batch failed, that was a launch and set of satlelites that was paid for that did not enlarge the constellation.

Finally, the satellites themselves surely cost something.
Wait until this guy learns that all iridium handsets also report their position when used. For the last 22 years.
Uplinks and the huts for their gear, while a cost, are not exorbitantly expensive (and likely solved for long term with laser links between satellites for load balancing downlink across the constellation versus the current suboptimal bent pipe operating model).

SpaceX has both US military and commercial airliners testing their service; the TAM is enormous for high speed global internet connectivity. Terrestrial service is ancillary revenue in markets where there is lower utilization (the same way T-Mobile offers home internet with no cap at lowest prioritization on their network to monetize their over investment in 5G).

(disclosure: StarLink customer and SpaceX investor)
What does that have to do with the voluntary poverty movement? How ate “degrowth” and allocating resources based on prospects for growth related?
WElp, If anyone wants to join me, we could easily map out every single RV park in the US - and create an ISP where we install an uplink at every one and then feed all the RV locations in the US with wifi with starlink uplink accounts, and this list is just the camping/public ones...

Most residential RV parks are being bought up by hedge funds.

Go after a list of the hedgefunds and offer the service to them as an ammenity they can charge the park residents for...

[0] https://www.campgroundviews.com/map-based-search/
This is a London ISP
> So, I do think it is good for wages to go up [...]

It can be. But too much it auto-fuels the inflation which is the feared scenario: inflation a-la-seventies.
Are there links to tell you the subscription capacity of the cell youre conected in?
> How many other similar companies could successfully spin up a direct to consumer side business?

They have span up direct to consumer business. It’s waaaay to early to tell if it’s successful. It’s burning tons of money as of today, and without it their main business (falcon 9) launches would be in decline.
How do you measure the 1 TB db estimate? Is that in index, as a CSV, or back of the napkin math based on estimates?

I've always struggled estimating my DB size, curious what you mean by your estimate.
> cables that have integrated watt-meters built in.

I have never heard of such a thing but I'm interested; any brand you can recommend?
If you use a wireline based
copper or fiber terrestrial ISP, your ISP knows your fixed service address and can do dpi and traffic monitoring if they're evil. Better hope your crypto is good.

If you use starlink, it has a built-in GPS receiver, and also can report its position to the ISP. If Starlink is evil, they could also do the same, with deep packet inspection, traffic monitoring, etc. Better hope that your crypto is good.

It's not much different.
Did we skip launches per month and launches per year here? The post says ”…four starlink launches all with successful first stage landing just in the month of May” then the parent goes to $50M/launch -> $200M/year.

I don’t think you can analyze the cost as a steady state since to constellation is growing rapidly. But to consider a snapshot of the current constellation… There are about 2200 Starlink satellites in orbit, generating $44M/month in revenue and lasting 5 years. That suggests the need to replace 440 satellites per year, or 8.3 launches of 53 satellites per year for $415M/year (at $50/launch) or $35M/month.

That’s just launch costs, so not a lot left over for everything else, so probably not profitable at this time. But it doesn’t need to be. It needs to get all the pieces in place so Starship launched next generation satellites have a big enough customer base to make that business work.
Have you tried polar iceberg water yet? 750ml is €94.95
When I saw that somewhat ambiguous title, I was hoping it was about that song. Now I have to watch all those videos!

Stop Making Sense is one of the all-time great music movies (and I try to watch 'em all).

Once in a Lifetime is a song where you just have to ask "where the hell did that come from?"
Thanks for the recommendation, I’m goin got do a playthru with those mods.
If I had slightly more money I would buy one of the raptor systems just out of interest to try it out as a daily use machine.

IBM sells just the CPUs, is that right? So they are targeting mainframe or other enterprise applications. Whereas Raptor CS that you linked to is selling a desktop version. Other than hobby interest, could the desktop use case be for developers that are building applications for mainframes that use that CPU?
One example of how large the addressable market is, is to look at the combined total revenue from all of the commercial geostationary satellite owning companies out there right now.

And then add a good portion of the revenue from o3b, and iridium.
I've applied for an invite more than 2 years ago - still got nothing! This looks like an email honeypot!
This looks like a Python library that wraps APIs from a service named Quiver, which scrapes and indexes the alternative data listed.

The datasets look interesting. There isn’t much info about the company on the website though. Can you share more here?
Engine energy efficiency is unrelated to money, so dollar-per-neo-archaic-gallon is an invalid unit for this. I don't see how it would educate anyone about the EV vs ICE efficiency difference, but I can easily see how an impractical unit of imaginary electric gallon can be used to mislead people used to buying gasoline gallons about true costs of running an EV.

TFA is about cost, and "cost per distance travelled" unit is the most appropriate one to answer relevant questions like "how much a 1000-mile road trip costs in an EV vs ICE".

Car engine energy efficiency needs to be compared using other units, like kWh/100km (J/m), or percentage of input energy converted to force, or something more comprehensive like well-to-wheel ratio that includes losses to production and transportation. EV owners definitely know their car's efficiency very well, because it determines car's range, and is typically prominently displayed in the car.
Engineers taught me engineering, in college.
If you go to the homepage, and put in the street address for a location you want to check, if it offers you the $150 pre-order deposit only, the capacity is full. If it offers to take you to the payment page for the full price $800 or whatever order, the capacity in that area is not yet full.
eBay is arguably a bad example because they sure could do with a proper overhaul of their software that is halfway modenised with a bunch of rough edges accumulated over decades.
Or more broadly, we stopped using magnetic-based storage & display technology. Hence why random external magents were bad for those things, they used magnetic fields for their operation so other magnets would corrupt things.
No. The amount of heat given off is just going to be I^2R, and coiling the cable doesn't increase R.

If you coil it so tightly that the heat can't get out, that could be problematic, but it is not likely to be a problem with this coiling technique.
I looked into these a while back, the reviews were meh. Is there a brand with good reviews these days?
You've missed the point a bit, and for the record I prefer to deploy Proxmox/KVM over VMware most of the time, I'm not a VMware cheerleader.

There are plenty of features Proxmox doesn't have that VMware does have. I've ran into a few of them

1. No ability to pin vCPUs to physical CPUs from within Proxmox. You have to drop to bash and set affinity for each vCPU's PID by hand if you want that.

2. You can't provision a VM with more vCPUs than physical CPUs. For example if I have a host with 8 cores, the max vCPU I can allocate to a VM is 8. And yes, I did have a use case for this.

3. You can't configure networked serial ports from within Proxmox. You have to drop to bash and edit the vm configuration file by hand if you want that.

4. Lack of serial port concentrator, which means you can't really use networked serial ports reliably when migrating VMs across hosts in a Proxmox cluster. In the NFV world this can be pretty important.

5. You can't manage multiple Proxmox VM hosts from a single UI unless they're clustered, which in many cases isn't practical to do. vSphere will let you manage multiple independent hosts from a single pane of glass.

6. (at least historically) lack of RSS/multiqueue in virtio networking. vmxnet3 on VMware supports this and allows you to scale better. But I will admit it's been several years since I've had a look at this area.

Again I'm not a VMware cheerleader. I'm sure I could generate a list like this for what Proxmox has that VMware lacks. But it's incorrect to state that it includes every single feature of ESX.
> The turns just happen at your game's tick rate which might be pretty quick.

Except because of latency, it's like taking turns when you may be ahead of other players in turns or behind other players and the game does rollbacks to make the turns make sense once they've all arrived and how many turns ahead/behind you are is also dynamic.

It ends up having a very real affect on the actual game mechanics. In CS:GO a player peaking out from an obstacle has the advantage over the player waiting for them to pop out.

https://on-winning.com/csgo-beginners-guide-peeking/
I got the pleasure of meeting David Byrne and having a lunch with him at Affrah Mediterranean in Richardson, TX in the late 2000s. It was near the end of my stint at Hanson Robotics for the exhibition "Souls & Machines" at the Reina Sofia Museum in Madrid, Spain. He voiced one of our robots singing. He was, without a question, the most down to earth celebrity I have met to this day. I left that lunch struck how genuinely kind and encouraging he was, even to me as a lowly intern early in my career. I try to channel a bit of him at that lunch anytime I’m working with anyone cutting their teeth on anything new. We all need a little bit of kindness and encouragement at that stage.
Already happening in NYC w/ Curb, though many (like me) are staying the fuck away from it and sticking w/ Uber/Lyft. It's a matter of trust and operational complexity (that's not easily "solved" from the ground up), imho
> Software can still be provably correct and have security holes resulting from an insecure definition of "correct." Formal verification does not solve security.

Nirvana fallacy. The point is that it can be much better and eliminate ALL non-design bugs.

> Please explain how a company could profit more if formal verification does not bring more revenue than it costs? You seem to be assuming that revenue will appear that is greater than the costs. Where is this revenue coming from, exactly?

The revenue could come from savings on fixing bugs, paying for ransomed assets and all other costs that come from bugs. You're just assuming that doesn't add up and that there's no other reason that we don't do formal verification. That's just stupid. Show me the studies. Your claim is just as strong as the claim you think I'm making, but you missed my point entirely.
This is a misunderstanding of how the "loved" part of the survey works.

> something like 10% of the number of people who claim to love it have ever used it for any purpose

"Loved" specifically measures what fraction of people currently using the technology say they desire to continue using it next year. In the survey there is no such thing as non-users claiming to love it.
The stupid stuff is all important to someone. The stickers on telegram are the main reason furries use the platform over discord for example.

And mobile platforms auto update now so while it’s possible there could be an old version out, not much effort is put in to making it work. Telegram shows a basic text showing the message is not supported on your version and prompts you to update.

Even the stuff that is hardly a feature but more a UX prompt is important. Discord voice channels are not that much functionally different to traditional group calls, but that way they get used is dramatically different because the UX is.

Imagine if someone bridged discord to some other IM app and when someone joins a voice channel, it starts a group call on the other app which opens a ringer on that persons phone. The compatibility is close enough right, but that minor difference is enough to make users very upset.
In the US maybe, but in Europe I feel that media has become increasingly dominated by US productions, in that sense it feels like it's more homogeneous than it used to be. Before covid I was working at an international company, I used to have lunch with many nationalities and the most common conversation topic when people of different places were on the same table was certainly Game of Thrones.
Colo of servers might not be cheaper. Either way the server cost should and could be minimal per ride.
Oh Jesus, I mean thanks for the code, wow
So you are saying it represents which technologies the community considers cool?

Because that's exactly the context in which I'm quoting it :)
FFS can someone please advise what "DAO" is? >.>

Thank-you.
If one player is lagging, this would lag every other player. It also allows an easy "freeze the world" hack if the malicious player blocks their network connection for the game.
This is fantastic! Definitely the ethos of "HackerNews". What programming language did you end up choosing to implement this? I'm eagerly awaiting part 2.
I've been using Brave as my primary browser now for at least four years, and it breaks very few web sites these days. I still have to revert to another browser every once in a while (less than once a month). The Brave experience has made using any other browser painful... Whenever I open a familiar site in a different browser where Brave isn't available (work) it's a jarring and dissonant shock. So many annoying ads everywhere all of a sudden! The crypto stuff I just ignore.
I know someone who knows some folks there (nobody well known, just professional contacts in IT). But I don't think it actually is all that useful (or impressive, six degrees to Kevin Bacon, right?) anyway, if somebody has actual credible tips that could lead to a big story, they should just go to

https://www.nytimes.com/tips

and contact them through Signal or whatever.
> One example of how large the addressable market is, is to look at the combined total revenue from all of the commercial geostationary satellite owning companies out there right now.

Unlikely. Starlink won't be able to segment the market perfectly. They're going to collapse the pricing for a lot of those uses. Not to mention that continued development of terrestrial networks is, IMO, going to further eat geostationary comms' lunch.

> And then add a good portion of the revenue from iridium.

Most of this Starlink can't capture, and it's not huge (~$500M/year).
In fact some of the cases documented so far haven't been men who have sex with men and it's not uncommon in Africa, so encouraging people to believe they're safe if they're not MSM is potentially damaging. It's much like HIV in this case, the number of heterosexuals infected with that is much higher than most straight people want to believe.
> First get mathematicians to actually like doing proofs with the help of a computer.

Many are using type theoretic and HOL theorem proves already. What threshold do we need to reach? Isn't Lean HoTT? Isn't that pretty much good enough (modulo UI and tooling)? I ask the latter question because that was the original promise of HoTT but I haven't kept up to date on Lean, so I'm asking.
Well, no, because this article is kinda mostly wrong. Prediction is almost never used. Actual interpolation, however, is. As in, interpolation between 2 known points. What you're doing there is interpolating to handle the deviation between the server tick rate (say, 60 ticks / second), and the clients actual framerate (which can easily be >100fps). But you're always interpolating between 2 server received positions, you're ~never making stuff up in the future.

What actually happens in an FPS game is all clients just operate in the past. They aren't in sync at all, and don't even try to be. Rather, when the client sends something like a shot to the server, the server "rewinds time" to where everyone was ping/2 ms ago for that client & evaluates the state at that point to see if the shot would hit or not.
was this article automatically generated or something? It has multiple repeating paragraphs
Coiling is only relevant to magnetic fields. These cables generally have the same amount of current passing in opposite directions through different wires, so net zero.
Arc Browser Company: Chrome and Safari face a new challenger
Iowan Old Style?
Just look up USB-C cables with power meters on Amazon; there are tons of companies that end up rebranding the same product.