skysight-inc/HackerNews huggingface dataset:
But have they built dolpin-gpt, or even dolphin-tcp? (You could argue they have something like dolpin-udp.)
Celebrating homelessness on the off chance they were crypto enthusiasts.

Kids this is your brain on tribalism. Just say NO!
Scrapping publically available personal informations, and keeping a database of it is already against GDPR and the likes, so it's not entierly unreasonnable. (Of course a LLM isn't exactly a database, but that'd likely be the main topic of the trial)
It's amazing to me how you've put zero effort into your argument, yet remain staggeringly incorrect.

You do not seem to believe hard work and skill development leads to higher pay.

If you flip burgers at In-n-Out, you will not earn much ($15-20 per hour). If you manage an In-n-Out after putting in years of learning the business and working your way up - you earn close to, and more than often exceed, six figures.

Go ahead - look it up. Place some effort into your argument.

The point being - if someone can be trained to replace you in a day or less, you are not worth much.

ATC does not require a degree either [1]. I'm not sure what gave you that idea.

You don't have to believe me - you just have to put effort into your arguments. Careful - it might shatter your perceived reality.

There's no shortcuts in life. Hard work and developed skills earn big bucks no matter the field.

[1] https://www.faa.gov/be-atc#:~:text=Be%20younger%20than%2031%...
I heard the next version of iPhone will be forced to allow sideloading, so you could just install this app without jumping through hoops. Thanks, EU!
Apple is now worth $3T, boosted by the Nasdaq’s best start in 40 years
"it's funny how quickly you ran" in response to you claiming support of religious protections is support of segregation.

I literally responded to your escalation with an equally stupid response. I responded in kind.

"protected class" you mean... like religion? You realize that religion is a protected class? belief in stuff like traditional marriage?

Serving you food is not the same as creating art with a message that goes against your religion. Just like the cake guy didn't refuse to sell to anyone - he simply refused to make product with messages that went against his religion. he would sell you a cake... but not one with a message.

We aren't "going backwards". We won't have black people at the back of the bus. The only ones fighting for segregation today is, like always, the left as they push for segregated graduation ceremonies and the like.

Stop being disingenuous and maybe I won't be forced to respond in the way I did.
Decathread
Censor may be the wrong word, but YouTube is absolutely attacking public YT proxies.

https://torrentfreak.com/youtube-orders-invidious-privacy-so...
> The video is jarring to watch. It's well-produced, engaging, etc.; but also pretentious and overconfident. It seems to be chock-full with irrelevant "developments".

Don't even try to read the YouTube comments :-) “Kaze has to be the best assembly programmer of all time”, “this is the greatest genius since the inverse square root trick”, “this SM64 hack is the most optimized Nintendo 64 game of all time”, etc…
So Raycast picks up where Quicksilver left off? Wei wu wei.
Why would it require an increase in the workforce? Automatic provisioning and charging monthly per API key isn’t rocket science. I’m sure they have enough engineers to tackle this if the revenue opportunity is significant.
It doesn't matter how personal it is if almost no one reads it. It's like a tree falling in a forest of billions of trees.
Why would a company terminate services and not just charge exorbitant fees for going over quota?
We learnt that at school back in 1994. Don’t they teach kids about how computers work anymore?
Looks like you debunked it by picking a year particularly favorable to your point of view. There was a temporary influx of funding from the massive COVID relief/stimulus packages.

The article was written in 2019. There was no cherry picking. That was the most recent data available to them.
Ask HN: What’s the best path to become a prompt engineer?
So your alternative to mean old Apple not allowing you to run Linux is to have a shitty experience running Linux on hardware that wouldn’t meet the needs of a modern consumer ?
Screenshot: https://www.celsoazevedo.com/files/2023/twitter.png
That's correct. For my own library (see sibling comment above) I started off with a single `require()` entry point that can be used to load a dependency, load a dependency and invoke a callback, or asynchronously load a dependency (e.g. return a promise) but then changed it to two separate functions (everyone's favorite `require()` plus an async version very cleverly named `requireAsync()`).
> The actual toilet in which Friedrich Nietzsche realised God is dead

The actual caption which made me wonder if he was wrong.
It's basically orange soda. I've had it a few times, not much different than other carbonated drinks.
Nice. One step closer to having Smooth Operator be a real title
Postgres might even be a more efficient KV store than Mongo, just not as scalable beyond a single machine.
While annoyance certainly plays a role, it's not the primary reason why I block ads.

No, I block ads because they are fucking malicious and dangerous. As far as I'm concerned, an ad in this day and age is literally malware. I am not going to even try and tolerate that bullshit. Adblockers are an anti-virus measure.

Ads are malvertisements and deserve to be blocked with the fury of a thousand suns.
His words

> M.G.: The topic of “NATO expansion” was not discussed at all, and it wasn’t brought up in those years. I say this with full responsibility.

Which just confirms, that there was no such agreement.
The systems I work with seem to choose the even worse "PA/EA", to use the article's terminology, i.e., consistency never, even during apparent normal operation.

We had whole slew of bugs that got discovered by this: we use a vendor for storing Docker images, and AFAICT empirically, their system does not obey the property "Read-Your-Writes". We knew this already about it for images, but what tripped the other day seemed to be that layers are also susceptible: so when the manifest of a new image was uploaded, it referenced layers that the client has acknowledged writes for, but the write of the manifest apparently failed because the layer "didn't exist".

(The script that was uploading the images was also written in Typescript, and Deno's API for executing child processes uses C-style "return the error" handling¹. The script forgot to check, so our CI run "passed", all while missing an image. A deployment then bumped the image versions to the new (non-existent) version, and that deploy failed. Thankfully k8s keeps running the old versions, but the number of swiss cheese holes that went through was pretty astounding.)

So many systems fail read-your-writes, and it just makes them all the more annoying to deal with. Inevitably you are writing to a system because you want to do something with that write: I'm not persisting data into a black hole, never to be see again, after all. But sanely serializing the next action in the sequence when you do not know if the write is "good" yet is impossible, and makes things brittle.

(We asked the vendor about this, and the response from support types / vendors is just so utterly disappointing. "Can't you just write a loop to check if the image appears to exist?" This is one of the many spots where CS theory matters in the actual engineering! No, no I cannot "just" write a "simple" loop to check, and the theory can tell you why that doesn't work. Not to mention the layers/manifest part means I need to re-write `docker push`…)

(¹but child process APIs are rife with this. Heck, even Rust's would bite you all the same. AFAIK, I think only Python exposes safe-ish APIs in this area?)
Even an incompetent agent serves a very valuable purpose in a real estate purchase.

Without the agents, you'd have two people attempting to negotiate a 6 (or 7, nowadays!) figure purchase directly. Before it was over, you'd hate the other party too much to ever complete a sale.

Agents sit between the two parties and have a vested interest in seeing a transaction take place. They talk to each other and soften the communication so that you can tell someone you want to pay them fifty-fucking-grand less money for the single largest asset in their life that they were counting on to fund their retirement, and have that met with a counter-offer instead of an angry storming off.
What you are describing sounds like a more complicated version of AA.
That's a very generous take. But that application would be far more useful than just car inventories (the limited application described) and not trained in the manner described (on inventory data). It would be trained on transforming natural language to SQL (or other) query languages, and the application of that is exactly what we're seeing with code generation applications of LLMs (to the extent they're presently useful).
Twitter was originally SMS-based. That's the origin of the 140 character limit. Smartphones as we know them came a couple of years later.
That's why I said "general taxpayer". It would be paid by people other than the ones receiving the education. You might argue this is how things should be, but it's still not an "investment in education".

If you are trying to argue that the increased tax levied on the particular indebted people with a better education adds up to the exact amount they owed, someone would have to prove that. Additionally, this additional tax from better education was never intended by Congress, when the tax rate was calculated, to go to paying anyone's previous education debt. So other services (arguably benefitting the entire population) would have to be preempted to pay for it. Either way, you'd have someone else paying for the debt.
Its a specific and simple "edge" case: your kids/pets photos never look sharp as your friends who carry iPhones. That lag, not the time to open the camera, not an issue for pictures of grown ups.

Its only for fast moving stuff IMO.
The aliens tried to replace you.
Put your ego in a background process. :o)
Personally I thought it was cryptography at first and was even more confused.
You chose the jurisdiction with the least regulatory burden out of all 10 provinces, so you likely already know the differences. Why ask me?
Briefs are submitted to the court by parties involved in the litigation before the court even hears oral arguments on the case. They are one-sided arguments, not holdings of the court.

That brief is written by the Biden administration. The Biden administration argued that a plain text reading of the HEROES act gave the president this power. The majority ruling by SCOTUS did not agree.

From Justice Kagan’s dissent: “Wielding its judicially manufactured heightened-specificity requirement, the Court refuses to acknowledge the plain words of the HEROES Act.” (p. 28)

So Justice Kagan would agree that a plain text reading would give the administration the power to forgive outstanding loan balances. However, the majority’s ruling was that the “text of the HEROES Act does not authorize the Secretary’s loan forgiveness program.” (p. 3)
Except the government spending isn’t really connected to taxation. The government spends what it spends and collects taxes for what it levy’s taxes for. It borrows any shortfalls without much afterthought. For any working age adults alive, it’s been very rare we’ve not run a federal deficit.
> Ubuntu tried that, with AFAIK limited success. Yet another player would inevitably fizzle.

They also spent hundreds of thousands of dollars shipping free install CDs to people all over the world and piggy-backing off of the Debian community's progress. All so they could (almost two decades later) put small dent into Red Hat's enterprise entrenchment.

You would need to offer a significantly better product than RHEL, if you hoped to unseat them.
No it doesn't historically and in most places even in the US. If you live in an unusual area, e.g coastal California, at an unusual time, e.g. the past 20 years then yes if you bought 20 years ago your cost would be much less than equivalent rent. OTOH if you mean own it outright then sure but with 30 year mortgages almost no one would own a house outright until pretty close to retirement. And sure if you inherit a house you can live rent free but for most people who inherit a house it would be 20-30 years before you yourself die, i.e. pretty close to retirement. So yes some people get a nice surprise late in life (but hardly most people- I won't for example). Difficult to see how it would make much difference in someones life course
This feels a little like the shittiest restaurant in town raising its prices. I have an account, and I wouldn't even bother logging in at this point. Why bother? The Twitter experience is so devotedly wretched that whatever I'd get from the tweet I want to see is outweighed by everything I have to wade through to see it.

There was a point when Twitter was good enough that maybe they could have pulled something like this and gotten away with it. At this point, I think all this will do is hasten their irrelevancy.
Here Comes Euclid, the Telescope That Will Search for Dark Energy
Also it's fun, addicting, and pretty polished.
The term is both considerably older than that, and has shifted meaning over the decades.

In the 1980s, "fake news" referred to pre-canned "news" segments created by commercial interests (or their trade organisations) as "video news releases" (VNR) or "audio news releases" (ANR).

That was the context in which the phrase "fake news" was being discussed as recently as 2007/8.

<https://www.sourcewatch.org/index.php?title=Fake_news>

Jim Cameron, "PR & Media: The Perfect Ethical Storm" O'Dwyers PR Daily, June 2, 2005.
<http://www.odwyerspr.com/members/0601comm_cameron.htm>

Brooks Boliek, "FCC urges fine for Comcast: VNR was aired as part of newscast," Hollywood Reporter, September 25, 2007. <http://www.hollywoodreporter.com/hr/content_display/televisi...>

(Many more references at the SourceWatch article above.)
Here’s a list of rejected proposals made by the BDFL:

https://github.com/ziglang/zig/issues?q=is%3Aissue+label%3Ap...
I think it's all just being more accessible for people like me to integrate into applications via AIs. With that said - the barrier for entry also lowered substantially in the last few years to a point where implementing your own neural network from scratch with Pytorch is something you can do in a few (took me a weekend) hours coming in blind, but reading the docs and scrolling some existing repositories.

I remember a decade ago taking a stab at it and being very much over my head. Not sure if i'm getting older and there's less magic going on around it or if it's the ecosystem/docs/examples/pytorch/jax/hours of youtube content/etc but somewhere in there, at least for me personally, it's gotten much more accessible.
Maybe this is what's been happening to all my missing socks
> Bitcoin can, among other things, bank the unbanked.

> Too bad grocery stores, and most other businesses, don’t accept Bitcoin as payment.

This means that Bitcoin cannot bank the unbanked (and it never could).

I also wonder how you would "bank the unbanked" by requiring them to have an internet-connected smartphone to even be able to be banked by Bitcoin.

Edit Smartphone or other internet connected device
Yeah, the pack-in toy title Astros Playroom for PS5 is probably the gold standard for Dualsense haptics implementations. It's legitimately immersive, and turns the game from a 'meh' generic themed platformer into an actually compelling game. I was surprised at how much fun I was having pulling cords and stomping little bug things.
Pretty much https://www.theguardian.com/us-news/2020/apr/23/pepsi-coke-b...
You lost me at three figure agencies. Are you saying that the FTC should be somehow involved here? What other agencies are you referring to?
I suspect some of the OG crypto millionaires like to give away small amounts of their fortune to charities

The Catholic Foundation, which is part of the Archdiocese of Denver takes crypto, and has a whole page about the tax benefits: https://thecatholicfoundation.com/crypto/

"Donating cryptocurrency is a non-taxable event. Donors do not owe capital gains tax on the appreciated crypto that is donated and can typically deduct the fair market value of the donation on their taxes."
Then that's nothing against YouTube, you've basically ruled out paying for any service on the internet because you refuse to stay logged in and apparently can't be bothered to log in each time you open a private tab.

Not really sure how you expect content creators to be paid at all for what they produce, then.
That’s a pretty standard entry-level comp at a well-paying Bay Area company
There is no relevance what declassified documents says, when Gorbachev himself say that there was no such agreement. You can hold on it as tightly as you want to, but you can't change the history.
Huge sorting machines drop cards into packs at amazing speed. All you'd have to do is ceremonially place this card into the "rare" pile and watch the machine whirr. No one would be able to tell which of the hundreds of sealed and plastic-wrapped boxes coming out the other side of the machine contains the card.
I didn't give this title enough clickbait name. Half of people read 'Noam Brown' and kept scrolling and the other half read 'Libratus' and kept scrolling. Suggest better clickbait titles in the comments below.
Presumably, if you got out of college without student debt, you were better able to take the wages from your career and do things like fix a roof, move to a better neighborhood, and save for your children's education.

I graduated from my university with a fraction of the average debt taken on by students at said university; I will be happy to contribute my taxes towards supporting those not as fortunate, and the economy would benefit as a result.
No way. Not even close. That would be the dream though. Taxes are insane in Canada. Like 50% insane. Housing and kids just eat money. Maybe if I was renting and didn't have a family but that's not happening.
If anyone bases any assumptions on a phrase which depends on "if everyone...", then those assumptions are guaranteed to be wrong.
Never will everyone do any one thing.
> If you have to rely on the computer to validate a proof you then have to rely on the whole supply chain that generated the computer as well as the software for the proof checker.

This is true, but a similar problem plagues typical proofs.

> Proofs need to be dense enough that we can discover them in a long lost tomb and eventually figure out what that collapsed civilization had learned.

This is almost never the case for modern mathematical research. Case in point, some of my current work relies on the classification of finite simple groups. Therefore, in practice, it is impossible to validate my results from first principles.
The supreme courts power is very clearly checked by congress’ ability to pass legislation. Debt forgiveness can still happen, it just required congress to legislate instead of hoping executive orders can be used to replace legislation.
I would describe his style as "4chan chique".
I've had these experiences myself, mostly in the context of meditation, and they are terrifying. They are also immensely beneficial and similar to the very states of consciousness that myself and many others spend hundreds/thousands of hours trying to attain. I'm sure that if myself from two years ago was transported into my current reality/experience I would freak out.

The issue with psychedelics is that they induce these perspectives, but without an understanding of what they mean and/or why they are beneficial. What Buddhism teaches us (and what each meditator has to prove to themselves!!) is that the nature of reality is not what we think. In fact, (1) nothing is permanent, (2) nothing has substance, and (3) nothing is in control of anything else.

These three characteristics of reality are so far away from and in such contrast to our normal, everyday conception of reality, that you can witness these characteristics directly and still not believe them. It's because you are believing your thoughts instead. And that's normally fine, because they are naturally trying to protect you from what you don't understand.

Your thinking is what make the "emptiness" terrifying. That's why most meditation practices focus (albeit not always explicitly) on a balance of insight into emptiness with more happiness and peace-oriented practices such as lovingkindness and samatha. That way, when you have insights into things not being as real as you thought, you know that it's okay, but you also feel that it's okay.

It's really unfortunate for Matias, but perhaps some insight into the theory behind meditation is actually what is needed here. The thoughts about the experience are the problem, not the experience itself. The correct solution is of course whatever Matias intuitively feels is best. Perhaps this state of consciousness can never be healed/harmonized, but correcting the problematic habits of thought (not following those three characteristics) may be easier than trying to undo the entire state of consciousness. I am certainly wishing him the absolute best :)
Google (sort of) used to offer this feature!
https://en.wikipedia.org/wiki/Google_Contributor

You put money in your account and basically bid against the ads that would be shown on websites you visited. I think you could even pick the images you'd see instead of ads.
Thanks, not everyone is plugged into twitter, I'm not though I like many others do read links to tweets when posted - I mod at a forum that has a policy on links not too unlike HN, so bye bye twitter unless there's some sort of rethink. It's going to suck for all the interesting things previously posted to twitter though.
Mechanized proofs ensure the correctness of the results they prove. That's useful. Indeed, the point of the article was that Voevodsky sought out proof assistants in order to ensure his math was correct.

As for your other questions: No, formal proofs are not intelligible to the average mathematician. They do not on their own grant insights, but the process of formalising a proof does often yield insights. (I speak from experience.) Not sure what you mean by "better"; they certainly don't replace ("informal") mathematical proofs.
A French famous white hacker got condemned in French for publishing confidential information found through a Google search. The key thing in the case was that he undeniably aware that this was just a file server misconfiguration and that he wasn't supposed to be able to access it.

If you want more info about the case you should look for the "affaire Bluetouff*.
It's funny because feces is one of many examples of a common English language phenomenon of using Latin words to sound sophisticated, a legacy of the Norman conquest.

We can use Latin words like feces, excrement, evacuation, manure, bowel movement ... Or, good old Germanic roots: poop, shit.
Ask HN: Reality is a simulation, what's the biggest indicator we missed?
I actually stole this from a Reddit thread [0] and it figured it may do well here, too.

My personal take: The /notion of concepting/ something like a Boltzmann brain. Or rather, any idea that brings forward notions of simulations outside of observed reality. I can't quite put my finger on it, but somehow having the ability to just /create/ these ideas makes me think of other possibilities.

[0] https://www.reddit.com/r/AskReddit/comments/14m5y1i/if_it_came_out_that_we_were_100_living_in_a/
Somewhat reductively, that means all games are pay to win, because at the extreme, having enough money to retire, devote yourself to the game, hire tutors, etc. = more power.
FXPARK.EXE! I'm getting flashbacks of Tandon DOS! Aaargh!