skysight-inc/HackerNews huggingface dataset:
You have no control over how much state you “need”.

A complex application will probably have more. An easy application will probably have less.

If the modern web has taught us anything at all, it should be that trying to fit small pieces of state together like a puzzle ain’t it.
I feel like the end result of path #1 is that your site just becomes overrun with spams and scams. See also: mail, telephones.
Looks nice; I dig the $-prefixed type annotations. I also like that the types boil down to familiar conventions like atoms / atom-tagged tuples under the hood; that's exactly how I'd expect an Erlang/Elixir type system to work, and is exactly how I already tend to use tagged tuples.

> If we get rid of this limitations, we could define head as follows:

$ non_empty_list(a) -> a
def head([head | _]), do: head

In this case, I ain't sure what the typespec is really contributing here:

- We can already infer the input type, thanks to Erlang/Elixir baking pattern-matching into function signatures

- We can already infer the output type, because there's only one possible output and it's coming directly from the input

This is exactly the problem I hit the last time I tried to chase down the "typespec ALL the things!" path with Dialyzer: the typespecs are just restating what's already obvious from looking at the function, making them redundant at best. Yeah, having a summary of the input and output types is valuable for more complex functions, but it's already a common Erlang (and Elixir, by descent from Erlang and Ruby) best practice to break down complex functions into smaller, simpler units, at which point the typespecs lose value again.

I'm probably missing something here, though - and maybe a more complicated example would better illustrate the value these typespecs add.
This seems like exactly the sort of work the US Digital Service should take on.

Would still need an audit to make sure sites are actually using the shared auth and not rolling their own.
Third Circuit's Section 230 TikTok Ruling Deliberately Ignores Precedent
The original title of the article was:

> Third Circuit’s Section 230 TikTok Ruling Deliberately Ignores Precedent, Defies Logic
> Their words don't matter

Which is precisely why the action of opening up their charging network to competitors is so interesting. It is not just words, it actually for real advances the cause of electrification and moving us away from fossil fuels.
Search engines are surfacing content based on explicit user input, and can connect that content directly to an interpretation of user intent. TikTok surfaces content algorithmically, unprompted by any explicit user intent (other than opening the app). It sounds like that's the key differentiator.
The stack was very usable in 2010. At that time, some gcc and kernel developers were employed by SuSE and RedHat. It was not common to be employed by a large corporation to work on open source.

Projects like Python were completely usable then. But the corporations came, infiltrated existing projects and added often useless things. Python is not much better now than in 2010.

So you have perhaps React and PyTorch. That is a tiny bit of the huge OSS stack. Does Meta pay for ncurses? for xterm? Of course not, it only supports flashy projects that are highly marketable and takes the rest for granted.

So no, only a tiny fraction of the really important OSS devs are employed by FAANG.
> One could argue that at least this specific tactic would not be possible without the state granting a monopoly on "intellectual property".

Microsoft ? RIAA ? MPAA ? Google (AI, books)
> I also remember around 1975 getting all excited about solar and getting told that costs were dropping so fast that in five years solar would be cheaper than power produced from coal or natural gas

My understanding is commercial solar (as opposed to household solar) is cheaper than natural gas so that prediction is at least partly true
> The Court held that a platform’s algorithm that reflects “editorial judgments” about “compiling the third-party speech it wants in the way it wants” is the platform’s own “expressive product” and is therefore protected by the First Amendment.

I don't see how this is about personalization. HN has an algorithm that shows what it wants in the way it wants.
I have been using Zed for the last several months, and their new Zed AI addition is quite good, which I think is only available with their Preview (i.e. beta channel) release this far. It also comes with free in-app access to Claude 3.5 Sonnet (at least for now).
Even if it works, that just trades some of the working-on-a-roof trade skills for (much more expensive) crane operator and rigging skills, while also adding the expense of the crane itself.
Ask HN: Is there a way to get "MS Word"-esque corrections from copilot?
Right now every single implementation of copilot-like functionality offers line completions and longer panel completions. This is fine, but it occurred to me that what I really need is corrections, so that I can roughly approximate the exact syntax details of common APIs and be confident that my copilot will/can correct them for me.

By "MS Word"-esque, I'm exclusively referring to the ability right-click problem words/phrases and see a dropdown of suggested fixes.

I couldn't find anything on Kagi or Google, but I did give up pretty early in favor of groupthink. Y'all have any faves, or similar features? I'm currently using MS Copilot through Sublime Text, but I might be open to change for this feature.
Nice explanation, thanks
Yes

The pallet price of solar panels in the US is below 30 cents a watt.

https://a1solarstore.com/wholesale-solar-panels.html

And from alibaba, it is below 15 cents a watt.

https://www.alibaba.com/product-detail/Longi-solar-Hi-MO-X6-...

With full systems below $1/watt. https://www.alibaba.com/product-detail/Moregosolar-hybrid-so...
imo, this is patently not what Orwell documented and criticized via narrative example, and certainly was not what i took as his position on the evolution of naturally occurring languages, in the alluded to book -- he is a writer, and i imagine no doubt understands the importance of language and shared associations, and what it means for a language to naturally evolve its vernacular (accepted, common, or developing) -- through usage, or otherwise.

Orwell highlighted and warned against the consequences of people in influential positions of power intentionally distorting the collective associations with their new, updated versions of existing words, campaigning around those distortions, and intentionally reframing associations over time such that, the associations are polarizing and obfuscated, motivated by manipulation to benefit a select few, not motivated by advancing communication -- it certainly was not an example of society and its language naturally evolving "definitions" through usage.

and the novel wasn't a criticism against slang, or association/vernacular changing/evolving over time throughout collective use, nor was it a stance on requiring fixed, permanent, unwavering definitions -- it only emphasized how important it is to have consistent meaning.

he just wanted to encourage people to be skeptical of those pushing for the "different" or updated meaning of words, that clearly had a well-defined context, and association, previously -- why are they so dedicated and determined to "push" for a new meaning to get accepted, when there is a previously established and well accepted meaning already.

that doesn't sound natural to me, that sounds manufactured.
https://chatgpt.com/share/a430518b-16f8-47bb-8cb7-d9b8518376...
If you're just looking for something that's similar in the auto-complete category, I'd suggest adding the Continue plugin/extension (https://docs.continue.dev/quickstart#jetbrains) and pointing it at Claude 3.5.

If you haven't tried it yet I'd also suggest trying https://aider.chat/. It's outside of the IDE but I find it's the right level of 'agent' for where we currently are with models. Even if you use it for nothing else it's nice to be able to run the `/test` command and have it use the test output to fix errors.
I agree and I don't think the guy who previously responded to you had a very constructive or relevant response, considering that you and the person you were responding to were clearly referencing consumer technology. From 1980 till 2010, we went from smartphones not existing, to smartphones not only existing in the form factor that they still exist in today, but also being important parts of everyday life, in most ways that they still are today. We also went from games without 3-D polygons, which hadn't yet made use of GPUs, to modern high definition 3-D environments. Controller design innovations also went through many iterations over that three decade period, but have mostly been stable since 2010.

Other innovative technologies, used by smartphones, consoles and other consumer electronics, which are also now ubiquitous, like low-cost high-definition LCDs, broadband internet, wi-fi, Bluetooth, cellular data, flash storage, active-pixel sensors, USB and HDMI, were also developed during that period.
There’s an Undecided video on this exact topic https://youtu.be/LqizLQDi9BM?si=nnWVU-Espt7a6VDv
The Growing Importance of Unstructured Data in AI Apps
Ask HN: Is GoDaddy lying to me about .tv domains?
I'm looking at buying a .tv domain. Let's say, for example, it's smell.tv. I did a search on whois.nic.tv, and the following comes up for smell.tv:

Reserved Domain Name
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of WHOIS database: 2024-08-29T17:48:44Z <<<

So... reserved by the registry, yeah? Like a premium domain name they want to sell at a higher price. That's fine, but it wasn't showing up with a premium price on any of the registrars I tried. So I paid GoDaddy $119 for their "Domain Broker Service." Probably a scam, whatever. I was kind of thinking it might just bounce back with "the registry is not selling it at this time" or something. Instead, I got this:

> Broker: "I heard back from the domain owner and they are willing to sell which is great news. They are looking for $10,000 USD for the name."

Okayyy.

> Me: I’m a little confused who the current owner is. The domain says it’s reserved by the registry. Does GoDaddy own it?

> Broker: No, GoDaddy is the registrar the domain is registered with. The domain is owned by a third party apart from GoDaddy.

So like. Either the WHOIS registry is lying or the broker is lying, right? It can't both be a "Reserved Domain Name" and "owned by a third party." That "ICANN Whois Inaccuracy Complaint Form" emphasizes they don't have jurisdiction over ccTLDs, but I guess I hope there'd be some recourse for straight-up falsifying a WHOIS entry? Maybe not.

Here's the part that complicates things. Just who is the .tv registrar, anyway? According to Wikipedia, it's... GoDaddy!

> As Verisign opted not to renew its contract, on 14 December 2021, GoDaddy signed a contract with the government of Tuvalu to manage .tv registrations, increasing yearly payments to the government of Tuvalu to $10 million. In 2023, an agreement between the Government of Tuvalu and the GoDaddy Company outsourced the marketing, sales, promotion and branding of the .tv domain to the Tuvalu Telecommunications Corporation, which established a .tv Unit.

The only charitable interpretation I can think of is that the "third party" in question is this Tuvalu Telecommunications Corporation and they're the ones on the other end of the negotiation?

TLDR: Notoriously shady company is probably lying to me to make money
> there is an adaptive insulin resistance that preserves glucose for the [specific] brain and heart cells that can’t survive without it.

To be clear, most brain and heart cells do not require glucose to function. Although, a small subset do.
Per the court of appeals, TikTok is not in trouble for showing a blackout challenge video. TikTok is in trouble for not censoring them after knowing they were causing harm.

> "What does all this mean for Anderson’s claims?
Well, § 230(c)(1)’s preemption of traditional publisher liability
precludes Anderson from holding TikTok liable for the
Blackout Challenge videos’ mere presence on TikTok’s
platform. A conclusion Anderson’s counsel all but concedes.
But § 230(c)(1) does not preempt distributor liability, so
Anderson’s claims seeking to hold TikTok liable for
continuing to host the Blackout Challenge videos knowing
they were causing the death of children can proceed."

As-in, Dang would be liable if say somebody started a blackout challenge post on HN and he didn't start censoring all of them once news reports of programmers dieing broke out.

https://fingfx.thomsonreuters.com/gfx/legaldocs/mopaqabzypa/...
Sure, but you can't give something away for free that you don't own. What people complaining about LLama not being open source are talking about is the training data, and that isn't something that Meta owns for the most part.
I'll also note that Twitter was pretty open and had lots of goodwill, which would have made competing against it really hard.

Twitter getting rid of 3rd party clients (pre-Musk), and shutting down API access (post-Musk) burned a lot of goodwill, leading to large spikes of growth of the Fediverse, and creating a window of opportunity for a microblogging service from Meta.
the only two browsers, Chrome and Brave
> Hilarious that the entire TSA system is vulnerable to the most basic web programming error

Because it's a scam and the system is a grift.

I'm a pilot and own a private aircraft. Landing at any airport, even my home airport which is restricted by TSA is legal without any special requirement or background check. In fact, I have heard horror stories where TSA wouldn't let a pilot retrieve their aircraft for some bullshit administrative reason or another, so they enlisted a friend with a helicopter to drop them into the secure area to fly it out. Perfectly legal. The fact that the system can be brought down with a SQL attack is the least of it.
I look at forums and social media as analogous to writing a "Letter to the Editor" to a newspaper:

In the newspaper case, you write your post, send it to the newspaper, and some editor at the newspaper decides whether or not to publish it.

In Social Media, the same thing happens, but it's just super fast and algorithmic: You write your post, send it to the Social Media site (or forum), an algorithm (or moderator) at the Social Media site decides whether or not to publish it.

I feel like it's reasonable to interpret this kind of editorial selection as "promotion" and "recommendation" of that comment, particularly if the social media company's algorithm deliberately places that content into someone's feed.
In the case of msft/crowdstrike isn't this exactly the opposite of what HN rallies against? The users installed crowdstrike on their own machines. Why should microsoft be the arbiter of what a user can do to their own system?
RAG Brag with Inkeep Co-Founder Nick Gomez
If Mark went scorched earth on AI, you can bet it is not for the sake of generosity.
Dask is designed for scaling to multiple compute nodes, and is often slower than vanilla pandas on a single machine because of the overhead.

If your data is larger than memory though, at a certain point Dask is faster than pandas (which will often just fail), and DuckDB (Which is super fast for in-memory data, and still quite fast for out of memory data).

Rule of thumb these days though is that if your data isn't in the terabytes per run, a single processing node is probably best.
I can imagine this would be very useful for water desalination.
Separate legal entities, according to the US legal system, yes. But they definitely aren't completely separate entities. It isn't like Brazil targeted Starlink at random.
AI firms are SF's most desired tenants and are gobbling up office space
I've only heard about Ibis maybe three times in the past two years and I pay pretty close attention to the space. If Ibis moves away from pandas, then it just means that I am less likely to try Ibis because there is no bridge.

Sure, hip new frameworks are moving away from pandas/numpy, but I'll wait 5 years for the dust to settle here while the compatibility and edge cases sort themselves out. The pydata/numfocus ecosystem is extensive.

It's just tabular data. So what if I have to wait a few more milliseconds to get my result.
What are the obscure methods in the standard library?

Kotlin has grown into a much quirkier language overall, its grammar is significantly bigger than that of Scala.
This is a bit of ridiculous comment. Who in the right mind would say a sql injection is a backdoor for a 3LA?

Added, why would they use FlyCass when they could just access the data directly?
minification and unminification is a heuristic process not an algorithmic one. It is akin to decompiling code or reverse engineering. It's a step beyond just your typical AI you see in a calculator.
here's an example: https://www.theverge.com/24150901/ecoflow-powerstream-review...
There's precedent:

https://electrek.co/2022/12/12/texas-solar-farm-flat-on-the-...

I think the efficiency figures are exaggerated, but the fact remains that such an installation requires less labour.
A list of the early settlers of Georgia [pdf]
It would be very helpful to know which PCs support power over USB-C and video, e.g. I can connect it to display with single cable.
> Threads would not be a significant target for regulator action regardless of openness—it doesn't have enough share of the market to be interesting

Zuckerberg thinks Threads could be Meta's next billion-plus-user product.
"At the same time, he wrote posts claiming he was forced to leave Russia. This was part of a PR strategy."

Not surprised at all. Others have also called out Durov's too chummy relationship with Russia already: https://blog.thc.org/keep-pavel-durov-locked-up
All I know is they rearchitected Slack recently so that now the mobile app feels asynchronous, in a bad way. Like, you tap on things and they don’t get marked read — in the local app! — for seconds. Also, the unread count badge doesn’t match what you see when you open the app.

Slack used to be a really impressive user experience, but it has degraded significantly, not in UX design (though that’s also highly arguable) but in flakiness.
The daily driver I am using to write this post is a Beelink with Linux installed. Very happy with it. Switched out the original 128GB SSD with a 1TB SSD. FFMPEG and light gaming run fine. My only minor regret is not starting with more memory, but I could probably switch that if I was motivated enough.
Yeah I wouldn't have convicted weev either. There is a difference though. He used that incremented number to access actual user PII. These guys created a user with no PII and no actual malicious use.
Cloudflare has it https://developers.cloudflare.com/workers-ai/models/llava-1....

Locally it's actually quite easy to setup. I've made an app https://recurse.chat/ which supports Llava 1.6. It takes a zero-config approach so you can just start chatting and the app downloads the model for you.
I saw a canny observation the other day:

The first three full-3D Grand Theft Auto games, III, Vice City, and San Andreas, all shipped on the Playstation 2.

Grand Theft Auto V, by contrast, has been the latest game in the series across three successive console generations.
SpeedScript
From the article:

> TikTok, Inc., via its algorithm, recommended and promoted videos posted by third parties to ten-year-old Nylah Anderson on her uniquely curated “For You Page.”
Amazing site, thanks so much for sharing! If you know enough to account for the inevitable technical improvements and changes to "popular" styles, this seems invaluable as a general writers-block-breaker for web designers.

I will say, after browsing 2008 for a minute: Steam is just far and away the most modern. Fascinating to see what ended up influencing the industry (or predicting it?).

https://www.webdesignmuseum.org/all-websites/steam-2008
I'm always wondering how people are affording kubernetes clusters and all that to run stuff like ollama.
That's already the case, even with commercial solar. There's a startup called Erthos [1] that has figured out that it's cheaper to just throw the panels on the ground, saving the labor and material cost for the supports. There was an HN thread on it a few years ago: https://news.ycombinator.com/item?id=33926683

[1] https://erthos.com/
I'm not saying anyone should be disallowed to run their own authentication.

I'm saying we need the digital equivalent of "show me your driver's license".
I can't answer to legality since IANAL and systems vary anyways, but on a moral basis, yes, it is absolutely nonetheless unreasonable until SpaceX / Starlink actually commit an actionable offense of their own or otherwise demonstrate the intent to do so. It's outstandingly unreasonable and offensive to seize assets of such an entity without charging that specific entity with an offense; especially so when your basis is literally "I want to compel an unrelated venture with common beneficial ownership to unilaterally censor my political opponents worldwide".

AFAICT, Starlink complies with local regulations in the countries it operates in, including blocking access to specific IP prefixes and/or declining to default resolve DNS entries for specific domains.
What the other replies are not quite getting is that there can be other kinds of moderator actions that aren't acting on posts that are offtopic or offensive, but that do not meet the bar for the forum in question — are they considered out of scope with this ruling?

As an example, suppose on a HN thread about the Coq theorem prover, someone starts a discussion about the name, and it's highly upvoted but the moderators downrank that post manually to stimulate more productive discussions. Is this considered curation, and can this be no longer done given this ruling?

It seems to me that this is indeed the case, but in case I'm mistaken I'd love to know.
Yes it is unreasonable. It's only reasonable from an authoritarian perspective.
> I want the compiler to scream at me when I write double(“4”) and not let me do it, the guard is doing nothing of the sort.

The optimal solution, then, is for the compiler to be smart enough to recognize that there's a guard and to preemptively enforce it at each callsite. You shouldn't need static typing for this, because the compiler should be able to figure out "oh, there's an is_number guard here, lemme whip up a type constraint for that".

Hell, the even-more-optimal solution would be to not need the guard in the first place, since the * operator already implies an is_number(num) constraint.
Like for code or natural language?
Not to Elon Musk they are not. He uses all them as leverage to get favorable deals for his other companies.

https://news.ycombinator.com/item?id=41281756

In the practical sense, Twitter is the marketing arm of all his other companies. My theory was that he was acting out belligerently against the Brazillian government because his other companies had minimal or no presence in Brazil. Didn't think of Starlink presence frankly.

Regardless, since he himself uses Twitter as quid pro quo with other governments, I'm guessing he saw this move a mile away.
Think it’s meant more as a broad generalization than something that is always true.

Many physical things take pretty fixed amounts of energy. Eg heating a liter of water.
>could still land a message/spark interest.

It could. Smithsonian's newsletter often has ads from 1440 in it, and I've been considering looking into them more, but mostly because they say they're free. If it was paid, I'd probably stop looking into it, or look to see if the local library subscribes to it or has it (as I often do with books). So, from the advertiser's perspective, I'm not very helpful - the best you'd get is increased library circulation.
Yes, solar power won't work in Svalbard winters. This is known.