skysight-inc/HackerNews huggingface dataset:
If you use a good IDE it will select the whole method name.

In general you would not use spaces for method names of anything that’s a shared/common use facility. They are best used to give test methods readable names. E.g. “test parallel writes are thread-safe”. And not “write with timeout.”
What would it take to add refinement types to Rust?
Apollo 47 Technical Handbook
Related. Others?

A Decentralised Social Network - https://news.ycombinator.com/item?id=33513022 - Nov 2022 (1 comment)

https://news.ycombinator.com/item?id=25246533 (Nov 2020)

Twtxt Is a Self-Hosted, Twitter-Like Decentralised MicroBlogging Platform - https://news.ycombinator.com/item?id=25242996 - Nov 2020 (27 comments)

Show HN: Twtxt v0.0.7 Your self-hosted, decentralised Twitter -like - https://news.ycombinator.com/item?id=23945300 - July 2020 (7 comments)

Twtxt.net – Attempting to respark the twtxt community - https://news.ycombinator.com/item?id=23892491 - July 2020 (1 comment)

Twtxt is a decentralised, minimalist microblogging service for hackers - https://news.ycombinator.com/item?id=23507640 - June 2020 (1 comment)

Twtxt is a decentralised, minimalist microblogging service for hackers - https://news.ycombinator.com/item?id=23312756 - May 2020 (1 comment)

Show HN: Txtnish – a client for the microblogging platform twtxt - https://news.ycombinator.com/item?id=13742949 - Feb 2017 (4 comments)

Show HN: htwtxt – hosted twtxt server (written in Go) - https://news.ycombinator.com/item?id=11091592 - Feb 2016 (2 comments)

Show HN: Twtxt – Decentralised, minimalist microblogging service for hackers - https://news.ycombinator.com/item?id=11043502 - Feb 2016 (65 comments)
So what is number 2?

Black mirror was a British show first. I don’t know the others except for Man on the Inside - I’m skeptical, but if it turns out to as good as The Good Place, it will be impressive for Netflix.
We are close. Language models and large vision models have transformed robotics. It just takes some time to get hardware up and running.
Interesting, though a bit outside what you want (not random access): https://gwern.net/sort
Saul, of course. Netflix commissioned most of Black Mirror. Man on the Inside is better than Good Place (and than any Only Murders season but the first).
Seeing too much does cause PTSD. All I'm arguing is that some people love in a fantasy world where bad things don't happen so they end up voting for ridiculous things.
One issue I foresee is that you can't legislate bugs away.
> If have a global user base, depending on your workload, a simple CDN in front of your hardware can often go a long ways with minimal cost and complexity.

Let's squint hard enough to pretend a CDN does not qualify as "the cloud". That alone requires a lot of goodwill.

A CDN distributes read-only content. Any usecase that requires interacting with a service is automatically excluded.

So, no.
What's wrong with "GPT" as an acronym?
No ad hominem please.
Those prices are pretty famously lower in European nations with higher minimum wages.
This reminds me an article I saw a while back about how thinking about ones tinnitus actually made it worse.
"Orion’s problems signaled to some at OpenAI that the more-is-more strategy, which had driven much of its earlier success, was running out of steam."

So LLMs finally hit the wall. For a long time, more data, bigger models, and more compute to drive them worked. But that's apparently not enough any more.

Now someone has to have a new idea. There's plenty of money available if someone has one.

The current level of LLM would be far more useful if someone could get a conservative confidence metric out of the internals of the model. This technology desperately needs to output "Don't know" or "Not sure about this, but ..." when appropriate.
“Stewardess, I speak Jive.” Will to me always be the weirdest later screen appearance. June Cleaver arguing in jive is hard to beat.
Recent and related:

I'm daily driving Jujutsu, and maybe you should too - https://news.ycombinator.com/item?id=42380306 - Dec 2024 (47 comments)

Others:

Git and Jujutsu: In Miniature - https://news.ycombinator.com/item?id=42111597 - Nov 2024 (72 comments)

Jujutsu (jj), a Git compatible VCS - https://news.ycombinator.com/item?id=41895056 - Oct 2024 (110 comments)

Steve's Jujutsu Tutorial - https://news.ycombinator.com/item?id=41881204 - Oct 2024 (116 comments)

Jujutsu Strategies - https://news.ycombinator.com/item?id=41468750 - Sept 2024 (1 comment)

Jujutsu: A Next Generation Replacement for Git - https://news.ycombinator.com/item?id=40908985 - July 2024 (80 comments)

Lazyjj: TUI for Jujutsu/Jj - https://news.ycombinator.com/item?id=40859315 - July 2024 (1 comment)

A better merge workflow with Jujutsu - https://news.ycombinator.com/item?id=40842762 - July 2024 (90 comments)

GG, a GUI for Jujutsu - https://news.ycombinator.com/item?id=39713896 - March 2024 (2 comments)

jj init – getting serious about replacing Git with Jujutsu - https://news.ycombinator.com/item?id=39232456 - Feb 2024 (110 comments)

Jujutsu: A Git-compatible DVCS that is both simple and powerful - https://news.ycombinator.com/item?id=36952796 - Aug 2023 (261 comments)

Jujutsu: A Git-compatible DVCS that is both simple and powerful - https://news.ycombinator.com/item?id=36371138 - June 2023 (1 comment)

Jujutsu – A Git-compatible DVCS that is both simple and powerful - https://news.ycombinator.com/item?id=30398662 - Feb 2022 (228 comments)
In multiple regions?
If you “win” trading in the stock market no one kicks you off.
Capitalism is not and never was the problem, the lack of regulation around it is.

Compare how bad things are in the US for many people, directly due to a lack of regulation in many instances. Healthcare pre-Obamacare is a great example.

Compare that things are generally better in countries with more regulation like NZ and Norway.

Consider then that even more regulation is possible to improve things.
I don't know the US deem assassination justified, or we're seeing the end of the world, but the descriptions of this guy reads like that of garden variety arrogant kiddo: one that label anything he hasn't seen as either aboriginal primitive isms or obvious display of neural deficiencies.

No, Luigi, that police officer wasn't being overly complicit, he's annoyed that you're not gathering bystanders around the man and calling 911(119) yourself, doubly so because you're not getting it.
Illegality matters only if you get caught - and when it comes to the GDPR it turns out even "getting caught" isn't actually a problem, as the continued existence of Facebook, Google, the data broker industry, etc demonstrates.
I guess university
> But eventually had to withdraw/surrender when it was obvious they couldn't win.

In fairness, the US trained the Afghan military, and then pulled out.

The Afghan army folded like a cheap suit, showing the US so objective to stand up a national army failed.
I perfectly understand you from the beginning, and I still think that the blog post that you mention is nitpicking on a minor detail. I mentioned the paper by Rice (that is indeed elementary) as an example of someone citing Turing without making a big deal from the difference in the definitions. Let's agree that Turing's definition is "inconvenient", but not really "wrong".
Insightful.

Whadja say, sama and backers?

IOW: maintain your own dog food, etc.
One of the biggest issues with the book is that it is a Java-centric book that aspires to be a general-purpose programming book. Because it never commits to being either, it sucks equally at both. In much the same way, it's a "business logic"-centric book that aspires to be general purpose, so it sucks at both (and it especially sucks as advice for writing mostly-technical/algorithmic code). This is epitomized by how HashMap.java from OpenJDK[0] breaks almost every single bit of advice the book gives, and yet is one of the cleanest pieces of code I've ever read.

One fundamental misunderstanding in the book and that I've hear in some of his talks is that he equates polymorphism with inheritance. I'll forgive him never coming across ad hoc polymorphism as present in Haskell, but he book was published in 2009, while Java had generics in 2004. Even if he didn't have the terminology to express the difference between subtype polymorphism and parametric polymorphism, five years is plenty of time to gain an intuitive understanding of how generics are a form of polymorphism.

His advice around prefering polymorphism (and, therefore, inheritance, and, therefore, a proliferation of classes) over switch statements and enums was probably wrong-headed at the time, and today it's just plain wrong. ADTs and pattern matching have clearly won that fight, and even Java has them now.

Speaking of proliferation of classes, the book pays lip service to the idea of avoiding side-effects, but then the concrete advice consistently advocates turning stateless functions into stateful objects for the sake of avoiding imagined problems.

One particular bugbear of mine is that I've had literally dozens of discussions over the years caused by his advice that comments are always failures to express yourself in code. Many people accept that as fact from reading it first hand, others you can clearly trace the brain rot back to the book through a series of intermediaries. This has the effrt of giving you programmers who don't understand that high-level strategy comments ("I'm implementing algorithm X") are incredibly information dense, where one single line informs how I should interpret the whole function.

Honestly, the list goes on. There's a few nuggest of wisdom buried in all the nonsense, but it's just plain hard to tell people "read this chapter, but not that, and ignore these sections of the chapter you should read". Might as well just advise against juniors reading the book at all, and only visiting it when they've had the time to learn enough that they can cut through the bullshit themselves. (At which point it's just of dubious value instead of an outright negative)

0. https://github.com/openjdk/jdk/blob/master/src/java.base/sha...
Bold of you to assume AI didn't write it, too.
I think we can keep a lot of discussion without Godwin’s law or whatever: we really stuck on “Hitler”?
This was why Henry Ford paid a decent wage. It turns out to reduce labor costs due to turnover dropping and less time spent training workers.
Put in a couple hours to see how well it worked. The approximately correct form is slightly faster than just doing an FP division without proper rounding.

uint8_t magic_divide(uint8_t a, uint8_t b) {
float x = static_cast<float>(b);
int i = 0x7eb504f3 - std::bit_cast<int>(x);
float reciprocal = std::bit_cast<float>(i);
return a*1.94285123f*reciprocal*(-x*reciprocal+1.43566f);
}

No errors, ~20 cycles latency on skylake by uiCA. You can optimize it a bit further by approximating the newton raphson step though:

uint8_t approx_magic_divide(uint8_t a, uint8_t b) {
float x = static_cast<float>(b);
int i = 0x7eb504f3 - std::bit_cast<int>(x);
float reciprocal = std::bit_cast<float>(i);
reciprocal = 1.385356f*reciprocal;
return a*reciprocal;
}

Slightly off when a is a multiple of b, but approximately correct. 15.5 cycles on skylake because of the dependency chain.
I think it would be many decades before I'd trust a robot like that around small children or pets. Robots with that kind of movement capability, as well as the ability it pick up and move things around, will be heavy enough that a small mistake could easily kill a small child or pet.
Arrow is a lambda, just like in Java.
the example you quote for "Define errors out of existence", while indeed it does not follow "make illegal states unrepresentative" does follow what IMO also is an FP principle: "a total function is better than a partial one"
What Happened to the Largest Tube TV? [video]
Just a thought, just because a general problem is NPHard doesn't mean that we can't find specific solutions quickly or that a given input is hard to search for. If the downstream effect results in an order of magnitude less work, it makes sense, it's just a tradeoff.
It would have been in a thread like to:

https://groups.google.com/g/comp.sys.mac.advocacy/c/OLc8T6KO...
The people who already know that a "conditional request" means a request with an If-Modified-After header aren't the ones who need to learn this information.
I'm referring to the burden when changing languages. Swift and Rust use -> for the return type.
From experience CI test reports are vastly more comprehensible at a glance.

That study compared camel case to underscore spaces. Well underscore space is still not as readable as methods with spaces and dashes.
Nothing, unless you're french-speaking (basically reads as "I just farted")
> I remember even just running "hg" and no arguments being slow.

This was definitely a really big complaint. Python's just slow to start up, and last I checked Python 3 makes things even worse here.

Startup time really made me believe that the optimal language to write CLI tools is Rust.
The federal government still has the authority to regulate/ban gambling transactions that cross state lines (including online). Needing to cross state lines also creates a large barrier for lots of people vs. having it on your phone.
Congratulations !

If you are a french speaker and looking for a Web equivalent, check out https://cartes.app.

Source code at github.com/cartesapp
Not sure why this is front page, it's way too basic for the HN crowd.
Yeah, you are correct I misinterpreted the article.

But yeah I guess space complexity vs auxiliary space complexity is just a bit ambigous.
The prosperity gap has shrunk quite a lot, and these trends are broadly in the right direction since ~1990:

https://blogs.worldbank.org/en/opendata/updated-estimates-pr...

For extreme poverty progress has recently slowed down, the trend there is still positive but very slow - improvement there is needed.
This is a very bad article, probably to attract traffic to their PM course.
For me is very simple, there are AI Product Managers. But those are not PMS that use AI tools but rather those that manage AI products. And there is a difference between Software 1.0 and Software 2.0 (AI or ML model based) products. These products are not managed as engineering but science. These products are managed with experiments. These products are non-deterministic. These products have virtually infinite inputs and outputs. These products do not address one problem but many at the same time. So, if you ask me of course there is a thing such as AI Product Manager but not what the author, and many other PMs, think.
Okay, I see. I guess from my point of view, it's not a minor detail. It is simply an unworkable definition if you want to study computable reals in any meaningful way (i.e. beyond the absolute basics like defining the set of computable reals).

By the way I read through that paper you linked and I think it's possible Rice wasn't aware of the issue here either. He references Turing's paper and notes that Turing's definition is equivalent to his, but what I've been getting at here is that this equivalence itself is not computable. There's no effective procedure to convert between Turing-reals and Rice-reals, even though you can prove that they define equivalent subsets of R.

Turing himself proves this in "On Computable Numbers, with an Application to the Entscheidungsproblem: A Correction", so it seems he came to realise his error.
Robert frost makes me proud to be from New England. What a beautiful poem
I'm not sure I would call incinerating 11b dollars a year to the point where you need to do one of the biggest raises ever and it doesn't even buy you a year of runway sensible.
I felt this way for the first 30 years of my life. Then I received treatment for depression (psychoanalysis) and finally tasted joy for the first time in my entire life. Now I love life. YMMV

EDIT: If you’re interested what actually happened is that I was missing the prerequisite early childhood experience that enables one to feel secure in reality. If you check, all the people who have this feeling of philosophical/ontological pessimism have a missing or damaged relationship with the mother in the first year or so. For them, not even Buddhism can help, since even the abstract idea of anything good, even if it requires transcendence, is a joke
Editing mistakes that AI wouldn't make is the new "proof of human input".
> have transformed robotics

Did they? Where? Seriously, I genuinely want to know who is employing these techniques.
Store everything on a decentralized P2P server for privacy enhancing technologists (PETs) to deconstruct.
Laundry folding is an instructive example. Machines have been capable of home-scale laundry folding for over a decade, with two companies Foldimate and Laundroid building functional prototypes. The challenge is making it cost-competitive in a world where most people don't even purchase a $10 folding board.

I would guess that most cooking and cleaning tasks are in basically the same space. You don't need fine motor control to clean a toilet bowl, but you've gotta figure out how to get people to buy the well-proven premisting technology before you'll be able to sell them a toilet-cleaning robot.
> but being this confidently wrong (and "lying" when confronted with it) is troubling.

It works in politics, marketing, and self-promotion.

If you use the web as a training set, those categories dominate.
Show me… subscriber trunk dialing. I must know everything.
You aren’t contradicting your parent; neither Linus nor GitHub were VC money dumps.
ETH Zurich I assume, their Chief Economist is professor there.
I unfortunately agree with you.

HBO has a habit of canceling my favorite shows, because my taste runs to challenging high budget shows which have trouble maintaining the viewership required to justify the cost. Examples: Carnivale and Raised by Wolves.

They are companies; their business is making money, not art. The latter is the means to the end.
It’s always confused me that (some) Americans, despite being so pro-freedom in general, are rabidly against the idea of betting.

We’ve had it in the UK forever. The sky hasn’t fallen in. Yes, we have addicts, just as we have alcoholics, most people are, well, normal.

You can just not. I like a bit of a play now and then. In fact, I bet on the US election which was genuinely useful as a financial hedge for me.
We've made the title more specific now.
So how big is the Twtxt community? How many Twtxters?
> In what context?

This is a great question for the article's author, I think! They give very little information as to when this class of optimization makes sense, and because it's much more complex to implement than the AoS -> SoA transformation in the general case when the total ordering of enums is important, either a case-study or some general heuristics as to when this transformation is worth the effort would make the article more useful and interesting.
Facebook used an encryption key per user for their backups. For deletion they just delete the encryption key which makes the data unreadable. There was an article years ago about their cold storage infrastructure, Blueray discs if I recall. https://www.datacenterfrontier.com/cloud/article/11431537/in...
Ah yes, when it hit, one of the first things I did was to replace as much of the Denim and "AquaFresh Stripes" as possible with a flat gray texture.

https://forums.macnn.com/showthread.php?t=26300
Don Lancaster (outside of Apple) did that. In fact, he ignored the Mac and connected a LaserWriter directly to his Apple II, and programmed in straight PostScript. Used that language the rest of his life. All the PDFs on his site were hand-crafted.
I'm a flaming atheist but holy fuck do I get uncomfortable with universal IDs and the growing drumbeat of identity verification.

Borders, passports, IDs, personal documentation, it's all just a modern caste system. Yes, it's uncomfortable to think of a world without them but to me, after global warming, digital class slavery is probably the second biggest issue of our time. So much of the world works because bureaucracy is inefficient and non-omniciant, just like humans, yet so many people want the world to be one big TSA checkpoint where everyone must be unnaturally perfect at all times. It's utopian thinking that is leading us towards a type of hell I don't think any of us can even begin to imagine.
Good to the power of one by infinity.

Fixed that for you.
All frontier labs are now employing LVMs or LLMs. But that's my point is you won't see the fruits of it this early.
Warhammer is weird. That's why it works
I was told a pretty significant amount of hard RF leaks out the back of a tube. I wonder if its more, on a bigger one.

I was also surprised by how gentle the round off was. Sony did a decent job on the trinitron making tube front flat but it always pushed up against size. You gotta make it stable under a fair bit of vacuum.
This is a good read for some examples https://arxiv.org/abs/2203.14465

> This technique, the "Self-Taught Reasoner" (STaR), relies on a simple loop: generate rationales to answer many questions, prompted with a few rationale examples; if the generated answers are wrong, try again to generate a rationale given the correct answer; fine-tune on all the rationales that ultimately yielded correct answers; repeat. We show that STaR significantly improves performance on multiple datasets compared to a model fine-tuned to directly predict final answers

But there are a few others. In general good data is good data. We're definitely learning more about how to produce good synthetic version.
I'm not doing a "Godwin's law". I literally have on my screen a poll, which generated a whole news cycle, in which more people supported Hitler, in the United States, than are claimed to be supporting the CEO murderer here.

My point --- I think obviously --- is that 15% support in an opinion poll is a meaningless metric. Tens of millions of Americans do not in fact support Hitler. There's a whole literature on why these kinds of crazy results pop out of opinion polls (read up for instance on acquiescence bias).