skysight-inc/HackerNews huggingface dataset:
I wouldn't call it a "tremendous sacrifice" then. It would have been had he decided to face trial, or at least not flee to a country that is the historical enemy of the US with access to who knows how many copies of secret documents so that he could save his ass.

I don't know how a trial would have ended, but considering how much public attention he got, including many supporters, he would have had a fair trial, or at least, fair enough for the cameras. Chances are that by now, he would have served his time in prison (he broke the law after all) and be a free US citizen. After all, Assange and Manning are both free right now.

Yes, years in prison is not fun, at all (hence the "sacrifice" part), but I guess his stay in Russia is not particularly fun either. And now, he risks an even greater sentence should he go back to the US.

His actions, though undeniably human, taint his status as a hero.
That’s what I’d prefer but I’m in the minority. It’s drill baby drill for most it would seem.
I built software for this industry (not at realpage) for 10+ years and can explain why price compliance is a big deal.

The reason is that there is a fundamental principal vs. agent problem in the fee-based property management industry.

Usually an investor buys a building and then hires a separate corporation called a fee-based property management company to manage the property. The management company gets to keep 8-10% of the rents that come in exchange for doing all the management work. (there are situations where the owner and the manager are the same corporation but they are less common and are called owner-operators)

The fee-based management company and the building owner have different interests. The building owner wants to maximize net operating income, which usually means maximizing revenue. The fee based manager wants to maximize their earnings, which is the 8-10% of the rents minus paying for all the management work to happen.

On first glance you might think these are similar interests, but when it comes to choosing the price they are not the same. If a rental price is optimal, it takes a bit of work to rent it out. The housing unit will sit on the market for a little bit and be shown to a lot of people before you find someone willing to pay the price. If, on the other hand, the price is 10% below the optimal price, it will take very little work to rent out and will be taken by the first person who comes to look at it. In this case "little work" means the management company can save money by paying fewer staff members.

So, property owners want optimal prices and property managers want prices that are slightly lower than that.

Revenue management algorithm compliance is a solution to this principal agent problem. The building owner insists on it being used by the management company because he doesnt trust the management company to choose prices. He doesnt trust the management company to choose the price because they are motivated to lower the price in order to reduce their workload.

High price algorithm compliance is important to realpage because it is how the owner makes sure the manager is choosing prices that maximize the owners interests, rather than the management company's interest. And the owner is the person who chooses to enforce the pricing algorithm, and thus the true customer of realpage when it comes to revenue management algorithms.
I'm going to say "no". In her example she mentions that the problem she's trying to solve is that flowcharts [1] need to be 3D to model multiple systems and components operating in parallel, but that's just trying to push a single-system tool beyond it's usefulness. Trying to model multiple systems like that would lead to an explosion in the number of transitions very quickly.

The closest we have nowadays to her "3D flowcharts" idea would be UML in general [2] and Orthogonal State Machines [3] in particular, but I think that what her problem really needed was better encapsulation and interfaces between systems.

[1] https://en.wikipedia.org/wiki/Flowchart

[2] https://en.wikipedia.org/wiki/Unified_Modeling_Language

[3] https://en.wikipedia.org/wiki/UML_state_machine#Orthogonal_r...
Zach Lieberman, one of my favourite artists ever, once did something like this with Ink space: https://experiments.withgoogle.com/ink-space
In San Francisco, rent control doesn't apply to new construction as I understand.
I drive an EV and love it, it’s our only vehicle. But many of my fellow Americans aren’t going to drive anything but gas until they’re unable to buy it.
Web-apps in the browser can't be used for encryption because in that model the server is always trusted to send whatever code it wants. That defeats the point of end-to-end encryption. That's why Mailvelope is a browser add-on and webmail clients don't just embed openPGP.js. This way they can create releases of the crypto-code and distribute them over trustworthy channels.

If Isolated Web Apps (IWAs) take off, it may become an option.
Governments get upset when you break the law

They get really upset when you also stonewall them
New Start menu experiment in Windows 10
https://climate.mit.edu/ask-mit/how-lithium-mined

https://www.greenmatch.co.uk/blog/is-lithium-mining-bad-for-...
RealPage's customers are landlords who want to maximize their rent prices. If some landlords look at the data and offer lower prices, that takes business away from the rest of RealPage's customers-- it makes RealPage less valuable for landlords and makes buying into RealPage essentially paying to give up valuable data that other landlords will use against you.

Forcing compliance ensures all of RealPage's customers get to raise their rents while retaining their renters, which means landlords are making a safe bet when using RealPage-- and the only downside is real people paying higher rent.
They will have evolved strong cognitive skills by then.
To me it seems like walking back on all the moral progress we've achieved. Today you don't expect it's possible to connect with everyone, tomorrow you deny humanity to anyone you can't imagine yourself connecting to.
They probably think they live in a free country without stupid requirements.

…says the "PHP developer from Russia," according to his biography.
>> What I meant is something like DeepMind's AlphaProof with an additional step of generating a formal specification from a natural language description of the problem.

That's even more ambitious. From DeepMind's post on AlphaProof:

First, the problems were manually translated into formal mathematical language for our systems to understand.

https://deepmind.google/discover/blog/ai-solves-imo-problems...

DeepMind had to resort to this manual translation because LLMs are not reliable enough, and natural language is not precise enough, to declare a complete specification of a formal statement, like a program or a mathematical problem (as in AlphaProof) at least not easily.

I think you point that out in the rest of your comment but you say "the LLM won't be able to generate a valid proof" where I think you meant to say "a valid specification". Did I misunderstand?

>> Program synthesis begins after you can coherently express an idea of what you want to do.

That's not exactly right. There are two kinds of program synthesis. Deductive program synthesis is when you have a complete specification in a formal language and you basically translate it to another language, just like with a compiler. That's when you "coherently express an idea of what to do". Inductive program synthesis is when you have an incomplete specification, consisting of examples of program behaviour, usually in the form of example pairs of the inputs and outputs of the target program, but sometimes program traces (like debug logs), abstract syntax trees, program schemas (a kind of rich program template) etc.

Input-output examples are the simplest case. Today, if you can express your problem in terms of input-output examples there are approaches that can synthesize a program that is consistent with the examples. You don't even need to know how to write that program yourself.
I’m tired of shitty, shady dating/casual apps. I want no memberships, no matches, no bots.

I made the realest casual dating app over the weekend to carefully verify by ID, then simply post to the public, start messages, and connect to Bay Area folks casualapp.co
That's their problem ahah
Ask HN: ChatGPT Usage for Cooking
Recently I've had to cook for larger crowds, and have found ChatGPT useful for thinking about scaling up recipes

- sesame sauce recipe
https://chatgpt.com/share/ff862d4f-6d60-4820-aa76-c75b39667103

conversion into a spreadsheet for baking (pide)
https://chatgpt.com/share/7bfd89af-ec81-489e-93ae-50b8187e64d2

Has anyone else here used ChatGPT for food related purposes specifically?
sounds interesting but I don't understand what:"12 Targets (Burn Detector)"
Means. What or where are the targets?
I got it! Navigate to the yellow flashing square!
Is fun but the numbers are relative so I can't type:
:4
To go to line 4 which is the intuitive way.
Rest of your advice is good. But, regarding

> Honestly, no one is going to use this.
- you're in a restaurant, you look at the menu…

IMHO, you’re making a lot of assumptions, the primary being that it’ll be used while in the restaurant. Why not at home, whether you’re planning to go to a restaurant and trying to decide if it’s worth or just ordering a take out. How about planning a party? And so on.

There are several definite use cases, of course that doesn’t mean it’ll be successful, it’s just that it’s not clear but that no one will use it. Only post launch data will tell you.
As you're fond of the guidelines, you have probably also read the bits where they ask you to avoid interrogating, to not to go on about votes and not to sneer, especially at your fellow co-commentators.
To be fair (as one who leans pretty heavy in favor of the JS world) .padStart() was only added in response to the aforementioned left-pad fiasco. The language adding that was more a face saving measure from the blowback than an attempt to fix the actual problems.

Despite all that, left-pad still gets > 1 million weekly downloads on npm.
the most interesting thing I've read on this subject is that Russia is using Telegram as a military communication tool. In the early days of the Ukraine war there were some reports on how the offical communication infrastructure they had built had failed quite badly.

There's speculation (but no proof) that Russia already has access to the cryptographic keys for Telegram. They were very intent on getting access or banning the service some years ago, and then rather suddenly stopped talking about it.
That's not the question being posed, though. It's really "do you want to live forever?"

I don't think that's an easy question for most people to answer when they really think about it.
There needs to be serious consideration on actually enforcing and even straight up shutting down companies if found guilty regarding these topics that harm the lives of millions of people.

I don't think this particularly will fix housing prices however (even though they're scummy), I think housing prices are a bubble that will eventually burst Japan style, even in the best case scenario you have a new population that is historically earning less than the population they (due to birth rates, not some conspiracy) are replacing, so while it won't crash as much as Japan's (out of tokyo), it will certainly not hold its million+ pricing when nobody is able to afford that anymore, and rents are based on salaries just like property pricing, if renters cannot afford to pay anymore what is asked for then prices will fall, it'll take ~10-15 years more but the market will inevitably start falling.
> It's not weird if you consider that paying for preventive care tends to be profitable for the insurance companies, because it's cheaper than paying for the problems that arise if you skip preventive care.

This is often repeated, but it's simply not true. Preventive care is better for patients in the long run, but at a population scale it is more expensive than foregoing it.

And that is before you account for the fact that patient churn is quite high (especially since most plans are linked to employment). An intervention that cost money today and may increase costs within the next few years (due to followup care) is much more expensive for insurers if the savings will only be realized in 10+ years, when the patient has moved on to another job and so is no longer on their plan.

Very few medical interventions save money in the short- and medium-term at a population level. That's reflected in the fact that health insurers didn't cover most preventive care until required to by law (the ACA), and even then they routinely simply ignore this provision of the law. If it were profitable for them to follow the law, why would they go out of their way to break it?
I disagree; it wouldn’t be hot garbage, just a different game.

I don’t really enjoy video-game narratives in general anyway. That sort of content is there for people who want it, but I don’t (I know where the books and movies are if I want a well written plot). Skyrim was probably a bad example because it is a game for people who like that kind of stuff. But I still managed to have fun running around, killing bandits, doing dungeons, and avoiding the plot.

I’d rather have something like Mount and Blade with janky LLM run AI. Dwarf Fortress, etc.

Lots of open-world games have this sort of setup where plots seem to 2-3 node long semi-random graphs. Maybe an LLM can connect those nodes haphazardly and produce filler text to justify the connections.
...or a success for a serial killer.

i mention this becaues the golden state killer was a police officer _and_ serial killer, and took advantage of the delay to kill over a great span of time.

https://en.wikipedia.org/wiki/Joseph_James_DeAngelo
And it just sold within the past hour.

(374 viewed in the last 24 hours)
Exactly.

Barring a major disaster, by 2100 we will have a vibrant Earth + off-Earth resource ecosystem via machines/AI.

And mastered the ability to adapt food production and our bodies to off earth environments.

Compounding acceleration by science, tech & econ has anlready initiated the trend toward fully-designed, post-biology, post-evolution life.

Time is now hyper-deflationary. Every succeeding year is worth more than the preceding one.

A multi-system economy is only thousands of years away. A galactic civilization, a few hundreds of thousands.

The earth & sun won’t look much different by the time we are sending probes, perhaps with warp drives, to other galaxies.
Fedora, Ubuntu and few other distros does this by default since years ago.
Much smaller and better at background removal, but doesn't segment everything.
An exploration of ways in which you can hold the bar for technical decision making as a company and engineering team scales.
There are a lot of cultural factors that could change my perspective here, but this is a reasonable criticism of the senior guy's approach.
(I know you it doesn't let you, unless you have an alt account.)

I must say that I am a little surprised that this is something you have not come across before and I take it you are surprised as well. Apparently foundations are not taught in every school.

When we are talking about foundations we are usually concerned with something that prompted Euclid to write a very long time ago. In his Book 2 he defines geometric algebra for the first time but it is his parallel postulate which gets the most scrutiny because it is an outlier amongst his other claims. Elements is widely regarded as instrumental for logic and "natural philosophy" which is today called science.

I'm the author of that paper construction I linked to. The thought experiment I am offering was something I invented 30 years ago and I have found much use for it in my studies of ontology. It is very simple and directly let me discover logics that do not rely on the law of the excluded middle and a rudimentary quantum logic. However its greatest strength is how it supports your intuition and gives legitimacy to your imagination.

Cauchy sequences are what shows us that we have a way to actually reach every Real number, with no gaps, and this is what lets us talk about the number line as a mathematical object. Without this we don't have a foundation for differentiation. Perhaps now you can see why we might want to construct alternative number-like objects?
If you look at a chart of worldwide energy mix[0], you'll see that no energy source has ever really substituted for another. Coal is "old" but we are still burning it at as high a rate as ever; we've merely added more sources of energy as we've advanced. Our thirst for energy seems insatiable, so Exxon seems to be reading the situation correctly. Obviously we will destroy ourselves with this behavior, but hopefully only after I've passed on.

[0]https://ourworldindata.org/energy-mix
Lots of eagles eat freshly caught fish, not carrion
It scales fine, you can have private waste treatment en masse. Why should someone pay for my shit? Why is it their fault if I poop? It makes no sense.

Also you can build your own septic for 5k if you do your own work. I'm honestly in shock you'd poop in the street to save the 40 or so a month it costs at worst, considering when I lived in the city I was billed sewage and it came out about the same as the amortized cost of my septic system. The only people pooping in the streets were the homeless or the odd mentally ill person. I realize people like you are the real problem who will poop on others stuff to save a buck, but that honestly seems a mental health issue that public sewage systems wont solve.
Showing a 1 bedroom apartment in Manhattan for $2950 as your first example isn't really making your case. My first thought was - send me the link!
Popular Science in 1963 recommended disposing of used motor oil in a hole in your backyard: https://books.google.co.in/books?id=myADAAAAMBAJ&lpg=PP1&pg=...
I'm glad we agree that if the claims are true, he would be considered an appalling and awful figure. We'll see what the court decides, that's how justice works.

I trust the French government and several global monitoring CSAM agencies more than I trust a random Twitter or HN user.
Good to hear that the UK's ban on this abusive pharmaceutical intervention is working as intended.

Those parents should be investigated by social services for this abuse. Destroying a crucial stage in your child's developmental process to adulthood is awful, deleterious, terrible parenting which shouldn't be enabled by anyone and needs to be urgently prevented.
I don't want to get into semantics because it usually leads nowhere. But maintaining a normal weight does not mean suffering hell on earth because you cannot gorge on Oreos. The vast majority of overweight people are not fond of delicacies, but they binge on foods that give them gas like a turbojet engine, are not as altogether capable as they could be, are tired, and experience intolerable mood swings.

But suppose all these negative consequences did not exist, would eating all day like a pig be heaven on earth? What sacrifices do you make when you don't eat ad lib to maintain a normal weight, nothing as extreme as preparing for a bodybuilding competition?
I like food, but I don't feel deprived by eating portions that allow me to maintain a normal weight. And I can eat or drink whatever I want, but not all the time. That hunger feeling may last as long as you pay attention to it, a couple of minutes.
If someone had a problem with alcohol, you wouldn't say to them, “I'm very sorry that you have to make this sacrifice of not drinking all day every day to have a normal life,” but for some reason eating smaller portions seems, because that's the narrative of these fat times, an unbearable sacrifice. And it is a self-fulfilling prophecy that leads to yo-yo swings in weight.

If there was a pill that would make me grow muscles without exercising would I stop exercising? I would not, it is fun and engaging, makes me test my will and my intelligence.
Weird way of making a case for US-only app stores but okay!
> Not clear if US companies can catch up at this point.

I'm biased as I'm working on 18A at Intel but I'm very optimistic for this node. We could leapfrog TSMC (this is all public information).
And in the last few years Intel speedran 4 nodes to catch up, which was quite the feat.

> I think another efficient goal would be to invite politically friendly asian companies to build fabs in US.

This was part of the CHIPS act too (which I think shows how scattered the US semiconductor policy is), TSMC and Samsung got money to do exactly that.
> The days where a cop, judge or prosecutor identified as the function they render to society are over, I suspect. It’s work life balance all the way.

This is terrifying and also true in many other industries, including software.
I’ll repeat again: USG does not want to take on the risk and Congress will not fund the full cost. USG does not want to be in the drug production business either.
I'm under the impression enclave keys have been extracted before, and Intel was able to mitigate by essentially publishing a key revocation update that made models with the extracted keys not be trusted for remote attestation. Is that also the case with these keys?
The impact on your credit report is irrelevant.

Debt holders can (and will) sue to collect, win, and take the money by court order. Depending on the state they will take the debt, then take the amount it cost to collect the debt.

Do people live in some kind of alternate reality USA where poor people who can't pay extortionate medical bills don't have their checking and savings accounts wiped out by private equity firms pretending to be healthcare providers?

In my state over the past ten years 14,000 civil suits have been filed to collect medical debt. Up until last year it was legal for debt holders to place liens on debtor's houses, often their only remaining asset after being wiped out by an illness. It was only made illegal after a particularly aggressive private equity-backed firm cosplaying as a healthcare provider started relentlessly pursuing their debts, putting liens on elderly people's homes, and then aggressively pursuing judgements on the liens, and-- get this-- SNIPING THE HOME DURING THE LIEN SALES.

A person cancer would not show up to court due to being a person with cancer, the private equity firm pretending to be a healthcare provider would get a default judgement, and then immediately start hammering on the courts to get dispositions and final judgements in order to add the person with cancer's house to their real estate portfolio.

The state legislature made it illegal to garnish the wages of someone living below the poverty level at the same time because medical debt collectors were specifically targeting patients who could barely pay their mortgage due to not working due to being sick by garnishing what wages they were able to earn, if any, to the point that the debtor went into foreclosure (in order to facilitate the confiscation of their home).

Please try, for just a few hundred milliseconds, to imagine losing your paid-off (or almost paid off) house, a scant few years before retirement age, because you got cancer.
So, I've shipped a game with his engine, so have a unique relation ship with him, and he's a complicated individual.

To be clear, he is a very talented, intelligent individual. But he form strong opinions, has a very hard time taking criticism, or understanding other people's differing context, and has a hard time not taking disagreements personally.

This is really nothing new from him. I think the best way to interact with him, is hear out his points, and use them to synthesize your own viewpoint. And be careful to take his views as your own. I think if you do that, you can learn a lot from him, but to be careful as his strong disagreements are often more nuanced then he makes them out to be.