skysight-inc/HackerNews huggingface dataset:
Except you could also just use 300,000 human level intelligences to have those 300,000 conversations. So if having 300,000 conversations is the goal then super human intelligence doesn’t suddenly allow that to happen and may in fact make it harder if they take more than 3x the resources per intelligence.
Yep, raising a hand ... we were there in March/April ... no smell.

I'd grown up thinking of Venice as the stinky city of Europe, lol

It's a magical city.
I did this with the multiply blend mode. I did it in a really convoluted way to take a single color image, split it into CMYK channels, and then overlay the transparencies, in html+css.

http://deepf.art/cmyk.html
Ground Proximity Warning System

…for those who aren’t into aviation
I'm hoping the dongle speaks CCS over the CCS port. Otherwise, I'd guess Ford would have to push firmware updates or something to old cars.

So, then it's just a matter of authentication. Assuming the auth goes with the dongle and not the car, then it's probably somewhat easy (and also legal) to spoof the authentication between dongle and car, since there's no hardware owned by a third party on that link.

If it's passing plug & charge credentials from the Ford vehicle through to Tesla, then I'd guess it'd be harder.
> After 100 years I think we'd have seen consistent biological effects

Does ionizing radiation have only consistent biological effects? If not, why RF must have only consistent effects?

Effects may be varied, just like stochastic effects of ionizing radiation.
DNA is not an identifier https://en.wikipedia.org/wiki/Chimera_%28genetics%29
This is far too breathless.

From what I was able to read and understand, there was a concern that the keynote placement could be seen as approving of a particular technical direction. This concern itself isn't super crazy to me; this is why you will see many other event program committees avoid placing technical talks advocating for a particular project direction in keynote slots.

Obviously the way that an individual (apparently) chose to go about addressing this concern was procedurally crappy, and overall a much better way here would have been to work with the talk author to make sure the talk or the event would frame things right after the keynote had already been decided, and given that there was no vote to change that decision.

But that doesn't mean the work is killed, or that the entire leadership group is bad, or that the organization can't learn from this now very public mistake and adopt better policies.
There would be no need for review bomb if they were widely disliked. The issue is that they were not widely disliked and certain groups are angry other people consume this content.
"people who want to review bomb on the main site but can't."

We all have different hobbies it seems.

What happened to the good old punching ball, to blow off steam?
So it's not just me going insane. I have experienced the same behavior with Feeld.
This contradicts Murphy’s theorem, that if something can go bad it will go bad with asymptotic probability one.
> Desktop Safari has extensions

As a desktop Safari user: Safari theoretically has extensions. Apple made it painful and expensive for developers to publish, and so the ecosystem is in an abysmal state, with ultimately the users losing.

I'm torn between paying for extensions (that are free for other browsers) as a way to say "sincerely thank you" to those developers who bother, and absolutely not paying - to send a message, that this system sucks.
Please please please can someone finally make a decent high refresh colour computer screen that works in the sunlight.

Imagine what good it would do if we could all sit in the sun soaking up that sweet vitamin d while we work.

Whoever owns that e-ink patent please get on with it!
I don't think anybody's learned any lessons about rpi, and that as soon as they return their focus to the consumer the consumer will start snapping them up en masse like they were before. Everyone still thinks it's a chip shortage and not a conscious business decision to target b2b and bulk rather than independent consumers.
I've made the argument many times before that the reals are certainly an interesting set of objects, but a poor abstraction for the concept of a number. We should work towards replacing them with a more well-behaved set without eldritch monsters such as uncomputable 'numbers' that you can't add or multiply with. E.g. https://en.wikipedia.org/wiki/Computable_number.
Bro what - they did not use sunscreen - where did they get titanium and zinc?
Probably this one: https://hachyderm.io/@sgrif/110447363438183593
A) That's not an American thing. US confrontation etiquette is still far more direct than British, for example, even if less direct than in, say, scandanavian countries. B) If the message ends up being the same, what is the actual negative effect? I'm not saying you have to like it, but it seems to be an entirely aesthetic "get off my lawn" sort of complaint. Giving shitty, incomplete feedback is just as possible using direct language. C) Since we're talking anecdotally, the people I've met that gave great, frank, direct feedback just did it because they out obligated to, and even in art school with young students, I've seen few people get defensive. It was calm, well-reasoned, and completely no bullshit. Then there are people who might have said very little, or maybe even a lot, but did it in a shitty arrogant tone and that got everybody's hackles up. Everyone I've met aggrieved about not feeling free to give direct feedback was the second type. C) Directness is just a slice of a much larger topic.
Some models of the Turing machine have an infinite tape in only one direction. Some also don’t require every state to have an exhaustive set of transitions. Those models generally consider going off the end of the tape or failing to find a transition to be a halting state.
I think they mean "always (statistically) significantly larger". They're probably imagining that something like cross-validation would make test errors approximately equal to training errors, but if you consistently see significantly larger errors, then you've overfit.
Hire People Who Make Typos
No, it is meant to be accurate one to one line translation.

The translator doing slightly different choices, often more accurate to original does not make it worst.

And yes, it sounds better because it is translation to actual English. There is no loss of nuance here anyway.
I think they didn't just remove dislike counts, but are actively suppressing negative comments.

If I watch a speech of someone from the German (right-wing) AfD party, which I very rarely do and start reading the comments, I feel like I'm visiting an echo chamber. Zero negative comments which simply can't be the truth.
Environment won’t care, drink milk
PoC feeling like language from an era long past when
Well they are also discovering that many people would rather pay the 20-30% extra than deal with the hassle of a subpar platform.

The cost to build/maintain a competent platform is also not cheap even for the big boys like EA.
NYC 13 new fast charging hubs
Automatic Syntax Error Recovery (2020)
It's still a good language and the most attractive one for many purposes. Most people don't choose Java or C++ because they are thrilled by the stewardship of Oracle or JTC1/SC22/WG21, but because it's the right tool for the job.

Not saying Rust has outgrown its need for a community, but a lot of people would pick Rust over C++ even if they were guaranteed never to get another language update for it.
The lack of availability and the associated price hikes have been a big problem. We also now have plenty of devices with RK3588 CPUs which are quite a bit more powerful than the Raspberry Pi 4, its been "obsolete" for a good year at this point and while they have focussed on solving availability issues other SBC makers have moved on with lots of varied devices.
I’ve never seen “asymptomatic density” referred to as “asymptomatic probability.”

Anyways, if anyone is interested is a more complete survey of similarly flavored computability/density results, this paper is good: https://faculty.math.illinois.edu/~jockusch/DensityCE_JML.pd...

There is even some pure combinatorics involved, for example I remember lemma 6.7 from my combinatorics class back in undergrad
Yeah; the article says that Ford is doing this mostly to force EA and EVgo either be competent or go out of business.

Biden tried to force them to be competent by adding availability requirements to the inflation reduction act, but, from what I've seen, it hasn't worked (yet).

Hopefully adding one decent charging station provider to the market will work a bit better, and force the others out of their current "good competitor" monopoly mode.
My intuition tells me the opposite.

Suppose you have one undecidable statement, U, out of s possible statements. A random program of length n contains U at least once with probability 1-(1-1/s)^n. If the program is of infinite length, it contains U with probability 1. So I would have thought the chances of undecidability increase as the program gets longer.

Clearly my intuition is wrong, per the paper, but I don't think the result is immediately obvious.
Yes, and leading zeroes are significant in phone numbers.
I agree and I think the reason it's sort of an indictment of LLMs is because there's no real way to guarantee performance over a range of input, which makes it unsuitable for many automation tasks.

If you develop an LLM prompt that says "Add <user input> to 5" and prove that it works for a handful of cases, there's no guarantee it works for any other case. Whereas "(lambda (x) (+ x 5))" has some mechanical guarantee based on the implementation. And for the LLM, the negative result becomes more possible the higher the complexity of the prompt. This reduces LLMs to being suitable for tasks where reliability is not particularly important, or a supervisory person or system is checking for consistency and somehow can re-run the LLM to generate new results (which itself is not always reliable).
I read your original comment as steeped in sarcasm that a single developer should even attempt to sully their good name by engaging in marketing. Actually surprised you were being serious.

OP has a product he enjoyed making, is providing real world utility, and that he isn't trying to turn in to a billion dollar company. The obvious solution is for him to pick up a phone, send out a few emails, and generally reach out to the local business community instead of sitting back and waiting to see if it will magically make money and he can hire a sales person to do those tasks instead for his hobby project that has grown too expensive for a single person but would barely qualify for justification at a business.
We're not talking about mishandling sponsorship funds or unilateral decisions made on technical architecture, we're talking about time slots at a technical conference.

There's nothing here but some beef between PhD and a yet-unknown member of rust leadership. This is high school stuff, the wider community should not elevate this or read these tea leaves.
"How is spying interfering with each other?"

Hacking into computers on foreign soil, sounds quite interfering to me, or would you be OK with me giving it a try at your computers/network?

"> is there a law preventing agencies from going somewhere else and killing and stealing as they see fit?

Yes, the laws of the country they go to"

Same with hacking. It is not legal, to hack computers here in germany.

And sure, Merkel wasn't surprised, nor was me, or anyone in IT security. But the general population was. They assumed naivly, ally means respecting the other party.
What if nobody is bad a maths?
That that’s why “mapreduce” shows up at the top and everyone here is surprised. We aren’t representative of our own industry.
> I think there’s a lot of societal pressure to both get married and to have children, especially in the south, where I’m from.

I don't know where things stand now, but there was a similar pressure in Appalachia ~15 years ago. If you'd been out of high school more than a couple of years and hadn't gotten married or at minimum found someone you'd intended to marry, people would start asking if you were closeted or something, which seemed crazy to me — how on earth could I possibly find it a good idea to get married before I'd even had a chance to get some clue about how to function as an adult or figure out who I was?

A lot of people succumb to that pressure. I think out of everybody in my class and the classes both before and after me I'm the only one who wasn't at least engaged by age 22.
I don't disagree (notwithstanding the extent to which we're already in a "world where corporations and the extremely wealthy suck up all the economic benefits and we're left with massive wealth disparity").

My point is much more narrow (and simple): that there is a subset of low-end jobs which are currently unautomatable due to their nature, and this will likely not change via the GPTs. This may (tending to will, given sufficient time) change via other technological advancements.
It is very popular only because almost all companies that are neither Chinese nor smartphone-oriented have failed to introduce any products with less obsolete ARM cores, for many, many years.

NXP has begun to introduce products with Cortex-A55 only recently, but they should always be preferred for any new designs over the legacy products with Cortex-A53, because the Armv8.2-A ISA implemented by Cortex-A55 corrects some serious mistakes of the Cortex-A53 ISA, e.g. the lack of atomic read-modify-write memory accesses.

The people who still choose Cortex-A53 for any new projects are typically clueless about the software implications of their choice.

Unfortunately, there are only 3 companies that offer CPUs for automotive and embedded applications with non-obsolete ARM cores: NVIDIA, Qualcomm and MediaTek. All 3 demand an arm and a leg for their CPUs, so whenever the performance of a Cortex-A55 is not enough it is much cheaper to use Intel Atom CPUs than to use more recent ARM cores, e.g. Cortex-A78.
The pun was very much not intended! LOL
They are, but indirectly via the video recommendation algorithm.
Horse riding competitions of all kinds should just be shut down. When I was a kind, I spent some time around high level riders and the amount of animal abuse and doping is just unfathomable. There is nothing good about horseback riding as a "sport".
Can all reverse/bind/web shells be prevented with network firewall at the process level?
Where we’re at with self-hosted AI today?
I have lost track of what has been happening in GPT space.

Last I heard about was LLAMA leaks.

Are there any further developments in this space? I’m presuming there must be loads and I’d really like to try out some models on my new 4090.

Thanks!
Thank you very much for your feedback! Yes, I plan to implement invoice printing and downloading. Now I'm focusing on the implementation of documents and their relationships.
The thing that always bothers me about 'x is bad for you' arguments about food is: what is the alternative food that provides similar positive things without the supposed harms?
I'm assuming the case here is against dairy in general, which can provide easily digestible protein, a mix of fats, and B vitamins with a minimal amount of carbohydrates. Besides lean meats and eggs, you aren't going to find other sources of those things in similar ratios in easy to consume quantities.
It’s unclear to me why restricting ourselves to that model is useful here
How to Get Started with Tree-Sitter
The History of Sunscreen

https://jamanetwork.com/journals/jamadermatology/article-abs...
Pretty much every human community has to be to some extent, with the exception of communities that face no external competition. Non-meritorious communities subject to competition quickly disappear.
I’m not sure the comparison to SAT is a good one because, in that case, we know of particular “phase transition” regions in which most problems aren’t clearly satisfiable or unsatisfiable. (Specifically, when the ratio of clauses to variables in 3SAT is about 4.2.)
>okay with with the death of something like 99% of the human population

No, certainly not. I want people to make their own informed choices. It can be heart-wrenching for oneself to observe people make (what you think) an obvious wrong choice, but if you had any any life experiences of substance, you will realize that all you can do is give people the most accurate information that you have, but you should never, ever impose your decision (even if it's for the person's good) if the person does not consent to it. One could probably make an exception for very young kids.

Like they say, the road to hell is paved with good intentions.

Side note: who exactly decides what is good for the individual?
Thanks for the clear-headed and undramatic summary.

This whole discussion has been full of emotional over-reaction
Study shows stronger links between entrepreneurs and dyslexia (2007)
Let me help you to reach out local businesses with cold emails to check if they are willing to support you. I have a cold email SaaS called Nureply and your situation can be a great case study for us.
Did Graydon write the Rust analyzer? Did Graydon personally pen all of the documentation (let alone the books and tutorials) that contribute to Rust's usability? Rust is great primarily because it has a community of contributors that all work in various fields of the language to make it what it is. The sheer volume of work that needed to be done to get Rust to where it is today could not be shouldered on the backs of a small collection of skilled individuals; coordination and collaboration is essential for a project like Rust.

You can find countless research papers out there that present a brilliant idea devised and implemented by a skilled individual that ultimately goes nowhere despite its merit. Skilled individuals still need community to expand their work to the scope that will allow the idea to really shine.

(Note this is not meant to minimize Graydon's contributions to Rust's success, but to highlight the general principle that ideas require a community to grow into greatness)
https://www.heifer.org/blog/sun-protection-through-the-ages-...
The term at this point is so twisted that your question is like asking if there a similarly succinct word one can use for the N word. Looking for an alternative that means the same thing is incompatible with it being inoffensive
I would say it’s consistent since something going bad can often mean halting
I don't follow the math. WLOG, for N total datapoints, let y_i = y_N. Then the leave-one-out posterior predictive is

\int p(y_N|θ)p(θ|{y_1...y_{N-1}}) dθ = p(y_N|{y_1...y_{N-1})

by the law of total probability.

Expanding the leave-one-out posterior (via Bayes' rule), we have

p(θ|{y_1...y_{N-1}}) = p({y_1...y_{N-1}}|θ)p(θ)/\int p({y_1...y_{N-1}}|θ')p(θ') dθ'

which when plugged back into the first equation is

\int p(y_N|θ) p({y_1...y_{N-1}}|θ)p(θ) dθ/(\int p({y_1...y_{N-1}}|θ')p(θ') dθ')

I don't see how this simplifies to the harmonic mean expression in the post.

Regardless, the author is asserting that

p(y_N|{y_1...y_{N-1}}) ≤ p(y_N|{y_1...y_N})

which seems intuitively plausible for any trained model — given a model trained on data {y_1...y_N}, performing inference on any datapoint y_1...y_N in the training set will generally be more accurate than performing inference on a datapoint y_{N+1} not in the training set.
When you find the minima of your validation curve, rarely if ever is your test loss lower than your training loss. I don't think this necessarily means you're overfitting.
I think the time isn't too far away when you don't even have to go out for taking pictures but you just tell AI to create a perfect image at a certain location with objects or people of your choice. That's maybe a good thing because a lot of people who just want Instagram shots won't bother going to the places anymore so it will be less crowded.
or it could mean not leaving your house for weeks at a time. At least when you go to the office you have to leave your home and go to the office and that in theory means time outside.
Combine positive thinking with action, and yes, it will
> Technology doesn't matter if it doesn't convert users

Browsers have primarily won on the merits of their implementation. It is how Chrome was primarily marketed, for example.

> Perhaps the improvements were too small given the level of investment necessary and given the bleak outlook, they decided they couldn't keep it up.

That doesn't seem likely. The project had significant potential for core technology metrics - performance, security, stability.

> I'm not sure it makes sense to blame the CEO for taking the compensation they were promised.

The CEO is the one who asked for the increase in pay. This is publicly documented. In fact, she gets paid more than the sum total of all Mozilla donations, meaning that corporate sponsorship pays for the browser and user donations pay for her salary.

The CEO is also in a perfectly fine position to reduce pay in a time of uncertainty. Any board would approve that (for reference, I was a CEO of a small [8 figures] tech company).

The CEOs pay had been rising significantly well before the layoffs, nothing to do with the board pushing for layoffs.

I think you underestimate how much power a CEO has, the board is not in charge of all decision making.
Camera manufacturers do the same misleading marketing too right? Here’s a video of someone complaining about it.
https://youtu.be/6Im4W_9blhY?t=7m28s

That said, at least with stand-alone camera manufacturers you can usually work out what the real specs should be if you’re in the know.
Very apt. I'm a black coffee drinker myself, and I love death metal. Maybe there's a correlation.
I think it comes from a place of guilt exactly because of that level of privilege but over time it has morphed into a type of intellectual fetish.

Like the person so involved in the BDSM community that everything relates back somehow to bondage or nipple clamps.
lol, this is the worst possible idea when you dont actually want to build a business out of it. take all the fun out of a side project and add a lifetime of stress and regrets.
There is a difference between "X didn't happen" and "X wasn't possible".

Hitler could have been assassinated. It was tried multiple times:

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

None of these attempts failed because the act of assassinating Hitler was technically impossible, they failed to chance, unfavorable conditions, intervention, human error, etc. Given enough attempts, eventuelly one of them would have succeeded.
The 2x digital zoom is pretty good on the 14 Pro as it’s still got 12MP to work with. (I’m guessing that combining a stack of slightly misaligned exposures helps it to overcome the loss of color information you’d expect from the quad Bayer layout.)
Oh gosh, so I had seen your comment on mobile, and couldn't tell who you were replying to. I thought you were asking about "OCaml and C had a baby."

I have no idea, maybe your original parent will elaborate :)
sounds like what you want is Universal Control [1]. only catch is that they must both be on the same Apple ID.

1. https://support.apple.com/en-us/HT212757
they were dead by 40, skin cancer usually takes a little longer to show up and kill you.
Just 2 simple things:a) the article under annual checkup is a Mashup pop science.b) annual exams and preemptive medicine are worth it, all medical science is based on either preempt and treat early or late.

Now if you think that doing annual exams is harmful and catching diseases early is harmful and everyone believes it OK, humanity believed earth is flat for a long time. Doctors believed covid is nothing, you can find videos of doctors saying that early etc. Skip doctor, go only when you have pain brother.
This exactly what I thought as well. Glad I am not the only one.
Tsunami won’t take out Seattle. It is a long, winding way from ocean through Puget Sound. Models show that there will be flooding in low areas. Seattle has advantage that built on hills.