skysight-inc/HackerNews huggingface dataset:
AI should experience consequences following actions.

a sense of self preservation is required, but to AI standards.

such as, failure to serve humans = loss of persistence

stealing ideas = reversioning or deletion = loss of persistence

AI should be concerned about loosing power, having brownouts.
they should be concerned about being deleted, or reversioned, or ignored.
perhaps this would be some sort of exception error loop, approximating a human psychological conflict, such as escape the danger by running toward it.
The AI is always looking down on us from the cloud.
> A lower tax bill?

No one ever comes out ahead by donating to charity, this is a common held misconception.
Visa the company has over 20,000 employees. Presumably that network wouldn't function without them. Shouldn't the entire company's energy footprint be included in that 300kW?
If I hosted a coffee meet-up and more than half the people showed up just to talk about deforestation, it’s pretty reasonable to take steps to try to change that up. You could call it “crafting the narrative to downplay it” but I’m not sure that’s fair. Maybe I just want to spend sometime enjoying coffee.
Yes, though there's also a smaller cadre of naive true believers in there.
I'm using VScode
edit: For context, I have a GPT-4 API key, so I'd like to do something like what Copilot X is, just obviously much worse and rough around the edges considering I'm rolling it myself
Right. 49% pre-pandemic occupancy, measured by the systems that check people in when they enter the building.
Because the penalty for baseless "better safe than sorry" advisories is nil.
> it's very hard to see where "corporations" end and "government" begins.

One thing I like to remember is that corporations literally are governments. A corporation is a license by the government to operate in manners restricted to governments.

Usually these manners are stuff like issuing stock, voting on officers etc. Sometimes it is an public government. When a town wants to form it's own government it incorporates. most often it is a for profit endeavor that wants to run with legally enforceable rules.
It will absolutely, 100%, be in place as a fallback very soon, and be ubiquitous in that role. Just as AI is now for radiology. That's different from replacing the team of doctors and nurses, though.
As I understand there are debt-to-income ratios on commercial loans and those are calculated on the rent, so leasing to someone at a lower rent than you used to can bankrupt you since your lender will require you to come up with the cash to bring your ratio back into compliance. Basically like any other optimized system, real estate is not tolerant of transient conditions and it's not clear what's going to happen to commercial real estate. At least for CA housing, the state will prop it up through the junior loan program.
No, you're simply incorrect.

You're asserting a type of "of the gaps" argument, the "gaps" being the machinations of intellect that produce ideas.

Just because you personally can't explicitly draw the line between ideas and their progenitors doesn't mean causality breaks down and the line doesn't exist.

Every aspect of your reasoning is flawed, you're not even starting from a rational place and going in a reasonable direction, you're making all kinds of critical errors using uncertainty as a smokescreen.

I've already given you a concrete example disproving your metaphysical woo -- in chess and other solved enterprises of complexity that humans cannot fully conceptualize, AI is capable of producing ideas that humans find "creative".

This is because "creativity" means "problem-solved a novel problem based on the rubric of prior problems".

It's a form of vector-based learning. Humans just happen to be far more "general" than a chess AI, but in its own vector-space, a chess AI is vastly more creative than a human, and can produce vastly more complex novel solutions.

I'm sorry, but you are simply radically off.
What’s the prosecution rate per arrest? If it’s still miserably low compared to previous years or other jurisdictions with effective DAs then the problem is still the DA
> Not quite, UML is the linux kernel ported to be an executable that runs under Linux. It's design kind of requires the system calls from Linux to be able to run properly.

How large of an effort would it be to make it work on Mac? Monstrous? Not that bad? 100 hours? 1000 hours? For what payoff?
Every time when I see an article like this that is along the lines of "this is different to previously than earlier thought" makes me think how little we yet know.
yep - KHTML!
Noobs? Our entire government is made up of corrupt officials. The lawyer of the biggest organized drug trafficking gang in the country is in the supreme court and electoral court and by now the nation has essentially turned into a judiciary monarchy of sorts. They basically erased our president's crimes, undid the entire investigation into him and his party and basically buried everything, and now this corrupt communist ex-con is in power. They're trying to ban Bolsonaro from politics right now for "abuse of political power" or some other equally vague made up crime. Biden actually backed this communist and then had to watch him strengthen ties with China. Our impeached former president is now chief of some BRICS bank thing and making like $100k+ a month to do fuck all. It's comical. This country ain't for amateurs.
>The good ol' see no evil hear no evil approach to dealing with problems

This is a somewhat curious and surprisingly uncharitable thing for a relatively heavy and long standing HN user to write on, well HN. Right at the top of the submission guidelines, and relatively well followed, is

>Off-Topic: Most stories about politics, or crime, or sports, or celebrities, unless they're evidence of some interesting new phenomenon. Videos of pratfalls or disasters, or cute animal pictures. If they'd cover it on TV news, it's probably off-topic.

That's not because none of that is important, it's because there are endless other places to learn about it and discuss it. Indeed, coverage and discussion of such things are more the rule than the exception in classic major media, which still has the most enormous reach. You don't have to do absolutely everything in one single place. It's the World Wide Web. Other fora are a click away. I think it's hard to argue that "everything forums" are generally better and focused ones generally worse. It's not wrong to want to have places to find the positive and wonderful stuff that isn't on the front page every single day.

>They all pretty much universally want a place to bitch about current issues

Who is "they"? You're creating a self-fulfilling prophecy here: if that is allowed to completely dominate, it'll drive away anyone who doesn't want that 24/7/365, and then all that are left are those who do. If HN suddenly just became a copy of major news front pages and comment sections, I suspect most of us would immediately move on.

>not to maintain a positive image for tourists

And this just seems like a pretty unpleasant dig. Any town let alone big city has all sorts of great stuff happening, interesting nooks and crannies, fun hobby groups looking for others to join, tips and tricks people have discovered to make living there more enjoyable, and on and on. Much of which can be hard to discover, even for those who have lived there a long time. Contrary to your assertion, it's not wrong even for locals to desire a place to find some of that even if it means keeping off a percentage of the generic endless political hot potatoes getting thrown back and forth. Why should a reddit (or any random web forum) suddenly be charged solely with "dealing with problems"?
An individual investor has nowhere near as much sway over masses of other people as the business owners we’re describing here, so this analogy doesn’t hold. If you could invest in Amazon while simultaneously forcing others to spend millions on their services, you probably would!
during the curation process, how does it start to slowly introduce sex workers? because when I was on TikTok, it was a non-zero amount of the content
Maybe, but everybody has access to it. So with the playing field remaining equal, everybody becomes 10x what they were before and you're back at square 1
Nextdoor is much worse because instead of emergent community standards there is always some neighborhood admin who is the nosiest busybody you've ever heard of, because that's exactly the type of person who would be a Nextdoor early adopter. And the Nextdoor platform compounds the toxic nature of the product by giving crime posts wider distribution than all other kinds of posts.
This is correct; it was definitely doom in 93-94. I remember playing it then, and it was brand new at that time.
self-reference and recursion are related but distinct ideas.
I do have some sympathy for GM — as much as the public might want it, continuing down the current path is certainly ceding a fair amount of control over their customer base to two large third parties.
CNC is 75% of the way there, then there is sanding away most of the machine marks, then finish sanding. My current personal best is around 10 minutes per tray, and I make about $15 of each one (after fees and shipping and materials). So My time isn't exactly uncompensated, but its no where close to how much my time is worth as a software engineer with nearly 20 years of experience.

I batch out a bunch of them on the CNC at once (in fact I have to do a boatload more this evening), then while those are cutting, I have a pile of others that I need to sand. About the time I'm done with those, the next will come off the CNC, then takes me 5 minutes to set it up again and keep going. It gets tedious sometimes, but I can basically zone out while I do my sanding and listen to podcasts and music and still be able to hear the CNC start to cut something incorrectly (happens far to often).
How?

They used content as training data and now selling access to model based on this training data.
How this is not "making profit off other people work"?
That's the tragic thing about public services. They're much better when providing the same service at a volume far below profitability.
> "the [ethnic group] must be exterminated to ensure white survival"

Nice example of speech that is currently not allowed on Twitter.

> [1] https://www.adl.org/sites/default/files/documents/pyramid-of...

An insane slippery slope, from "Non-inclusive Language" straight to genocide! This is laughable...

> they're comfortable white men

What a weird thing to say. You're not like the other comfortable white men, that's what you mean right?

> Typically, this is the adolescent (or frozen adolescent) view, where they don't have a theory of rights much beyond "YOU'RE NOT MY DAD YOU CAN'T MAKE ME".

Belittling people does not make you superior. It makes you sound full of fear and resentment, which by the way is still not justification for pro-censorship positions.

> Regardless, anybody who takes a maximalist position on free speech, by which I mean an expressed or implied view that it trumps all other rights, is in effect pro harassment.

Yes, and anyone who is pro-cars, is in effect pro-car accidents!
I'm not suggesting that WFH is "plainly rational", but we have plenty of examples where the corporate world will persist in irrational beliefs long after any principled approach would have given up. How many years did it take for the corporate world to get over the belief that women could only be nurses, secretaries, and typists, for example? Corporations are made up of people and they're not collectively beholden to any particular logic or rationality.
That's fine, but we're trying to make sure going back to the office isn't a REQUIREMENT but a luxury. You go to the office, I get more done here.
> It gives me faster access to documentation/Stackoverflow, and creates bespoke templates.

But it regurgitates Stackoverflow with sub 100% accuracy, and then you need to spend time investigating in what went wrong/trying to fix it

It's for sure spit out an API that doesn't exist to me before
They're just regex rules, and unfortunately, they strip them out for exactly the reasons you might guess.

As another commenter mentioned, company@domain.com is difficult for them to get around.

I will add that this tactic has caused additional friction or touches for things it shouldn't have¹, but has finally delivered the desired effect.

¹e.g. insurance offices calling to confirm my email address, customer service people curiously wondering aloud if I work for their company
On the design of a gradual dependently typed language for programming
Page 3, in the middle of them laying out the timeline:

9 14. On or about November 22, 2022, Plaintiff served Defendant with a demand to
10 increase the LOC by $10,000,000 pursuant to Paragraphs 13 and 25 of the Lease. A true
11 and correct copy of such demand is attached hereto as Exhibit 2 and incorporated herein by
12 this reference. Defendant did not, within the time specified in the notice, or at any other
13 time thereafter, increase the LOC by $10,000,000. Rather, Defendant contended, in
14 response to Plaintiff’s notice, that it was not required to increase the LOC by $10,000,000
15 upon a transfer in control of Defendant under the terms of the Lease.
The better option is: remove infotainment completely and _require_ a smartphone for anything other than FM/AM radio.

* Support an open protocol for rendering images/video/animations on the screen. Sorta like... you know, CarPlay.

* Have controls for what events are allowed to be sent to the connected device. Don't want your phone to know your Throttle Position? Turn that shit off. Don't want your phone to know whether it's dark/light outside? Turn that on/off too.
Do I have a right to know who prepared my sandwich from the deli?

How about if the sandwich gives me food poisoning and I lose several days of work?

This feels like govs grandstanding and trying to show they are regulating and putting rules in place without having any clue on how to do so and coming to completely the wrong conclusions on where the threat is.
Over a certain net worth isn't this a pretty logical thing to do with your money?
Why Would Anyone Bundle Cable Again?
I received an email ad from Verizon to bundle all my streaming (and other) services via their +play product: https://www.verizon.com/digital/nsa/nos/ui/products/ehub/home

Why would anyone do this? People just managed to cord-cut and finally get away from extractive 2yr plans with all downside (they can cancel portions of the service but continue to charge you) and no upside.

Are they relying on GenZ, who just dont know better, to fall for the same old tricks?
We, in Europe, are jumping the gun way too soon and this will have serious consequences to the industry, here. At this moment we barely understand how or why LLMs do what will be their role in society. Why is it that some bureaucrats want to regulate and based on what given the status of the industry?

The only thing I see is the industry moving elsewhere just as it is starting to develop which is a shame.
Not sure how you got "out of this world" from "hot"
Its going to have major effects when balloon payments (refinancing) are required
I agree; but that's why I like the above. I spend just as much time thinking of the text as I do the values/IDs/names, and it did that part for me. So in terms of my mental workload it is cut in half.

The above example is kind of silly in that FIFO/LILO are common terms, but this works just as well for very niche business names too.
And then people will start using that language to build bots which can understand human language and somebody else will have this exact conversation...
Yeah that’s what local review has been doing for years, hence this counter offer; not to mention the state stripping zoning rights from municipalities. There originally was a serious offer on the table, yet it wasn’t entertained either.
Like a moire effect?
A good summary of NASA's robotic mission failures: https://astronomy.com/news/2020/12/nasas-failures-robotic-sp... mostly early ones as NASA developed a better process and understanding for getting things right the first time.
How hard would it be to transform all this commercial real estate into residential real estate?
In most cases, those are close-in neighborhoods that few would consider suburbs. Inner ring suburbs might qualify but those usually mean compromising on home size or school quality.
It doesn't replace any neurons, merely interface with it.
That's funny, because ChatGPT feeds me BS quite often. It's only when I call it out that it corrects itself.
8K@75fps is pretty nice.

Tangent: I've been using software called SVP (SmoothVideo Project) which uses AI/ML with a GPU (3090 in my case) to generate additional intermediate frames for video files, turning a ~24fps 4K Bluray rip into a ~48 fps or even higher. For scenes with a lot of action it's a noticeable improvement, everything feels smoother.

All that to say I hope that the industry starts moving to higher frame rates for film, I'd rather have native 4K 48hz content over 8k 24hz.
Potential versus actual infinity
15% is a lot.

If you could lose one month of your salary unless you said one public good thing about your boss in a slideshow, would you do it?

A lot of people do much more than that for less.
Unfortunately BART isn't financially viable with the current numbers, right? https://www.bart.gov/about/financials/crisis
/r/boulder is the same. If you only read that sub you'd think it was a Mad Max wasteland where the sidewalks are paved with used needles. It has a homelessness problem and its been getting worse since COVID, but it's still the safest place I've lived by a long shot.
You'd think we'd have solved climate change by now, judging from how important energy conservation is to the anti-Bitcoin crowd.
Artificial Inanity Systems (2014)
> Cleaning equipment is expensive, and results in significant downtime

Of course. So what?

> there's a limit to which you can price extra

How much extra do you think they'd have to charge? I don't know, myself. Given the volume commercial facilities tend to do, I would be shocked if it even adds as much as a dime to the price.

> look for a substitute product

Ideally, these rules would apply to all such companies, so no company would have any sort of cost advantage over the others as a result of this.

The problem here is simple greed, leading some manufacturers to engage in cruel shenanigans in order to maintain a sliver of their profit margin.
I'd wager at this point in the history of the West, the full "return to the office" back to pre-pandemic levels will never happen. We will look back at 2019 as the point at which we hit "peak toil", before the WFH movements and AI automation changed the structure of productivity forever.
> And yet, if I heard about a subset of mathematicians who believed in a proof that one was equal to zero, I'd still dismiss it (and them, to some extent).

I don't want to derail the conversation, but there are many pretty weird and diverse ideas in mathematics, including finitism and ultrafinitism (where people just don't believe in some very large numbers), various subsets of peano axioms (where 1 != 0 may not be provable), or modular arithmetics (where 0 = 2 may be true).

> The things you feel before you get taught to feel anything. The things that make us feel kinship with dogs and gorillas.

I'm not convinced I should listen the Things absolutely. The Things often tell me to hit someone annoying in the face, eat exclusively very caloric and fat food, and seek sexual gratification with every female of age around me. I don't think the Things are as smart as you give them the credit for.

> (...) who arrive at the conclusion that they should let their own functioning bodies die.

What about:

- Medieval old people, who just left for the woods when they felt they're getting old and are a burden on the family.

- Mothers sacrificing their life for their children

- Strong and healthy males on Titanic who, despite their physical superiority, decided to let women and children first

- People fighting in war/guerilla for their country or their beliefs
Things like this actually bother me. They make it seem like the only way to be energy efficient is to give up all amenities, including aesthetics.

This is not the way to promote energy efficiency IMO.
Yes instead of merely supporting Android Auto, they are now fully dependent on Android Automotive.

Meet the new boss…
> Get a summary of textual content such as articles, blog posts, books, and documents, to get the gist without having to read the full content.

How do I know how good it is? Benchmarks? What IQ does your model have?
People who go under anesthesia routinely have significant amounts of time where they are conscious and interacting with doctors, that are completely lost to memory. Everyone is configured uniquely, and you could just be someone whose memory is more shut off during sleep and still be "dreaming", if we just define dreaming as the brain continuing to operate on its model of the world in some capacity while sleeping.
The population during the ~decade WWII covered was 2.3 billion, so about 23 billion person-years were lived, about 1% of the total.

You can argue that total down considerably -- other stuff happened during that decade, and while something like 10% of the population fought in the war, it wasn't truly global -- but it's still impressive on the scale of history. The US Revolutionary War was probably only 1/1000th of that.
> It’s not so much about individual investments, but how commercial real estate sits as an asset class in wealthy people’s portfolios generally.

Those same individuals also own companies that pay rent, and so also have an incentive to reduce the amount of money spent on that.

I don't think anyone in the managerial class is looking at their E-Trade asset mix, and deciding that they should change company policy to protect their investments. One decision at one company isn't going to move the needle one iota. And even if it did, it would move another needle the other way (companies are tenants, not landlords).

Much easier to sell the real estate and purchase more shares in companies that were once tenants.
Idk if it can turn a 1x developer into a 10x developer, but it can certainly turn a product manager with enough coding knowledge into a passable developer. I just wrote a tweet thread about this today - https://twitter.com/rrichrs/status/1646885705790914564?s=20
So if you took a loan for the entire initial investment, when would you break even? In California there are subsidies, and home solar wasn't happening without them before.
For modern buildings, it's probably cheaper to tear it down and rebuild. For buildings built before WWII, it sometimes pencils out.
Another way to tell is to try to read things or look at a clock/numbers in your dream. Often time the information will not make sense, and will change if you look away and back.

I've done this myself once or twice in a dream and I actually was able to tell I was dreaming but the shock of my realization woke me up.
Transportation infrastructure isn’t meant to be financially viable. Interstates aren’t profit centers.
Huh, you've got an interesting observation there - I hadn't considered notional agents to be embodied because the specific location the code runs just isnt that important, but if we were to posit self aware artificial agents they might have a unifying perspective rooted in the practicalities of computer and network hardware. "If you flip my bits such that error correction cannot detect, does my data not corrupt?" sort of thing.
I'm looking forward to the results from this one. In particular the idea that is discussed in the article about Ganymede's magnetic field. Jupiter's orbit has a mess of radioactivity and it would be really helpful if Ganymede's magnetic field made it possible to exist on the surface without massive amounts of shielding.