skysight-inc/HackerNews huggingface dataset:
I use a Makefile as well :D Both to glue it all together and for the most common reports I need. For turning the CSV files into Ledger, I have a binary written in Common Lisp. Suppose I tried to make accounting exciting and it worked :P
Your site must be running an lmm because scrolling is laggy.

You might want to profile it and see why a pixel 8 has trouble smoothly scrolling down the page.
Pretty cool, except for one major UI flaw. When there are only two options, clicking on either one should toggle between them. I feel like this was previously the default, so I’m left wondering why this no longer works?
Unicomp buckling spring keyboards are nice:

https://www.pckeyboard.com/page/category/UKBD

Their latest model, the Mini M ($149):

https://www.pckeyboard.com/page/product/MINI_M

For membrane keyboards, there's the Kensington Keyboard for Life. Not sure how it performs with heavy-duty gaming, though.
Is it not?

They’re Retrieving data from big to Augment gpt’s Generations.
ATprotocol seems technically superior, but socially set up for failure.

Because there’s no social incentive for anyone to set up and maintain relays and moderation service when divorced from actual communities, what’s left are purely financial incentives - paid service, advertisement insertion, data mining, information manipulation etc.

Also the centralization of data distribution and moderation means they are huge undertaking now, both in terms of hosting cost and human cost, it’s almost forcing these services to be commercialized, or you can say discourage anyone not Bluesky from setting up their own relay or moderation service.

For all the faults of ActivityPub, the extremely “gated community” like approach provides the social incentive for users to feel a sense of belonging to a server, and for the server owner and moderator to feel a sense of pride and ownership over providing service to their users. Being within a valued community also incentivizes people to donate to pay for server cost and moderation effort.

ATprotocol will technically allow multiple relays and moderation services, but in reality how many will actually materialize?

As such I feel judging social networking protocols from a purely technical and adversarial point of view (like ATprotocol does) is a mistake, sure you are now no longer beholden to a server, but at the same time you are divorced from a tight knit community and you no longer have skin in the game.

When you have nothing to lose (data, identity and community wise), that’s a double-edged sword.
Ask HN: What percentage of your portfolio is in crypto?
Americans fed up with social media but don't want government to take action
100% this. I’ve been party to RLHF jobs before and the instructions nearly always state to prioritize conciseness in the model response.

In aggregate, this is how you wind up with stub functions and narrative descriptions rather than full working implementations. The RLHF is optimizing for correctness within some constrained token count.
I have had the editor grind to a halt when doing some combination of having a ton of changes, showing hunks, and trying to scroll.

>User studies don't apply here, it's too complex

User studies always apply. And doing basic everyday source control operations should not be complex.
More concretely, if I was asked to consider rearchitecting a service that documented that it "used elastic search just incase full text search was needed" and that requirement never materialized, I'd feel much more comfortable dropping ES than if I was going in blind.
This should work just fine as is ported to Go
Yet another reason to own a pet alligator: profits!

I haven't convinced the wife to let me have one yet. She doesn't want to keep one in the bathtub. But surely this will be the point that convinces her.
Maybe rg or fzf and bat
AI does take a ton of infrastructure.
You need data collection and curation.
Massive amounts of training hardware.

And a large infrastructure to ensure you can scale. No easy feat with the current GPU stack.
This is just a link to the Wikipedia page on police unions. Where is there evidence that police unions prevent good candidates from being hired?
Starving to Death on a Full Stomach
aside: this article posted on Twin Peaks Day. Celebrated on February 24 every year to commemorate the day F.B.I. Agent Dale Cooper comes to town to investigate the death of Laura Palmer.
The claim of the paper is that computation is irreducible (assuming P!=NP), LLMs have limited computational capacity and will hallucinate on the irreducible problems.

I don’t know, the claim seems dubious to me. We usually are able to have algorithms that return a failure status, when the problem proved to be too large. Avoiding the “hallucination”. Don’t see why LLMs can’t have that embedded.
Why not just "fd -e fi.md -X batcat"?
Tried my last 3 Google searches

india test cricket lowest total > None of the results are good or giving an answer

raid calculator > The results are OK but you still have random noise like a Pokemon save/cheat editor page because it contains the word raid

all quiet on the western front movie book differences > 0 results. Like straight up no hits, an empty page
Mathematician Max Brückner's Remarkably Precise Models of Polyhedra
Europe is much more densely populated than Africa.
Free-Floating Anxiety: When You Feel Anxious for No Apparent Reason
My own memory functions as the paper tape as long as the program is simple enough :)
Saw a documentary yesterday called Poverty, Inc[1] and it dives into the rice imports to Haiti. While it's agreed that international aid was a good thing in the immediate aftermath of the earthquake, they argued that continued aid to the country has largely destroyed native rice farming by the simple fact that it's hard to compete with something that's free.

Highly recommend a watch if you haven't seen it already. Saw it yesterday and really gave a new perspective to international aid.

[1]: https://www.povertyinc.org/
The 3 interpretations correspond to the 3 possible choices for the innermost loop when you reorder the 3 nested loops of a matrix-matrix product (tensor product of 2 vectors, AXPY operation of 2 vectors and scalar product of 2 vectors).

For a matrix-vector product, where there are only 2 nested loops, only 2 of these choices are applicable (AXPY operation of 2 vectors and scalar product of 2 vectors).

For a vector-vector product, where there is a single loop, only 1 of these choices is applicable (scalar product of 2 vectors).

For numeric computations, where possible, AXPY is preferable to scalar product, and where possible, tensor product is preferable to AXPY. Therefore matrix-vector products should be done with AXPY and matrix-matrix products should be done with tensor products of vectors.

I strongly dislike the misuse of the term "outer product" for the tensor product of 2 vectors, like in the parent article, because this is ambiguous. The original definition of the outer product of 2 vectors (due to Grassmann) is related to the so-called vector product of 2 vectors and "outer" refers to the fact that one vector is multiplied by the component of the other vector that is orthogonal to it, so it points outwards. The tensor product, whose value is a matrix, is completely different. For 2 vector operands, there are 3 distinct products, the first is inner a.k.a. scalar, the second is outer product or (only in 3 dimensions) its variant "vector product" and the third is the tensor product.

The name "tensor product" is also historically and semantically incorrect, but at least it is not ambiguous.

The "tensor product" should have been named "Zehfuss product", after the mathematician who has defined it in 1858 (about 60 years before the word "tensor" had any relationship with it). "Tensor" was originally a name for symmetric matrices, which correspond to affine transformations where a body is stretched in the directions of certain axes. The name was introduced by Hamilton, together with scalar (similarity affine transformation), vector (translation affine transformation) and versor (rotation affine transformation). For unknown reasons Einstein has chosen to use "tensor" with the meaning of "multi-dimensional array", breaking with the tradition, then everybody has imitated him (due to the huge popularity of the Theory of Relativity among non-mathematicians and non-physicists, after the end of WWI, which prompted some book editors to insert the word "tensor" everywhere in several mathematics books and advertise them as being useful to understand the theory of Einstein).
Wait til he discovers org-mode.
Emacs has by far the best the best 'file switching experience' I've ever seen with treemacs, which is a sidebar with multiple projects, each with its file tree. Projects are part of workspaces which you can switch between. The whole thing can be configured with right click menus, or by editing an org file.

Additionally it has not one but two tab modes built-in (tab-line-mode, tab-bar-mode)
Zero. At this point, I don’t see upside.
Are you a cop? Thats great that you think Chovin was innocent. Cops disagree and thats why lots of them quit after that
It seems to me the fancy demurrage stuff would have had the intended effect provided they didn't know it was going to end in 13 months.
Not following pathological nationalism isn't the same as "hating your country". Saying otherwise is just propagating a false dichotomy.

We can be thankful to live in this country without needing to force others to do so as well. In fact, to borrow from your earlier point, we actually have the freedom to hold a different opinion about nationalism/patriotism, unlike many oppressive countries.
From back in the day: https://retrocmp.de/hardware/optionboard/dob.htm
The builder pattern [0] is orthogonal to fluent interfaces. It has merely become customary for builders to have a fluent interface. The defining feature of the builder pattern is that you don’t set configurable properties on an object itself, but that you use a separate object (the builder) to set the properties on, and then have it build the final object (on which the respective properties are then usually immutable). It’s immaterial whether the builder object has a fluent interface or not. The important thing is that the builder interface is separated from the resulting object’s interface.

[0] https://en.wikipedia.org/wiki/Builder_pattern

Both builders and fluent interfaces have little to do with point-free style. X.foo().bar().baz() is not any more point-free than baz(bar(foo(x))).
This is a great summary, thanks for sharing it! Totally agree with you that broadcasting is not the best at AWS scales, but it's so simple and works elegantly at small-medium (e.g. not AWS scale lol) without the requirement of a centralized source of truth for resource availability. It's a super interesting problem over all and I think there is still so much more to learn!

Eager to learn more about lambda scheduling, are you referring to this reinvent talk? https://youtu.be/0_jfH6qijVY?si=Uc6xpdpXiJ6oRHWD&t=671
> Americans fed up with being controlled
If your app is truly designed for "dating hot singles in your area" then you should be ready for geometric user growth.
I would have thought that great (or perhaps at least very good) schooling was a bit orthogonal to whether they were public or private. At least I feel that I went to great public schools, but lived in a city where some people went to terrible public schools.

That said, I think most people want better for their children; certainly my blue-collar parents cajoled me via all their means to go to school so that I wouldn't be forced into the jobs those with a poor education must subsist on. I will say that I just don't have it in me to put a child through what I was put through; the pressure was more than I was really able to withstand, but fundamentally I agree with their reasoning, especially as someone with some physical disability, careers that require a lot of physicality are closed to me. That said, it's not a cycle I have any desire to perpetuate.
Given a function F that accepts an argument x and returns y, its inverse is another function which, when passed y will return x.

For dyadic functions, the incerse argument is always the right side one.

So negation is its own inverse.

So the inverse of 2+ is indeed subtraction of 2.
Defense contractors like Raytheon and Lockheed Martin have large incentives to promote conflict and intervention, but how much business do American gun manufacturers even do with militaries?

I can’t find numbers, but my intuition is that individuals consume over 90% of their output. There’s too few militaries rich enough to equip soldiers with US-made guns, and too many US gun buyers.

ChatGPT tells me there are about 20 million soldiers worldwide. That includes roughly two million Chinese, 1.4 million Indians, a million Russians, 1.2 million North Koreans. Of those only India has a small deployment of American small arms from Sig. For the sake of argument, let’s say each is issued a rifle and a sidearm, 40 million guns.

It’s difficult to estimate gun sales, but in 2020 there were 40 million background checks run for gun purchases in the United States. Each check could represent multiple sales.

And arms purchased by the military can remain in service for decades.
Our climate and ecosystems. See any introductory 101 ecology class where you learn all about the trivial ways populations can grow, fluctuate and crash. Disease, access to "energy", reproductive strategy and potential, population demographics, ecosystem stability, all existed with out humans around.

Perhaps the big reason to have fewer humans around is that we inject "chaos" into many of these well understood dynamics, creating instability in them, which does, and will, continue to produce a lot of suffering. Assuming humans (animals) are somehow immune to what the rest of life on this world has to deal with (we can invent our away around these problems) is akin to believing in gods, and perhaps that might not end well.
What if you worked on the problem and tried to come up with some kind of solution?
'Most google users want more results not less.'

Most google users are looking for the results that are often complained about, cheap holiday deals, voucher codes, ten best of, etc.

Google are doing their job.
I love reading these sort of posts while I check their work history. Talk about not practicing what you preach.
Anyone know of some estimates of the (energy) cost of desalinating seawater, vs. shipping in freshwater from where it is plentiful? (as a function of distance).

Doesn't seem too far fetched that in near future, eg. oil tanker ships could be re-purposed for that job.
But wont any solution that makes an area more pleasant also lead to increased property values? Would they be in favor of solutions that decrease property values? Or is this just nimbyism against any change?
> We've released a bit about how the AWS Lambda scheduler works (a distributed, but stateful, sticky load balancer).

Do you have a link? I would like to read more about this.
I agree, when I hear people say they won't have kids [today] because of climate concerns, it reads as fake virtue signaling. Meaning, the desire to have kids was very weak or 0, so coming up with any excuse [climate change] is a self superior moral decision, aka signaling.
That's not a great argument for it being impressive, though, which is the original remark in this thread.

A car that unpredictably explodes and kills all its occupants, but which can be made safe by installing a widget, is not impressive (or at least, not in a good way).
Engineers. Penny-wise and pound-foolish.
Arkansas is the big worry here, although Louisiana has some specialty brands (Jazzmen)
I can this the "tragedy of software development": the pyromaniacs are the firefighters.
Can Humans Endure the Psychological Torment of Mars?
Chip Defense
A tower defense game for Android based on a microprocessor theme
You dont have to have solidarity towards them. You obviously dont have and thats fine.

This is society everyone affects everyone. Same way you are inconvenienced by some workers striking. The workers are exploited by things that are out of there hands. So many people would like to quit capitalism but its impossible it will be enforced on everyone.

Be glad that it now works in your favor and you dont have to be one striking.
I love Declare, that's why I read The Empty Quarter (and Kim).
Yes, totally agree. I’ve written some code and I’d rather convert it to C using cpython before I paralyze it. Python is horrible for both these things, and you may not even get a better speed increase because of the overhead. It’s like use cpython get 10-100x better speed with a few lines of code, or spend my whole day in a horrible mess of data structures and getting my functions to work with map properly with maybe nothing to show for it.
If this was actually true I'd be bankrupt many times over.
How Is Your Phone Powered? Problematically. (2023)
Treemacs is not built into the base Emacs distribution. Something so fundamental for a text editor should work perfectly out of the box.
> india test cricket lowest total > None of the results are good or giving an answer, straight up wrong sites.

The search engine has no ambitions to provide a knowledge graph at this point. It's for finding documents on the internet, rather than answering questions. Answering questions is a definitely something one might want, but it often comes at the expense of finding documents.

> raid calculator > The results are OK but you still have random noise like a Pokemon save/cheat editor page?

The pokemon result was discussing an application called "raidcalc". Seems like a good match, given the search engine does not profile you at all and has no clue about what your interests are.

> all quiet on the western front movie book differences

Hmm, I think there's an upper bound on the query length you hit. Could probably remove this, it's a pretty old, an artifact from when the query execution didn't deal with long queries well.

--edit--

Hmm, I increased the limit but they're still kinda not very good. Although this is definitely squarely within the realm of what I'm working on next, which is query understanding and execution.

Right now the search engine doesn't really know how group the terms. Like a human being can see that you'd want

|all quiet on the western front| in a sequence, preferrably in the title or appearing a few times, and 'movie', 'book', and 'differences' should be important to the document, but not necessarily appear in that exact order.

The search engine currently looks for either documents where they all appear in proximity, or all individual words have high tf-idf relevance markers. Not great for this query.
Ingroups and Outgroups: How Social Identity Influences People
'Best [insert random product]' will often be the most popular key phrase, Google users get what they want.
Could those lists be better, no because they have reached their optimum balance of effort/reward. Nobody is going to go out and buy 100 bikes just so they can tell you which 10 were best.
Yes, Rust is invasive because it guarantees certain properties that are otherwise very difficult to guarantee, and by all reports, once you build the requisite mental model it becomes much more straightforward, which is typical of static typing and programming in general.

Re: static typing being a crutch, I disagree, and I think more, better typing is in our future, not less. We'll see how it goes.
That's what I do with this bit of built-in FZF configuration:

export FZF_CTRL_T_OPTS="--preview='less {}' --height=100% --bind shift-up:preview-page-up,shift-down:preview-page-down"

This lets you hit CTRL+t and immediately start previewing files in a directory with an ability to page between results.

A video walk through and demo of that is here: https://nickjanetakis.com/blog/customize-fzf-ctrl-t-binding-...
At that point they are already a government supplier of something the government needs (products, jobs, narratives).
huge difference in degree, intent and real-life effects on the author.. raw numbers and basic economic conditions as a backdrop. It is notable IMHO but not closely comparable
Show HN: File Type Detection Tool Powered by Magika
I'm excited to share with you a new project I've been working on: a demo site powered by Magika, a cutting-edge file type detection tool. With Magika, you can easily identify various file formats using advanced deep learning technology. I've created this demo site to showcase the capabilities of Magika and provide a hands-on experience for users to explore its features. Check it out and let me know what you think! Your feedback is highly appreciated.

https://9revolution9.com/tools/security/file_scanner/
>> I don't even know enough superlatives to express how irrelevant it is that "it seems to you" that an LLM behaves this way or that.

It is both irrelevant and the underlying foundation for the whole hype train.
> Maybe it requires understanding, maybe there are other ways to get to 'I don't know'.
> This is more of a crutch, I'll admit, arguably the LLM (or neither of the experts, or however you set it up concretely) hasn't learnt to say 'I don't know', but it might be a good enough solution in practice. And maybe you can then use that setup to generate training examples to teach 'I don't know' to an actual model (so basically fine-tuning a model to learn its own knowledge boundary).

When humans say "I know" it is often not narrowly based on "book knowledge or what I've heard from other people".

Humans are able to say "I know" or "I don't know" using a range of tools like self-awareness, knowledge of a subject, experience, common sense, speculation, wisdom, etc.
100,000 Satellites Overhead
Are you saying Google TV has a OTA channel option? This is exactly what I'm looking for, but I assumed since there wasn't an antenna input on the Google TV then there wasn't a way to watch OTA using it...am I misunderstanding what you meant?

*edit*
Aha, I didn't realize Google TV was also included on some TVs and wasn't the just the Google TV dongle with a remote.
The $100 Bill Is America's Most Common Currency, and Its Most Annoying
You can't compare fairly since people will cluster around what they consider right. Even though, as I can witness daily, they suffer more, take more time than the 'obscure emacs thing'. So many git interfaces add more weight, lag, random iconography and terminology. But it taps into people love for shiny, it seems an exciting new tool with all bells and whistles when in fact, it disrupt your flow more, adds layers of confusion and costs more ultimately.

Fair point about massive hunk set causing lag, it's plausible.
Yes, I think that's the most recent talk (and the most in-depth on this side of the problem).
At some point you also need resources. A lot of the invention necessity + nothing can lead to already exists.

You can "invent" a lever or pulley out of random objects that you already have. It may make your task easier, but it won't be world changing.

Necessity (read, pending starvation) may lead to a desperate search for Other People's Money to bring a concept to fruition, but it's not quite the same thing.
What was wrong with the title Why you, personally, should want a larger human population?
Obsidian can be set up as basically a modern day org-mode for folks that are unfamiliar with Emacs. Which is most people.
what do you refer to?
The solution is older non-AI tech. Google search can say "no good results found" because it returns actual data rather than creating anything new. If you want a hard answer about the presence or absence of something, AI isnt the correct tool.
Can a programming language implement time travel? – Stack Overflow