skysight-inc/HackerNews huggingface dataset:
So a bit of digging brought up this [1], which seems to be a list of all relevant papers.

It's annotated with short summaries and historical background by Leslie Lamport himself. Seems like a great starting point!

Still, I'd love to hear some specific recommendations for the topic you mentioned, it sounds super interesting.

[1] https://lamport.azurewebsites.net/pubs/pubs.html
It was a nation-state backed attack imo, no accident.
Factorio is Linux native though.
Ubuntu 22.10 Beta Is Now Available to Download
I can only imagine how long it will take the fitter to pnr these insanely wide busses. Maybe a 13th gen CPU overclocked to 8GHz would be handy.
> the 17 hour gap just doesn't feel right for an intentional attack

Why? 17 hours is enough time to figure out what happened, but not enough time to prevent it from happening again. If the attacks were calculated to have a psychological impact on political leadership, 17 hours or so sounds about right to me.

And keep in mind, the bombs might have been planted months ago. 17 hours isn't enough time to inspect the whole pipe for more bombs.
ah, good point about the extensions, I do have uBlock Origin and NoScript, so it could actually be those, even if the latter is basically off 90% of the time... thank you for pointing that out ^_^
I never thought about it but thats probably because Plex can be installed on my TV so its never come to mind.
looks cool, think you could expose it as a rest API?

(I kid, I kid)
This could get really bad. I mean Zimbabwe or Weimar bad. If energy shortages cause a crash in production there will be no central bank intervention capable of bringing down inflation because the problem will be on the supply side.
Cool! I was hoping someone would make a better catalog for these. Searching thangs for specific things got really murky.

I made a ton of the 2 grid 3 bay windowed bins to hold M3 and M4 screws and nuts and small but numerous lego pieces.

Watching Zack's original video on the concept really helps to cement why this exists.

https://www.youtube.com/watch?v=ra_9zU-mnl8&t=1078s
This just in: “I knew that already hahaha morons” still as unhelpful and uninteresting a comment as ever.
I doubt Putin's subjects would want to overthrow him because they want to be able to sell gas again. They might overthrow him, but for other reasons.
Back in the day of cordless phones and landlines, I had a phone with a GOOG411 button, which was great until one day Google shut that service down. I’ve never trusted them since
No it isn't. The claim is "A CEO is just an employee, paid by the shareholders to do the job shareholders want him to do." That claim lets four words, "the job chareholders want," work pretty hard. Could mean anything. Could be "run great shareholder meetings with lots of swag" or it could mean "do something that we can't imagine ourselves because otherwise we'd do it instead of investing here."

In TFA Dorsey briefly describes his vision of what to do after taking Twitter private. He is speaking to who would become the effective owners. In the car repair analogy it is as if a rental van was in a fender bender. The rental co can get it fixed with a normal bodyshop or has an option to sell it.

Down the street there is a body shop with a vision. The owner of that shop knows a lady who wants to wants to start a food van and is telling her, "I know a dinged rental van you can get at a discount and when we finish conversion it will look better than new."
Right, because what else goes together like "most addictive class of drugs known to man" and "unlikely to be abused"?
The Electric Purple Snake-Oil Machine
Once again, where's the evidence we will?

There's also the logistical practicality of what is being proposed. We don't have flying cars for many reason, one of them being that any benefits they may have is outweighed by all of the very real logistical issues they have.

I find this level of "techno-optimism" just flat out naive. It's a bet you never have to worry about being called. On the time scale of thousands of years, neither you nor I will be alive to find out who was right, but you are willing to say with unwavering faith that we will be able to do it.

Simply because you believe smarter people than you will be able to solve the hard problems. Including problems we don't even know exist yet. Just to get to the moon, we had to first discover just how ill-equipped the human body is for travel outside of our atmosphere.

But you talk as if building a giant shade in space is going to be relatively trivial in the future. There is nothing trivial about leaving the Earth. And it's quite possible that it will never be trivial. Before we worry about solar shades, we should wonder how we're first going to solve those hard problems.
This is a terrible idea. As of 2019, NY has the largest percentage of people living in apartments vs houses [1]. Are you going to force apartment complex/building owners to install enough chargers for all the cars? How will this work for places like NYC were people mostly use street parking, are you going to force them to spend 40 min at a public charging station to refill their car?

Governments limiting consumer choices on such a broad scale is almost always a bad idea IMO.

[1] https://www.statista.com/statistics/798113/share-of-populati...
RSUs are taxed as income according to their value on the day they vest. Companies can offer employees below-market grants, but the difference is recognized as a cost and (eventually) has to be approved by shareholders.

Stock options with a strike price below market also have tax implications for both the company and the employee.

Equity based compensation essentially comes out of the hides of shareholders: As long as they are happy (and people aren’t playing Thiel-type games), it’s not as terrible as you make it out to be. There’s a limit to what buybacks can do to juice prices and equity generally puts people into a long term mindset.
I thought pressure of the gas as ~114 bar, which (brain whirring sounds) is much less than 2,800 PSI. MS's calculator makes it ~1,650 PSI

I could be wrong.
> Chrome

2008
This is blowing my mind, I had no idea it was as good as it was. I always remembering it being slow, empty, and just not really usable.

This is incredible work and I'm sorry that I held such a negative opinion of it for so long!
Google is terrible.
I am unsure... looking at pictures of iran in 1970 and they look quite happy being progressive back then. I could easily believe that people want to get back to to a similar lifestyle.

also see the movies : "my teheran for sale" and "Persepolis"

as much as I hate USA foreign policy, it is also possible that Iranians want peace and freedom outside of foreign interests.

not everything is black and white.
The article specifically addresses that; it's ~5% excluding those two bits.

> However, core inflation, which excludes food and energy, climbed 4.8% on the year, up from 4.3% in August, and economists broadly expect the situation to get worse before it gets better.
Seems to me that the individuals involved would care more about getting extra shares than the expected increase in share price from this change.

The bonus might be significant, the increase in share price might be a percent or 2. Google dishes out this bonus, not Wall Street.
It might feel a lot, but is still such a small fraction. Comparing it with Russian force in Ukraine is hardly a compliment to it's size, IMO.

I just don't really understand why would one assume that such near-to-margin-of-error numbers could be indicative of anything other than an obvious fact that Russia isn't 100% homogenous (duh!).
The link you posted supports the GP’s assertion that not declaring the current economic situation as a recession is politically motivated. The third paragraph specific cites common criticism of the NBER on that very front.

That there could and should be some more sophisticated, objective definition of a recession than “two years of GDP decline” isn’t in question. But, at least according to your own source, NBER fails to provide that definition and is commonly criticized for is subjectivity during political years.
Yeah. It's wild to see sibling comments thinking that it's an exec incentive "problem." No, exec incentives align to GOOGL shareholder incentives and GOOGL shareholders are pursuing returns at your expense, as is their right under capitalism. In theory, competition keeps this in check, but we either need to get much more serious about encouraging competition or we need to figure out a different way to organize control.

Personally I'm a bigger fan of "encourage competition" than "reorganize control," at least in the search engine market, but I fully agree with you that what we see here is the system working exactly as designed.
Ditto. That conversation and the ideas contained within look !extremely! good to me.
I have 42 github stars, I suspect that's not impressive but perhaps meaningful enough.

>Now, it is used by quite a few people so you maintain it and the revenue it generates is your primary source of income.

I kind of wish I knew how to do that. I have 2 fully functioning products but I have no idea how I go about trying to sell them and give random people access and support problems etc. All the while still holding a job so I can pay the bills.

>If the above description fits you, can you recall how you learned to program and build meaningful things? More importantly what drew you towards programming, and not another subject? And if possible, mention THE meaningful software you wrote.

So I went to college whose tagline was that you are already skilled sysadmin and you want to upgrade or refresh your skills. In reality it was a class full of people who vaguely knew how to type.

So in my boredom I bought a 'learn C programming' book and taught myself how to program. I had already known bash and dos pretty well. C# and .net probably would have been the better choice but they were new at the time and not linux compatible.

The awful syntax of C really damaged my software development track. Many years later I got into python and frankly I wish I had gotten into python forever before. Now I love programming.

So my 2 private projects. 1 is a honeypot network which produces a threat feed of ip address in txt and stix output. Pretty much all the usual nextgen firewalls can ingest and block traffic.

The other is an NCM built with django. If pulls configs off the usual networking devices but also effectively runs a report to tell you what rules you are breaking in the security hardening guide.
Would love to see some examples please
Not really. The Eloi seem to be like wealthy students - young, good teeth, straight blonde hair, nice duds, no job they have to do. There doesn't appear to be any significant evolution that could have affected them since the present. Only the Morlocks appear to have changed; there are no contemporary humans that are remotely like Morlocks.

Dammit, this is scifi from 100 years ago; it doesn't throw any light on the future of humanity. I'm going to butt out, because I think this is OT.
Huh interesting. If I ever do any personal projects that need a DB I'll have to take a look at this. Appreciate the link.
It seems like it all comes back to advertising. No one wants their legitimate ad shown next to porn.
Don't you sign into Rockstar Launcher / Social Club with a Rockstar account in order to play online? Can he not just log into the same game, same launcher, same account on PC and pick up where he left off?

I've played RDR2 singleplayer and I get a prompt about cloud saves every time I launch the game on a new PC.

If he's playing multiplayer, this should be even easier. Rockstar should have the savedata.
Bloomberg also still hasn't printed a redaction of "The Big Hack" which is extremely damning to their journalistic credibility.
You are right but at least a large part of their revenue will come from US made iphones which means money in the US economy instead of China, similar tariffs for others who innovate in the US but manufacture elsewhere can be implemented as well since international commerce can be regulates by the fed gov. It would also set precedent for future outsourcing attempts, reduce the likelihood of wars and supply chain chaos.
Honestly, OSM is a damn triumph.
I think 6K hours is excessive, but before anyone casts stones, they should count up how many hours they've spent glued to their smartphones. If we had to pick one, phone addiction is probably a more widespread problem to tackle than video games.
Correct. That’s what it did in System 6 and 7, if I remember correctly. Those were the first/oldest Macs I’ve used.
Mentioning BTC/LN on HN has a way of provoking irrational group think. It’s frustrating that proposing a v2 of the ad-laden hellscape that is the current internet economic structure is so vehemently opposed. But then again most folks here are probably paid in some way, shape, or form from this status quo.

Anyway, great synopsis above.
He said earlier that he wants to do it differently.

Which I totally understand, Activity pub is an absolute failure when it comes to user discovery especially when a user is using his/her own server, which is the whole point of the entire protocol.
You can calculate the temperature by listening to cricket chirps! They chirp faster (more often) as it gets warmer.

https://en.wikipedia.org/wiki/Dolbear%27s_law
Teardowns as the new product reviews.

Consumer Reports meets iFixit meets Twitch hybrid would be awesome. Plus the objective repeatability of Jepsen and TechEmpower.

Some magical combination of authenticity, expertise, tenacity and personal narrative.

As a noob DIY remodeler, I learned SO MUCH from channels like Project Farm, Matt Risling's The Build Show, Vancouver Carpenter, and others.

For whatever reason, I didn't get nearly as much from content tailored to prior mediums, like This Old House and misc handy person magazines. (Probably some McLuhanian "medium is the message" insight applies...)
200 products per year is unfortunately a drop on a hot stone...
I'd want to know how to have a hosted solution.

Ideally build reports and alerts
I want to know if I need to hold the heels high for certain duration of time or keep moving it up and down? I am confused!

Appreciate your reply.
So why not just up processing fees on those transactions to the point that they're profitable. If Visa/MC made a new processing code that all adult platforms were required to use, and charged a 10% fee, they would make plenty of money. I have to conclude that this is more than just a profit consideration.
> Yup. We're doomed, because we're an evolving species. In a few hundred thousand years we'll be very different - perhaps our overweight brains will have shrunk, and we'll no longer be curious about silly things like the origin or final fate of the Universe.

You might enjoy Vonnegut's Galapagos, if you've not read it. It's a quick and easy read like most of his books.
When would a hobbyist need processing much faster than a modern beefy CPU provides, but not in a highly parallel fashion which a modern GPU provides?

My only relatively reasonable suggestion is making perfect hardware emulators for old hardware, like vintage computers and their parts.

Alas, FPGA programming model is neither easy nor intuitive, and the tools are mostly proprietary, expensive, and (as I heard) have a steep learning curve.
Cool. you're being the change you wish to see in the world :)
Windows actually uses a cpu feature for kernel patch protection right? I remember trying to figure out why Linux doesn't.
It's more a function of the websites you visit. When your bank or pay is locked behind a site that breaks on firefox... it's hard to keep the faith.
The 6k hours I spent on the toilet agreed.
OSM needs some form of gamification adding to it.

Google Maps app is great, lets you gain points by adding information & photos & reviews etc. They even send you a free bespoke pair of socks or a badge if you're active enough. So fun to add photos and then see how many views they get (I posted one of a chippy in Scotland (for Americans that's Fish & Chip 'Thick French Fries' shop) which got over 1.4 million views - mental). The location history feature suggests things to contribute which helps too.

Would be good to have something similar to make contributing fun.
Indeed, I may be misremembering, but I think macintoshes had both the looped circle and the apple logo. Some of the Apple II series had two apple keys, one open and one filled.
It would be possible for Starlink to make more covert antennas. The smaller antennas would just make for a higher noise floor which would lead to more dropped packets. Such an antenna would be usable just lower throughput than the normal antenna.
> I think that unfettered anonymous free speech on the Internet will lead to a type of society that scares me.

Guess the question is does it scare you more than having arbiters of truth?
>> My father, born in 1935, also has that seriousness. It's hard to put a finger on exactly what it is that men under 70 lack now, but it is definitely something important.

"Seriousness" or calcified melancholy?
... at 22nm?

Apples to oranges.
Already in 1964 the language PL/I (still named NPL in 1964) had "bit strings" as a distinct type from integer numbers.

Also "character strings" were a distinct type.

I also believe that these types must be clearly distinguished, even if conversion functions must be provided between them, and even if in certain contexts it may be convenient for the conversions to be implicit.
> This should have been Iraq 2.0.

You mean 3.0 I assume...

Anyway, that seems like an awful idea to me. Russia is still nuclear armed and if you try to attack Russia hard and fast, as America did to Iraq twice, there is a chance they would respond with nuclear force. Better to keep the war at a relatively low intensity and bleed Russia dead slowly, so that at no point does Russian leadership experience existential panic. Boil the frog^W bear slow so he doesn't jump out of the pot.
FiftyOne Computer Vision Tips and Tricks
Some background from the guy who maintains this site at https://www.openstreetmap.org/user/Zverik/diary/399925.

There is a script (disclaimer, that I wrote) to set up a couple of docker images so you can create / host something like this yourself: https://www.openstreetmap.org/user/mvexel/diary/399939. It requires downloading of a "full history" OSM data file for the region of interest.
Apparently google employees had a meeting telling them Stadia would be shutting down ~45 minutes prior to it being released to the public.

I get the feeling that many were blindsided with the abruptness.
Ya, you can look at the bugcheck codes and see the mechanism that does this. Since patchguard will always throw that bugcheck code, I think it's 0x109? It just does random scans and sees if it matches, it's nothing fancy. Even with VBS(virtualization based security) it functions the same and will still allow a driver to modify it, then crash. In windbg you can see this by "!analyze -show 0x109" assuming that its 0x109.
They demonized China for doing things like that

Now they'll copy China

I find it very funny
Completely separate projects, with different goals. IaSQL is focused on infrastructure as code (like Terraform) in SQL. Steampipe is an "ops as code" platform to query, visualize and report on all your DevOps data (infra, SaaS, IaC, logs, etc). Steampipe's first version was released in Jan 2021.
That's the point, he won't use it """against Ukraine""" but to """defend Russian territory""".
> now it’s horribly outdated. It shows several stores in my street that have closed over 6 years ago

OSM is mostly volunteers, and if no one has happened by on your street in the last 6 years, then no one has noticed to update the map.

> I actually found StreetComplete a few days ago and have started fixing issues, at least for my neighborhood.

This is the expected outcome, locals fixing local issues. Given a sufficient amount of that, and you have a better map than googles offering. Of course, as you discovered, if no one is around to make the fixes, the data also goes stale.
I would challenge you to show the effects of foreign influence. I haven't seen anything about what Russia did that even looked remotely effective. I recall reading an arstechnica article about it and I was shocked that they were citing posts with ~1.5k views... When facts aren't presented, the media make it sound like Russia had a major impact, but I can't find any facts that back that up.

I am much more concerned about foreign influence on the relatively centralized media outlets. For example, Bezos owns the Washington Post and does billions of dollars of business with China every year. All that economic activity gives china leverage they can use to suppress stories they don't like.

That is the real foreign influence to be worried about. Not them making posts and competing for attention with the same rules as everyone else.
I refer to it as cloverleaf when I’m doing phone support for family and friends. Seems to convey the idea to them pretty clearly.
It's a 512 G drive.
Another person learns a hard lesson about trusting Google.
What happens when you get high inflation and the central bank can't stop money printing because it would cause your sovereign to default, like we saw this week in the UK?
Same. Force quit will always be Open Apple-Option-Escape in my mind be my LC II still had the old markings in addition to the new.
Well, it didn’t because it’s shutting down.

But there exist business models that operate like this. Usage usually follows a Pareto distribution. At one end, you spend almost nothing on usage, on the other end you spend more than you charged on usage. Assuming your long tail is long enough, and your power users few enough, you take a loss on one end of the Pareto and make your money on the other.

Where these models fail is when you can convert a resource fairly directly into value I.E. compute. Once your customers realize they can put $10 in and get $15 back out, you have a problem.
I think Musk is both an engineer but also a great salesman. The stupid tube is the salesman part...

A lot of people won the paypal lottery, also other lotteries...if you keep winning the lottery(paypal, starlink, tesla, spaceX) maybe it's not a lottery after all. Few have driven a handful of companies to success like he did.

That being said, it's hard to trust the guy, because you never know when it's the salesman or the engineer making the pitch. Also, I wouldn't want to work for him.
We don't have to give up on infinite sets, but instead think of them as limiting processes instead of a complete object. Basically sacrifice the notion of "set" as a realized object. Just like sqrt(2) is not a rational number, but it is a computable number, which means that there is a computation that can yield an approximation that matches reality to whatever precision is requested.

Similarly the natural numbers are a process that can produce more natural numbers, and can do so for however large a limit you choose.

The problem of rearranging the elements of a set to get a different sum is handled here because you are looking at the limit of the sum, not the sum of the abstract set. Just as in classical math you have to make sure that to compute { sum_i=0^inf (-1)^i / i } that you are actually computing { lim N->inf sum_i=0^N (-1)^i / i }, with intuitionist math you can't help but do the latter, because the former statement makes no sense except as the latter.

The "adding an item to a set makes it larger" is only problematic if you're trying to define "larger" for non-terminating sets, and in addition trying to treat them as "sets" divorced from their underlying structure. The rationals and the integers may look the same to a set theorist, but they are clearly very different objects and it's not at all clear what additional power you get from introducing morphisms that don't preserve any underlying structure.