skysight-inc/HackerNews huggingface dataset:
IMO, I'm unsure starlink can stick the landing. I think they'll end up facing challenging oversubscription issues, which is why they're slowing the roll out. 5G could easily expand to fill in the service gaps and deliver better, more reliable service. I think the key differentiator that everyone assumed was going to be included ASAP was a global mesh network, with the ground based repeater setup it's not that novel of a solution.
Christ, you'd think that people might get the message that there's something deeply wrong when you get a feeling like that.

It's a testament to the power of post-structuralism or something.
Has anyone tried to replicate his results? Psychology got a lot of shit thrown at it during the ongoing replication crisis.
I must have missed the paper highlighting this fact. Could you share it?
I can stand yet another javascript critic(just boring nonsense) but, “cheap developers” ?! that’s unfair to the many brilliant people out there, people that build new stuff and create value making the best with what they have and mastering the art without being chic. And Callback hell it’s just an old argument that’s been solved many times even before promises
> The idea that a single candidate can better represent a smaller (and usually gerrymandered) district than a larger number of diverse candidates in a larger district flies in the face of everything we know about real democracies and party systems.

This is simply not correct. Elections are a form of statistical sampling, and with a good single-winner voting method, all voters of every stripe affect the centroid position, "tugging" it left, right, etc. Which you can see graphically depicted here.

https://www.youtube.com/watch?v=-4FXLQoLDBA

> Again, theoretical claims against real world experience.

You're not citing any real world data that contradicts my argument.

> I've experienced polarization in AV to the point where center becomes a wasted vote, and people are incentivized to support one of the two dominant slates.

If you mean "alternative vote" (known to experts like myself as "Instant Runoff Voting"), note that I'm not advocating that. I'm advocating cardinal methods such as score voting and approval voting. Which tend to elect broadly appealing centrists.

https://www.rangevoting.org/IrvExtreme
ascent-override / descent-override isn't supported by Safari. Which is half of my problem.

We have Mac users using Safari / Chrome / FF, and we have Win users using Chrome / FF / Edge.
Starlink is such a brilliant move by SpaceX, both financially and how it has demonstrated excellence in areas that are nothing to do with rocket development. How many other similar companies could successfully spin up a direct to consumer side business? Granted, building the Starlink satellites themselves is well within their wheelhouse, but scaling production of the terminals is also impressive.
I use a single font file and it is 230kb. I don't use heavy images anywhere on my website. I think I'd prefer to offer a consistent look across devices and OS than use inconsistent system fonts that all vary in size, spacing, and aesthetic.
Just the launch costs, including refurbishing and a 2nd stage, are in the tens of millions. That's a lot cheaper than any other comparable launch vehicle, but when you consider how many launches and how many satellites it's taking to build their network, $44M a month doesn't sound like it's beginning to make them a profit yet.
Some markets are more likely to pay a $110 rate than others (and most of the cost is up front, not per user)
One thing that will help drive adoption is the ability to run SMT solvers more quickly so the proof stage of your design/build has a faster feedback loop.

I ran some experiments with the Z3 and alt-ergo solvers (verifying SPARK/Ada code using GNATprove) on a base M1 Mini and it absolutely screamed, I’m not normally a Mac fan-boy but new chips like the M1 Ultra might have the possibility of driving a mini-renaissance in FV.

I’d like to see more attention being given to GPU accelerated SMT solvers too but haven’t seen much movement outside of a handful of research papers.
Perhaps a dumb question but what does oversubscription entail here?
I'm not sure that's true. Almost every rideshare I've gotten in the last few years outside of an airport pickup has been in motion when they got assigned to me, and usually already on another ride. Even many of my airport rides were being picked up by someone who was dropping off someone else at the airport right before.

You also don't know for-sure what route they're taking. Almost every driver I've had was using Waze or some other mapping app that usually took a different reasonable route than whatever Lyft was showing when I booked it.
Yes? They are consistently below their peg and shedding market cap rapidly.

The combination of these two suggests they’re seeing lots of selling and keeping peg up only by spending reserves. Except….they haven’t got it back to $1

They could easily do this if there wasn’t sell pressure.

You can also check the Curve 3 pool. It’s missing about $2 billion in capital, the stablecoins ought to be near equal

https://curve.fi/3pool
Though for some compromises. The ones that autoscale fan speed are really neat.

I've had more than one instant of airfilter going wild reminding me I had forgotten a cooking plate on
You're missing insurance costs, which dwarf payment processing, fraud, and support.
Wait. If the satellites cost $200M to launch, and they make $44M per month - why do they need 4x more customers to break even?

Unless I'm missing something the 5-year unit economics look outstanding already.
$44M/mo revenue from his estimate is $528m/year; your estimates support, say, $150m depreciation per year. And there's significant operating costs.

IMO the biggest remaining factor is how long it takes to breakeven on the terminal hardware. While it's sold to end-users, it's a significant loss-leader (perhaps $2k of subsidy at this point).
For people in the JS ecosystem theres this eslint rule: https://github.com/nickdeis/eslint-plugin-no-secrets
Why humans get less sleep than other primates
I think many browsers have spell check dont they? Couldn't you just leave a tab with a text entry form open and type into that?
Or just type the word into Google.

Maybe I'm not understanding the use case
If the site cares about such things, then yes.
We stopped using HDDs and CRTs, and started using SSDs and LCDs.
Why so many???
Economic of starship are wishy washy aspirations of a guy who’s known to pull numbers out of his ass, without any research. Very successful in creating business, but never based on original numbers.
What an aweful first impression this page delivers. And why is the download-page linked at the blog, but not on the main-page? What is that sketchy ploy with 700 "choosen" users each month? Is this project scam? Or just incredible poor marketing?

Anyway, it seems to sell another graph-based knowledge-base-system working with markdown-files and electron, but with a more Notion-based interface. So what should this give over obsidian.md or logseq? Why marketing it now, when it still seems to be in alpha? Is there a company behind this? Talking about co-owned seems pretty sketchy. Where is the money-game here?

And what is with this upload and sync part? Upload where to?
Not Godel's NoGo theorem.
It’s not as petty as you make it sound. You don’t have to pixel peep to spot the differences. Switching to a different font can break basic stuff like text in a button being vertically centered, which can look broken or amateurish to normal site visitors.
Too many people, not enough bandwidth.
The Altra name seems a bit too close to https://en.wikipedia.org/wiki/Altria , I wonder if anyone responsible for choosing the name realised that.
I find the default brave values to be very good.
Its almost the best browser in terms of privacy protections by default, only battered by librewolf which breaks a ton of sites(1)

And with brave search, you have good search and a good browser too.

1. https://privacytests.org
Latency, timeouts, general slowness. There are a lot of layers that starlink needs to optimize/scale, they're effectively trying to operate as a global cell provider.
Starlink announces that they will make service available at a certain quality for $X/month, but more people want that than they can sell it to. Basic economic theory says they should raise the price to find equilibrium, but consumers hate that kind of thing, tying (in some cases) the company's hands.

I don't really think that Starlink's hands are tied with respect to price increases, though. I doubt over-subscription is all that possible, unless they overestimated their own capacity when signing existing contracts.
FindMyDevice (Open Source and Not Google)
their calculation may be based on the need to continually replace the satellites because their low orbits and relatively limited ion thruster fuel supply means each satellite has an expected 4-5 year service life.
The WSJ article is the original source which is what the guidelines ask people to post.
Doesn't coiling cables while passing increasing levels of power through them (which is exactly what's happening with new USB-C PD specs) start giving off more and more heat?

EDIT: Nope! See the replies.
Because in my area Amazon (including amortized cost of prime) is always cheaper and this includes wholesale clubs like Costco and GFS. Like if you need something right now the usual story is to go to a physical store and have them price match Amazon for a 10-30% discount.

If I could save money by not shopping on Amazon it would be a no-brainer but it isn’t. Like I’m paying less for the conscience of having it shipped to me.
I want to be pedantic and point out that water as a substance is not the same thing as water as an ingredient in another substance. It is not water, it is something else which contains water.

“Water” cooling is most often literally distilled water or possibly distilled water with a fungicide. This is not what is used in datacenters. They use Fluorinated fluids, PAOs, or PFOAs which all have unique properties different from treated waters.
Florida Health OIG Investigative Report OIG 21–117
I once circuit bent an old Casio that had a discrete DAC chip, and found I could get some really cool sounding distortion just sticking a 50k pot between the digital in and analog out pins of that chip.
I switched to brave, because Mozilla is no longer actually defending privacy, Firefox has full telemetry, allows google analytics,has unique Id for each installer, and much more.

Brave on the other hand, has an ad-blocker by default, blocks trackers, blocks Google amp, limited telemetry, and has a fully independent search engine.

Its a browser I can reccomend to anyone, and they will be more private by just using it, yes its not perfect but disabling the crypto is stuff is trivial, its just 2 options to disable and you are done.

I lost hope that Mozilla is going to actually fix stuff, its now just spending money on political advocacy and has fired engineers while raising the CEO's salary.

https://www.ghacks.net/2022/03/17/each-firefox-download-has-...

https://arstechnica.com/information-technology/2020/08/firef...
Insufficient density or spectrum to serve all users in an area
Are these numbers made up? Everyone is pointing out the indirect costs but I suspect that’s only a piece of it.

A big chunk of that $15 goes to driver incentive promotions. Not the steady state cost, but the sign bonuses and what not. Given high driver churn, this is always a big line item.

Google first result says just 3% of drivers drive for them for more than a year.
All I hear is that we have a chance to improve websites that have been ugly for the past 25 years because of bad browser defaults.
I didn't list "always succeeds" as a standard for rationality. I said, "chances they say are fifty-fifty turn out like they expected fifty percent of the time." If someone ascribes an 80% chance to each of 1000 possible events, and 800 of them happen, they are almost certainly rational.
A desktop Z-pinch device is actually fairly doable to build at home, it's a (very) simplified version of the stellarator.
Simplistic messaging apps aren’t really a good model to run off of. Designing WhatsApp and Instagram are common system design questions because they’re trivial in comparison to design Uber/Lyft, etc.
In principle, magnets and floppy discs didn't mix, any more than magnets and the stripe on your credit card do. In practice, it takes more magnetic flux than most people would expect to alter either. Magnetic fields fall off drastically with distance (inverse cube, not the usual inverse square) so you pretty much have to deliberately try to damage any sort of magnetic media with a handheld magnet.

Magnets were definitely bad for CRTs, because most of them depended on a lightweight metal shadow mask to keep the electron beam from each gun from illuminating the wrong phosphors. If you bring a magnet too close to a shadow-mask CRT, you risk magnetizing the shadow mask (a temporary condition that will eventually be fixed by the normal power-up degaussing cycle), or even warping it, which obviously ruins the tube.

Modern hard disk drives are reasonably tolerant of external magnetic fields. In fact, they contain strong magnets themselves. Again, only a small amount of physical separation is needed to keep those magnets from affecting the media.

Magnets have no effect on normal electronic circuitry, LCDs, or SSDs, unless (again) you go way out of your way to move a very strong one rapidly back and forth at a very close distance. You might be able to induce enough voltage in an unshielded inductor to damage something, if you tried hard enough. I wouldn't be surprised if it's impossible outside of an MRI machine room. Certain inductor cores won't take kindly to being magnetized, so there's some potential for damage there, I guess. Never seen it happen.
Don't assume that the US is representative here. Currently living in Germany, and in most neighbourhoods (even here in Berlin) fibre to the home is unavailable and the best connections available are DSL. Starlink would be an enormous upgrade, and there's a huge untapped market. And that's in the middle of the developed world. Presumably lots of other markets are in a similar position, and there are many increasingly populous places where weather, remoteness, elevation and other issues make other connections unavailable for the foreseeable future. Starlink should have no problem greatly increasing their customer base.
This kind of "how hard could it be" analysis is what causes people espousing it to go surprised-Pikachu-face when their nose is ground into fractal complexity requirements. The closer to the coalface you get, the more "huh, who would have thought?" is murmured. A huge chunk of this comes from only thinking about happy path logic in one setting.

The software that runs the world and gets actual work done day-in, day-out behind the scenes, is riddled with edge case handling. In really mature codebases impacting many stakeholders (not just direct users), the product team can categorize 1% or less of the stakeholder population by a tiny fraction of a commonly-used feature set they use. On that basis, the coding and maintenance effort for the edge cases can sometimes outweigh the sliver of features used by that sub-population of stakeholders.

We aren't talking about a web scraper or run of the mill DevOps here. Anytime you work with lots of business rules in multiple jurisdictions impacting the same processes, the edge case counts go up rapidly, and combinations of processes that you never thought would intersect but are forced to by specific jurisdictions also appear more frequently.
understood, dang sent you an email

but please take a look at the flagging attack on all of my comments outside this thread. the timing is too peculiar here

somebody really didnt like what i wrote above ;)
But now it sounds like you're advocating for Taxis.
Building a threat intelligence feed using the Twitter API and a bit of code
Your confidence is misplaced. The storage layer is SQLite.
This seems very optimistic about the likelihood of a "community" to vet itself properly vs. covering things up "for the good of the community". Obviously it can work out, but there's bountiful examples of communities ranging from schools to churches to workers unions that have a pretty well established history of systematic abuse and coverups.
How is developing with react quicker than jQuery for most websites?

React never made development faster.. easier to manage complex state but not faster development.
I think the cost of provably correct software is actually much lower, but you pay more of it up front. The perceived incentives of being first to market are higher than that of quality software.

I suspect eventually there will be a big lawsuit where the blame can be laid on negligence in the software development and the incentives might change somewhat.
wasn’t obvious? I’m not sure, thanks god flash was killed, it was a security nightmare. java applets were a heavyweight punch in the face and vbscript… well is was vbscript. not even mentioning accessibility issues of the aforementioned. with javascript the open web won luckily for us
This doesn’t really make sense. The article isn’t flipping you off. It’s an implied fictional website designer flipping off hypothetical impaired users, as a metaphor for what these design decisions might imply if done in earnest. It’s hard to imagine what social contract is being broken here.
Even regular static type-checking is seen as a burden by many programmers.
oversubscription is a necessity in the economics of last-mile consumer grade ISP services no matter what the tech: ptmp wireless last mile, docsis3 cablemodem on coax, gpon/10Gpon fiber last mile, dsl, active ethernet fiber last mile, geostationary consumer grade ku and ka-band vsat, starlink, etc.

if you look at the traffic usage charts from 50 houses on residential last mile gigabit connections the average customer really doesn't move that much data. you'll get the occasional outlier such as a person who is really enthusiastic about torrenting 75GB 2160p movies but when averaged out over a group of dozens or more customers it's generally a non issue.

the danger is in oversubscribing your network to the point at an unreasonable ratio that the ordinary end user starts to see bad packet loss, jitter, latency, slow speeds, etc.
>Ever heard of this thing called ransomware, for example? Identity theft?

Software can still be provably correct and have security holes resulting from an insecure definition of "correct." Formal verification does not solve security.

>Obviously the answer is that they could profit more and be happier.

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?
This is bad advice, presented poorly. A collection of quotes with a vague theme and some commentary does not an article make.
OP didn't say all JS developers are cheap. They just said there's plenty cheap JS devs around, since everybody and their dog these days are doing frontend dev. Some, like you say, are brilliant.
I don't doubt that starlink can find customers, I don't think they'll be able to keep them long enough to make a profit.
SpaceX's published list price for a Falcon 9 launch in 2022-2023 is $67 million, with "discounts available for contractually committed multi-launch purchases".

https://www.spacex.com/media/Capabilities&Services.pdf
The great thing about the free market is you get to choose not to use them!
Paying more for a better seat makes sense, paying more for a better airline really doesn’t unless you’re rich af or a business traveler and want double xl super platinum diamond plus premium status.
Is there a long range and a short range version of 5G ? I was under the impression it was higher freq and less ranger, meant for dense cities.

I live about 10 minutes from a small city and still don't get 3G signal, hardly enough to hold a phone conversation. Is 5G really competing for rural users like me?
I think this depends on the spec language and the target system. I’ve never encountered a spec more complicated than the program as the goal is always abstraction but I don’t mean to discount your experiences and complexity is affected by tooling familiarity and quality.

Separately the spec can often have its own properties which can be verified as a means to interrogate its correctness. For example state machines as spec, temporal logic properties and model checking where the state machine is the abstraction for a concrete system. Worth noting that proving state machines are an abstraction of a concrete system is a going research concern though.
Even if you have worse service?
Hi, I deleted that post because it had something in it I didn't want forever recorded on the internet. Nobody harassed me and I wasn't wrong.

One of my pihole blocklists includes telemetry.* which matches some network call made by the command you run to update the Firezone config. Pihole returns "0.0.0.0" for hostnames it blocks and the error that's raised ends up coming form openssl. Later I discovered there are 2 options at the bottom of the /etc/firezone/firezone.rb config file, commented out, that allow you to disable the telemetry. With these options turned on the error no longer occurs.
Well it definitely changed my guts ;) I used to be afraid of so many things, and still am! But it got me in the mindset of addressing fear rationally, and treating it as a challenge. (I later picked up downhill longboarding.)

Also: taught me to trust people, to be gracious of gifts and opportunities coming my way, many ways of being creatively resourceful under constraints... It was also one hell of a physical challenge: hours thumbing in the hot weather, kilometres walked because the spot was bad, etc. I've pushed my limits way harder than I was ready for, got ill twice - I'm still pushing myself a bit too much sometimes, but I'm more mindful about it.

I think the most important part was experiencing other cultures - sorry if it sounds cliché! I feel travel is much more "mainstream" these days. I grew up in some city somewhere in central Poland, far from a highway, far from an airport. I was the only person from my "previous life" circles who dared do this kind of stuff, so I've seen and done things that nobody I knew could even tell tales of.

And it paid off (literally), because shortly after, I scored my first job at an international company, where I felt right at home.
Are you claiming that ad blocking is a MITM attack?