skysight-inc/HackerNews huggingface dataset:
Congratulations on the launch, certainly looks pretty. I think most ex-stripes end up writing something similar, nice to not have to.

How does secret management work? Do you make it easy to access secrets stored in AWS/GCP/Vault, or do I need to manually add secrets to the Oni web interface?

When self-hosting, is the frontend also self-hosted, or am I always using the oni website?

Say I want to write a task for removing a customer and all of their data, for handling account deactivations. I only want the CTO to be able to run this action. And the implementation is going to involve using my app's ORM and performing a bunch of deletions, so I'll need a way to write and test the code for that. How do I write an Oni task that connects to my application as an integration? And how do I check permissions?
Assuming the police care -- which is unlikely unless you're important. More and more, it feels like police largely care about crimes that generate revenue for them, so drug & (select) traffic enforcement. And the odd harassing people if a venue hires them for "security" at $250/hr.

Letting "real" crime go is apparently a good way to get more funding for the department. Every time I go to vote there's another measure to increase local police funding, last time it was an off-cycle vote where that was the only issue (and the voting machine I put my ballot into showed 25 votes by 7pm).
Maybe buy earplugs or noise-cancelling headphones? The parent probably doesn't want their child to be crying either, but sometimes there's not much to be done.
LMAO can you imagine paying monthly to use Reddit? That'd be like paying monthly to browse this site or 4chan. I think I'd reevaluate my life if I considered paying monthly to access that cesspool.

Reddit is already nearly entirely astroturfed advertisements, and you pay for the site by reading the shill posts that fill its pages. The fact that anyone pays Apollo or Reddit for a subscription is already just sad. Like paying for cable.
Have they started rolling it out? When did you get access?
Far from it. They have great recent user growth and everybody is appending “Reddit” to the end of their google searches in the quest for non-gamed search results
People here need to learn to chill out and use the API. The GPT API is not some locked down cage. Every so often it'll come back with complaints instead of doing what was asked, but that's really uncommon. Control over the system prompt and putting a bit of extra information around the requests in the user message can get you _so_ far.

It feels like people are getting ready to build castles in their mind when they just need to learn to try pulling a door if it doesn't open the first time when they push it.
Elevating extremism is harmful, and when it's this large it's an emergency.

However, this comment doesn't make a ton of sense but you're not engaging in Good Faith so I'm done with this thread.
I agree, but I find it funny that it seems to be backfiring. I've noticed a pretty large increase in the number of posts that are people getting maimed or killed on subs that show up on the front page. Subs like publicfeakout that used to be stuff like people yelling at each other in mall now regularly have gore voted to the top.
But I wonder if they really fulfil this goal. How do they solve the unsolved problem of allowing scraping / SEO (Google, Bing etc.) but not teaching their LLMs?

It's obvious or an open secret that Alphabet/Google and Microsoft will use their web copy for teaching their AI.
I mean in the short term yes. If we survive the people controlling it now going into long term frames, then the question is more open to interpretation.
Are you sure they paid it or they were ordered to do so? Most times, the fine is reduced or appealed ad infinitum.
I don't know if they discarded any chats that ended before the timer, or without a sufficient number of messages, but that feels important for drawing conclusions.
> fstops are a ratio of focal length to aperture size

This number in isolation is completely useless for telling anything about how the resultant image is going to look. As opposed to, say, equivalent focal length, which tells you valuable information (about FoV) independently of any other spec.

> I wish they would just give us the angle of view in degrees instead

I agree, it would be nice if they just used invariant specs for everything. FoV angle and linear aperture diameter would be sufficient for most use cases.
Good point this could have been better phrased. I think I meant more like "In regards to health, my impression is people talk more about things that worked for them even if they're false positives (placebos, regression to mean etc) than they do about true negatives (things that didn't work)."

(This is different than other things like online reviews for products which are more biased towards negative experiences.)
HN seems to partner with Discord now.
I agree. The OP makes the case that it will cost him on average $2.50 per month per user - so... charge $3 per month - no blog post needed.

Same with Twitter. So many businesses were built upon basically free API access and are now shocked the company responsible for their app's customer appeal wants some of that action.

It's not Reddit's responsibility to float OP's business and make it profitable. OP's billions of monthly requests have a real cost for Reddit - and now that Reddit's API is so coveted, they can charge whatever they want for it's access.

No Twitter - no Twitter App.

No Reddit - no Reddit App.

It's really simple...
TPM enables remote attestation.
Related documentary
TPB AFK: The Pirate Bay Away From Keyboard
https://youtu.be/eTOKXCEwo_8
Show HN: CUI memo editor for the LLM era. Easily manage your prompt
Hello, HN community!
It designed for seamless editing directly in the terminal environment.
It offers a range of features to enhance your memo-taking experience and leverages the power of OpenAI's ChatGPT.

Especially, Easily query ChatGPT right within your memos and Instantly retrieve registered prompts while taking notes.

Let me know what you think! Happy memo-ing!
I am observing that many prisons in the US are run privately by corporations for the sake of making a profit. The incarcerated people in such establishments are often given shorter sentences if they agree to perform manual labor for little to no pay. Even if the prisons are getting subsidies which make them profitable, I suspect the owners consider it to be an asset more than a liability.
I think at scale we are operating more like anthills: meta-organisms rather than individuals, growing to consume all available resources according to survival focused heuristics. AI deeply empowers such meta-organisms, especially in its current form. Hopefully it gets smart enough to recognize that the pursuit of infinite growth will destroy us and possibly it. I hope it finds us worth saving.
2022 saw 60 people killed by shootings in sweden, and from my quick googling the rise appears to be gang related. Sweden has 10m people. Meanwhile, Chicago with 2m people had 12 people killed _last weekend_.
Making 45k/yr with a 33% income tax is pretty stressful IMO.

So they don't have disposable income, arent saving for retirement, and can't go to eat at restaurants?

I suppose in the US, when making 60k/yr its pretty similar since 10-30k get eaten up my medical expenses.
Ubuntu Details Initial Plans for Immutable Linux Desktop Ubuntu Core and Snaps
Yes, George Floyd was killed. BLM happened. People rioted. Police stepped back as calls to defund the police began. African Americans began dying due to homicide in massively increased numbers. Did I miss anything?
You also don't understand how 95% of the world or 80% of HN lives. $5/month is a very significant expense.
Cheating tip; use two hands, place your finger on both of the sliders, then almost complete the first one, then finish the second one.
Fedora 39 to Raise Its vm.max_map_count to Satisfy Some Steam Play Games
Ask HN: Which is your favourite blog?
Which is the blog that you always read the posts as soon as you can? Which blog/author do you envy because the good ideas they have and how they write?

In my case is Almost Looks Like Work (https://jasmcole.com/). The blog isn't about things I can directly apply in my life or work, but I just love the ideas the author have, and the way he develops non-trivial math to answer apparently normal questions (such as "which is the angle that maximizes the distance when jumping from a swing?").

So, which is your blog?
What countries don't look back at their past glories?
> You did not take into account my point about code operating on primitives definitely not having that kind of overhead.

Because it's not really interesting to debate. Nobody writes Java code like that, and even when they do there's still overhead to it. The exact amount of overhead is kinda irrelevant since the language very obviously doesn't want you to write code like that.

> Could you write that same code in a lower level language that it will still remain correct and safe?

Rust is safer than Java, so yes :)

But you're drifting into the productivity argument anyway, which I already pointed out is a reasonable reason to pay runtime overhead to get.
You know what highly correlates with speed on skates? How much money your parents can afford to spend on skating/hockey gear and lessons.
I thought this was really good. Specifically I appreciate how he covers all the general talking points -- perhaps that's why it didn't get traction.
It's an apples to oranges comparison - those cities may have worse problems with violent crime, but SF's issues with property/petty crime and drug use are off the charts.
I don't see any of that crap you are talking about on my feed. I am subscribed to tech, news, soccer, some linux subreddits, a few game subreddits like Dyson Sphere Program, Diablo and finally programmer memes. I browse "home", ignore "all" or "popular". It's a really nice tool that is being destroyed by incompetence.
Maybe stagnating subscriber numbers force the question of where they are going
Wont everyone just go to those "chan" sites? I don't know much about them but they seem similar and sound pretty bad to me too.
Not to go all “I told you so” but I do recall Christian talking about how Reddit would never do anything like this and how much trust he had in their developer relations team now, oh, sometime earlier this year. Hope he took the suggestion to have a backup plan seriously…relying on the whims of a single company is a hard way to make your income. Doesn’t mean you can’t try it but it is fundamentally pretty risky.
What I don’t get is they acquired Alien Blue, which was an amazing app, yet the official Reddit app is nowhere near the quality that AB had years ago.
You and I are not the 'end user' of this software. You and I are customers of OpenAI's customers.

The companies implementing ChatGPT are going to restrict -our- access to the APIs and the most relevant conversations.

It is in this manner that both OpenAI and the companies its selling its technologies to will benefit. In this manner OpenAI profits from both sides. You and I are left out though unless we want to pay much more than we're paying now.
I stand corrected. I experienced the midnight sun there, and assumed it also went dark for an extended period of time as well.
How difficult is it for an American to move to Sweden to live long term? The author had an employer sponsored visa. Are there other paths?
Oh that is just brilliant. Model rocket shenanigans were a highlight of my childhood.

Turns out, duct taping extra motors onto the rocket body as a cluster of second stage engines, initiated by cannon fuse itself ignited by the first stage didn't work so hot.
There's also not that firm belief that cold and dark is bad. You go out on your skidoo, you go cross country skiing, etc etc, and then you return to your cozy home. or go to a sauna.

You drink your fish elixir. You try to prioritize time around the little sunlight there is. Brutal winters are not quite as brutal when you just call em "winter".

Plus dry colds tend to not feel as cold. Ottawa at -10 feels worse than Yellowknife at -25 (imo).
The post also brought to mind Frantz Fanon https://plato.stanford.edu/entries/frantz-fanon/ who was directly involved in the Algerian anti-colonial struggle.
Why don't you let him defend his own statements, which have little to no foundation at all?

The only thing that would happen if Prop 13 were repealed is: all other taxes would stay the same, but that one would rise, and so would spending. That's why your arguments get no traction at all in CA.
Agree! The end users of the tools created on Onu are typically non-technical, while jenkins, rundeck, etc seem to prioritize very technical users. Our goal is to make running the scripts from the Onu platform as approachable and friendly as possible for the non-technical folks on your team.
4090 is twice faster than 3090 in almost all metrics.
Tell me where you go on Blockchain to exchange a software license for a concert ticket?

This doesn't even make sense for most chains since software licenses generally depend on some sort of secrets or drm that can't work on transparent chains (anyone can look at the tx and impersonate the owner to grab an activation code).

The actual product and ecosystem of these things is the hard part. You can't actually do anything at all with NFTs because they are merely mappings of users to random strings.

They have absolutely zero utility in and of themselves. Not as rights to jpgs and certainly not as proof of concert ticket ownership.

The business logic is what makes it all actually work, and can be applied far more easily in centralized systems.

Again, the usefulness in Blockchain is not authorization tokens, it's decentralized consensus, which is only useful insofar as you distrust the centralized alternative.

The auth token itself, whether NFT or any other bearer-like, is neither innovative nor interesting nor inherently useful. It only becomes useful where decentralization is useful and compelling products use it for practical needs.

I'm repeating myself now, no point in beating a dead horse.
$2.50 / month / user does not seem that insane when it's put into that sort of perspective, but certainly more than I think most of the current users of the app would be happy paying. Hopefully they can compromise somewhere around $5 / user / year which I think most users would happily pay for for a third party app.
Yeah, this is where the author lost me, when he started explaining how remote work is a conspiracy to exploit employees.
Bernstein v DOJ prohibits the US from doing any sort of regulation on AI itself. So what is going to happen is that the European continent is going to wall itself off from the biggest innovation in human history since electricity.
What percent of the app's current customer base do you think would stick around at paying $5 a month to browse r/funny on the phone?
I can only assume Reddit wants to kill NSFW altogether. They require you to authenticate now if you want to see any of it (though of course they promise that somehow this will still be "anonymous"). Once they turn off old.reddit.com, I think that'll be the end of NSFW content on Reddit altogether.

I assume they hope to attract more advertising money this way.
Works fine until you get to the crossing patterns. :)
This wouldn't help 99% of Gigabyte customers.
> The f-stop is a physical ratio.

Which tells you precisely nothing at all without having other specs to multiply it out. It's a useless spec, in the format presented by Apple.

> gauge some arbitrary level of performance

The fact that it's arbitrary is irrelevant; the important part is that it is a consistent reference point across cameras.

> I wish Apple would drop the now irrelevant references to 35mm.

Yes, that would be ideal, but they're not going to do that, so at the very least they should just be consistent with the specs they provide.
That kind of cloth manufacturing isn't really scalable. So clothes would be a lot more expensive, even by western standards, and even considering how labor would be much cheaper in those countries.
I don't think this is a Reddit problem. All social media platforms have increasingly large groups of crazy people. However, I highly suspect that those groups are just a very vocal minority and not hundreds of millions of people as the OP said.
Reddit Admin itself will blanket ban accounts in entire sub-threads with no recourse or explanation.

Participate in a well informed debate on monetary policy, but some idiot downthread went on an anti-semitic rant?

Your account will be banned. Your ip address will be blocked from creating additional accounts. You will receive a link in a message to the message you wrote for which you were banned, but since it was deleted it will be a worthless link. You will receive a link to a form to appeal your ban, which goes straight to dev/null.
That's fine. If you can't or don't want to pay, you can look at Reddit's ads. I do not use Reddit very much, so it's not worth $5/month to me. But why would I expect to get a third-party ad-free client for free?
I've read "Server component safe" and thought that doesn't make sense from the get go. It's 100% only bad communication here
I think the market is:

1. anyone who wants a clean inbox -- maybe less profitable
2. any company that wants better protection against phishing attacks -- maybe more profitable
3. Edit to add: someone pointed to https://www.mailinblack.com/ I don't speak French, but that's apparently a company that (somehow) provides a service similar to the description here to high-profile targets.

If the skateboard version of this seems technically do-able without having to convince the entire world to switch to a new protocol I'd be happy to jump into a google doc to noodle it further.

On the surface it seems like:

1. it would have to rely on email addresses alone -- I don't know another way to transmit information from sender to receiver that fits within current "what's your email?" standards.
2. it would have to have a sparse enough address space that accidental collisions are unlikely -- so maybe 8 alphanumerics for ~41 bits?

But if you have other ideas I'd love to hear them -- griping about email has been a thing of mine for 20 years...
So rde is intended to be a more user friendly variant of Guix System as a Linux distribution? It's quite hard to tell for me... http://trop.in/rde/manual#Introduction is the clearest project description I can find.
Tim Sneath Leaving Flutter
The reddit ones won't be though, unless they scrape instead of use the api. I doubt that's viable for a consumer app though, Reddit will probably break your app constantly.
Who cares? It doesn't matter one bit. OP built a profitable business off free API access. That is the mistake here... assuming it would always be free.
GTD has support for that with its "Project Support" documents, higher-level reviews, multiple Next Actions for same project, etc. I feel it does cover the situation, and you can still do it just when you run out of obvious things to do or stop for the day.

The "Next Action" is really just to ensure you know what actually can be done and when and not just have the project (e.g. "Buy car") as the action.
So far, we were noticeably heating the oceans up and this should stop.
USC Optical Sound Effects Library
It seems like google has been pumping Bard as a competitor to ChatGPT, but every time I use it for trivial tasks, it completely hallucinates something absurd after showing only a modicum of what could be perceived to be "understanding".

My mileu is programming, general tech stuff, philosophy, literature, science, etc. -- a wide berth. The only sample I probably don't have it representative for is producing fiction writing or therapy roleplaying.

Conversely, even 3.5 is pretty good at extracting what appears to be meaning from your text.
but that's not what he said. He said a single brushing session.
The individual actors aren't the issue. As with any system, the issue is what kind of actors succeed in the system.

AI is looking to be a vehicle for yet another consolidation of wealth, and by proxy, power.
I didn't say anything about user growth. I said their ads platform is trash, which is evident to anyone who has attempted to use it.
Just googled "yt-dlp" and got its github page as the first result so that's food for thought.
No, and I've taken out the reference to Discord in the text above. There's nothing wrong with Discord but I always tell founders when launching that it's not in their interest to draw attention away from the HN comments when launching on HN.
Ask HN: Any sensible usage of TLA+/Alloy for mere mortals?
Not everyone is working on highly concurrent systems with tens of thousands users simultaneously...

I am a back-end web developer, and am totally sold to ideas using formal methods to ensure better quality for delivered software, however, it's difficult to - evangelize a new tool to my team, - find a sensible usage, while at the same time, - learning it myself.

So far I have identified following points:
- Using TLA+ to model our authentication/2FA process. This isn't a concurrent system, as we would be modelling 1 client's interactions with 1 server, BUT I believe it would be nice to see the system as a whole, I came up with some invariants to check, out of top of my head: "every user is eventually asked for 2FA"?, "every session eventually ends"?, "once created, user can login"?

- Using TLA+ to model business processes; basically describe the state machine of some particular workflow. Not sure yet what invariants to check.

- Using Alloy to model our Database/ORM mapping. Unfortunately, it's already screwed up beyond repair, but at least this would help to quantify how screwed it is. Kinda difficult to justify the time spent, because I don't see myself changing the database schema, too much of a trouble.

Any other suggestions?

P.S: Looks like Alloy is rreeaaallly niche! It's hard to find talks/youtube videos about it, while I have a new video suggested every day for TLA+ at Microsoft & Amazon
Fun fact: a wartime-like siren rang in Seoul for 1min, freaking out everybody, until it was announced that it was a false alert.

(I wasn't there but I saw people panicking on Kakao Talk group chats)
Surgery is just a bandaid on a systemic problem. We still don't even know why we are obese! Certain groups say carbs are the devil (what about Japan, China who eat a lot of rice and keep their obesity rates very low?). Other groups say it's saturated fats (what about the thousands of years history we have of eating fats? Obesity is a very recent problem).

You will probably get fatter living in a suburb driving everywhere rather than say NYC. But that's not enough to explain the difference between countries.

What about pollutants? The food, the water, the air, the feed for animals, the antibiotics, pesticides, seed oils, microplastics?
Ubuntu Core as an immutable Linux Desktop base
> Humans not accustomed to cat body language tend to think of looking away as a sign of aloofness and disinterest instead.

But not always. For instance, a common sign of flirting in humans is to repeatedly catch someone's eye and then look away.
> It sure sounds like it, but no - it works, it's easy, and it's super safe. The "trick" is that it's frontend-only in the same sense that Serverless has no servers. There is a backend component which actually enforces the access, you just don't have to build it - FoAz is a generic backend component leveraging policy as code together with a reverse-proxy, and secrets management services to produce a one size fits all backend authorization.

Phew. I was about to blow a gasket.

So, this approach works, but generally either you build a lot of knowledge of apps' resources (URI local-parts and q-params semantics) or you have very coarse-grained authz or you restructure your applications so that a minimal authz language can represent a lot of what you're doing using only URI local-parts.
Presumably that's why they've been making old reddit worse over time before they turn it off (kinda like i.reddit.com)