skysight-inc/HackerNews huggingface dataset:
Sure, connect me with attractive German, Swiss, or American woman which after good times and sex will say "wow great, move in to my place and let's create family". Hint: this does not occur, even the first part does not occur. While the opposite, woman of my ethnicity with German, Swiss, American man - yes it does. Call it hypergamy, a nonsense, or whatever.
> You're both right, but you're talking about different things.

The GP post is explicitly claiming that the values don't matter, and that per the standard a constexpr function should be guaranteed by the compiler to be incapable of producing UB (or else compilation should fail and it should not be allowed to be declared constexpr). This is simply false. Here is the GP statement:

>> That is, conditional constepxr code that depends on values and could produce UB is not valid constexpr code, and a compiler is not supposed to compile it. [emphasis mine]

> If you use the same values at run time as you use in the tests, the tests predict the behavior as desired.

Even this is not fully guaranteed by the standard, as core constant expressions must only be guaranteed not to invoke core language UB. They may still be considered core constant expressions and evaluated at compile time even if they exhibit standard library UB (e.g. if they are not respecting some preconditions of an std::vector method).
Interesting points in the article, but it seems to assume current state of the art will continue as-is, and frankly, shows little to no imagination of what "might be". It reads like the personal computer "ok, so what?" responses from the 80's.

The creativity of a large group of people will find new and interesting ways to leverage this technology. We will see more AI-assisted IDEs, debuggers, assistants, document "interpreters" (e.g. converting contracts into litigation, specifications into running code, rough ideas into whole new literary or film worlds), and so much more.

And, as far as I can tell, we are terrible at gauging the speed of AI advancement. See [1], [2]. These may be cherry-picked examples, but some of these are orders-of-magnitude off.

"Training to use AI will be a job in itself"... until it isn't. Adversarial AIs are probably already in the works to teach these LLMs right from wrong. Such training will take time, for sure, but the next leap is pretty clear in my mind: human obsolescence given our current (at least here in US) sensibilities. I'm not saying new sensibilities won't come, but historically, it has taken a long time for such base-line cultural shifts to take effect. Even after armed conflicts.

In my opinion, the question isn't, “[can] we automate away all the jobs, including the fulfilling ones?” The question is, "What will you do when your job becomes redundant?" The best AI researchers may be way off on their predictions here... it could happen in the next 12 months.

Thankfully, to some extent, this is just the output of LLMs and predictive analysis. But I'd bet someone is already tweaking a prompt/chat along the lines of "Build me an AGI which can make decisions on its own."

[1] https://www.weforum.org/agenda/2017/07/how-long-before-a-rob...

[2] https://www.forbes.com/sites/forbestechcouncil/2021/05/06/ar...
I'm not sure how you can possibly qualify VirtualProtect as "an expensive platform feature". Looking at the operation that VirtualProtect actually has to perform, from first principals, it should be one of the cheapest syscalls in the entire kernel.

The bug was that ETW (in the antivirus process) was doing something braindead; zeroing a megabyte of memory unnecessarily every time someone called it just to get the size of a buffer.
Wow, that's fascinating. It really speaks to the utter dominance of Windows over Linux more than anything else. Like even among Firefox users, as of last year, there were an order-of-magnitude more Windows 7 and 8 users than Linux 5.x users.
user must be running windows
I work at MS, tried to use Firefox but couldn't because FF doesn't integrate with the Windows cert store. Crucially, this keeps Windows Hello (TPM auth) from working, which makes it useless for any internal websites. For a while I used a hand-compiled PKCS#12 plugin that bridged to the cert store, but that was extremely fragile and eventually I gave up.

I think this is probably a major blocker for many enterprise users, and wish Mozilla would have fixed it.

edit: it looks like they may have fixed this in the past couple years, though you might have to go poking around in about:config.
> The problem is when we make decisions for other people. Things look very, very different, when it's our own butt on the line.

Which is precisely what this article is complaining about. AA both as a program and as cultural push "abstinence first" is harming addicts for which the AA method is not successful. Which is most people. For instance drug therapies are slow to be given approval, people are sent to AA programs through court orders, etc.

As an individual if it works for you that's wonderful. But governmental policy and cultural norms should be based on what's effective.
Not ideal to cut power to the entire car, but that happens anyway on every battery swap, no?

If you want to get fancy you can isolate the exact fuse and switch just that:

https://www.ebay.com/itm/175668177479

Thinking more, given how common parasitic drains are, carmakers should have all non-essential fuses in a separate subpanel section that can be easily switched off/diagnosed.
In our current high internet rate environment, we’ve already seen perverse incentives around firing workers to juice stock prices. Even if everything is the post is true, I don’t see what’s preventing c-suite’s from doing more of the same with AI. Sure, maybe it will all blow-up in their faces when an unchecked AI engages in wildly irresponsible or illegal behavior, but they’ll just golden parachute away to their next gig replacing people with LLMs.
I am always fascinated by how "scientific" people use language.
I wish that were true, but unfortunately some apps do not seem to be designed well in the case of data being turned off.
> 8 hours (4+4) spent in commuting, driving or not, is an entire life

There are already people who live in their vans anyway, if they didn't even need to drive them anymore perhaps areas with overzealous zoning laws that circumvent supply & demand would see an influx of small moving apartments instead.

It would be like a land yacht, and economically sound so long as the price of gas is lower than the price of rent.
I don't really see the problem you are seeing.

> all of the above tools need to be re-written and adapted to each possible compositor

These sorts of tools have always been (re)implemented by each (moderately large) desktop environment anyway. This doesn't seem like something stemming from Wayland or much of a change in general? Any one of these tools needs to be designed, tested, integrated with the rest of the desktop environment, etc. -- this is where the majority of the development effort would(should?) be going. I don't think the effort required to interface with the window manager / compositor is actually that significant, or significantly higher under Wayland.
How to Fix Double NAT and What is it?
Kudos for the authors for providing the code https://github.com/huawei-noah/KD-NLP/tree/main/DyLoRA and the roberta example. Considering the current state of the OSS LLM community, I'm guessing someone is already porting it to Llama and gpt-style models.
There are other companies working on these processes.

US increases EV battery recycling capacity with new AL facility processing up to 10K tonnes annually
https://electrek.co/2022/10/14/us-increases-ev-battery-recyc...

Redwood Materials recovers ~95% of metals from EOL battery packs
https://www.teslarati.com/redwood-materials-metal-recovery-e...
"Everyone's Jobs"

"Everyone" is doing a lot of implied work here. AI doesn't have to take over everyone's job. Even 10% would have a disastrous impact on our workforce, especially if there are insufficient safety nets.

That being said, I feel fairly certain that our economy will come up with (if not outright demand) more Bullshit Jobs† for the workforce to fill to keep all the appropriate graph lines going up.

† https://en.wikipedia.org/wiki/Bullshit_Jobs
These are all valid criticisms of AI in its current state, but nobody (and I mean NOBODY) thinks AI is done improving.
Get a sleep study. You can still suffer from reduced airflow at night even if it doesn’t translate to actual obstructive events. Or it could be something else.
I guess you haven't heard about "helicopter hog hunting trips in Texas" https://www.helibacon.com/texas-helicopter-hog-hunting/
Chinese does make it explicit where word boundaries are.

The only language that doesn't is Thai, but there are still well-documented algorithms for it.
Far fewer scientists are religious than the general population, which makes sense because the ability to think rationally affects both. Dawkins's problem is that religion is not the disease but the symptom of underlying irrationality. Solve for irrationality, and you solve for any problems religion creates.

Hitting religion head-on works poorly because of social pressures, but fixing science education to focus on the process for how we know things instead of what we know can fix society in a way that makes it easier for individuals to reject religious beliefs while also addressing the problems Horgan wants to fix.
The first two now have the same problem:

https://en.wikipedia.org/wiki/Ice_IX

https://en.wikipedia.org/wiki/Dilithium
> That's 250 megawatts saved, the equivalent of an average coal power plant. Because some Microsoft engineer missed a bug.

Are you sure you want to invoke this logic? Because following it through imagine the energy savings if Firefox users switched to Chrome.
Hah. I’ve replaced the battery in our Subaru Outback on average once per year, which is way too high for this environmental minded person.

I just went out last night to grab something from the car and it was making a loud electrical whirring noise. I had driven it several hours prior, no idea how long it had been going. I recorded a video and it is clearly audible. I started it and turned it off again, and the noise stopped.

Friend of mine (and several other commenters here) has an old pickup with a switch on the steering column that cuts the circuit at the battery, I’m ready to install one on both my cars.
You might be getting poor sleep and there are many reasons that might be happening.

Then there is also depression or hormone problems.

For me personally it tends to be caffeine preventing me from getting good sleep, which in turn makes me want to take caffeine to focus more, which prevents me from getting good sleep, rinse repeat.
Both GPT-3.5 and GPT-4 versions of ChatGPT are limited to 4k tokens, even though GPT-4 is capable of 32k.

This leads me to believe that part of the reason for some of the mediocre results OP saw was because they hit the token limit and ChatGPT started "forgetting" earlier parts of the conversation.
Your questions indicate to me a clear pattern of condescension. I don't see value engaging with straw man arguments and non sequitur rhetorical questions.
> Can you please cite a source for this?

Besides, even if true, it seems a lot like "people on blood pressure medication disproportionately likely to have heart attacks".

Like... duh? That doesn't (necessarily!) mean the medicine's not helping.
American offices are half-empty. That could be the next big risk for banks
Slicing User Stories
This is my first commercial venture since getting laid off[1]

I've love some feedback on whether this seems relevant to you, how it's presented etc.

First cohort starts April 24th!

[1] https://news.ycombinator.com/item?id=35007609
As the article says, the core problem here is that the AA/12 step step definition of success and failure basically means that it is close to impossible for 12 step programs to ever fail. They definitionally treat any reversion/falling off as being a failure of the patient not the treatment. This is the same as saying “this chemo isn’t working due to your personal failures” and then reporting a near 100% success rate for said drug. The resultant “high” success rate then leads to courts imposing generally religiously affiliated “programs” that claim to not require god, but sure as heck make it difficult to avoid. While I’m sure many aren’t making use of this system to gain coercive power over people who aren’t in a great place it’s very clear that many do.
That sounds like if you write proper C code correctly you don’t make memory errors when in reality it’s very common to not write correct code.

That’s why rust came along, to stop that behaviour, you simply can’t make that mistake, and hence the point is maybe there’s a better test to use than p value as a standard.
The SM algorithms, trying to predict the perfect time for reviewing a question, seem like overengineering to me (and also not very well supported by research afaik - we have evidence that repetitions help, but much less what the perfect spacing is). Just randomly sample questions with probabilities proportional to how 'urgently' you need to see them, seems like the most intuitive approach to me. No daily quotas, no running out of questions, just do a few when you feel like it and don't worry about whether you're doing too much or too little repetition.

Is there an app/plugin that works like that? I know you could use Anki like that by just not worrying about the backlog, but in my experience it doesn't work like that.
I'm not a physicist, just a knowledgable enthusiast. To your point, people are trying to look for contradictions. So far, none have been found. Physicists therefore use the model that simplifies the computation. If a contradiction is ever found then that will provide information as to which model is correct.
Show HN: GistReader – an RSS reader that uses AI to summarise your content
Hi everyone!

Aron (@arondeparon) here, founder of Gistreader.com.

I was an avid user of Google Reader back in the day, but for some reason, I silently rolled over when they decided to kill it and never looked at RSS again.

Lately, I am getting more and more frustrated by the fact that most of the content that I consume is being pushed at me by some kind of algorithm. I wanted more control over this process, so decided to build GistReader.

In its basic form, GistReader is an RSS reader that aims to make your reading experience as fast and pleasant as possible. In addition to that, it uses AI to automatically create summaries of your articles and uses text-to-speech to optionally read a condensed version of an article to you out loud.

GistReader is my first-ever product launch, so as you might expect, I'm pretty nervous about that, especially when it comes to sharing it on HN :)

Please, feel free to let me know what you think. It's all very early-days (lots of things I want to fix/improve/build) and the only way I can improve is by getting solid feedback from people that might actually use it.

Thanks!
As someone who was working on this decades ago [1][2], here's a useful recap.

- Back then, CPU power for the prover was a big problem. That's been fixed.
We were too early in the days of a 1 MIPS VAX.

- Prover theory is much better. We were using the Oppen-Nelson prover, the original SAT system. Now that's routine technology.

- Loose languages are a problem. You have to nail down all "undefined behavior", and
either detect it and forbid it, or give it precise semantics.

- Integrate the verification annotation into the programming language.
Not as comments. It should be at least syntax and type checked when the
program is compiled, and it should use essentially the same syntax as the language to which it is attached. Otherwise the annotations get out of date and nobody uses them.

- Break big assertions into lots of little assertions. Don't AND them. This improves
the diagnostics.

- Debug the verification in the source language, by adding asserts. The
verification system usually treats asserts as a proof goal, and assumes they are true for
the code that follows. You narrow down the problem into a small area in that way.
If you need to prove something hard, get to the point where you have "assert(a); assert(b);", and need to prove that A implies B. Then you use an offline prover.
Don't work on the code problems in a prover directly.

- You're not done until you get 100%. If you write "assert(false);", there is only one
error but the verification is totally meaningless.

- Don't get carried away with the formalism. Verification systems tend to be built
by people who think formalism is cool. That is a negative for getting work done.

- Undecidability and the halting problem are not issues. If your program is anywhere
near undecidable, it's broken. Microsoft took the position with their Static Driver Verifier that if the verifier can't decide termination easily, it doesn't get to be a signed kernel driver.

- Some things are hard to specify, and some things aren't. A database is an example of
a complicated system that's not too hard to specify. The specification is a full table
search of giant arrays. The implementation doesn't do it that way, but it's supposed to
behave as if it does. The other extreme would be a GUI program.

[1] http://www.animats.com/papers/verifier/verifiermanual.pdf

[2] https://github.com/John-Nagle/pasv
Anyone want to join me in making a dating app for people who need CPAP machines to sleep? I am semi-serious haha
1: This article is from October 2020 and needs a [2020] tag

2: Tesla fixed this in January 2020 and allows a 48 hour refund window, provided you haven't already requested a refund for that item, implying he bought FSD, then refunded it, then bought it again.
> instead it assumes it's 'all your fault'

Actually, that assumption is very much not part of AA, and very much not part of the 12 steps as they're usually understood.

For example, take step 1. "Admit you have a problem." You seem to be saying that admitting a problem is the same as blaming oneself. NOT TRUE.

In fact, one of the most important things to acknowledge is that it's not your fault. It's just a disease. And, like any disease, there are idiosyncrasies to treating it that will be different from other diseases.
> Instead, he processed a stop payment request through his credit card company

However, the article doesn't say when he did the stop payment request or if it went through.

If it did go through the article is wrong that he is "waiting on a refund" because the payment would have been reversed so there's nothing to refund.
By forcing the call to happen at compile-time, he would get an error.

The input being potentially known at compile-time is not sufficient to make a constexpr function be called at compile-time.
He's a great promoter. His companies have raised piles of money, far more than similar companies could based on fundmentals. He's also able to get skilled employees to work harder for less money than they would at most shops, which is extremely valuable in a young company.

None of this means he's a genius or a technical wizard, but he's good at selling himself as those as well and many folks bought it. It seems like the success has gone to his head to some degree and his exposure has shot up in recent years, which has not been doing his reputation any favors, to say the least.
Hope they start supporting  Pay while they're at it.
>on the road, there is like zero traffic on my road, and I spend my entire child hood playing in the street.

Same in my childhood, but there were sidewalks (pavements) everywhere. A street without one is simply defective, like if it didn't have lampposts or adequate drainage. Cars go down the middle, pedestrians go on the sides, that's just how it works.

>No the midwest... probably mars to you...

I don't know what that's supposed to mean.

>Because I do not want to maintain them, shovel them, or accept the liability of someone is injured on them.

Why on earth would it be your responsibility to maintain the sidewalk? It's not yours! It's publicly owned and it's maintained at public expense, exactly like the road surface. I've never personally had to maintain any sidewalk outside my house, they're in adequately good repair because it comes out of my taxes. Does your council expect you to mix your own concrete to patch up cracks, or something? Like the backyard steel mills in Maoist China? Are you expected to fill potholes in the road too? And why would you have any liability if someone is injured? That's not how torts work, again cause it's not your pavement. You're just making up nonsensical reasons.

>My vehicle goes from my drive to a parking lot, I walk from the inside of my home to the vehicle and then from the vehicle to the inside of a business on the tarmac of the parking lot. No sidewalks

So every single little errand you have to do requires getting in a car and driving to a new destination? And you expect everyone else to live this way on your street? Again, how do kids or anyone who doesn't have access to a car at that particular moment manage to do anything?

Your entire world amounts to your house, your car, parking lots, and the inside of shops and offices. That's unimaginably sad to me. I could never live like that. Do you really never use the two legs God gave you, and never let your lungs breathe natural air, and never let your eyes see the beauty of the world unimpeded by a plexiglass windshield?
Many servers have over 32 GiB of RAM.
"open source" has a broader English meaning that predates the OSI for at least several decades. OSI does not have a trademark on "open source" because of this.

This is the software licensing world's version of "a hotdog is not a sandwich"
Where did you get that idea? Sqlite? Windows Defender isn't using sqlite at all.
Previous post:

https://news.ycombinator.com/item?id=35458746

@dang
Generally, all forms of recycling that reauire manual dis-assebly don't really work. Labour cost is too much. Broken and damaged items dont dissasemble. each itme is unique, that sort of thing. Thats why plastic recycling and electribics recycling doesn't work.

Recycling of metals and glass succeedd because you can just grind and melt everything.
I really like your point. Okay, this is fun, I’ll try another hypothetical.

Start with the fact the company will be worth a billion (all the gains are outliers and you have to play to win), and then inductively work out costs backwards.

Objective function: Let’s assume every productive hour in the first year linearly increases your returns, so spending 5 weeks chasing investors reduces returns by $100 million. Every angel dollar returns 30x, so the marginal cost of $30k legal fees is actually $9 million (ignoring other non-trivial factors!)

Constraints: you must have certain things (money, employees, legal documents, advice) so the outcomes are extremely sensitive to the constraints. We talk about a constraint like legal fees, but removing that constraint should theoretically have a massive impact on viability, IPO price, and founder returns. It isn’t linearly a few percent ($x kilodollars of a $x megadollar investment).

Startup economics for founders are highly unintuitive and non-linear, with exponentials over time causing thought failures. You have made me realise I don’t have a good feel for this AT ALL.

Addendum: one of the sentences on siliconhillslawyer.com talks about smart VCs counter-intuitively forcing money to be wasted in early rounds. It gives the VCs more leverage with founder negotiations about equity ownership when the money runs out and another round is needed.
> AFAIK, the US works the other way around.

"Positive pay" is available for checking accounts in the US, though I've never heard of it used outside of business accounts, and only then by request (and probably extra fees).
Replace 'refuse to speak' with 'scream incoherently' and that sounds like a normal occurrence in SF to me.
Tesla to open battery factory in Shanghai as China seeks foreign investment