skysight-inc/HackerNews huggingface dataset:
> Because reselling a genuine cable is completely legal even if you attach it to a third-party screen. Swapping logos is not comparable because the cable provides a genuine function completely unrelated to the logo that happens to be printed on it.

Seems like a plausible test but it's easy to poke holes in it. What if I get some shoe laces with a pattern of the Louis Vuitton logo and put them in generic shoes?
90% of startups fail in the first year, I wouldn't expect AI startups to be an exception.
A formal proof is only as good as its requirements. Leaving out features and reducing complexity is for sure going to be more secure.
They probably used to. Then the accountants got involved and removed that expense.

Along with everything else they could think of too.

Free coffee for employees? Not from about 2 decades ago... ;)
*/ marks the end of comment block
And “the most-popular encoder on at least two planets” as Mars Rover Perseverance runs it.

https://www.reddit.com/r/space/comments/lpz3l7/the_mars_2020...
If they thought it would work they would pursue it in court. They have not. They are instead getting an unaccountable government agency to enforce their will extrajudicially i.e. the whole point of the article.
OpenAI does not strike me as a company that would be naive about this. Didn’t they just recently manipulate the outputs of an endpoint when they realized people were misusing it? (“CatGPT”)

The most sinister interpretation is that the logits are a red herring. People who are tied up in stealing them aren’t free to do actual rival work.
Here's some of the white supremacist great replacement stuff for you just to start, found in maybe 30sec of scrollin the sub https://www.reddit.com/r/EnoughMuskSpam/s/Xe4nIKVHgq

I don't care enough to dig deeper but you have to be blind or not on twitter to see the ripple of his dog shit ideology.

No one sensible gives a fuck about anything but the dodged taxes and pro terrorist shit from jan six to libs of tik tok. He deserves to be hated.
Does it have diarisation yet?
It's unfortunate that wework is coming in https://twitter.com/StartupTomb
You cannot subtract 1 directly from 100, so you need to do 1000 + (100 - 10) + (10 - 1) = MXCIX
Wow, someone I (somewhat) know in person featured on HN.

I haven't heard from him in a long while (and even then, he was a friend of a friend who happened to show up from time to time). Then, he got lucky publishing Bitcoin prophecies that were accurate enough to gather significant following. A shovel shop in the times of gold rush kind of thing.

Now from what I see on his Instagram, he seems to be living in Dubai and his life consists of fine dining, driving fast cars and attending crypto conferences. Never in my life will I understand why this kind of life is something that people pursue.
Good point. Referring to university as “college” is very American so I assumed USA, but that’s not conclusive evidence.
A few months ago I played around with a bunch of iOS shortcuts to turn the grayscale mode off when I opened certain apps then back on when I closed them. It was a cute idea, I thought, but it didn’t work reliably so I quickly turned it off.
What model did you end up using? And what system did you do it in?

My immediate guess on how to model it would be to create reified constraints for the wordlists of different lengths (the constraints in chapter 22 of https://www.gecode.org/doc-latest/MPG.pdf). For each square, use standard logical constraints to check if it is the start of a word (previous square a black one, this square not a black one), and how long the word is (using backwards counting of runs). These can be used to trigger the reified constraints above.

If the word-lists are short-ish enough, then an alternative for the above model would be to model the whole words using MDD or regular expression constraints, with an added control variable and setting all values as don't-care for the false case.
Seems like people object to "sensational" titles (aka clickbait) regardless of the article contents.

Perhaps it's something to do with treating your readers disrespectfully? ;)
When local LLMs get better, maybe?
It exists, but... throw in some macros or generic cache/storage which is untyped and you end up with a non-trivial version of this:

struct GID gid = *(GID*) &some_uid;

Which will compile without issues or warnings by default. No belts or braces in this area.
Italy to seize $835M from Airbnb in tax evasion inquiry
Having grown up in a depressingly car-dependant suburb in the US, I moved to a walkable city specifically so that I could enjoy that aspect of my life. I reguarly walk more than 7 miles (11.3 km) per day. Although rare, there are walkable places in the US, and people who enjoy walking.
They're trying to strong arm people into coming back now.
Hashicorp Vault or (AWS|GCP) Secrets Manager would be the common answer.

There is also the startup Doppler (https://www.doppler.com/) that is directly taking on the Hashicorp Vault space. It’s probably easier to get up and running and friendlier for a smaller team. No affiliation!
If someone pays you for your work you aren't working for yourself. A business problem a customer needs solved may or may not look "interesting" and "well-defined" to you, but probably not, because the customer describes the problem and the parameters.

If you have a full-time job now, can you change to an independent contractor relationship? That will give the easiest path to changing your relationship from employee to independent contractor.

I have some free articles about freelancing on my site typicalprogrammer.com.
Same but for an e-bike. Some people treat it like a lifestyle choice, but once you see it as just another utility you can shed a lot of the BS rhetoric around it. The math checks out.

Just scoot/bike/skate your way to work if you can, and be happier and wealthier for it.
> Thus far, it remains undetermined, as things are still in progress.

My question was, do you think the 3rd circuit got it wrong, and that the spin off didn't have access to that money when it initially tried to file for bankruptcy? That is not in progress, and we have as much information as we ever will have. J&Js finances, the text of the funding agreement, and the text of the 3rd circuit's opinion are in the public record!

> The entity that J&J spun off has attempted multiple times to declare bankruptcy, only to be thwarted [...] they stated that "the time was not right" and questioned the amount of funding.

Right, they were thwarted because they had TOO MUCH money. The time wasn't right because with an $60b+ blank check from J&J, they weren't bankrupt. Which is a pretty plausible argument!

> LTL re-filed for bankruptcy three hours after this ruling. (Why, was the time right, in the afternoon?)

This is hardly a mystery. They refiled with a different (and less generous) funding agreement, which (rather obviously) brought them closer to being technically bankrupt but (as the 3rd circuit ruled) didn't come close enough.

> Georgia Pacific did the same with Best Wall

Can you provide any support for this claim? Because I think you've got the sequence of events backwards - specifically I believe they promised $175m in the initial funding agreement, and then later raised it to $1b, which (so far) they haven't walked away from.

Happy to learn more about the details though.

> St Gobain did the same thing

Again, what did the original funding agreement promise, and what did they deliver?

> When only four firms have tried this

I am legitimately curious - have any of those four firms failed to deliver on the funds promised in the funding agreement of the spun off holding company? Because I'm not aware of this occuring, and some quick internet searching didn't come up with any results either.
> * It's probably still fraud. If it seems dishonest to the average perso*

Nothing was hidden! There was no deceit! If I say I’ll take your money if you let me, and you let me, you were not defrauded. You may have been taken advantage of. But it’s not fraud. (Also, they now have your money. To pay lawyers with.)
Even if that isn't 100% ubiquitously true, it's true enough to provide important context, so thanks for that.

My overall point doesn't just apply to this instance, though. It's something I see all over the place, even today; particularly in conversations about moderation and censorship.

Content has been siloed off so intensely that it's hard to even imagine a modern internet without arbitrary borders. Most of those borders are made across organizational lines. They are often made out of copyright, with the notion that some deserving party will be monetarily compensated.

Those borders usually don't align to the content itself. Instead, they become arbitrary hurdles, or even walls; making it unfeasible or impossible to truly benefit from content. Nearly every incompatibility in software was created intentionally, to cement and enforce these borders.

Now inference models (overconfidently called AI) like LLMs are all the rage. What do they do? They draw new borders. What are those borders meant to align with? The patterns that are already present in the content itself.
Inkscape has been awesome, both as an editor for SVGs that leverages whatever SVG can support, and as a tool in automated processes. While I haven't used it much when I vectorized a lot of things on Wikimedia Commons (because handwriting the files was easier for some enough geometric shapes), I've been using it for a few years now as part of the pipeline to build a card game [1]. With the exception of the CMYK conversion at the end, I've managed to build everything with open source software and Inkscape has been invaluable.

[1] https://fallacygame.com/
The arxiv version of the paper says:

the decay widths of the low-lying states increase, eventually melting into an unresolvable continuum as their lifetimes become commensurate with typical reaction and single-particle timescales. Here, the very notion of the nuclear state becomes questionable as the timescales are too short to talk about the existence of a nucleus. Indeed as dis- cussed in Ref. [9], if a collection of nucleons survives for less than about 10−22 s, it should not be considered a nucleus.

https://arxiv.org/abs/2309.15180
It will evaporate relatively immediately. So no tides.
So you're admitting to having a self-interested stake in getting others to convert a portion of their net worth to crypto, no? Since getting others to buy in would directly provide liquidity to your own position. Tell me, what customer or financial protections are in place for your crypto position. Are there any? At all? Or if the drive holding that "good portion" disappears, then so do your assets, yes? Having a bank close my account sucks. A lot. The answer isn't to buy into an even more broken system built on the exploitation of those looking to buy into a get-rich scheme. The answer is to hold cash for times where your bank isn't available. Cash depreciates in value, sure, but at least it's not locked into a guaranteed deflationary spiral that ends with guaranteed marginal returns. At least my position in cash doesn't pit me in a game against people who bought in cheaper and stand to make exponentially more than I can, off my back even.
I can only speak for Regus locations in Europe, but all of the ones I’ve visited have been new and modern, if a little office-drone boring. But frankly after being at a WeWork beforehand, I prefer the Regus blandness to the fake enthusiasm and brightly colored furniture.
https://en.wikipedia.org/wiki/Eggshell_skull
I'd also love a code if anyone has any to spare (email in bio)
> All this brings us to the project I run: Enquo. It takes application-layer encryption to a new level, by providing a language- and framework-agnostic cryptosystem that also enables encrypted data to be efficiently queried by the database.

If you want people to use this, don't bury the lede.

Is this a problem worth solving? How does aws/gcp/azure solve for this?
I love this post that acknowledges that Apple bribes cops with guns to get a leg up on competition because it highlights the importance of the fact that “paying cops with guns to seize competitors products” is a detail, which makes the fact immaterial. Details literally do not matter and cannot be illegal, this is illustrated by the fact that no person or organization has been convicted off petty “details”
The dizzying rise, and even more vertiginous fall, of WeWork
So it looks like something good for fluid dynamics, or maybe 3D rendering, but not ML, correct?
Mainly offshore outsourcing.
Here's a third link, to him congratulating a literal stochastic terrorist. https://x.com/stevemullis/status/1721656699856306290

Don't be a boot lick. Elon is evil.
A few years ago, I got really into orchestrating LED accent lighting in my small studio apartment without going the Phillips route. With a few Alexa commands and some switches, I had multiple configurations that turned on when I woke up and again when I came home (using various cheap sensors). It was a blast!
For anyone else stuck in a Cloudflare CAPTCHA loop with the archive.today link, you can use archive.vn instead which seems to work:

https://archive.vn/HVL3N
Regus has a hip brand called "spaces" that is more wework-eqsue, but you can still use all the regus locations too.
There's also an Apple variant, where the hdr mask is embedded in an HEIF file...
only thing I learnt: openai will come for your customers if you depend on it
> Seems like a plausible test but it's easy to poke holes in it.

You are right, its definitely not sufficient and from what I can tell legally, the main test in the cases we have been talking about is whether or not its likely to confuse consumers.

So in the case of the screens, the fact that it is a tiny logo on a functional internal component that the consumer won't see strongly indicates there is little intent or risk of consumer confusion.

In the case of the shoes, there is risk of confusion. Its possible that it could be made legal if sold as "Sketcher's Shoe with Custom Louis Vuitton laces" as that would mitigate the risk of confusion.
Just because the UI designer typed that text doesn't mean the coder (and management) implemented it that way. Text in a UI isn't a contract. It's hard to believe Tesla would permanently disable that capability.

> Tesla likely made the change in response to concerns about customer consent and data protection.

This isn't journalism, it's just fabrication. Journalism, and all critical thought, requires evidence.
Could you send me one? Email in my profile. Thanks.
Any more?
How many of these startups are building new models, datasets and algorithms? Or are they all just prefixing a few lines to a prompt before passing it on to a 3rd party API?

If these companies actually had something worth celebrating, would they really be out of the game this early? Most dead AI companies right now are muppets that built the quickest, shittiest thing they could to try and be the first in the door in a hype cycle.
If that's the case and he isn't under legal risk then he hit a damn gray hat gold mine. A fool and his money. Idk if it was worth his reputation and company being completely destroyed but many people have risked their (literal) freedom for much much less.
You should talk with AI Judge guy, wehad an interesting chat about similar things (sort of). Check my history
Try spaces/regus if wework fails - more locations, some offices are nice and hip but others are just normal office buildings. I like travelling to small towns, and seemingly everywhere has a couple regus offices.
if anyone still has any codes, please DM me one, email in my profile. Thanks muchly
I'm surprised that running payroll and pensions for the whole country would take more than one roomful of computing power but what do I know
AFAIK sokoloff was commenting on a GP. And that poster's further comments. And they didn't give any clear indication that they have indeed read TFA while they were engaging in discussion with sokoloff.
> The world would have been a much better place if CLIs themselves defined strict interfaces using standard data structures.

Well it's not too late just yet.

How about if all CLI exes had an option, say --dump-cli-options, that wrote out a spec of the supported commands/flags/options?

Something like e.g. Python's argparse should be able to effortlessly spit out this info (and the same for other similar argument parsing libraries).
Alternatively, if you simply wish to occasionally bring Copilot into your shell, you should know that Ctrl+X Ctrl+E (on bash) / Alt+E (on fish) will open your current shell line up in $EDITOR, which you may set to Vim or Neovim.

From there, :wq will drop the text back into your command line. If you have Copilot set up in either of those, then it will also work here.

I know from working on https://github.com/hiAndrewQuinn/shell-bling-ubuntu that Neovim's LazyVim setup now supports Copilot out of the box now. I never had much trouble setting up the Vim plugin either. YMMV.
I think your accidentally misinterpreting the law

As explaine by the article, counterfeiting involves pretending to be a product it's not. For example, if you sell your hypothetical channel bags as genuine channel bags instead of as generic, no-brand bags, then that would be counterfeiting because you're pretending they're something that it's not. Using genuine apple parts in third-party screens is more comparable to putting channel bag straps (which, yes, have the channel logo on them) into fake bags and selling them as generic, non-channel bags.
Similarly, if you don't label the third party screen as "genuine apple", you're not infringing copyright.
e: burner email didn't work, sorry

e4: check out dns on [my username].com
Competition from WeWork seems to have gotten Regus to up their game. Like you said, it's still bland and corporate, but the quality of the spaces is pretty good.
> look at Plato, we're not even half sure what came from him or not.

What are you talking about? While there may be a few spurious letters and dialogues, Plato is about as complete as we could possibly hope for.
Part of the issue is that people do not see the same problem, even thought the same phenomena is being observed. Probably the first step is for everyone to agree on what the problem is to begin with. In places like SF, the problem is the system, which creates homelessness. In other conservative cities, the problem is people breaking the law (in other words, personal accountability).

Just like any hypothesis it can be tested, and we can see results. For more than a decade now the system hypothesis has been tested in SF and anyone that can honestly reflect on the problem can see that the hypothesis has failed. The more SF has done to fix the problem, the larger the problem has become. I can even predict this will not be solved and the problem will just keep getting worse. It will not change until the leadership of the city admits they got it wrong and they need to reframe the entire situation.
It's curious that you say RTT is mostly random noise yet BBR gives you only 45 Mbps. The whole idea of BBR is that it probes bandwidth vs RTT and finds the point at which RTT starts to increase.

Maybe BBR is just misbehaving due to too much noise? Wouldn't a better approach be to tweak BBR to spend more time probing or change the model parameters that it uses to estimate link bandwidth?
Show HN: Ask Amazon Bedrock
hardly qualifies as tech news
Thanks for posting, very interesting project!

I implemented something similar at the company I work with:

1. All private data is encrypted/decrypted client side using envelope encryption: a random AES key is generated to encrypt the data, and then we use KMS (which are basically the same services in both AWS and GCP) to encrypt the AES key with a public key. Thus, storing data requires no KMS API call to encrypt data, but decryption does. But we basically have per-user AES keys, and since our data access patterns are largely per-user it means we can cache the decrypted key.

2. We use blind indexes for lookups.

3. We then hit the issue of needing to order on encrypted data, and we used one of the order-respecting encryption algos but your explanation was super helpful to me! I'll definitely look more into the Lewi-Yu scheme.

All in all a very cool project I look forward to digging in more. I haven't looked yet at how you store/retrieve the encryption keys but integration with a service like KMS would be great. For us it is ideal because all calls to KMS are auditable so we can audit exactly when data was decrypted.
While it's often said that comments should capture the "why" of code, I don't usually think that ought to extend to "cuz ticket#" except when that ticket number is an significant bug/limitation that explains a nasty hack.

Noting each feature ticket that ever affected a line--or even just at the function level--is sort of like maintaining a few thousand incomplete micro-changelogs. Doing it "acceptably well" takes much more effort than grooming the commit history so that someone can click "show change history for selected lines" in their IDE.

Plus consider all the unnecessary noise it makes for people reading the code, or reviewing a PR.
Here's a link to a Google Photos album with some scenic photos I took using Ultra HDR, mostly in Yosemite last week. For this to work you will need to view it in Chrome on a device such as a fairly recent phone - I believe android or iPhone should work. Even better is a laptop that supports HDR display. Be sure to enable the HDR. Note that the album thumbnail view doesn't show the extra-bright highlights, you need to open a photo. If your device doesn't support HDR display, you'll still see the photos, just not with super bright highlights. https://photos.app.goo.gl/tizNFDFgbC5mzGCU9
McDonalds also refinanced that real estate after opening the store, to build up liquidity for the next location.
Hittite plague – first biological weapon
How much Adam Neumann got before WeWork bankruptcy
What are some possible explanations or implications of this?
It doesn't matter if the commenter is wrong or right, you can't start writing grumpcomments with threatening auras at them. Particularly as an author in a Show HN but really anywhere on HN in general. If you think the critique is wrong, you can address that without hyperbole and without suggesting they're making accusations or need to 'be careful'. People are allowed to be simply wrong and if you think they are, you can explain that to them.
This Month in Rust OSDev: October 2023
Python scripts to test gravity with the dynamics of wide binary stars
I've owned a Tesla for three years and I often use the summon feature to fix a sub-optimal parking job, scoot the car forward so I can use the trunk, or drive the car out of a puddle that has accumulated during a rain storm. In that time it has never had "disconnect issues", nor has it gotten close to hitting anything. My only gripe is that it's kinda slow.

And if you don't like the feature you can just... not use it. It's not like the Tesla app bugs you if you don't summon.
The courts are our usual tool in sussing out this kind of nuance. It's kind of their raison d'être. We haven't gotten totally lost in the weeds yet with, say, automobiles. This "hybrid part" labeling because we don't understand a smartphone as intuitively as a car can make it seem like these are terribly novel concepts but they just aren't.

If Chanel brought their case, they would win. If Apple brought theirs, they would lose.

But it appears they don't have to bring a case at all. Your thought experiment won't be considered. Lucky them.
thank you for this. I've been dealing with plantar fasciitis for a year+, finally got it to go away ~5 months ago and got back into running, and just in the last 2 weeks have noticed gradually increasing pain in my achilles and I'm absolutely devastated at the thought of battling another chronic injury.
I wouldn't say the black box issue is unique to OpenAI. I suspect nobody could explain certain behaviors, including them.

As for lock in, agreed completely.
Based on these papers:
https://arxiv.org/abs/2309.10404
https://arxiv.org/abs/2305.04613
So how do you catch up then?