skysight-inc/HackerNews huggingface dataset:
Common Lisp, as defined by the standard, does not have static types. As such, Common Lisp will never have static types as a built-in language feature. For the people who care about built-in languages features alone, and not what the library ecosystem has to offer, the discussion could very well end there.

Most programmers seem to care what the library ecosystem has to offer, though, so long as said libraries are actually working and useful. Is Coalton such? It's a technology that has been in development for around 5 years, that is presently used for commercial purposes, and that offers an approach to static typing a la Haskell's type system within Common Lisp projects. It's not a slapdash weekend project that purports to do something, only to find it really only does 5% of what was advertised. All things considered, it seems reasonable to suggest it as an option for static typing.

Production-readiness is a gradient. (Or, less usefully, it's a binary quality determined by the question, "Is it used in production at a company?") I wouldn't personally use Coalton to build real-time rocket control software for many reasons, the most important of which is that it's not billed as a "1.0" product. But I also wouldn't dismiss it because it has a bug tracker with an exposition on an intrinsic limitation of Hindley-Milner type inference. Coalton is a tool built in Common Lisp that is used in production, today, now, as documented by those links in my GP comment. You can even be paid real money to develop Coalton and/or software in Coalton.

Look, I get that people are tired of this peculiar rhetoric, the

> Lisp has macros therefore it's always one step away from implementing any popular language feature.

kind. For a variety of reasons, it's usually not true in a practical sense, and ultimately leaves the would-be user holding the bag.

I suggest, however, that Coalton really isn't a smokescreen that just exists to duly check off a "Has Static Types?" feature checkbox for Common Lisp.
Interestingly, actually, the "way of weighting the trustworthiness of a piece of evidence" is generally not the job of the court, but of the jury. Assuming the evidence is admissible (meets some minimum standards), the court system is premised on a jury of peers looking at something and deciding if they think it's true or not (such as the testimony of a witness).
It is a matter of principle even if there is no way to enforce for small fish like me
https://archive.is/ka3Ms
Well MLK was a theologian, not an economist. Many countries have capitalism and never had slavery. And while they have a mindset that isn’t “Protestant work ethic,” it’s indistinguishable in relevant part. E.g. Singapore, Japan, South Korea, Taiwan, etc. https://twitter.com/dnystedt/status/1558863974883823617
Yeah, these new Harry Potter memes are too powerful, we must protec societai
What Musk is doing is sneakier and more deceptive in a different way than that, at an earlier stage. He's trying to get out of having to make any definitive statement about if it's a real video or not.

From a linked article from the one posted here, https://www.theguardian.com/technology/2023/apr/27/elon-musk... :

> The attorneys for Huang’s family sought to depose Musk regarding recorded statements from 2016 in which he allegedly said: “A Model S and Model X, at this point, can drive autonomously with greater safety than a person. Right now.”

> Tesla, however, opposed the request in court filings, arguing that Musk, the Tesla CEO, cannot recall details about the statement and questioning the authenticity of the recording.

The judge's ruling here is "ok then if you want me to think it's fake, tell me that under oath."

It's doubtful Musk would be willing to claim this one was fake - there are a lot of witnesses that could be dug up. He could do the weaker "I don't remember" song and dance, but he's trying to just avoid the issue entirely.
Not to mention one could generate an overwhelming amount of fake video evidence, making it virtually impossible to prove all of it is fake.
Be careful, the US can use this as a justification for you being an enemy combatant[0].

[0] https://www.nbcnews.com/id/wbna11750939
ClojureDart is not ready. I would be surprised of ClojErl was. And GraalVM is not some drop-in native compiler. You might have to radically change your code to work with GraalVm.

Proposing these things as "ready for the average Clojure noob" is exactly the snake-oil nonsense that turns people off to Clojure
That’s a great site - thank you
If you have a holdout group that doesn't get this new ad experience you can test if this change in okay to do long term. It's possible Google mispredicted how much ads were willing to tolerate and have been showing too few ads. Finding the right amount of ads is not optimising for the short term.
The pure compression isn't a big deal on it, but the big thing vs a truss is that the compression elements don't touch each other, only tensions elements
nothing wrong with it that's why i put no shade
5% of all quarter 1 revenue was paid out as a dividend, when you just posted a 36% decline in revenue?

Is that normal? I've never worked for Big Corp.
Capitalism is defined by exploitation and corruption
Everybody racing into the AI space to plant their flag and say "First!". But first isn't going to be correlated with the winner much, I'd wager
The FBI does more than prosecutions. They have a whole domestic intelligence gathering operation.
interesting information, thanks!
I didn’t know that - was it replaced by a bus or just completely gone?

Edit: looks like it got bussed: https://www.railjournal.com/infrastructure/aamtraks-pacific-...
Guidance: A cheat code for diffusion models
Is there a serious competitor to Google Search?

Like, not a distant competitor like Bing that poses some hypothetical future threat, but like, a present threat to Google Search that they battle against daily.

Likewise for the major other properties - Gmail? YouTube?

The only products where there is IMO intense daily competition is Android and Chrome, where Google's dominance is far from complete. In Google's top money-making properties the competition is pretty mild, and IMO we're seeing user-hostile changes because of it.

I would liken McDonald's more to Android than to Google Search. It exists in a furiously competitive landscape where market share moves significantly year-to-year, and despite being a dominant brand within its space it doesn't even come close to owning the entire space.

In any case, that's neither here nor there, I would like to engage with something you brought up that I do think is interesting:

> "On the other hand, if consumers are actively seeking out sesame seed buns, there is absolutely a point at which they notice and say, what the hell, this brand hardly has any sesame seeds, I'm going to buy the competing brand that still has a normal amount of sesame seeds."

This is true! And I think this moment is coming for Google. You are right - there are limits to how much you can shit up a product before consumers respond. I think the main thrust of your idea is legitimate: while a near-monopoly in a product category gives you a lot of leeway to fuck about with the product, that leeway is not infinite! At some point you're accountable to your users!

The argument isn't so much whether or not that threshold exists (IMO it clearly does), it's what happens organizationally when the company reaches that threshold and can't deal with it. If you've spent the last 10 years staffing your corporate management with sesame-removers, what happens when you finally hit the thresholds and your customers flee?

That to me is the more interesting question - whether or not Google's culture and staffing can navigate what's coming. They have hobbled along on early successes for too long, and IMO it remains to be seen if they are constitutionally able to handle a product crisis.
I'm really bad with modern European history, so perhaps you can give me the short version:

How bad was it? Did any of those countries become modern states without a ton of bloodshed?
<insert spider-men pointing at each other meme>
Essentially all evidence in court is assumed to be inadmissible (potentially fake) until a "foundation" is laid by the party who wishes to use it as an exhibit at trial.

I can't just turn up with a random photo or video and ask the court to accept it.

Generally this is done by having the person that created the media swear under oath. In the case of a photograph you would have the photographer on the stand and ask them to state that the photo they are shown is the one they took and that it hasn't been edited since they took it.

The (toothless) threat of perjury charges is what is supposed to keep this system working and our trials fair.

If you want to know more about it, post below. I have a fair bit of experience in this.
Business logic belongs in services, not libraries. If you're copying nontrivial business logic into different services, that's a big red flag; you need to pick a service to be the single source of truth for that business logic and have other services call into it.

edit: Libraries don't solve this, to be clear. Let's say you have 100 services that reference `someUtilityFunction()` in SharedLib==1.0. Oops, there's a bug! OK, let's publish SharedLib==1.1. Great... now you still need to go and update, test, and deploy 100 different services, because they're not going to pick up the corrected business logic otherwise. And of course, you might have the case where someone got lazy and didn't upgrade and they're still using SharedLib==0.0.1-alpha, and there's a bunch of breaking library changes that happened between that version and 1.0 that were never implemented...
I've seen enough examples go past to think that single subject rules tend to be honoured in the letter but not the spirit, but equally if a frankenbill can pass without a single legislator invoking that rule, then it's entirely possible its components were all sufficiently popular the outcome was fine.

So I think it's entirely possible that you could come up with a single subject rule that was enough of a net win I'd be in favour, but I suspect you'd want to look at how the existing ones have been gamed and work out which those cases want to have an official way to do them and which you want to reword things to make harder.
Thank you for the clarification, I had no idea. Fixed it.
You can look at several types in that list that don't have wall power easily or always available. Door and window sensors, which could be solved similar to older alarm systems, but have a significantly lower barrier to entry being wireless. There are convenience and accessibility benefits to allowing wireless battery-powered switches to control your devices. Wi-Fi can be an answer for a lot of these but there are battery life and coverage benefits to the mesh behavior of these networks without needing to spend a lot to expand your Wi-Fi coverage.
Now I wish I could see a timelapse segment of McDonald's burgers over the years to watch the progressive loss of sesame seeds.

Similarly, I believe Oreos have been optimized to death. A current Double Stuff is actually smaller than the original regular Stuff.
You can "drill" 5nm holes in aluminum oxide[1]. Which is pretty sweet, but calling that process "drilling" is a gross misnomer. The finest drills[2] out there are measured in hundreds of nm, and still take several seconds to get through relatively thin material. To drill the billions of holes you'd need for a reverse osmosis membrane, you'd die before it was finished.

[1] https://en.m.wikipedia.org/wiki/Anodic_aluminium_oxide

[2] https://www.tpc.toray/en/technology/hole/hol_005.html
If anything, firing seven layers of managers and TPS-report-manglers might free the technical staff to actually make progress, instead of sitting in meetings all day
I don't liken it to slavery, but most wage (or salaried) labor looks like this. Making sure your employer thinks well of you (your 'rating'), getting certifications (some employers will pay, but not all).
If you enjoyed the topic of CP-System games, there is now a whole book about it.

https://fabiensanglard.net/cpsb_paper/
How is you app going (retention, user growth)? Is it only for private happenings or do you have public events in it?
can you grab the individual chunks and set chunk size? I'm looking for something light weight that can be used with ChatGPT-API to break apart large documents.
Two tips to follow twitter threads:

1) Only ever use it from a desktop browser with a sufficiently configured ad blocker. The mobile apps are intentionally designed to pull you out of the thread with only a single line of text delineating where it does so and no way to actually continue with the thread. It's a miserable experience and the people responsible should be ashamed of themselves. They try to pull the same bullshit on the website but it's more obvious there.

2) Twitter has two reply modes. Direct replies are put under the post they're replying to, much like normal linear forum discussions. But then there's retweets. They create a new thread, quoting the previous thread in the topic starter, so to speak... and unlike the standard linear model, the topic starter is done by top posting, with the quoted bit below.
https://news.ycombinator.com/item?id=21738908

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
>Am I naive to think that when you make $226 million in a year like Pichai that money should stop being your major driving force and that your reputation is more important?

Perhaps it is, but your reputation among which group? HN users or the other billionaires that you're hanging out with?
What do you mean by this? Like COVID is the result of an evolutionary process that selected a disease that kept humans away?

That doesn’t make sense, in fact, it’s way more likely for diseases to become less deadly over time. Killing humans or making them very weak is bad for its survival.
Which makes video evidence from your camera more suspect than video evidence from a cellphone (which, sure, could be fake-dated as well).
There’s a number of climate fights that I think would be better argued with noise pollution reduction instead of carbon reduction, and vehicles especially trucks is one of them.
> Only the absolute worst bank accounts in the US have monthly fees

Sure, and those worst banks have massive market share[1]. I'm sure maybe 50-60% of the people with these accounts actually manage to correctly avoid the fees by minimum balances or direct deposits or the "use your debit card 10 times a month" policies. But like, Chase, BofA, Wells Fargo, Citibank... combined, their market share is massive. Chase, BofA and Citi are $12, Wells is $10. All require you to do certain things each month to waive the fee -- which seems easy to me with a steady job and savings, but a lot of people don't have that.

[1] https://wallethub.com/edu/sa/bank-market-share-by-deposits/2...
You would bring up the mechanization of violence, but at the same time discount the 'intelligent-ization' of violence? AI will displace labor, and at the same time is turning war into push a button and let the bomb figure out the rest.
What are those plausible ways that AGI will end humanity? What extra powers will those systems have compared to what software engineers and companies can do that make them so dangerous?
It's not a good look for us to be promoting international adoption of the internet while being caught using it to commit subterfuge abroad.

I've never heard of any such domestic department myself. Like the rest of our intelligence work, I assume we outsource that job to the Israelis.
> Using memory that's been allocated but not committed seems like a recipe for disaster.

It can greatly accelerate sparse datastructures.
I think consulting company could just mean someone to do market research.

Produce buns with 200, 100, 50 seeds and do consumer surveys. Find that sweet spot before people start doubting the value proposition.

Edit: Any idiot can build a burger that people like, but it takes an engineer to build a burger that is just tolerable.
I guess I haven't seen many people doing 'useful things' with home automation tools despite how they've proliferated. It all seems like change for the sake of itself, rather than for genuine benefit (aggregate time savings, less stress etc).

Standard home tasks that take up the majority of time in my experience are (time quantity decreasing) cleaning, re-organization/shelving, cooking, laundry and managing maintenance. Flipping switches and queuing entertainment items are negligible.

I have yet to see a 'smart home' system that changes this calculus (aside from the humble robot vacuum) and even then, I see very few people that are able to keep spaces uncluttered enough between 0 and 4 inches above the floor for a robot vacuum to actually do a better job than the human with a vacuum in any reasonable amount of time.

I agree we don't need in-home consultants or a monolithic bureaucracy. I just don't think people are ready to hyper-optimize their existence enough for automation to be truly game-changing in the home. Maybe without kids or a partner, but definitely not with.
"An appropriations bill shall not contain any general legislation or change of existing law provision”

If you can defund an agency to prevent the enforcement of a law, you can effectively use a budget bill to change an existing law provision, even without changing the law itself. This defeats the spirit of that statement above.
Yes. Which he's not gonna do unless he wants a perjury charge, because it's a seven year old video on a reputable channel with multiple well-known reporters interviewing him.
> Allende came to power with only 1/3 of the vote, and during the ensuing congressional negotiations over 'who would take power'

This kind of split vote was actually very typical in Chile at that time. The tradition was that congress would pick whomever had the highest popular vote. While I would agree that this isn't a strong basis for a mandate, it also doesn't indicate that Allende has unusually low popular support. Indeed, his was not the lowest popular vote to result in presidency.

> a military general supporting the notion of non-intervention in politics to tilt favour was 'mysteriously killed' paving the way for Allende's ascension

Your description of this seems inaccurate. My understanding is that General Schneider was against the military taking a stand in politics by opposing Allende. Schneider was killed resisting a kidnapping attempt (allegedly by those who opposed Allende) which galvanized public disapproval against the military trying to oppose Allende's election in the Congressional runoff.

You seem to be suggesting that the kidnapping was a false flag operation by Allende or his supporters to achieve that result? Do you have evidence to support this?

> He then went on a rampage to socialize large swaths of the economy (without a mandate mind you aka no real popular support)

The nationalization amendment was passed by the Chilean Congress. Some of the nationalization did have some popular support, at least initially.

> and then crashed the economy

It's hard to give full credit to Allende for this. The US cut off support to Chile, price of Chile's main export, copper, tanked and Chile already had pretty bad levels of inflation. It seems quite likely that Chile was headed for an economic crash without Allende, though he may well have made it worse.

> Limiting emigration, arbitrarily crushing strikes as he saw fit, the usual stuff.

Yes, he did a number of things I would not support. That doesn't mean that supporting a coup to terminate 4 decades of democratic rule was justified.

> Pinochet was authoritarian, not totalitarian.

I really struggle to see how you are justifying applying the label to one but not the other. The degree to which opposing parties were suppressed under Pinochet far exceeds the measures taken under Allende.

> It has echoes of the socialist/communist takeover in Spain, resulting in Franco.

By "takeover" you mean the 1936 election where the left won power?

It's similar in that it was a military coup against a democratic leftist government that resulted in decades of authoritarian military rule. There are major differences in that Spain was a pretty young democracy and the coup lead to a civil war before the authoritarian regime began.
She won't be in jail forever, and good behavior can get you out early.

Plus what else are you going to spend money on in the can? Ramen and smokes?
For people following this, the SEC's list of crypto enforcement actions is here https://www.sec.gov/spotlight/cybersecurity-enforcement-acti...
The 2020 Census was messed up, partly because of Covid and partly due to "politics".

I stand by my assertion that Iowa is the area of 65-70% urban and within a group of states that are in that range. It could just as easily be the 20th most rural state as the 12th. But go back and look at that list - this group of states are significantly more urban than the ~10 most rural states.

Iowa doesn't have a lot of small landholdings outside of the towns/cities. Basically you are either living on a city-sized lot or a 100+ acre farm, with very little in between. So there is definitely the rural identity associated with Iowa, but the population facts paint a very different picture.

You really should take a trip out there and visit some smaller towns. The urbanity will surprise you.
I don’t think that’s true. What about cavitation?
That only leaves

- the rest of the world

- the fact that right to nationality is not the same as having it. France has the same right, but --as I already pointed out-- there are quite a few people born there who didn't take the nationality

- the fact that it can change, and that the inference becomes invalid in the future
The way it is done is to have an invisible layer underneath (mpls perhaps) that can do the routing.

However the correct ip way to do it would to have tcp(layer 4) decoupled from ip(layer 3) such that an ip address could change while maintaining the tcp stream. unfortunately this was not done, tcp has too many layer violations and is firmly interlocked with ip. I don't know much about the state of the art, does http over udp (quic) allow for ip address change?
The ‘Enshittification’ of TikTok: Or how, platforms die
Because if they're wrong, it's the consulting company's fault, not the executive's. It is accountability laundering with a budget.
I've been using Virtual Desktop (vrdesktop.net) for a while now and it works great. With some judicious use of its resolution scaling options and a physically nearby Wifi 6 router it's pretty easy to get latency down to 30-40ms. The only real trouble spots I still run into are games that have wildly unoptimized elements like VRChat.
But it wasn't their design teams that caused their products to be worse, it was their fabs.
That's it. The causality analysis in the grandparent is exactly backwards. We don't live in a world of "productized prototypes" because people are too lazy to do things right. We live in the world of prototypes because prototypes are the only products that reach market. Even where beautiful works of engineering exist, then tend to be beaten to the punch by the competing prototype anyway.

You don't treat this by whining that the prototypes are winning. You treat it by finding ways to cleanly evolve prototypes[1], and by collecting intuition (c.f. the linked article) about common mistakes and how to avoid them.

[1] Once upon a time in an age lost to history, this was the idea behind something called "agile". The thing we call "agile" today is pretty much the opposite.
> Yeah, that one is rock solid.

The best compliment to receive, thanks! (I’m the author)
I mean, at least Ukrainian nazis are not leaders of the country? Nor leaders of the strongest merc company in the word?

And quite the minority in the country considering how high their Jewish president poll right now.