skysight-inc/HackerNews huggingface dataset:
What does the command line have to with non-HTML mail? It's perfectly feasible to have a window-based mail client that creates text mails.
Comcast hands out a /60 for prefix delegation if you ask for it (i.e. software asks for it, no customer service interaction required). In fact Comcast allows you to ask for as many /60's as you want (caveat, there may be a limit, but at one point I made a config mistake that led to asking for 32 /60's and I got all of them, so I am not aware of a limit).
I worked for them relatively recently and didn't encounter this; or at least never noticed. Then again, our office building was an open office plan where desks next to the windows and rooms (conference or office) were all in the center of each floor.
America is willing to try anything that doesn’t alter the existing cities, or bring down home prices
I had Flight Simulator 5 and lived in New Zealand. There were only three New Zealand airports: Auckland, Wellington, and Queenstown.

Queenstown, which is quite beautiful in real life, was about the worst case scenario for Flight Sim 5 because it's all hills and mountains. So the whole area was a bright green untextured lumpy mess. But of course I was still excited that it had airports in my country at all.

One day I was messing around in the scenery library browser and discovered that all the Flight Sim 4 scenery - with Flight Sim 4 graphics - was included too.
Not the GP, but non-profit doesn't mean it doesn't make money, and it doesn't even mean the people that started it can't become fabulously wealthy. It just means you don't horde money, and that profit isn't necessarily the goal. Look at all the non-profits paying their executive half a million a year in salary.
The 51% is staked coins, not computers.
(I'm a software developer, not a mathematician. I'm just starting to try to understand the proof world.)

I'm not sure about the "disdain" the authors have about "program source code". The parallel between proofs and programs seems clear, a runnable program is only one for which all functions/subroutines/methods (in other words, abstractions) have been implemented.

We try to structure programs so that the abstractions are as sensible as possible, with good, preferably memorable names. A well-written program is one where the higher level is short and understandable without (always) having to dive into what the used abstractions do. It is an aim we seem to share with the writers of the paper. Sure, real world might be different, but the technology allows us to write well-readable programs.

Other attempts like UML/flowcharts exist, but AFAIK attempting to connect these to runnable programs (i.e. make them formal program sketches in the sense of the proof sketches in the linked paper) has largely been a failure (correct me if I'm wrong). The idea to write the program and mark the parts that should show up in a flowchart (i.e. the inverse of what I've mostly seen talked about, program generation from UML), to get a "human readable" version of the program, might be a new one. Maybe if mathematicians succeed with that, it would be as applicable to software engineering?

In any case, am I correct in saying that the envisioned aim is the same? Does mathematics have peculiarities that make the situation different (other than, perhaps, mathematicians generally not being used to "programming", or fully formalizing something)? Is this a "teething" stage in mathematics like UML was in software engineering and will largely be superseded by just "structuring programs/proofs well", which entails creating "nice libraries"?

PS. I have ignored that the paper is from 2003 (about the time of UML's heyday, incidentally). What has happend to the idea of proof sketches in the mean time? Is this what "tactics" is about?
why do you think 'housing will doubtless have better returns'? If that was the case, then there would be zero factories.
You might have noticed that there was a period during which none of your extensions or add-ons stopped functioning? That was the abandonware period.

Now that it's ended once again some of my extensions have stopped functioning.
It’s a bit amusing that you noted the gas station as being within walking distance.
And? My solution? Let the kid grow up and learn.
There is no "residential plots" without zoning. Just plots.
Could that have to do with Sophie Wilmès, Belgian PM 2019–2020? (https://en.wikipedia.org/wiki/Prime_Minister_of_Belgium#Livi...)
My city is mostly low rise, but there is one area 'the business district' where there are exclusively 10+ storey buildings being built. The funny thing is that this used to be an area full of traditional houses (50+ years old), and some plots still are traditional houses. So when walking down the street you have office building, traditional house, office building, car park, traditional house, high rise apartment. 15 years ago before the first office buildings were built this was a bit of a slum area, and some houses are still poorly maintained.

I'm sure at first the residents complained big about this, but now the value of their land has skyrocketed for two reasons:

a) Developers want to buy their houses and build more office blocks and apartments

b) Wealthy individuals want to buy their houses so they can live within walking distance of their office
If a public company gets an accounting audited and they find irregularities it is not subject to public disclosure requirements?

Twitter is a publicly held company.

I'm sure there are conflicts of interest and some degree of confidentiality for auditors and clients, but there is a fundamental public interest of disclosure, at a minimum to the government, in the event of irregularities.

From the SEC:

"In addition, we will continue to focus on auditors. As the Supreme Court noted nearly 30 years ago in U.S. v. Arthur Young & Co., 465 U.S. 805 (1984), auditors play a crucial role in the financial reporting process by serving as the “public watchdog.” So, it is important that we carefully monitor their work and ensure that they fully comply with their professional obligations. If there is a significant restatement or if we learn about improper accounting from a whistleblower, our proactive efforts, or the media, then you can expect that we will scrutinize not only the CEO, CFO and Controller, but also the engagement partner, engagement quality reviewer, and the auditing firm as a whole. We are going to probe the quality of the audit and determine whether the auditors missed or ignored red flags, whether they have proper documentation, and whether they followed professional standards.

And it is important to remember that our ability to bring Rule 102(e) bars against auditors extends beyond instances where there are accounting irregularities at a public company. Our Rule 102(e) program is remedial in nature and meant to protect the integrity of the Commission’s processes. As a result, we can and have investigated auditors when their audits fail to meet the most basic standards, regardless of whether there was an actual problem with the auditing client. By pursuing actions over these bad audits, we can fully leverage the Division’s resources and close off access to those who shirk their responsibilities as gatekeepers to the securities markets."

-------

From there you can see legal and institutional gravitas, ethics, and expectations of accountants and auditors of public companies. That's kind of what I'm getting at re: elevating security and certain IT roles to higher responsibility and codification.

Now, is this a smear attempt by Jack Dorsey in relation to the Elon Musk lawsuit? Eh, maybe.
Is this were the case, why is Amazon's and Apple's pricing the same as Spotify's?
1 planck length, and... It starts - and ends - at 1?
I find this surprising. I specced out an L2 charger and it did cost me $2K for the install + charger a few years ago (in an expensive market). The install required a new 100A line pulled to my garage as I had no existing washer/dryer there.

What else would you need to support L2 than an extra breaker entry for a 100A?
Yes, I think you're taking a very uncharitable interpretation of the post.

In any case, I'll leave it here.
As reported in an earlier comment, DDG did not make a deal with Debian for this.

Prior art is that Linux Mint at one point had Yahoo as the default search engine in their Firefox builds. I am not sure whether that is currently the case.
The bailouts were loans that were paid back. You know, that thing you're supposed to do when you agree to take out a loan.

Also, those companies failing would have lead to not only their employees getting hurt, but possibly plunge us into a depression - hurting everyone.

What this loan forgiveness does is help a select few by hurting literally everyone else.
It's what is great about old cities like Edinburgh in Scotland, apartments with shops and pubs below or near by.
The big benchmark that I know is TPC-C.

This benchmark requires concurrent writes in a massive OLTP client-server model.

SQLite shines in SQL92 compliance (without grant/revoke or other permission-based aspects), but it was simply not designed to compete in any of the TPC tests.

The current holder of the top TPC-C score is OceanBase, which defeated Oracle's previous record with 11g/Solaris/SPARC.

https://www.tpc.org/tpcc/results/tpcc_perf_results5.asp?resu...
I mean, I definitely have tried to rewrite stuff as iterators even when it isn't convenient. I only got to that working example by dedicating a few hours with the good people on the Rust Discord trying to make it work (a lot of seasoned Rustaceans also weren't able to get it working, it was a collaborative effort that took a fair amount of time and rhapsodizing). And even then, the result is pretty ugly (I don't think many seasoned Rustaceans would call it "idiomatic" or advise the first version over the second).
That's not true. You can be a passenger at any age, and they have *very very recently* changed the law so that you must be at least 13 to drive a tractor.
Apple is so powerful that millions of people are exited about ... wait for it .... an hour long informercial event. Man, that brand is something else. It's literally invaluable.
Simple: because we start with index 0 in mathematics.
Gotta catch’em^H^H^H^H^H^H^H^H see them all!
No, he isn't. Being able to live in any one particular city is not an inherent right of humanity.

It's perfectly reasonable to be priced out of some areas of the world, there is nothing at all wrong with that as a general concept.
Living next to rather busy intersection, I see no problems with most of those. A shop near to me would be nice, gas station would make things simpler. And what is wrong with strip clubs? Some sort of moral purity that only very very very annoying churches should be allowed? I would ban all of those for many kilometres from any housing. Horribly noisy and the traffic...
I often find people mistake the Socratic method with sealioning. Sometimes to argue a topic you have to ask a series of questions first to find out from what axioms the person is reasoning. It's highly unproductive when people start pulling out the term sealioning instead of actually exploring the ideas they are advocating. Because of that I'm not a fan of the term.
One of the least-loved APL features is the fact that you can change the index origin at runtime.
it's pretty clear in the real world what is and isn't a separate human. i can't hang out and play paddycakes with a bunch of barely differentiated cells in a womb. it's like calling our gut bacteria a separate being because they have their own functioning processes. some even argue that gut bacteria have some sort of community sentience, but even that doesn't make them a separate being with any claims at all on the human's body.
Who said anything was hidden? Most high school graduates in the US understand that going to college almost certainly means a lifetime of debt. But they also recognize the opportunity cost of being uneducated, which they deem a greater cost than the financial cost of loans. And please don't claim that's invalid, because (a) I agree, which is why I did it, and (b) claiming it's invalid implies that money is the only thing of importance in a person's life, which is kind of dystopian a view.
Reminder not needed.

Many of these solutions, both DRM and anti-cheat, work using the principle of checking if the user is using the original unmodified files, and checking if the user is not also modifying the memory of the running program with some tool.
You totally ignore the car tax on society. Just look at how much space car lanes and parking spaces take. The simple ability to take a walk around the city does so much for actually living in the city, instead of everyone transporting themselves in cars that are bigger than WW2 tanks.
Some old pictures of what it looked like in hospitals: https://www.google.com/search?source=univ&tbm=isch&q=images+...

Horrible disease.
The tech mogul who denies luck exists and contributes all of their success to their own ingenuity and prowess is a straw man. Perhaps with a few notable exceptions, that person simply does not exist.

Everyone knows luck exists, and almost everyone acknowledges it plays a key role in one's success.
The way the site is reacting to this hug, I'd expect it'd be better off hosted from a beefy laptop on a 25 Gig residential connection.
“The "cost" doesn't reflect _in any way_ the resource/energy usage, or pollution emission of the system: only the human "cost", which is biased and lobbied strongly towards maintaining existing power”

This is the crux, and I totally and completely agree
Challenges as I understand them:

1. Rare minerals and their amounts needed to support wide-scale adoption of EVs

2. Similarly, massively increased electricity needs to maintain EVs' usability.

I wonder whether they're going to lay out a bulletproof plan to have these, and any other, fundamental issues 100% solved before enacting changes that absolutely require them to be solved.

FTA:

"Whether the state’s goals can be reached, he added, depends
on many factors, including “inflation, charging and fuel
infrastructure, supply chains, labor, critical mineral
availability and pricing, and the ongoing semiconductor
shortage.”"

"...Yet California doesn’t want to wait."

So that tells me "probably not." Therefore, the eventual legislation will focus on reducing (or, for average people, potentially eliminating altogether) personal vehicle availability, I'd imagine.
So why not start forgiving credit card debt regularly too with other tax payers money? There is lot more of it and it causes even more issues. Or payday loans?
Which, for the past year or so, has been a completely insane policy. The economy is fine other than inflation and the pause is only causing more of it.
I don’t see the point in debating protocols when “the suckiness” always comes down to UI/UX

UX that works for async comms and real time comms can be “backed by” HTTP. One does not literally need the data model to conform to the presentation in mind.

“Email” view might be a good default. “Chat view” could be a toggle for when the group is online at the same time.

UX needs a rethink in general. What a designer finds trendy in the moment is user hostile. I want flexibility and customization at the presentation layer. Give me an API key and I’ll build my own UX in Docker containers, thanks.
At my last gig I used a paid extension called owl to sync with outlook, even though the company did not support anything other than MS Outlook or the Office 365 web interface. It was not expensive and worked terrifyingly, even syncing the company calendar and address books.
Life would be a lot easier if we could just focus on identifying bad regulation and making it good (which sometimes means less restrictive) instead of a philosophical war against the idea of regulation. Its needlessly distracting to put the idea of regulation itself into center stage at every turn.
Principle of least surprise violated.

Also, that behavior is not guaranteed. The programmer would need to be aware of how the particular machine in question actually handles that.

Then again, that's C.
There's no cognitive dissonance, you just misunderstood the claim. :)
Apathy: The Stage 0 to Stage 1 of Product-Market Fit Killer
LOL yeah, the irony isn't lost on me. I guess I meant to paint it more as a place to grab snacks, drinks, foods, medicines, etc. Not the whole gasoline part :).
It seemed obvious satire to me (not funny or sophisticated, but satire nonetheless).

Felt like my suspicion was confirmed after seeing that other “Men of the Year” articles in the Free Beacon include “The Brothers Cuomo” (https://freebeacon.com/men-of-the-year/2021-men-of-the-year-...) and “Dem Who Spent Campaign Cash at Strip Club” (https://freebeacon.com/men-of-the-year/2021-man-of-the-year-...).

In this case the cyclist is the primary butt of the joke, not the driver. But the grandparent’s description of the article as “pure incitement to violence” is ludicrous hysteria.
No cyclist likes to cycle on pavements. This is a symptom of the absence of proper bicycle infrastructure.
Even though Intel is known for putting tremendous work and effort in to their compilers, and therefore have compilers that put out excellent results (even on AMD), the compilers never delivered on the promises they made with Itanic.

If you'd like to see some first-hand observations about modern-ish compilers on Itanic, check out this person on Twitter who does lots of development on Itanic:

https://twitter.com/jhamby
I barely touch assembly in my day to day work, but I do understand on a fairly deep level how a computer works, which I feel is extremely important and very frequently influences how I write high-level code.

Certainly one can bang out code their entire career without ever having a clue how machine code works, but I really wouldn't advise it. At worst it leads to total ignorance, and at best you accumulate a disconnected set of "best practices" as inscrutable lore handed down from on high.
What if consumers don't factor in externalities when they choose what to buy that negatively affect the public interest?
Smarking (YC W15) is hiring a product lead to digitize the parking industry
Last time an Open Source project was using UnSafe it was getting attacked by Rust Evangelism Task Force.
Exchanges make money from transactions. If they destroy the network for their users, they lose all their cash flow.
Plenty of companies hold announcements and whatnot, I hear. In fact people get excited for movie, tv, and game trailers (ads!!) to be released and go in person to discussion panels about upcoming products. It's wild out there!
Locking up some currency is better than a similar amount being continuously needlessly spent on mining hardware and electricity.
The handwriting skills were common back in the day... By the way, are you sure that it was Dijkstra himself who handprinted these texts (rather than have, say, his secretary do that)? Because this is not exactly the (beautiful) handwriting as it was taught back then.
> but at the same time, it's taking away potential revenue from Google.

many of us see this as a positive
CA DOJ is completely and utterly shameless/corrupt. It is one of the most eggregeious institutions of America. They continue to violate basic fundamental rights guaranteed by the US constitution and then citizens of CA have to wait for 2 years of lawsuits to get their rights restored. They are also morally corrupt and will do anything in their power to tighten control over citizens of California.
I'm repeating myself but European cities like Edinburgh are really great in part due to the mix or apartments with pubs and shops near by or directly under flats. Obviously there's still planning required and there has been disputes with venues (with bad outcomes were a residential block was built beside an old music venue and it was forced to close due to noise). Overall though it makes the whole place very livable and walkable
It's that off-by-one nature of intervals that always bumps me.
The difference between note a and b is (a-b+1).
Calling an octave "an octave" feels to me like calling a numeric system with digits 0x0-0xf as "base 17"
So they made a decision that opportunity > debt. Thus I see no reason to have others pay for their decisions. They freely chose that option. They should be adult enough to live with it and not ask for handouts with tax payers money.
Exponent Acquires Another PM Training Company
Yes but building a factory in a residential area would be prohibitively expensive. Way cheaper to snap up 100-300 acres on the outskirts of town.
having many silos for connected information is just not the way we humans do it

What do you mean? I can think of many silos containing connected information: municipal residence records, marriage registries, birth records, police reports, tax records, medical records (for each hospital) are all silos connected by a citizen's identity.
What are the practical use cases for this?
Newsflash: Rich conservatives who read the National Review and pulled themselves up by their bootstraps by being born to wealthy parents think student debt relief is a bad idea. In other news, water is still wet.

Every dollar spent on student loan relief is a dollar that could have gone to support those who don’t get the opportunity to go to college

- Lawrence Summers

Ok Larry. Two can play that game. Every dollar spent on corn ethanol subsidies is a dollar that could have gone to support those who don’t get the opportunity to go to college
Kids are heavily pressured to go to college. Some kids are in fact under the threat of going to college or getting kicked out of their home at 18. That kid doesn't really have a "choice". They can't live off the minimum wage jobs that are the only thing they qualify for (and this assumes they'd be hired). As a bonus, the loans you're able to get depends on the income of your parents despite you being an "adult" and regardless of whether your parents help or not. You can end up with a ton of student loan debt without being irresponsible. We are treating 18 year olds as "adults" only as long as it's convenient.

The world is a very hard place to live in and we do very little to prepare 18 year olds for adulthood. Can't get a job or afford a place to live on their own. God forbid they make a mistake. It's cruel and predatory to give them loans they'll be stuck with for the rest of their lives unlike any other type of loan.
Because most people can't put two and two together and most of the media isn't helping them out on that front.
Spotify isn’t profitable. Apple and Amazon don’t need for their streaming products to be profitable as stand a line services.

Just like Microsoft doesn’t need for OneDrive to be profitable by itself - hence the “Dropbox problem”.

https://www.inc.com/will-yakowicz/why-dropbox-founders-said-...

Do you think AppleTV+ is profitable as $7.99 stand alone service?
Over idle already is a real issue.

Who is going to build a hydrogen generator or data center with a 80% idle time, operating only 12-4 PM?
Regardless of whether you are right or wrong about DDG:

Doesn't this line of logic lead to every free site being evil, including the one we're talking on?
This argument gets rehashed nearly every time cycling and helmets are brought up. Usually be people talking past each other.

Here are some important conclusions:

1) Cycling as a commuter is quite safe, with or without a helmet.

2) Cycling is safer with a helmet.

3) If you found yourself in some binary where your only options were "cycle without a helmet" or "don't cycle at all", the health benefits of "cycle without a helmet" likely outweigh the risk of serious injury due to not wearing a helmet.

4) Because of #3 and other factors, helmet laws for adults aren't generally a net positive.

5) BUT - it's a good idea to wear a helmet whenver you can, and even the Dutch (fore example) would be better off if they kept their usage of cycling high, but culturally embraced wearing helmets as well.

6) Things are very different in higher-risk forms of cycling like BMX, road racing and MTB, where crashes are much more frequent and higher impact, and you'd be an idiot to not wear a helmet.