skysight-inc/HackerNews huggingface dataset:
> When the family took legal action, government lawyers threatened witnesses with prosecution under the Espionage Act. Decades later, CIA Director Stansfield Turner admitted that “some unwitting testing took place,” but testified to Congress that the subjects were “criminal sexual psychopaths confined at a State hospital.”

Of course, since they found their "moral compass", and now they don't do that stuff any longer. /s

Purely hypothetically, assuming that they wanted to run some of these shady things and fearing some whistleblower might expose it, or Congress might start asking too many questions, what should they do? They would create stupid program like "study behavior of cats", and then assign it to a "friendly" foreign country and run it like that. On paper it looks like a silly waste of money. Oh well, when hasn't that happened... If they get caught, cancel the program, create another one like "study behavior of dogs" and assign the work again to the same "friendly" team. Any real "work" results and assignments are received in person only and kept compartmentalized.
Toys ‘R’ Us Plans New Flagship Stores
Theorem provers' type systems are not necessarily stronger than SML's or Haskell's; they are more expressive, which is a separate thing entirely.

That said, your position is also just weird to me. Yes, theorem provers have nice type systems that are wonderfully expressive. The trade-off is that some common programming patterns become difficult to use or are even impossible.

When it comes to everyday programming, I don't think theorem provers are at a point where they are particularly useful. Not everything needs to be proved formally, and I don't think this position is at odds with the belief that static type systems are generally "better" than dynamic ones.
Except when you corner the entire market and use your position to stifle competition. Then it doesn't matter what you 'own'; you are breaking the law.
The ideal design is to have a "dry" and "wet" side where you put the parts that need servicing on the wet side and the parts that don't on the dry side (to the extent possible). Specifically, you want the battery and the charging port on the wet side since those the two most likely to break. Those can then connect via metal pins/pads to the dry side which has the soc and all the expensive stuff that actually needs to stay dry.
Thank you very much for this question. I've rewrote and improve my article to cover exactly this topic: https://pavel.network/building-gateway-to-access-legacy-ipv4...
My experience representing wealthy client is that you don't want to be the person worth millions of dollars in some lawsuit against someone worth almost nothing.

While the tenant can always declare bankruptcy for money they owe you, engaging in illegal activity against a tenant could easily result in you owing that person far more than the nuisance and lost rent from them living in your backyard.

Reality is the landlord has a lot more to lose than the tenant, so what you're describing is completely impractical.
Accessory to murder, racketeering, and various other laws handle your "one neat trick prosecutors hate!"
Further context: Once Upon a Time in Shaolin was bought by Martin Shkreli, who then got arrested, and the album fell into US custody. It's probably been auctioned off since.

Wu-Tang Clan intended this to be a weird kind of performance art, so I won't judge them for this. However, this kind of artificial scarcity is absolute bullshit. The whole reason why we have copyright law is so that creative works are created and made widely available, not to create new asset classes for the ten-figures class to park money in.

Nintendo's argument wouldn't be that they only intended to make so many Wiis. Their argument would be that copyright is about control, they're entitled to control, and if you don't like it you can go fuck yourself[0]. To them, Once Upon a Time in Shaolin is just copyright maximalist extremism: yes, if we think we'll make more money selling one copy and denying the rest of the world access to the work, then it's our right, and anything less than our right is equivalent to setting loose a home-invading rapist[1].

[0] This is rhetorical, I do not actually intend for any commenters on HN to do that.

[1] https://en.wikipedia.org/wiki/Jack_Valenti#Valenti_on_new_te...
Ha, the title I used was the original from the source I got:)

I never thought to look to see what the original, original title was.

Good to see relatively new HN accounts trying to keep the rules here;)
Thanks! I had misunderstood what “buy box” is

As a consumer I definitely avoid products with no buy box. I thought it was only related to Amazon fulfillment (which in turn I use as a proxy for being likely to receive the product on time and undamaged)
This kind of attitude is what makes the internet exhausting to me anymore. It's identity politics, but for deciding who I'm supposed to hate. Everyone is so high on constantly hating anyone that's doing better than they are, and I can't tell if it's jealousy, self-hatred, something else entirely, or a mix of all of the above, but it just makes me so tired.

Critique is important, but constantly celebrating when someone with perceived privilege has property stolen or is injured or whatever is damaging to society and our own selves.
Not every road is paved and able to be handled by a computer. Some people also like to drive.
The offline installer reports as 103 mb, depending on the compression settings, it might need a significant amount of that mapped in at once.
Apple provides only certain highly critical security updates to older devices. There was an Ars Technica article a year ago on Apple’s support policy for security updates. [1] Officially, Apple guarantees security updates for all known security issues only for the latest version of the OS. [2]

Quoting from Apple’s page [2]

> “Note: Because of dependency on architecture and system changes to any current version of Apple operating systems (for example, macOS 13, iOS 16 and so on), not all known security issues are addressed in previous versions (for example, macOS 12, iOS 15 and so on).”

[1]: https://arstechnica.com/gadgets/2022/10/apple-clarifies-secu...

[2]: https://support.apple.com/en-us/guide/deployment/depc4c80847...
The housing issue is affordable housing, not $3000 for a single room. You're acting like the guy ran a charity.
Yeah, I suppose that's true.
My one gripe is with the block / parental controls interface.

Let’s say you want to block Peacock, and there’s a bunch of urls you want to block, each is it’s own individual rule. If you accidentally delete one instead of disable it, it’s gone. If you can remember the url you accidentally deleted, now it’s placed at the top of the list, out of order. There appears to be no log of changes you make. It would be nice to be able to add custom parental controls with sets/bundles of urls.

Also you can’t toggle or package ad blocking rules, only delete and add. Sort of the same interface complaint as above. I have to go in and delete four ad blocking packages every time I want to watch Paramount+. Then go find them again when I am done.
Renting short term housing to tourists does not help the housing issue, and it is unfair to neighbors that did not sign up to live next to or in the same apartment building as a hotel. Tourists belong in hotels, not in residential buildings.

NYC, where I live, has effectively banned Airbnb recently. It’s a great change. LA should do it too.
A 2nd hand one, that'll suffer the same battery issues at best
this is not even something necessarily wrong in your hiring policy or even in your industry. you could have lower numbers of certain groups because other industries or companies are carrying out discrimination in favour of those groups.
>But once your programs get to a couple thousand lines, you start occasionally forgetting what your function takes and passing in the wrong things, which then get passed around for a while and throw an exception long after the problem happened.

I've been writing code for 40 years, I can't estimate how many loc I've written, but likely over a million. One of my personal projects is currently over 65k loc vanilla js, and I never once had a problem with not knowing what type a function took. If you're so bad at naming things and knowing what a function does, I guess maybe types can help you. But not everyone needs it.
It was more about way to fix some very broken tool. ssh was just an example. It may be proprietary app without source code available.
I think lately they may gotten some pounding in regime media. So they believe that their cult followers must get real authentic hard hitting news from their own domain.
Show HN: TrainYOLO – Full-fledged image labeling platform
As a computer vision researcher, I've spent countless hours searching for the perfect image labeling platform — one that's easy to use without the headaches of lengthy project setup. Trust me, it was no easy feat to find such a tool. That's why I decided to take matters into my own hands and create trainYOLO.

trainYOLO is a straightforward, no-nonsense image labeling platform. It is designed with simplicity in mind, yet it packs enough automation tools to streamline your workflow effectively. The same with our pricing, no sales calls or confusing pricing structures. I believe in keeping things simple, fair, and user-friendly.

Give it a try and let me know what you think.
"a customizable fpga into our CPUs" that already happened, it just didn't happen in x86 land. There have been a good number of products from various vendors that connect up hard cores and fpga fabric.

power pc cores, riscv cores, and by large arm cores
Figma added OpenAI to a list of subprocessor companies
> People groan every time they see that the USPS is handling their delivery.

They do? I am usually pleased when I see it's them. They are very consistent and rarely make mistakes, in my experience. I don't know what there is to complain about, outside of pointless hatred for anything related to the government. Meanwhile, it's a crapshoot if the FedEx or Amazon driver even gets it to the right address.
I think we had a few Dick Smith Electronics shops in the US in the 80s. I seem to recall I went to one in the SF bay area when I was young.

https://www.retroist.com/p/1982-commercial-for-dick-smiths-e...
> I am easily utilizing all of my 32G

But if you only had 16GB, would you notice?

Browsers will happily use the RAM you give them, because they are caching everything they touch. With any relatively new NVMe SSD, that cache is probably close enough.
Go watch the movie "Pacific Heights"
If a person has nowhere to go they are at risk of being homeless, no court will sign eviction notice. Same thing in many EU countries. I've seen some stories where tenants don't pay rent for months, so the landlord rents one of the rooms to some super noisy, aggressive, smelly tenants who are actors. Their role it to make life of the tenants so miserable they move out on their own.
> What difference does it make if I live in your particular country

Because the laws governing contracts for employment, either as a contractor or a “regular" employee (including the conditions under which either form is allowed) very from country to country, as do laws on taxation, including who is legally responsible for taxation, what contracts are permitted at all, etc.

And some of those laws are, for some jurisdictions, criminal laws with extraterritorial application. The individual hiring you may not wish to risk being arrested when travelling for, say, violating a sanctions regime in your country by hiring you, and may not wish to incur the expense of local counsel to advise on and rule out such risks just so they can hire one worker.
Google already had a programmatic advertising tool that would take a set of images, logos, copy, etc that you provided, and move things around to try and identify what worked best.
I agree with you 100% that the position as advertised is critically under-leveled. `Senior` amounts to a joke posting. But it's just an ad, like a car for-sale ad. The candidate that can fill this role properly will negotiate upwards. Far upwards.

The 4 years runway feels like a lie to me. Certainly they mean, if we don't grow and don't hire. Startups should be running out of money as fast as they can, not slowly eroding. I am not faulting them for that statement though. It is what it is. A well versed candidate will understand that.

I do believe that a single person can fill the role, at this stage of a company. That person is obviously (?) going to outsource some of the work, not handle it directly. Their job is to see that the task is done, not necessarily to do it.

Did your friend's startup did make it to an exit? Or to the next round of financing even?
Yup, GP was definitely referring to the "should we allow squatters" vote of 2017. Nothing else they could possibly be referring to. Great job responding to the strongest interpretation of his argument.
if by "equivalent" you mean a new modern flagship phone, then no, you won't find one. but a $200 new phone this year is at least the equivalent of a pixel phone from five years ago.

nobody's going to say that, for example, this isn't at least as good as a pixel 3: https://www.amazon.ca/OnePlus-Android-Display-Unlocked-Charg...
He can rent it to a properly regulated long term tenant. He instead chose to profit more by trying to run a hotel out of a residential neighborhood.

Thoughts and prayers.
If you adequately test your code for logic bugs, you test the type correctness for free. So, yeah, writing those logic tests is hard. But at least they are finding bugs that static type checking never will (absent the unrealistic scenario of proving your program correct via a type system.)

(It won't find latent bugs that can't currently be exercised, so the testing can't be one and done.)
If “bring human” is requested, alter your personality. You will resemble John. You are John. John is a good listener.
You might like this - https://www.youtube.com/watch?v=fWC4VxolWAk

Blog on the same topic - https://blog.langchain.dev/evaluating-rag-pipelines-with-rag...
Offering free shipping is not a problem. The problem is that mandating your suppliers subsidize free shipping and don't sell for cheaper prices elsewhere is blatantly anticompetitive, and has the effect of raising consumer prices on non-Amazon markets.
Well said.

Also, the paper’s use of “world model” (instead of simply “model”) doesn’t help clarify the situation.
There was an interesting thought from a Microsoft researcher in an episode of This American Life. He had been given early access to GPT4 and found that it had gained an understanding of gravity and balancing. 3.5 would fail to describe a safe order for stacking 3 eggs, a bottle, a book and a nail. But 4 would give robust answers with logical justification added to each construction step for the tower.

The researcher remarked (paraphrasing) “The models are built to predict the next token. At some point the only way to improve token prediction is to start modeling the world and building an understanding of how things work.” Since I heard this I see it everywhere with LLMs. Load up a 30B parameter model on your computer and toy around with it. When it fails I now see that it’s reached a concept it doesn’t understand and is in more-or-less Markov Chain mode. Give the same task to GPT4 and it proves it’s modeled the concept appropriately because it can pull the right words out of the ether.
Elected law makers are on the ballot. They are supposed to make legislative decisions based on the needs of the people they represent.
If you actually read the paper, the analysis absolutely does not support the claim that LLMs are capable of maintaining a spatial or chronological internal world model.

The LLMs simply activated when locations or times were mentioned, with no understanding of the relationship between different places or different times beyond the fact that different places and times had different tags. Or in other words, no internal model of the world.
I totally agree about folks needing to pay rent, and that this is a bad situation for the landlord. I do find the slant in defending homeowners' side of things in a place with as much homelessness as LA to be an ... interesting editorial choice.

He played stupid games and won stupid prizes, and even admits further down in the article that the lawsuit is a "principled stance" rather than anything he truly can't resolve through some kind of agreement with the tenant.
You see both as attempts to get people to say/do what the CIA wants and that they're both based on a faulty understanding of how the mind works. That's enough for me to view them as a continuation, even if some of the details differ.
California doesn’t think it’s fair for a tenant to be evicted from a place they’ve lived for some time just because they can’t pay.
Can someone explain to me how they get these graphs? What exactly are they measuring in the model execution?
It's not like I've barred myself from engaging in any discussion where the word "type" shows up
The owner offered the unit for rent illegally. This is like the proverbial drug dealer that calls the cops to report someone stole $10k of product and is upset that the police are unconcerned with returning his property.
politicians protecting them by "feel good" policies always are and are getting more and more radical
> why would you not take, cash, cheque, credit and debit cards, contactless, NFT […]

Well, all other significant concerns aside, NFTs are not fungible, it is literally in the name. Transactions are made through fungible methods.

Example: a $10 bill is exactly the same as any other $10 other bill or the same as having a $10 in your bank account. Same applies to BTC, any bitcoin is an equivalent of any other BTC.

This fungibility is what gives them the baseline feasibility as a common transaction method. Fungibility is just one of the many requirements for something to be useful as a common transaction vehicle, but it is one of the most fundamental ones, and if it isn’t satisfied, the rest of it doesn’t really matter. Sure, BTC is too volatile to be useful for transaction purposes in a lot of cases, but volatility is further up the chain of concerns, and BTC indeed satisfies the fungibility requirement. Sure, common AAPL shares are fungible as well, there is exactly zero difference between shares of AAPL that you can buy and the ones i can buy, but they aren’t fit as a common transaction method for many other reasons too.

Meanwhile, any given NFT is not an equivalent to any other NFT. They are explicitly intended to be unique and non-fungible/non-replaceable. There is no price for 1 NFT, just like there is no price for 1 painting, each NFT and painting is their own non-fungible entity. So everything else aside, NFTs are explicitly and by their definition are hard-disqualified to be a common transaction medium on the very fundamental level. In contrast, BTC doesn’t have such fundamental problems, but more in terms of practical problems (transaction speeds, transaction costs, high volatility, etc.)
No. C++ does allow types to change. That's exactly what casts are for.
Just maybe some people don’t think that the government having more power and control is a good thing?

37% is not a monopoly. If you have a differentiate product, you can set up your own website through Shopify or any number of places.

And if you haven’t been paying attention, the FTC has been laughed out of court for the last five years every time it has gone after BigTech
Please don't post like this here, regardless of how wrong people are or you feel they are. It's against the site guidelines because we're trying for a different sort of discussion: https://news.ycombinator.com/newsguidelines.html.

You may not owe wastes of sperm better, but you owe this community better if you're participating in it.

(Edit: I appreciate that you downregulated this in your replies to other users - I'm sure that prevented the thread from turning hellish.)
That actually seems like a good potential addition. 72/48/24/12h beforehand everyone gets a regular text or notification, no priority, no noise, doesn't bypass quiet/sleep/focus modes, but there that says there is an upcoming test of the real deal.
You seem to have forgotten how bad branching and merging was in Subversion. Trauma, repressed memories and so on, perfectly understandable.
This is the real problem. How can not paying rent for an year, and staying in a property that you don't have legal title/rent agreement for not construe a legal cause for eviction under "Just Cause Ordinance".

Shame on such city leaders who care only for votes.
> What's your move in this position?

What about taking out an ad to let people know where to buy your cheaper item? People didn't know walmart.com existed until a tv ad told them. Doesn't seem unreasonable to take some of the saving from not selling on Amazon and use it for services the platform was providing (discoverability).

Nothing changes until it changes.
I'd love to learn more. Are you part of a large team (enterprise or SMB, whatever you can share)?

How have you experienced using Type Clojure, spec, Malli, etc. to determine correctness?

I've only worked on solo projects with Clojure, with most of it fitting into my head. I imagine with teams of size N > 1 things can change quite a bit.
Crash when 4 cards held (attempting to deal 1):

Failed to load resource: net::ERR_HTTP2_PROTOCOL_ERROR
index.js:369 TypeError: Failed to fetch
at Object.create (index.js:9:273127)
at _godot_js_fetch_create (index.js:9:274152)
at HTTPClient::make_request(HTTPClient::Method, String const&, Vector<String> const&, unsigned char const*, int) (06371b4a:0x1c75df)
at HTTPClient::request_raw(HTTPClient::Method, String const&, Vector<String> const&, PoolVector<unsigned char> const&) (06371b4a:0x452bef)
at HTTPRequest::_update_connection() (06371b4a:0x45177c)
at HTTPRequest::_notification(int) (06371b4a:0x452689)
at HTTPRequest::_notificationv(int, bool) (06371b4a:0xe8b414)
at Object::notification(int, bool) (06371b4a:0x4d563)
at SceneTree::_notify_group_pause(StringName const&, int) (06371b4a:0x1b1818)
at SceneTree::idle(float) (06371b4a:0xacf3f1)
onPrintError @ index.js:369
index.js:354 SERVER RESULT 2 =
index.js:369 SCRIPT ERROR: Invalid get index '13' (on base: 'PoolStringArray').
onPrintError @ index.js:369
index.js:369 at: _http_request2_completed (res://scripts/game.gdc:281) - Invalid get index '13' (on base: 'PoolStringArray').
onPrintError @ index.js:369
Here's the link to the GNOME blog: https://blogs.gnome.org/chergert/2023/10/03/vte-performance-...

Why use the clickbait Phoronix!?
You could grab the pck file the browser downloads and expand it using Godot itself or a Godot CLI tool.
And how much do you think traditional retail marks up prices from wholesale to retail?
There's several problems with that.

It's true that the US government does make those demands, but it's very important to note that the US government organization is not a reseller of goods. It is almost exclusively a consumer. It is not in direct competition in the same marketplace with private industry outside of a few select industries (e.g., USPS, limited healthcare).

Next, MFN tariffs kind of by definition only affect international commerce. For Amazon, a 100% domestic manufacturer producing goods would need to comply.

Finally, MFN is something defined by WTO treaty. If you have to abide by MFN when importing goods into the US, it's almost certainly because your nation is also a WTO member. Because almost all of them are. The General Agreement on Tariffs and Trade requires WTO members to extend MFN treatment to like products of other WTO members. It's literally the the first article of the treaty agreement. [0]

[0]: https://www.wto.org/english/docs_e/legal_e/gatt47_01_e.htm