skysight-inc/HackerNews huggingface dataset:
The US doesn’t either. Whatever federal privacy protections that exist in the US are the result of Supreme Court interpretation, the most famous of which (Roe v Wade) was just overturned (Dobbs).
> Why does Gates give away so much money?

Flack for his epstein connection? Fear of remote illness? Lot's of ways to reflect your self-interest.

> Why do people leak documents? Because they think other people's secrets should be public information.

Because some people are noble. Some people are corrupted by remote interests.

> Why do we create ownership rights over information, such as patents and copyright, in the first place?

To incentivize publishing of discovery. There's no obligation to publish discoveries.

> Why go governments have Eminent Domain?

Is Eminent Domain justly applied?

> Why did the October Revolution and the Cuban Revolution happen?

Why did my apartment catch flees? I don't know but we had that shit bug bombed.

I think you and I both would be part of some revolution but we differ on the likely conclusion. I personally find a lust for eternal life (except for your fruity loins) repugnant, lest the whole worlds resources become fuel for a gigantic cock sucking machine.
nope. no DNS service, not even a self-hosted one, can mitigate what's happening here.

the matter at-hand considers Android (and iOS both) operating system- and kernel-level insecurities by-design. the operating system (together with all root-level or otherwise authorized system activity), under certain conditions—e.g. connectivity change, hard-coded system function, apps with permission to hardcode their own network functions, etc.—will refuse to use any NIC, whether physical or virtualized, except the one containing the cellular carrier's connection/routes. that traffic might then necessarily include DNS queries and any/all other private but now-leaked data.
Show HN: Salad, a distributed cloud for AI (like Airbnb for GPUs)
Hey HN! Bob here, Founder and CEO of Salad (www.salad.com), a distributed cloud for AI inference at scale.

*Why Salad?* Because there’s 400 Million consumer GPUs in the world (~100 Million AI-enabled RTX GPUS) and most of them lie unused for 18-22 hrs a day.

These consumer GPUs offer similar or better cost-performance than high-end AI GPUs for many AI/ML use cases (Speech-to-text, batch jobs, text-to-image, computer vision to name a few).

With Salad, we have activated this latent compute in everyday PCs to power AI/ML workloads.

*How big is our network?* More than 1,900,000 individual PC owners on the network. Around 10K+ GPUs (RTX/GTX series) are running AI workloads from companies at any given time.

*What’s in it for AI companies & data scientists?*

Users get GPUs at the lowest market price with high scalability

*What’s in it for people sharing GPU time?*

GPU owners get rewards ranging $20 - $180 depending on the GPU type (Higher vRAM GPUs earn more). These rewards can be exchanged in our marketplace for gift cards, games and more.

*How are our prices?*

GPU prices start from $0.02/hour and across different consumer GPUs, we have the lowest price and largest scale in the market.

For ex, an RTX 3080Ti for AI transcription costs $0.0012/hour with a self-managed OS model on Salad. The next best cost in the market is an API ($0.28/hr).

*Who can run on SaladCloud today?*

Here are the best fits for our infra today:

(1) Needs >3 GPUs running 24*7

(2) AI inference workloads or batch processing

(3) No compliance-related workloads (HIPAA, etc).

As a distributed cloud, we are workload-agnostic. That being said, with our current features & team, we are best poised to support AI/ML workloads. As we grow, we will add more support for other workloads.

We’re happy to offer $1000 in free credits if you have a demand for more than 10 GPUs per month running consistently.

Just sign up for a demo call and select ‘HackerNews’ in the ‘How did you hear about us?’ field.

Book a call to discuss your use case: https://salad.com/get-a-demo

Signup for SaladCloud here: https://portal.salad.com/

To earn with your PC, download the Salad app here: https://salad.com/download

GitHub Repo: https://github.com/SaladTechnologies

Our mission is to democratize cloud computing with a fully people-powered cloud and helping companies break free from the cloud monopoly.
It does this by asking for a government issued ID as proof.

Prima facie, this makes sense. When you get cigs or beer, you're asked for ID to prove you're over 18. Porn is age-restricted, so porn websites should also ask for ID. QED, etc.

But if you go even one step beneath this reasoning, you'll see that this is an unbelievably slippery slope:

- What's stopping state governments from subpoenaing ID verification systems to find out who's viewing porn?

- This is from the same state that "pioneered" a legal bounty system for phoning in women who might be getting an abortion so that they can be "dealt with." What's stopping the state from doing the same from people who watch porn?

- What's stopping the state from extending this law to require age verification for anything that feels right for an ID check? Abortion sites? sites about birth control? Sites saying the wrong things about $DEITY?

- This is also from the same state that, as the article outlines, has also passed a state bill that makes any form of moderation on social media illegal. So enacting spam control for folks spamming OnlyFans links is fine, but if you click on those links, you're viewing contraband and should be dealt with? What the fuck?
> Which flashlight app? As far as I know there is no official flashlight app (though recently there is a built in flashlight feature). How is Google responsible for a third party app that refuses to work without an internet access?

GP is saying that the Android permissions model requires giving Internet access to any app you install from the Play Store; there isn't a way for an app to request "zero permissions" (or rather, there is, but basic Internet access is a permission granted to all apps, even when zero additional entitlements are requested).

That said, this isn't unique to Android. At least as of a few years ago, iOS did more or less the same thing. (You can disable an app's access to the local network, but that's not the same thing as denying (or requiring an app to request) basic network connectivity).
This could be the thing that saves the US healthcare system; currently we pay 2x what a normal developed country would pay for the level of service provided, because there is a thick layer of paperwork, with insurance companies going back-and-forth with medical providers to debate and negotiate billing.

Imagine if AIs on each side could run that negotiation process in seconds, at the cost of merely a few hundred thousand OpenAI API calls. Then humans can get back to doing the actual work!
You can even do it without switching the content type: https://boehs.org/in/blog.xml
I hope that you properly segment your browsing then, because surely you don't browse the web while logged in to google?
Had ergodox for 3 years, moved to moonlander using their base mounts to float on gas arms. Huge fan
Would love to know which AI company got the data or do the developers of Scribe run their own ChatGPT?
I flew a Lufthansa A340 to Cape Town. Very nice plane.

They have quite a quirky feature: there are toilets in the cargo hold, with steps leading down to them [0]. I liked it - the area is good for stretching your legs and it was a bit of a social hub.

[0] https://onemileatatime.com/insights/lufthansa-a340-cargo-hol...
I think it is simply because when you are a kid, "running" means "going as fast as possible"

"Running" in the sport of "Running" means something different than "running" on the playground (which is more akin to sprinting).
Yes, BeeBase uses the sqlite3 file format. You can make changes to the sqlite3 file with other SW, but there are some rules to be followed if you want BeeBase to work with those changes. More info is in the manual here: https://beebase.sourceforge.io/index.php?page=documentation&...
Some parts of Europe. But now when I looked it up the law was actually changed like 10 years ago. Damn I'm old.
> challenge response protocol

What’s does that mean?

(Sorry for noob question)
Yes, HN doesn't allow replies over a certain depth sometimes.
It's sad that pilots can no longer fly without GPS assistance. They really are the equivalent of fancy bus drivers.
This is a really fascinating paper.

> Our hypothesis is that, across a wide range of harmful prompts, there is a single intermediate feature which is instrumental in the model’s refusal. In other words, many particular instances of harmful instructions lead to the expression of this "refusal feature," and once it is expressed in the residual stream, the model outputs text in a sort of "should refuse" mode.

At first blush it strikes me as a tenuous hypothesis, but really cool that it holds up. Fantastic work!

> 1) Run the model on harmful instructions and harmless instructions, caching all residual stream activations at the last token position
> 2) Compute the difference in means between harmful activations and harmless activations.

This is dirt-simple, but awesome that it works!

> We can implement this as an inference-time intervention: every time a component c (e.g. an attention head) writes its output c out ∈ R d model to the residual stream, we can erase its contribution to the "refusal direction" ^r. We can do this by computing the projection of c out onto ^r, and then subtracting this projection away:
> Note that we are ablating the same direction at every token and every layer. By performing this ablation at every component that writes the residual stream, we effectively prevent the model from ever representing this feature.

This is definitely the "big-hammer" approach, and while it no doubt would give the best results, I wonder if simply ablating the refusal vector at the final activation layer would be sufficient...? I would be interested in seeing experiments about this -- if that were the case, then this would certainly be easier to reproduce, because the lift would be much lower.

Regardless, I'm still somewhat new to LLMs, but it feels like this is the sort of paper that we should be able to reproduce in something like llama.cpp without too much trouble...? And the best part is, there's no retraining / fine-tuning involved -- we simple need to feed in a number of prompts that we want to find the common refusal vector for, a number of innocuous prompts, mash them together, and then feed that in as an additional parameter for the engine to ablate at inference time. Boom, instant de-censorship!
The secondary and tertiary canals take about an hour and a half to reach from the main landing. The larger boats can fit ok-ish in the secondary but not tertiary channels.

Also, there are boats selling wares to tourists that will attach to your boat with permission - often what they are selling is available in the long line of interesting shops by the main landing at a lower price. There are also boats selling just-cooked BBQ, as well as refreshments, and boats with a (totally authentic) mariachi band you can hire to come aboard for several songs.

Highly recommend visiting.
- You want to masquerade as being in another location to avoid or test geo-restrictions, e.g. view the BBC outside the UK

-You prefer the privacy or consumer policies of another jurisdiction (e.g. EU, Switzerland)

- You want to avoid or flout copyright or anti-pornography policies

- You want to evade or avoid IP-based limitations, such as only downloading 1 file per IP per 12 hours.
Totally a fair use-case and request!

Right now we don't have support for a local storage mechanism or self-hosting. We are extremely keen on privacy and are very open to working towards either of those two options.
The very same part of my brain that allows me to implement a disjoint-set forest tells me bright yellow text on a bright pink background is good design.
I'm glad all of those works belong to to public domain.
Sure but dictating what units to use is a bit overboard. A pound should be a pound and a kilo a kilo but what units I use in commerce is my business, not the state’s.
Buy as in be a customer. For example, you subscribe to a paid Substack like ByteByteGo Newsletter.
"Trump blames California for wildfires, tells state ‘you gotta clean your floors’"

https://www.politico.com/states/california/story/2020/08/20/...

Weird
or you can use XSLT, no headers required https://www.bennadel.com/blog/3770-using-xslt-and-xml-transf...
You are conflating two different ideas. Supply management and certification are not one and the same. You can have supply management without certification, and you can have certification without supply management. The parent only expressed concern over the supply management practice, not the certification practice.
Not the same thing.

- Libreoffice can edit Word and Excel files.

- There are several tools to read a PST file. Anyway… pst files are not commonly being shared with other people so the need to accessing it is uncommon unless you already use outlook.

- Autocad and Quickbooks are far less used (less people) than PDF.

I also wonder why there are no more tools to edit PDF files. Maybe licensing issues?

Edit: formatting
There are tradeoffs too though...large corporations can offer large problems to solve too, even though they will often be behind a bunch of red tape. Some people are well equipped to deal with that. Some people are okay with encountering the red tape, and waiting the 3 months for it to resolve...in the meantime you focus on other things, still get paid, and then go home and focus on hobbies/family/whatever. For the people that want to "move fast and break things"...yeah don't join a fortune 100/500 company.
I really do not like these compressed baby keyboards that are missing essential keys.

My perfect keyboard would be something like a 150% with standard full layout but then adding in a bunch of programmable macro keys, I want more than F12! I want F1 through F36. Also a built in coffee grinder, water heater, and there should be a fan under the keys to keep my hands cool. Okay, ignore those last three.
I will add having very wide shoulders makes a split that much more ergonomic for someone of similar body type. Cool project btw
You can throw your account and create a new one instead of renewing your "subscription". There's no price penalty for doing that.
Right now it’s a AI bubble, part 2.

Maybe once part 4 or 5 roll around it will be “stable”
OK, when you feel it's time, feel free to ping me on my repo, and I'll look into it.

A custom Wasm blob definitely works: it's an explicit design goal of my bindings that one can bring their own Wasm (e.g. because one wants to configure the build differently, or bought the SEE extension, or something). And if your extension turns out much like FTS5 that would work.

Still, "one big Wasm blob" is less flexible than I'd like, because all connections in an app (currently? maybe this could be lifted) need to use the same Wasm blob. Then (and if you want to import different extensions...) it becomes a fight over who got to initialize the global variable last.

So, I've been on-and-off looking into what it would take to "dynamically link" a C extension as a second Wasm, but... I'm not even sure it's possible.
Musk’s tweet re supercharger in the article said it all, too much focus on expansion and not enough focus on increasing availability and reliability of the existing infra.
> What's also funny is that I've never worked anywhere that didn't have `eslint-disable` sprinkled everywhere. In many cases, these rules should be warning instead of errors, but because programmers love errors for some reason, virtually every rule violation needs to be an error.

Well I'm quite proud of having owned a certain repo at work which takes exactly this approach. If I have to disable a rule more than once, I take a good look at whether we need it at all, so we have extremely few `eslint-disable` comments in the entire codebase. It's one of the cleanest and most transparent codebases I've worked in -- but that's also an artifact of me spending long stretches working in it alone and having little oversight of how I spend my time. So there's a tradeoff :)
Netguard is an open-source program that helps fix this: https://netguard.me/
That’s user-side. Giving the feed a stylesheet works for everyone, not requiring that they install an extension first.
If I could afford a bigger house with a big garden, shed, garage etc I'd definitely have way more hobbies like woodworking etc (UK here)
How do i know if i want to sub to this if i cant see what type of things they post first?
Yeah, sure can name a lot of friends that consume: mainly gaming and streaming.

Has the curve on the creator/consumer axis shifted in recent times or has it always been skewed toward consuming? Or is there instead a social axis that has been waning recently? I'm thinking of the once popular Bridge card game or bowling leagues as examples...
Two questions:

1. Doesn't seem like there's support for latex-style math? (Or, at least couldn't find it in the documentation and putting an equation between $$ doesn't seem to work). Is this planned?

2. Is there a way to export your notes?
They arent based in Switzerland but in Sweden.
I already gave two examples 1) large-scale WinForms app with third-party controls and libraries and 2) Interop with FS kernel driver under heavy load

We were told to benchmark the performance on several computers using different hardware. In example 1 we calculated ~30% worse performance (worst case scenario!). In example 2 we had micro stuttering and system wide freeze (requiring reboot).

Again, in example 2, are we supposed to accept our customer computer freezing under load? In a high security, sensitive environment? You must be joking! Instead we delivered a solid product which do not freeze the system and we got great feedback. What's considered 'obsolete' is irrelevant to us. The word means nothing. Our benchmarks are of the highest importance.

Let me try again on monday though, I can reproduce the results then. Your claim piqued my curiosity, but I think you underestimate the specific requirements in which we work. Perhaps they've fixed something since last time we tried. I'm certainly willing to try again.
The Censorship-Industrial Complex [pdf]
If you inherited woodworking tools from your grandfather, I'm assuming that either your grandfather or father taught you some woodworking skills?

I grew up on the computer since I was a preteen. My dad moved 2000 miles away when I was 11. Every job I've ever had since I was 14 was web/software related and I am nearly 39. I feel like I have no practical skills outside of computers and the idea of building things with my hands or using power tools just fills me with anxiety. I wish I knew how to break out of the mindset.
I remember taking the EWR-SIN flight back in the 2000s in both premium economy and business class. The first time was an experience - such a long flight. Previously I'd have to connect in Europe/Asia. Taking it when it was all business class was pretty cool. ~100 people on such a big plane.
I tried out hydroponics over the pandemic and it was fantastic! I stuck a pepper plant into a cup of water, made sure the nutrients were right, and watched that thing go off, I was an extremely proud plant dad.
“…most tools don't cater well to repeatable checklists.”

I agree this is a missed market, but I need this as a Django App for work (internally stored and managed). I’m trying to bring productivity tools to work colleagues.
Five years is pretty aggressive, but I feel like 10-20 is realistic. Just in time for those fusion plants to be coming online ;)

> in the supermarket for cheaper than cow steak

OK, but only if we agree to include subsidies and externalized costs in the price.
I've been wondering for a while now why these fractional keyboards are so popular. It's some sort of trendy faux-minimalism that I've never been able to wrap my head around.
Maker here! Feel free to let me know your comments.
It's not about the aircraft, just the engines. Engines got so much more reliable through the 80's and 90's that it made more sense (though regulation lagged a bit) to do those long haul flights with larger twin engine configurations, which are inherently more efficient (bigger fans spin faster on the outside enabling higher bypass at the same RPM).

The aircraft itself was otherwise mostly common with the A330, which still sells well enough (and is being replaced by the evolved A350).
GrapheneOS does if you're willing to take the plunge.
Stock buyback != "artificially drive up share price".

Someone else provided a nice little breakdown [1] of how buybacks work in comparison with dividends.

I recommend you read that, and also actually read the article that you posted instead of continuing to argue a point that you are incorrect about.

Apple specifically has continued to return value to shareholders via stock repurchases over a long period of time. There's nothing artificial or abnormal about their stock buybacks, and you can do the research for yourself to compare their stock buyback programs with the company performance over time.

[1] https://news.ycombinator.com/item?id=40247051
Related blog post, that was recently submitted to HN: Hardest Problem in Computer Science: Centering Things (https://tonsky.me/blog/centering/).

This feature would fix alot of the problems with centering fonts (icon and text) vertically, which is currently not really possible, at least not easily.
I'm glad to have experienced flying in the retro futuristic 747 but the Lufthansa A340-600 felt like a proper top of the line spaceship. I still can't fathom that twin engine is now deemed safe for long haul flights. I always feel uneasy when crossing the Atlantic with one.
Is it better to live in 'clock time' or 'event time'?
Yes, because it's more of a government backed corporation. Although it has stockholders that get paid dividends, it could be entirely funded by federal contracts. 33% of Boeing revenue is from military contracts and I imagine that figure will only go up from here. Even if their commercial airplane business went up in smoke, (Not likely any time soon) their military and global services would keep them going for a long time.
Sorry, I appreciate the joke (really :) ) but I also worry that people keep trying to add the concept of "users" or an existing role or permissions model into capability-based systems when they're unnecessary.

You could maybe model or emulate a user in a capability system by providing the login's session manager an object with read/write access to the configured "user" directory, read and execute access to an applications collection, and full access to the root window. From there, when the user starts a new application it's given an object with access to a window created for it (by calling "createWindow" on the root window object, so it can't even do something like enumerate other windows or whatever), and whichever other requirements were configured as part of its install.

It's capabilities all the way down with no "user" involved.
I’m also a tech enthusiast but I change my iPhone every 4 or 5 years. And it may be the issue here, there’s not that much incentive to switch from an iPhone to the next one except if you are an Apple fan boy, thanks to the awesome upgrades support. Hope they won’t “fix” it.
Think he is just making general case that it is easier to destroy than create, and during war, a lot is lost.
> Lets see, I think it is too early for a verdict.

This is a post about the A340, 747, DC-10 (3x engine), and A380 dying (or being already dead). What more verification do you need?

Airlines can and do charge higher air-fares for direct travel.
LinkedIn proved that adding a tech layer that should get rid of an industry of paper shufflers is only profitable if those paper shufflers fund the platform.

Cue me skeptical that AI really reduces the middle-folk fees.
I hope your webserver has several terabytes free for when someone submits a Vulkan example.