skysight-inc/HackerNews huggingface dataset:
> Done. Solved. But they don't do it. Why?

This is called the Napkin Fallacy. When you write down some solution to a long standing social problem on a napkin in a coffee shop, and then instead of asking

"What is wrong with my solution, that it hasn't been adopted?"

you ask

"What is wrong with the world, that it hasn't adopted my solution?"

The world needs a lot more people asking the first question rather than the second. Virtually no one should be asking the second question. As the saying goes "For every problem, there is a solution that is clear, simple, and wrong." That's usually the napkin solution. When you stop to really think about what is wrong with the napkin solution, you start down the path of solving real problems. It is highly unlikely that long standing social problems have napkin solutions.

As a slightly toxic corollary to the Napkin Fallacy is the Virtue Fallacy, which tries to answer the second question with

"It is because the world is run by bad people"

This is bad not only because it is an easy way to avoid the difficult work of understanding why the napkin solution doesn't work, but also because it caricatures one's opponents, and it is close to self-deification. While the saying "Let God be true, but every man a liar" is sound, the saying "Let me be true but every man a liar" is unsound. There is generally nothing about any of us that makes us better than others. Do not assume the world is run by people worse than you.
> the professional unix workstation

...runs on your desktop in the shape of macOS (via NeXT) and in your pocket via iOS and on your wrist via watchOS. And Android as well.
https://twitter.com/ethereumonarm/status/1432251814402002948...

This is just an example, there is plenty other hobbyists doing so.

And here detailed instructions for you to try at home: https://docs.rocketpool.net/guides/node/local/prepare-pi.htm...
I've always found writing parsers very rewarding. There are different parsing methods. The article mentions top-down recursive descent parsing. That's the easiest to do by hand, but you can't parse everything that way (or not easily). Bottom-up parsing is another strategy, which works (in principle) for all unambiguous grammars. The lazy solution is backtracking (try a rule, back up if it fails), and add memoization to keep the runtime acceptable. This is the basis for the so-called PEG parsers.

There's a lot of formal literature. E.g., top-down recursive descent is a class known as LL(k), bottom-up is LR(k), and there are algorithms to derive parsers from grammars. It is however not the easiest starting point.
Retries what exactly? It filters before the decoding step.

I think you misread the code and the paper. I wouldn't know though, I only wrote it and all that...
Norway is a particularly bad example here because, despite its northern location, the climate is very mild, with the average winter temperature of just -6°C, while we here regularly see temperatures below -20°C and up to (or down to?) -35°C.
Merry Christmas to all! And to all a good night!

Thank you all. This was actually one of the most enjoyable comment threads I’ve ever read through on HN. I’m not sure why. I sure do appreciate all of your different perspectives. Well wishes again to everyone.
In this case I think that the mystery of life requires something to avoid existential angst, and some people use the afterlife as that something. Other religions (like Buddhism) might view the entire question of “what is this?” as absurd, and so use methods like meditation to help alleviate the angst, thus avoiding absurd beliefs.

TLDR: the mystery isn’t the absurdity but our reaction to it might be absurd.
Does the street already have street lights? If so, then presumably there already is an electrical distribution network running alongside the street. If it was designed with sodium vapor lamps in mind, but has been upgraded to LEDs, then EV charging infrastructure is withing its capabilities.
Same procedure than last year? Same procedure than last years, James..

Merry Christmas and happy New Ear!
The complexity of foundations is not the only relevant measure, you should also look at total complexity. Type theory is such that useful formalizations can be built directly on it as an axiomatic basis (and when this can't be done it's seen as something to be addressed, as with HoTT as a direct foundation for homotopy), whereas set theories don't let you do this.
Whenever the master branch and slave branch thing comes up people say that it's fine because it has nothing to do with slavery.

The thing I don't understand is, even if it had something to do with slavery, why is that harmlful?
The only issue I had with power management was a 5g modem driver that didn't want to suspend - once that's blacklisted the machine works as intended - with the fingerprint reader, webcams, and sleeping. Don't spread FUD, please.
I feel that is kind of what we are seeing on mass in other sectors... quiet quitting, and the the like.

People realized they don't have time for bullshit.
> Whether Mastodon stays a nice, utopian “early Twitter” or becomes a ubiquitous, messy social network is yet to be seen.

My experience of mastodon is that it is filled with vicious nasty radical extremists purporting to be compassionate and is nothing like early twitter.
Chinese New Year. The company would arrange for people from the local Chinese community in Manchester, UK to come and perform the traditional dragon dance in costume. The drums were pretty loud!
That's a really neat idea!

I built askai (https://github.com/maxvfischer/askai) during the last week to scratch a similar itch of mine. I wanted to be able to quickly get CLI commands that I didn't have on top of mind, by being able to ask questions like "How do you remove a conda environment?" or "How do you get the MX record of a domain using the terminal?".

The CLI I built is a direct integration with GPT3, so it's also possible to ask it other types of questions.
While people remain in denial about how nice it is to only have 2-3 months of livable outdoor weather a year, housing prices will always tell the truth
Rolling blackouts are being experienced because the delta between high day usage and low night usage is too great to invest in upgraded peak-capable infrastructure. Charging vehicles at night will actually _improve_ the situation.
I think we should gamify education. Give the students a challenge who will complete the difficult electronics theory exam the quickest and you will see them making an effort.

In general, I would split the current volume of basic education into smaller subjects (with many optionals) and finer levels, and have students to make a choice how fast they want to complete them (as long as they would work towards one of these goals).
> What got you interested in life extension?

Immediately when I first heard about it I thought, wow, this is fantastic, because death is a really bad thing. I believe it was mostly reading the book Ending Aging by Aubrey de Grey, although I may have heard about some related ideas on various websites before that.

> And how long would you want to live for?

Certainly at least a couple hundred years, and by that point I'd have time to think about how much longer I'd want. I don't really see a reason why I'd want less than infinite time if it were possible.

> I’ve never understood the philosophy behind life extension research, because to me it seems like a case of spending a lot of resources in the hope of improving something that isn’t really broken.

I've spent several decades working really hard, or studying. Although I hope I'll have a great time in the next several decades, I sure do want more.

Also, I have many things I want to do that I know I won't have time to do in one currently normal lifetime. There are several projects like books I'd write that I will probably not get a chance to do, because there are so many other things I want to do also.

Basically the rough outline of my schedule for the next 40-50 years is pretty packed. Obviously I'm going to prioritize and so a bunch of things will be pushed off the list, but I'd really like to do all the things on the list, plus have plenty of time for general entertainment, social life, and so on.
(Shameless plug) I wrote a browser extension for this:

https://addons.mozilla.org/en-US/firefox/addon/literary-cloc...

https://chrome.google.com/webstore/detail/literary-clock/kli...
I’ve seen enough loathsome subscription traps online to hate the idea of being caught, The Atlantic may well not use them but the whole idea puts me off.

I subscribed to Foreign Affairs several years ago and you had to phone them to cancel your subscription, being in the UK on a monthly pay as you go plan it was complex to work out how to extend it to make an actual phone call to the US.

I have heard of quite a few news papers with easy to sign up deals which require some painfully irksome method to sign up. The whole prospects revolts me to the extent that I doubt I’ll ever sign up directly.

Although it would be handy to read about a website that could give you confidence you won’t be trapped that’s usually something you wish you’d done after you were trapped.

Having said that using PayPal I was able to stop a recurrent payment contract for a Taste card after the it monthly email mentioned in passing at the bottom that it would be renewing.
What is the danger we're trying to avoid, though? We don't talk about this enough.

It may cost 100 trillion to reduce temperature in 2100 by 0.1F ....

Likely we'll slowly wean off usage as fusion/nuclear become more popular and we have a battery breakthrough or two. We have very little to fear from climate change, as far as I can tell. We need to rapidly advance, as there are far greater dangers.

Before you say blah blah catastrophic thing is going to happen: think about the last 20k years. There have probably been quite a few extremely crazy events that are much more devastating than 1 degree in average temperature change. (i.e. 12k years ago we had 100ft sea level rise ... uhh)
Being outside most of the year? Overrated.
In chrome, you can also do cmd+shift+a. Perhaps Ctrl+shift+a in windows.
Very interesting interview packed with demographics' science: https://www.youtube.com/watch?v=uNdnlrkx-wg
Sounds like a niche waiting to be mastered, then.
Anyplace in Europe I suppose.
And I think plenty of other US cities.

The bay is actually not very progressive. Economically I'd say it's purely neoliberal. We simply refuse to inconvenience the rich to fix things.
Literally anywhere in Europe outside of Poland or Hungary ?
There are other factors too, sure. But I’d like to remind here that wars killing people too soon are still a thing, now even in the Global North. If you have any means to help to bring end closer to these current issues, please do so.

We have tech community (some of them YC alumni) delivering essential equipment (trucks, generators) to the chrisis zone for example. Today west seems to be already tired of the news and this is exactly what the conflict starter counts on.
Ok, but there are "committed conspiracists" and "misinformed conspiracists" or people who haven't thought things through very well, and the latter group(s) may benefit from being able to speak their opinion freely and hear counter-arguments.
Tesla claims to have 90..94% motor efficiency. With model Y using 13kW per hour, even if you count all 6-10% of this as heat, and manage to capture it, it'll still be hardly enough to keep the car at a comfortable temperature without additional heating.
He's just parsing the whole thing wrong.

It's a pretty standard rhetorical device in everyday speech. Consider Passover, "why is this night different?" The answer is not "because it's Passover". Your attention is being directed to why the night is different, why is it remembered, what does it commemorate, or why is it commemorated?

The birth of Jesus, death, and resurrection are meaningful events at the core of Christianity, that's why they get holidays. Let me direct your attention to what happened on Christmas and why we celebrate it, Jesus was born. It's just not a strange construction in English or any language. Even if it was called Jesus's Birthday, what happened on that day? The Son of God was born.

What happend on your birthday? Well, N years ago, you came out of mommy's tummy. I'm sure virtually every parent has said that to their child at some point. Only the autistic kids said "that's a tautology" (I can say that, I'm autistic)
I kind of agree, use the terminal a lot and am satisfied whenever I don’t need to look up a command.

However, the point of it isn’t knowing as much of it by heart as possible. That is really misguided. I use tldr a lot, and it often covers the exact case I’m after.

So a tool based on ChatGPT has the potential of replacing tools such as tldr. Anyone unwilling to use it will simply fall behind and slowly become a worse developer.

Outsourcing knowledge and capabilities (externalising aka only remembering pointers to knowledge sources over the knowledge itself) is a core pillar of human intellectual advancement, if you will. It started with printed books, and now we’re here, discussing AI tools. I’m convinced if one doesn’t incorporate them, one will increasingly fall behind until one isn’t able to keep up anymore. These tools are here to stay, and we’re just seeing the beginning (GH Copilot etc. etc.).
Longitude and latitude would for many instances save a lot of time and trouble, all one needs is a map, even a paper one and a human at the delivery company could work out before hand if the location is near a valid address.

I reside in rural area in North Australia. Most companies and even the govt went with google location services. I see plenty of lost souls on the back road near me, I know why, google location has the address another few miles from where they actually are. They should use apple's service. The rural area around me ten years ago could count on to the door delivery, it probably relied on someone looking at an online map. Present day as most do rely on google location which in my area is so broken, (this is separate to their own map which is often right) most of the deliveries are now left with the nearest local post office or a store that agreed to be a delivery point - while customers are still billed for a home delivery.
I wanted something that I could organize "my way" and thought the html format was interesting since I could connect pieces of information together. Also something I could edit and update quickly - I settled on the combination of desktop+wiki+html...

So about 5 odd years ago I started using zim https://zim-wiki.org/index.html (there are other tools too, I have just gotten used to it) - everytime I searched for something, read something interesting or learned something new, I would add it to my zim install.

Over time, this has become the first place I search or refer to for anything - frequently I find more useful and contextual information here as compared to a search engine. This is becoming my backup brain.
There is also prime rib, but I don't know of a rib that is only divisible by itself and 1.

The problem is that human language is very imprecise and requires too much context to determine the correct meanings of words. If the whole corpus of training data did not inherently have this ambiguity, training an AI would be much simpler and I think such simple ambiguities would be eliminated. The author did not specify which definition of "prime" in the prompt. By clearing stating "prime number" there is no ambiguity, and ChatGPT gives the correct answer.
Ask HN: How do I start to learn how ChatGPT works?
I’ve dabbled in NLP a couple times in my career for basic things like NER regexes, CoreNLP and Spacy but I feel a little bit lost on where to begin for the new generation models coming out. I know they are on the bleeding edge but I’d like to have some intuition around how they work and how the data is gathered.

Is anyone able to recommend a textbook, some white papers or online classes?
You would have to acknowledge that plastics are subsidized in part because they are ubiquitous, absolutely essential to modern life, and will not be going away.

You could also acknowledge that climate change science and climate change politics hold a rather different set of "beliefs", we can call them, the solutions offered are hardly the same and are not entirely justified in either case. Particularly when the known cost to humanity by effecting these solutions (bad) must be weighed against a possibility of a less desirable future based largely on statistical extrapolation.

We might also say there has been a fair number of Chicken Littles wildly exclaiming this and every previous decade to be (/was?) our last on earth.
Who cares about the UNIX certification
The US military just shifted its bloody campaigns in Afghanistan and Libya to a bloody war against Russia, a focus of its new massive military budget while it cries poverty regarding the needs of even its own workers for domestic programs.

That the Christian holiday is tied into the US military apparatus with its imperial bases and adventures throughout the world is no surprise.
>The hidden cost of storing data for Mastodon on S3 is the Requests. There are so many requests! I’m seeing about 40-50K requests per day!

There are S3-compatible object storage providers that have no per-request fees, and significantly lower bandwidth and storage fees. Examples – OVH, Scaleway.

I had an use case for object storage where my service would be uploading tens to hundreds of small objects per second, 24-7. Running some napkin math, it looked like AWS S3 costs for me would have been in the hundreds. I went with OVH, and have a €1 monthly bill for the object storage :-)
In Meson in none of the sides is messy... at least Idk what you find difficult or frustrating. Options are options and they are all typed... lists, booleans, numbers, strings, combos...
Teachers definitely deserve more as they can shape the future. Absolutely agree with that one.
Children live with their parents until their thirties nowadays. You mean he still has another 18 Christmas eves left.

That is why life is short. The barriers to young people are growing bigger and bigger. Their adult lives keep getting shorter faster than their lifespan increases.

80 years is not a short period of time by any stretch of the imagination.
> i wonder how this approach would work once you have kids and they start school.

Simple solution: don’t have kids.
100%. Land use policy in CA (and the US more generally) is insane. Suburbia/car-dependency is a terrifically bad policy decision that CA _heavily_ bought into. We may need to wait for the boomers to die out a bit more before we can fix it.
I'm charmed by the suggestion that these lyricists of yore would have rejected any words that were trite and obvious; after all, these are hardly constraints on their fellows today, as listening to much modern music for five minutes will confirm.
Thanks for putting yourself out there and offering a way for people to reach out to you. Only through great suffering we learn to cultivate selflessness, and eventually grow into better people. Merry Christmas.
> You could edit a wiki article...

Yeah, "doing for others" is the point of life. I would argue it is an avenue in life, a very good avenue, and I don't discredit its morality, or correctness. But it is not the point of life, per se.

You do for others for your own peace of mind, so that you can live, day to day, as you approach your death bed. Your doing for others is your avenue to a clear conscience. Play the "why" game on that one for long enough and it ends in "because bad is bad, and I don't want to feel bad infinitely". This is why I argue that your death is the point of life. It's your destination, it's why people freak out about leaving a legacy. Death is the great motivator.

You wouldn't "do for others" if it was established wisdom that "doing for others" meant some experiential equivalent of eternal damnation. It's not that doing for others is wrong or something, it's just that it has an ontological derivative.

If we did for others despite our deaths, I think that Adam Smith would have been lambasted as a heretic, and I think communism would actually work.
She was contacted via her email address at "RECEPTIO", the company she now directs. It's not clear whether she is still currently working as a professor, despite still using the title.

"RECEPTIO is an independent, non-commercial research centre under private law (run by the International Philological Society), whose members do not receive any pecuniary benefit from their research activities."
6 cents a call is the rate breakdown... that doesn't seem as much a fine as it does a business cost.
>And worst of all, why can’t I use newline characters in my chat prompts?

You can, just hold shift and press enter. Like many other text input elements in numerous applications.

As far as documentation and how to modulate behavior, you are human. You should be smart enough to understand and figure out that AI systems of today are still young with equivalent intelligence of a teenager, as you suggest. Use your soft skills as a human, lest today's AI turns you into an example of Roko's basilisk in the future.

More generally, if you want to learn how to use ChatGPT, you should learn how to use a language model, because that's exactly what it is.
Can you say more about how that world would work?
I think from my college days, the people sitting towards the front using their laptops for things other than class (especially watching videos).

Someone who ONLY takes notes shouldn't be a problem at all. Someone courteous dims their screen and again only uses it for note taking. Definitely not a problem.
> The point of the ZFC axioms was never to write down actual formalizations of complicated proofs. It was to provide a small, parsimonious foundation for all of mathematics with a minimal number of "obvious" commitments, to give us confidence that the mathematics we're doing is consistent, and to provide a basis for metamathematical investigations.

I came to a different conclusion: they very much meant to ground mathematics in ZFC formalisms — and went to the effort of projects like Principia trying to achieve that. ZFC was a failure in this regard, almost immediately replaced by category theory and type theory.

> To object that it's impractical to write a complicated program like a computer algebra system using the Turning machine formalism misses the point.

No — it’s exactly the point.

That’s why we replaced Turing machines with type theories, lambda calculus, automata, etc. Our modern research uses these formalisms because they’re outright better.

> OK, so what are the concrete fruits of this?

Translating a type theory into a AST; translating an AST into bytecode. White boarding to design software. Formalisms for Feynman diagrams and similar.

Then you have that sheaves are the natural language for data fusion and sensor integration - which doesn’t apply to people who don’t know the topic, but is an industrial reason to learn it.

On the purely mathematical side, topos theory is what has shown relationships between many areas of mathematics, by showing when you translate those theories from their own language into categories you get equivalent structures.

> What new metamathematical statements - recognizable to an ordinary mathematician with no particular interest in topos theory or HoTT - has this led to?

This is also a weird demand while leading off with how people don’t actually work in ZFC.

Nevertheless, topos theory is what explains the algebra-geometry duality: you have two languages (type theories) that map to isomorphic categories. You can then extend that idea to things like the Curry-Howard square.

https://zmichaelgehlke.com/images/curry-howard-square-graphi...
Didn't she steal from some rich people as well? They will make sure she is punished.
Ah yes. Adam. Noah. Isaac. And yet, literally no historical record shows that anyone ever lived that long. And if you believe that the Bible is the only historical record we have of those times, boy do I have a bridge to sell you.