skysight-inc/HackerNews huggingface dataset:
I listened to the Adam Mosseri interview on the New York Times' Hard Fork podcast today, and I came away with the strong impression that it will interoperate bidirectionally. He was asked what the business reasons are for doing that, and he defended the idea that it's a better idea for the long run. Unless I completely misunderstood what he was saying.

This doesn't mean, in my mind, that we can count on it forever, but I would be surprised if Threads is not a full-fledged two-way member of ActivityPub at the start of its ActivityPub participation and for at least a substantial amount of time after that.

https://www.nytimes.com/2023/07/06/podcasts/special-episode-...
I disagree that "3+4=7" is a basic fact of math.

Basic facts of math are for example ZFC axioms of Set theory.

I only learned some set theory in high school. My point being, that teaching math is unexpectedly surprisingly top-down, at least at first.
so they probably re-map this stuff on a very regular basis, that's why it's kept to limited locations because of cost of this
The difference between theory and practice, is that in theory there is no difference, but in practice - there is.

So far, every "provably secure design" I've seen ended up being insecure in practice due to the things people abstract away.

I'm not saying it's impossible, but I have not seen it done perfectly thus far.

We've seen more success by having many many iterations and widespread usage of common designs and patterns. These are not perfectly secure by any means, but they are secure enough against common threats to make it functionally equivalent until we figure it out.
> Just about everyone believes themselves to be an above average driver with a lower than average risk profile.

If by “average” one means “mean annual liability cost”, this is entirely plausible. Doesn't seem likely that that’s normally distributed.
I didn't say anything about existential risk, and I'm going to assume you meant LLM since training a NN to solve sudoku puzzles has been something you could do as an into to ML project going years back: https://arxiv.org/abs/1711.08028

To me the existential risks are pretty boring and current LLMs are already capable of them: train on some biased data, people embed LLMs in a ton of places, the result is spreading bias in a black box where introspection is significantly harder.

In some ways it mirrors the original stochastic parrot warning, except "parrot" is a much significantly less loaded term in this context.
There is also Code Interpreter now in plugin beta so should influence it's ability to output proper formats without hallucinations.
Threads isn't allowing porn or NSFW content so it's pretty much dead on arrival for many communities. Even just Ukraine war news is in many cases too violent for Meta.

The over moderation by modern platforms makes the Internet pretty worthless. There's frank discussions I simply can't have on them because the topic is too sensitive and invites trolls from all sides to abuse the content moderation system.
3D visualization of the Riemann Zeta Function using Python Matplotlib [video]
How does the effect size compare to milk thistle?
My guess: people dislike critical discussion about the things they enjoy.
I think it is objectively the right choice to enable people to build families if they're going to be in a program until their late 20s! This sounds ridiculous to me on its face-- why the hell wouldn't you support your maximally educated populace (getting doctorates) to have families? The 1st and 2nd year STEM kids (literally kids-- you can enter into a masters fresh out of college, so like 21-23 yrs old) who see the opportunity to try and organize to help their humanities peers start families and instead don't participate, exit to industry (an option humanities graduates probably don't have), and say nothing as a governer with a presidential campaign crushes their organizing hopes... a lack of solidarity with one's peers is exactly how it sounds to me.
My guess would be that drivers in other countries are less likely to use their phones while driving, but I don't have any data to back that up
Debian Testing is the least secure Debian distribution:

- "Please note that security updates for 'testing' distribution are not yet managed by the security team. Hence, 'testing' does not get security updates in a timely manner."[1]

- "Compared to stable and unstable, next-stable testing has the worst security update speed. Don't prefer testing if security is a concern."[2]

- "[Testing's] security updates are irregular and unreliable."[3]

Most Debian users should use Stable. If a user wants a newer version of some software, they should write a Bash script to install it from source. When I used Debian Stable on the desktop, my installers allowed me to have the latest versions of all of the software of which I wanted the latest versions.

If a Debian user wants up-to-date software but they don't want to write their own installers, they should consider using Fedora instead.

[1] https://www.debian.org/releases/testing/

[2] https://wiki.debian.org/DebianTesting

[3] https://release.debian.org/
Show HN: I built a dashboard tracking the number of Threads users
There are sometimes sales commissions, but the CSR's main goal is to get you off the line as quickly as possible so that the next person doesn't yell at them for being on hold forever. I can't speak for Air France, of course, but I can't believe they would want to make the call longer to make 56 euros. If they quoted you 14 euros on the website, they would be most happy in the world where the software accepted your 14 euros and you never called them.

I'm guessing the original commenter just hit a bug. They should have retried some database call, but didn't in that one codepath, and it cost them the entire request. It happens.
https://oag.ca.gov/contact/faqs
Note: These numbers are estimates which are generated using the Threads account numbers shown on Instagram pages.

This page is currently being updated semi-manually, which may cause delays in the estimated user count.
It's not just that the C compiler lacks the information... but the reader of this article also lacks this information.

String length tells you the frequency with which nul terminators will be found. Without knowing frequency of occurrence of the nul terminator, 's', and 'p' then you cannot know which one occurs most often.

Consider two benchmark cases:
(1) every string tested contains exactly one character
(2) every string tested is 1MB long and is composed entirely of 's' and 'p'.

The author's first "optimization" assumes nul is rare. It would make benchmark (1) worse, and (2) better.

The article is a good example of "specification is hard, code is easy." He insufficiently specified the problem to be solved, and his test cases contained information not in the code and not in the text of the article.
I recently created an Instagram account for a project I’m involved in. Username has the word “climate” in it. I was insta-limited. They tell me I can appeal but that link errors out. Ironically, my Twitter equivalent wasn’t.

I have no idea what to think or suggest, but I say ugh to Big Social.
Facebook was initially .edu addresses only. It created a sense of exclusivity that had regular people desperate to join.
A dollar bill weighs 1 gram, or 0.001 kg. Assuming it’s denominated in $100 bills, that bag weighs roughly $4.4 * 10^10 * 0.001 / $100 = 4.4 * 10^5 = 440,000 kg.

No one should be allowed to have a billion dollars.
When Facebook ads are good, it's because people are paying to show the ad specifically to you. (Like when you put something in your cart on a web store, don't check out, and then ads follow you around everywhere telling you to go finish buying the thing.) That's not really demographics-based though, it's explicitly tracking you as a person.

Otherwise I'm not impressed. I don't try and hide myself from Facebook/Twitter much, but the first keeps trying to sell me Viagra and shirts for fat guys and the second thinks I'm every kind of doctor at the same time.
Humans have agency. If you enter into an agreement for software at a particular price (especially $0) that’s on you.
I see "orthogonal" used quite frequently on HN. I remember reading a comment here that explained it something like:

> Ironically, the meaning of "orthogonal" has become orthogonal to the real meaning because now it can mean both "perpendicular" and "parallel", both "at odds" and "unrelated"

Edit: found it https://news.ycombinator.com/item?id=1997093 (my memory was pretty close)
teach some one CLI pro tips on bad typography with wrong quotes?
(since 1980!!)
A Day in Pompeii – Full-length animation (2013) [video]
> anything like you describe would have to be escalated

What they described seemed plausible if one assumes malice (not that they should). Naively, I suspect your take is more accurate but nothing as explained requires escalation if Air France is indeed engaging in the described behaviors.
> You better not complain it they’ll charge you extra fees

You sound like you have an axe to grind. As an American I’ve never experienced this from any company.

I have, on the other hand, had a flight cancelled and got a free hotel, rebooking and meal voucher automatically without talking to customer service.
"Friends" is a funny word for people who give your contact information to Facebook.
He's also overestimated the reliability of Airline booking systems.

IT for every airline, creaks and groans loudly.
The drip-feeding seems crazy to me. Open AI is undermining their reputation by forcing almost everybody to use the older, lower-quality models. Even if customers are willing to pay for GPT 4, they're being told to wait at the back of the line.

Wait for what!? Christmas? When we can open our presents and have a GPT 4 inside?

It's like they took a leaf from Google's "how to guarantee the failure of a new product" marketing. That is: restrict access, ensuring that to word-of-mouth marketing can't possibly work because none of your friends are allowed to try the product.

The announcement here is "general availability" of the GPT-4 model...

...but not the 32K context model. Not the multi-modal version with image input. No fine-tuning. Only one model (chat).

As of today, I can only access GPT 3.5 via Azure Open AI service and the Open AI API account that I have.

What's the point of all these arbitrary restrictions on who can access what model!?

I can use GPT 4 via Chat, but not an API. I can use an enhanced version of Dall-E via Bing Image Creator, but not the OpenAI API. Some vendors that have been blessed by the Great and Benevolent Sam Altman have access to GPT-4 32K, the rest of us don't.

Sell the product, not the access to it.

Don't be like the Soviet Union, where you had to "know someone" to get access.
Essentially, telling airlines and airports that they need to move their provisioning levels much further from "the minimum we can get away with when everything works OK" and significantly closer to "able to deal effectively when the shit hits the fan".
I’ve noticed the same in Seattle. There’s also a more “I dare you to hit me” attitude in a lot of my fellow pedestrians than in other cities I’ve lived in. I’m sure that has at least something to do with it too.
I agree with all you've said.

I just feel that our proven insecure system, with default authority, is a really bad foundation to have settled upon. We couldn't have picked a worse default.
Most of the images I post here

https://mastodon.social/@UP8/media

have to do with "three-sided cards"; these have many uses not least I can throw down several of them and take a picture to show on social media.
To make this go from a useless dataset of one remark to something insightful, you'd have to back up your "VASTLY" claim with, say, the number of people who suffer/die in road accidents through no fault of their own.
People love to rag on Ryanair but they get the job done admirably for the price you pay.
Oh man, it's been years. I'm visiting this weekend and I'll take a whirl through those old books.
I believe that's a reference to IP, not actual physical systems.
Also any mature, well maintained code will have found a lot more of those truly ‘wtf’ bugs and edge cases, which often involve same colourful language when we finally figure them out.
I think that would be impactful, but would still create barriers to entry. I'm not one to beg for invites, so I have a hard enough time casually finding one invite, let alone two. I'd imagine a good portion of invites would get stuck in purgatory waiting for a second, all while the potential user moves on to the next thing that grabs their curiosity.

What about one invite to create an account, a second to participate?
Then I don't know what you're arguing about. If you think LLMs are useful continue using them.
As a regular traveller I have to laugh and disagree. Can’t deny the level of service for flag carriers has dropped but the level of service with Ryanair is an order of magnitude worse.
You can try to force JSON output using function calling (you have to use either the gpt-3.5-turbo-0613 or gpt-4-0613 model for now).

Think of the properties you want in the JSON object, then send those to ChatGPT as required parameters for a function (even if that function doesn't exist).

# Definition of our local function(s).
# This is effectively telling ChatGPT what we're going to use its JSON output for.
# Send this alongside the "model" and "messages" properties in the API request.

functions = [
{
"name": "write_post",
"description": "Shows the title and summary of some text.",
"parameters": {
"type": "object",
"properties": {
"title": {
"type": "string",
"description": "Title of the text output."
},
"summary": {
"type": "string",
"description": "Summary of the text output."
}
}
}
}
]

I've found it's not perfect but still pretty reliable – good enough for me combined with error handling.

If you're interested, I wrote a blog post with more detail:
https://puppycoding.com/2023/07/07/json-object-from-chatgpt-...
(I work at OpenAI) We're planning to cover the cost for fine-tuning replacement models. We're still working through the exact mechanics that will work best for customers, and will be reaching out to customers to get feedback on different approaches in the next few weeks.
But sensors get dirty and the ML model that's being used gets updated to a suboptimal but later model. Or reverted to a worse model because the newer one has a bug.

I took a Cruise home late last night and it failed to take a right turn that it took successfully when it picked me up. It mistook the space for the bicycle lane to be for the car, because there was no car parked in the other side of the intersection late at night.

Riding in them it's definitely like living in the future, but it's clear that the technology still needs time to mature. I'll keep riding them and provide bug reports while they're in beta, but I'm not uninstalling Uber/Lyft any time soon, especially because their service area is limited to the city, nothing in the East Bay or down the Peninsula yet.

The cars are small and cramped, but clean. No one is allowed in the front seats so it really only seats two people. Three if they're all small and friendly.

I definitely trust it more than a drunk driver at 2 AM if that's the question though.

The meat of it is this: city driving is harder because of all the chaos, but it's actually easier to be safe, because no one's really moving all that fast. If you floor it, you're not going to get going all that fast before the next light. On the freeway, a bad model could lead to doing over 100 mph and then making a hard turn, causing the vehicle to flip over and crash.
humans do this stuff too, its just far more memorable when an AV does it. because inherently you know they will be superior drivers once mature
oops, you're right. i forgot the units. i always forgot to normalize my units in school. at least i'm consistent which makes finding the bugs easy
You don't need a lawyer or to get through a lawyer to file a claim, and damages are pretty straightforward to prove in most cases.

As a simple example, I had a flight that was headed to Mexico City that was cancelled, they rebooked me the next day. I had to pay for a hotel room, and my hotel in Mexico City missed check-in so I had to pay a penalty, plus I lost out on one day of vacation. I submitted receipts and a justification, and the claim was paid.

On another occasion my luggage was lost on a business trip and I had a meeting the following morning which required dress attire. I went to the nearest mall and had them rush me a suit to wear as similar in cost/quality to what I had packed. I submitted the receipts and I was reimbursed for the cost of my suit. I did eventually get my baggage 4 days after arrival, but I was reimbursed for all of the clothing I had to purchase, my toiletries, and other necessaries.

You are quite correct that this is nowhere near as good as Europe. It doesn't compensate you for the inconvenience, and it doesn't guarantee compensation as a matter of law, and it puts the burden of proof on the consumer more so than the airline. But it's something, not nothing, and most people don't realize they even have this avenue available to them. If you are traveling internationally from the US, you have at least some legal protections and I think it's important people know what protections and rights they have and that they make use of them, that's all.
Definitely, all the self driving car companies have been driving around SF for years gathering data. I think Waymo even advertised it “got to know the neighborhood and peoples routines” as part of training.
This is an awesome idea. There should be universal baby bonds that pay half at 30 and half at 40
I had the exact same experience several months ago.
I was a big (paid) Evernote user for a long time, and also don't particularly like Onenote. I switched to Notion (paid) and it's been pretty good - they had a patch a year or two ago where the mobile apps were a bit rough but they have improved a fair bit. I don't make big use of some of the more advanced features but the basics are solid and work well. Sharing a couple of notebooks with family members works fine. Exporting and importing from Evernote also worked quite well, a bit of formatting fixup was needed on really old notes.

(Note - the Notion Reddit forum is full of weird life optimization types who want a dashboard for their entire lives with aspirational quotes or something, and that doesn't match my use case even slightly. You don't have to do any of that stuff.)

Obsidian looks nice but the pricing for the sync feature, converted to my currency, is wildly out of whack. It wants to charge me the same amount per year as a family license for all of Office 365, so that's a non starter.
Video tends to be enough to create a cult. And AI's will be able to create videos very soon. It can create exactly the kind of avatar or set of avatars that would maximize engagement. It could do 1-on-1 calls with each of the followers, and provide spiritual guidance tailored specifically for them, as it could have the capacity to truely "listen" to each of them.

And it would not be limited to act as the cult leaders, it could also provide fake cult followers that would convince the humans that the leaders possessed superhuman wisdom.

It could also combine this with a full machinery for A/B-testing and similar experiments to ensure that the message it is communicating is optimal in terms of its goals.
Threads will probably integrate with the AT Proto at some point anyway...
Zink? Zink is an inkless printing technology, originally for instant cameras. The name is short for "zero ink."

https://zink.com
Sounds almost like Google+ tactics
exactly, those who scream loudest about these things tends to be the biggest offenders themselves. There is an old saying: "thief thinks every man steals". This is of course not a 100% rule, but odds are generally good :)
DVGs is fine for the hoi polli but the real connoisseurs are all about Bill Ewasko (finally located).
I think maybe you don't understand that they don't have enough GPUs to do this, and money can't buy enough GPUs to do it.
> I'm really not clear what you think is correct here?

Perhaps I'm saying exactly what I wrote and not your explicit misinterpretation of it.

Edit: @refulgentis: Google launched AngularJS in 2010, for example.
He can afford to sue himself, and even hire two very expensive law firms to represent both sides. He can even drag this case for decades, appealing court decisions and requesting expensive discovery, maybe even take it to supreme court.
9.9.99
Same. It's not in the model list response from https://api.openai.com/v1/models
I'd be curious to learn why CPUs don't have conditional move speculation.
These are Lead-based solar cells, is that correct? Are there details about how much Lead the panels will actually contain? Given how many solar panels will be needed I'm concerned about backing away from RoHS principles.
Complete with Tesla Cybertrucks from the 1980s.
I think what they are looking for is something like a transistor, except that an EM field changes the capacitance between power handling terminals rather than the resistance. So like a FET changes the resistance between the source and drain, a trancitor would change the capacitance between two terminals. This means it would only be useful for amplification of AC signals since DC would not pass. Whether such a material exists, I don't know. Found this, a "Varicap" seems to be a variable capacitance diode, maybe that could be a basis for a trancitor:

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

Designing circuits with trancitor's would be similar to any AC circuit design. They wouldn't work for any DC applications though. Whether they would be any better or more efficient in any way, who knows? Is our understanding of physics good enough yet to predict things like this? The wording of the trancitor Wikipedia page is not very grammatical, which makes me wonder if trancitors are some kind of hoax.
Win! Except for the missing hyphen...
I work at Neon like the other person mentioned, but I believe Supabase is Postgres compatible, though I haven't looked into them much.
Thanks for pointing this out. Sharing with the relevant folks.
Is there any good article comparing performance across programming languages? Seems like everytime I see one they're broken because the tested logic is poorly implemented in language(s) XYZ.
Any sources for this? I tried googling but found nothing.
I can only assume this is satire. For now.
It's outrageous they refuse to allow user defined and owned identities. This is where government oversight is needed to give sovereign identity to the account owner not Meta or any other databroker dressed up as a platform provider.
Hollywood doesn’t want good scripts, they want moneymakers and GK isn’t a big enough property to guarantee that.
3+4=7 is what NZ primary school teachers mean when they say "basic facts."

Source: I have two children in NZ primary schools.
I can sympathize with the technical concern, but really? We shouldn't talk like that to people willing to come here and discuss their decisions. It'll just prevent people from doing so in the future.
That letter is risible.

After firing 80% of his workforce in a brainless temper tantrum, Musk is now shocked to learn that some of the affected employees landed at competitor Meta. And there’s simply no way Meta could have built a Twitter clone in “a matter of months” without using Twitter’s secret sauce IP (even though Meta has been operating at billion-user scale for longer than Twitter has). Okay.
This reminds me of the vigilante web security scanner sites who scan whatever infrastructure belongs to you, according to whatever sketchy mapping they use, and then publish a "report" with all their "findings".

The findings are (nearly) all meritless, but it creates a lot of annoying work if a higher-up in the company (who doesn't know that it's a shakedown) says that the report needs to be addressed.
Functional as in support the modern web for the average user, not tech hobbyists looking to run Reddit and Discord.

It takes a lot more than 102 people to accomplish that.