skysight-inc/HackerNews huggingface dataset:
It is mesmerizing, but do note it was not a single mind that produced this insight. It was centuries of work. It involved, among many others:

1. Newton and the Bernoulli family developing the theory of infinite series and connecting them to discrete sequences,

2. Wallis developing the first notions of infinite products and demonstrating the first non-trivial convergence of such,

3. Euler solving the Basel problem and linking the zeta function to the prime numbers (giving a new proof of the infinitude of primes),

4. Gauss and Eisenstein further using Euler's ideas and their own unique algebraic insights to understand primes in arithmetic progressions, and finally

5. Riemann taking the zeta function, putting it in the complex plane, revealing the unifying theme connecting the previous discoveries and making his own fundamentally new discoveries with the explicit formula.

And of course the development only accelerated from that point on.
I haven't used this in a few years since switching off of Qubes but something no one mentioned is that output PDFs are *huge*. They're practically PNGs with a .PDF extension in terms of size.

I love the idea of making PDFs dumber and safer but maybe ePub would fit the bill? I'm just thinking out loud, I would like to do this again, but the Qubes way of spinning up a disposable VM to produce a monster PDF file is unsatisfying. More general Qubes being slow was a big reason I switched off of it
Show HN: Recap of all AWS announces from the re:Invent
We're hosting free of charge and free of ads expert-led discussions to break down everything that was announced at the AWS re:Invent 2024 next Monday, Dec 16, and Tuesday, Dec 17, featuring CTO, Solution Architect, Senior DevOps, and CEO of the DevOps and Cloud service company. Join us live or sign up for recording.
Right level of funding in many cases is non-zero. Still balancing for employability and general funding say every 5 years would be reasonable approach for most social sciences. As many of the fields under that moniker produce very useful specialist when run at right scale. And these people might not even need PhDs always.
> the fourth factory in a row tells you the part you’re making is impossible

Unless you're smarter than all of them, perhaps take the hint? Fabricators aren't just there to complain, heeding their advice here would probably save you money. Red flag.
My PhD advisor rewrote himself in bash (2010)
Current economic supply/demand balance as well as philosophical principles are so utterly deranged, people lean toward what could maximize their profit. If this is achieved through conformism & doing what you're accustomed to, no one will try to truly innovate and prefer staying in their comfort zone.
> It clearly says "Sign up with Google"

After you click the button to try it...
become comathematician and turn cotheorems into ffee
Open Source Data Governance for LLM-Based Applications
I wouldn't consider it an inconvenience in my kitchen. I'm highly interested in this. However, $700 is a lot. So, like others mentioned, I'd first like to see a demo video at the very least of it in action.

Different teas require different and specific temperatures for optimal results. A hot water tap cannot do this. I love the minimalism in the product design for this!
Looks you have brought a touch of Dyson to the world of coffee. I hope you do well! I can't see your presence online at all, like no search results other than this HN post which is odd. If you can ship in January you might want to be marketing a bit more.

Have you patented the cylindrical grinder? That looks like a new idea. I wouldn't mind trying that.

Needs a youtube demo video I think. Plus you might want to give one to a few coffee influencers. Maybe give it to a few r/espresso regulars first to pedant about, then fix those things, as you don't want a crap review.

Or can some RSU rich HN-ian just buy it and post a review, pls :-)
MKBHD is the last person I’d go to for anything tech related.

He, like many others, do little more than just read spec sheets.

I like his car related content though, reckless driving notwithstanding
Not really, moka pots are known to explode.
And even that time pales before the mental toll. When I first went about writing a grant application, I thought it would be technically easy---I knew the bureaucratic details would be tedious, but otherwise straightforward. Oh boy, I think it was the most mentally taxing, soul crushing work-related task I ever attempted. I failed to submit, by the way. My research output also plummeted that year.
> the fourth factory in a row tells you the part you’re making is impossible

Then perhaps take the hint? Fabricators aren't dumb or there to complain, heeding their advice might even save you money. Red flag imo.
I find his channel useful just for getting an opinion from a end-user perspective of what a product is like; that's a legitimate opinion, not every data point needs to be a deep dive into the manufacturing process of a particular gadget.
In UCUM it’s disambiguated as MetricTon
I agree that the local optimum one is a good explanation.
This looks cool. I would like to see a video showing how it makes brewed coffee. I’m currently using a moccamaster (for convenience), but it has far too much plastic. Pour over is a pain in the ass. I’m curious if you plan on shipping to Europe (where I live).
Surely Huel is the complete opposite of Zoe?

One is ultra-processed and the other is about natural ingredients and variety, as I understand it.
Listening to welcome to the machine after drinking and smoking herb all day (I didn't smoke) I have recurring visions of throwing up in my friends sink at uni with that in the background.
Tangental: I have a 3 yr old Niche Zero, they are excellent - but they are not first conical. They used the burr from another famous grinder (I was more into all this shit but don't remember now)
indeed! related: https://news.ycombinator.com/item?id=21377311
The article doesn't mention rust-analyzer (the language server), I wonder how much of this infrastructure is also used by rust-analyzer?
My hat is off to this, I really appreciate how he documented every step he took. It's lengthy but definitely worth the read.
Women's crisis in this case would be linked to when they reach the end of child-bearing age? Men's would more likely relate to their circumstances e.g. I had children relatively late so my mid-life crisis will be later...
That is not quite true.

It so happened that much of what has survived under the rubric "Hinduism" (itself an umbrella term for a whole gamut of philosophies, religious beliefs, rituals etc. and everything in between) has been through Sanskrit texts. It does not mean that all the concepts/ideas originated in that language domain. This is why you have the many schools of Hindu Philosophy categorized as orthodox (six recognized) vs. unorthodox (three recognized) and there are still more schools (notably many Tantric philosophies) not recognized under either of the above categories. Given the bewildering diversity of languages in the Indian Subcontinent it is almost certain that Sanskrit texts recast/reformulated philosophies/concepts/ideas from other languages (eg. Tamil and Sanskrit).

The situation is analogous to what happened after the Scientific Revolution where knowledge from German/French/Other European languages got disseminated via the English language through colonialism to the wider world.
Really nice, GJ !
> every time I mention a critique of capitalism on this forum it gets absolutely zero traction and even downvoted. Why is this the reaction, instead of maybe even telling me why this analysis is completely worthless or wrong in a proper argumented comment?

I'll break the silence to give you at least my view on it.

I find the "blame it on the capitalism" rhetoritc somewhat annoying, to be fair. It sounds like an escape hatch you can always invoke, and since we don't really have a significant example of a non-capitalist society, it's unfalsifiable. It often seems to me, that people use this argument as psychological escapism - a simple solution to a complex problem.

Specifically, I see the "capitalism is bad" argument often used on examples that are not really specific to capitalism and are instead a result of some general principles.

For example, it seems to me that this article just describes preferential attachment process (rich get richer) in various fields.Another common one is multipolar trap (or tragedy of the commons or collective action problem). Those things tend to happen absolutely everywhere, because the conditions for them are very simple to satisfy.

We shouldn't be suprised to see them in capitalism, and we should expect them to arise in different forms in practically every system.
One hugely underated offering of unexpected keyboard is the ease with which you can define entierly new keyboards. Want a keyboard for futhark runes? They're unicode so go for it, you totally can. Like thorn as a concept and a character, and want to use it with ease? þen add it for easy use. This keyboard is truly the hackers keyboard. I spent a month using termux exclusively, writing cli apps for things as i needed them and without unexpected keyboard that would have been a really painful experience, rather than mildly inconveniant at times.
Holiday Gift Recommendations with AI
A week ago I went into the XR glasses rabbit hole and it seems there is much happening.

XReal released a 6DoF model with 2x1080@120Hz that weights under 100g.

That's something you can wear in the wild without looking crazy.

With Samsung DeX and a Bluetooth keyboard, it's probably enough to do everyday work.

Get the size and power consumption down a bit more and I could see these glasses replacing laptops for most people.
> We are at the age of engineering human behavior and societal engineering is in the realm of STEM.

We are definitely not. I'm saying that as someone researching how to use computational methods to model human behavior. We know very little about human behavior/mind/brain or society at that level.
I strongly disagree.

One of the examples mentioned studies population changes during NZ's colonization. It's part of Maori-led research. Such research provides a better understanding of the history and culture of the indigenous population of NZ. In turn, this research contributes towards contextualizing and enriching relationships between communities within the larger modern NZ society with respect to the economic and political plight of these groups.

The overarching theme here is identity. Both on an individual level, as well as a community level. Our shared past, heritage, traditions, stories, relationships with others,... are all what make us "us". And social sciences are paramount within that never-ending debate.

In a way, defunding research which studies particular indigenous communities within society is tantamount to effacing those communities from a larger national historical identity. However, doing so will never end that drive communities have to remember and to assert their own history and identity.

That's why studying how the arrival of Europeans in New Zealand has had an demographic, political, economical, cultural effect on the indigenous population definitely is fundamental research. And an important one at that.
For a rule to be reversible, it should have a 1 in 4 places, ie. hamming weight 4. I suspect all (8 choose 4) = 70 rules might be reversible.
Using the behavior of one bad actor to excuse the abuse of everyone else is pretty bad.
Bear in mind that, beyond the “top” elo ratings, that it’s purely an estimate of relative strength. The gap between a GM and me is far greater than the gap between a GM and Stockfish, even if the stated elo difference is the same.

By this I mean, you can give me a winning position against Magnus and I’ll still lose. Give a winning position to Magnus vs Stockfish and he might draw or even win.
We're talking about an effort from the company whose AR lead quit and then excoriated them publicly for being unfocused, right: https://arstechnica.com/gadgets/2023/07/googles-head-of-ar-s...? Like, just a year ago?
About the only kind of fully plastic-free cable I know of (other then historical examples) is bare MICC aka "pyro", which are copper tube sheaths filled with magnesium oxide powder and the wires in the middle. It's used especially in fireproof installations.

A huge pain to install as it's so stiff and needs special tools and fittings to keep it from absorbing water from the air. It has a large bend radius, and it only good for fixed installation as it will crack open if you bend it a few times. And it's nearly £1000 for 100m. So it's not very popular these days.

Plastic really is an annoyingly wonderous category of material when you consider the flexibility, insulation, mechanical, thermal and chemical resistance it can have (and the price)!
Fwiw I agree with most of what you said, but as a business owner I can't let this one slide:

> In the end all the discussion should be about the code - if it is not about the code you are discussing the wrong thing.

The code is important, but in the end it's all about the customer. For us, if it's not about the customer (in the end), you're discussing the wrong thing. This is a key part of our "ship fast and incrementally" ethos - how can you tell whether something is better than what's in production now? By explaining how it impacts the customer.
Found via slashdot, but the comments swiftly devolved:

https://slashdot.org/story/436377
Ask HN: Help Presenting My Open Source Micro-Backend
Me and my buddy are currently struggling in finding a good term to describe our product: is it a micro-backend ? A Headless CMS ? A Backend-as-a-Service ? An API ?

https://manifest.build/ is a really simple 1-file backend to power the API of small to medium websites, apps, directories and so on.

We first presented it as "A complete backend that fits into 1 YAML file" and got some attention. However, it can be deceptive as it does not compare to "real" backend frameworks like Laravel, Django or NestJS. Nor does it compete with backend infrastructure products.

Talking with Manifest users, we found out that many of them were using it as a Headless CMS, so we are currently presenting it as such. However even there we are not 100% satisfied as it differs from the "rich content experience" offered by products like Sanity or Hygraph.

As a developer, how would you call Manifest ?
I guarantee you that enough people would take on the profession without being forced to if it wasn't illegal to do so.
Sled: An Embedded Database in Rust
If group selection happens is still much debated among biologists, and not at all resolved!
Is there a maybe ebook friendly version? I'd love to read this in the kindle
I've been driving my hybrid(compact estate) for over 7 years now and there's no noticeable change in fuel economy.

That being said, both the figures mentioned are to me a little bit optimistic.

I don't know about Teslas, but my fuel economy presents itself like this(figures are in litres per 100km):

-City driving: ~5 + ~100ml to bring the engine to working temperature. Checks out to 7 on a 7km drive and falling with distance.

-Highway, so maintaining real 120-140km/h (speed limit around here), 6.3-6.5. Absolute worst was 7.8 during a snowless -20°C night.

-Backroads doing 70-90km/h, average trip speed 50km/h, and here is where I think hybrids shine - 4.0-4.2.

-Hypermiling record: 3.7 as I was steadily rolling at 20-30km/h to a highway onramp a few kilometres away.

Overall fuel economy is nice, but what I like about this car the most is the ease of manoeuvring on the parking lot and very little vibration when the engine is running.
> there is a lot beyond the ±σ , just need to look there.

Of course, the world if large and kaleidoscopic. But the rate of homogeneity in the middle 80% is higher than it's even been, and that really affects everyone.
I actually want diversity in the mainstream, since some projects are only enjoyable if you can share them with others and if they get the most talented people to work on them.

The fact that nobody would make a Doctor Zhivago or even a Back to the Future today is not something I can fix with all my searching.
Back where it started: "Do Not Track" removed from Firefox after 13 years
Where do the pipes go?
Two different ideas of what an exception is.

One idea is merely a form of control flow (like 'if' or 'goto') that could jump down the call stack. This kind of exception handler could be made fast if necessary.

The other idea is to trigger the processor's actual fault handler, and proceed to the operating system, which then dispatches the exception to the program. The advantage of the latter is that you can catch exceptions raised by the processor that way. But since you need to enter the operating system's exception handler code, it goes slower. C# exceptions are like this.
16% of six-figure earners is the really shocking part here. They make 100k and don’t have a 401k or IRA? What?! How?!
> “I called this style “AirSpace”. It’s marked by an easily recognisable mix of symbols – like reclaimed wood, Edison bulbs, and refurbished industrial lighting – that’s meant to provide familiar, comforting surroundings for a wealthy, mobile elite,

Yes.

> who want to feel like they’re visiting somewhere “authentic” while they travel,

No! I want somewhere clean and pleasant and uncomplicated. I'm not looking for "authentic" local accommodation! That part is a total strawman.

> but who actually just crave more of the same: more rustic interiors and sans-serif logos and splashes of cliche accent colours on rugs and walls.”

Yes.
These graphs only include stable releases, not nightly ones. Since the multi-threaded frontend hasn't landed on stable yet, we can't see it's effect on these graphs.
Lobste.rs comment: https://lobste.rs/s/3rybyx/programmers_want_flow_when_progra...

(the low tech equivalent: close your office door)
It has both latin and cyrillic! Go to settings and tap Add an alternate layout.
wasn't xerox parx effectively like that?
If I was in a market for minimalistic espresso machine I'd just get a manual espresso machine, something like the cafelat robot [1].
No plastic, standard professional 58mm group head (compared to the 51mm here), pressure gauge, no need for any hot water tubes, no electronics

[1] http://www.cafelat.com/robot.html
30s ad refreshs are a thing
They should have used Olympic swimming pools.
LLMs can be trained on chess games, but the tree of possible board states branches so fast that for any given position there is simply very little training data available. Even the billions of games played on chess.com and lichess are only a drop in the bucket compared to how many possible board states there are. This would have to be split further by rating range, so the amount of games for any given rating range would be even lower.

This means that the LLM does not actually have a lot of training data available to learn how a 1300 would play, and subsequently does a poor job at imitating it. There is a bunch of papers available online if you want more info.
Thermal stability is arguably one of the most important aspects of espresso machine. If the water in the espresso machine boiler is sitting at 95°C, by the time this hot water reaches the group head it will lose some of the temperature. Lose 2°C and you're good. Lose 5°C and you still might be good but already at the edge of getting the crap out of the machine. Lose more than that and you're not gonna want to drink it.

Traditional E61 espresso machines whose water boiler is at ΔT cm's away from the group head, solve the problem of temperature surf with heavy duty pipes, boilers, isolation and materials to keep the temperature loss at the minimum.

More modern espresso machines place the water boiler just above the group head so they're basically solving the problem other way around: keeping the ΔT at minimum so giving no or minimum space for temperature loss.

As for this design, I am not sure how does it solve this problem.
Not sure what the point of the article is. Caring for young is a strong behavioural program, and errors happen, seems to be the summary, not too enlightening. They could have mentioned cuckoos, which actively exploit these errors.
well, congratulations to pg for bucking that trend with the desgin of HN :)
Prime numbers, in their spirit, are like decomposing a problem into independent smaller problems. It is a search for a divide and conquer algorithm. So when people learn how to decompose and put together new problems there is a source for new knowledge. One of the most trivial examples is how if you can factorize a polynomial into factors you have a simple way to solve for the roots of that polynomial by solving the smaller problem of finding the roots of the factors and the union of all roots is the root of the initial polynomial. In that example the three parts: decompose, solve subproblems and finally compose the final solution are clearly exposed.

Nowadays we are wondering if LLM are going to be the next prime numbers. The question is if solving the language problem is going to provide us the key for solving the AGI problem. We still don't know what is the equivalent of a prime for a LLM, that is the smaller independent part that allow it to express some knowledge, the pieces could be embeddings or the topology of the layers or some new insight.

Some more random ideas, just like Norvig see python as a more practical Lisp, the basic ideas from prime numbers impregnate a great part of mathematics. You can be really far from the root but the principles are always with you, primes are a second nature, you have internalized all their properties and dynamically you learn to see primes like features in many fields (prime ideals, spectrum of a ring, points in commutative algebra).

The problem of how many primes (in relation to positive integers) is like wondering whether a given decomposition exists in a general sense that could allow us to solve the general problem. So few primes implies that the theory could solve some kind of problems but not many. What are LLMs number?, that is the question if solving the language problem will allow us to solve some very general problems, like a good approximation to AGI. The problem of whether LLMS will open the way to AGI could be the next Riemann hypothesis once we succeed in defining what is a prime number in relation to a LLM.

We are trying to prove escalating laws for how LLM improve when increasing the number of parameters, this is like trying to guess the convergence of an infinite serie by using a finite sum. The analogous of a Riemann hypothesis could be defining certain kind of LLM and conjecturing if it could obtain AGI pass some threshold for the number of parameters.

Edited: Sorry for being overly verbose this mornig!
> arguing with the compiler when I know the code is correct just because the compiler can't prove it

I don't want to assume too much about your specific use case, but in a lot of situations that people describe this way, the truth is that the code would've been correct if it was C but -- because it violates the no-mutable-aliasing rule -- it's genuinely broken under the Rust memory model and will trigger UB if you use unsafe code to work around the compiler errors. https://youtu.be/DG-VLezRkYQ
Popularity of streaming services like Spotify and closed clients, I hardly use Amarok.
To be working in a flexible and stress free environment, pursuing interesting but not strenuous challenges while having enough time to enjoy the good things in life: friends, family, discovering the world, wasting time without pressuring obligations.
can you explain more about ctrl+d?