skysight-inc/HackerNews huggingface dataset:
Were these bureaucrats just waiting in the wings for an excuse to pounce
with regressive policy?

Yes. American culture has always been a tug of war between puritanical norms and libertine norms, and we're seeing the latest mutation of the puritans taking over. It doesn't seem that way, because this iteration of the puritans have co-opted the language of the libertines, but if these university administrators were transported back in time, they'd be enforcing Prohibition laws with equal zeal. Transported further back in time, they'd be organizing the expulsion of Catholics, Quakers and other "heretical" religious sects. There is, and always has been, a large segment of America which looks at the average frat kegger the same way that a Taliban mullah looks at a collection of unveiled women. They hate fun, and, given a chance, they will do their utmost to banish it. And if fun can't be banished, it will be regulated into submission.

Of course, they don't do this for themselves. No, of course not. They do it to improve the moral worth of the people. Their zealotry is driven by the purest of intentions.

Who decides who has sour grapes?

The ones who have placed themselves in a position to define which grapes are or are not sour: the aforementioned bureaucrats.
UAP does hockey-stick turn in Solar and Heliospheric Observatory footage
Who else noticed the UI update in Hacker News for Christmas?
Firstly, I wish everyone a merry Christmas.

If you log onto Hacker News everyday, you'll notice that a lot of changes have happened in the website.

For starters: the navigation bar's color has changed to a slightly darker shade of red, rather than the orange background.

The top post numbers are now in alternating red and green colors (christmas colors).

I couldn't have been the only one to notice, right? In the beginning I thought something was messed up - only to realize what day it was today.
Ok, sorry for misreading you!
As a followup, this proof has now been declared as fatally flawed by John Carlos Baez, with some additional analysis by Noam Zeilberger. The argument is beyond my personal mathematical knowledge, but I would consider this a pretty definitive verdict.

[1]: https://mathstodon.xyz/@noamzoam/109567981846531700
> It was the same way when I was in college and it will remain so as long as we have colleges. Colleges have always had to keep an eye on students and rein in problematic behavior.

Except we know this is not true, because plenty of other countries don't expect universities to micromanage their students' personal lives.

Your comment is a great example of, "well this is how it currently works in America, therefore it must be this way universally for all time." Please try to account for other countries existing before issuing sweeping generalizations about human nature. There's more to the world than just the US.
It's even worse for city drivers doing short trips. The engine doesn't have time to heat up properly before you reached your goal. Fuel efficiency is abysmal and the exhaust treatment systems barely work.
Google has orders of magnitude more page views than OpenAI and is a top 10 brand in the world in terms of marketing.

I feel like operating the largest search engine in the world, the largest email service in the world, a top 5 cloud computing platform, etc etc qualifies them pretty well to run… a better search engine, or whatever LLMs grow to be.
New minerals discovered in massive meteorite reveal clues to asteroid formation
I remember reading your blog post a year or so ago when I was really starting to dive into OSM contributions and community. I guess I don't have much to say other than thank you for caring about the future of OSM (as many do) and writing your post. I'm sorry to hear you've been attacked!! I'm hopeful too that much needed political and technical changes will come eventually, even if late. Thank you for your contributions to the community and data.
I bought a LaserJet 5MP ages ago and I've been itching to print raw PostScript on it. This was one of the last HP printers that didn't have the PS ROM built in. I guess at some point the license fees became cheap enough they could ship it.
Didn't also raise of Linux sped Sun's demise. In early 2000's the private compute farm of the org I was working had a mix of Solaris and Linux machines, with Solaris hosts outnumbering Linux hosts. Within couple of years with aim of uniformization all hosts were standardized to Linux.
Warren Buffet is pretty diversified, owning stakes across many different sectors. He’s also advocated investing in index funds with the old ‘time in market’ line
> ChatGPT is more intelligent than your average day to day human expression of themselves.

It may be just a difference in goals. That guy that you discuss with for one hour that he cannot return a dead dove to the animal store is no stupid, he is just very motivated to not understand the situation as not understanding gives him a change of economic gain.
Emailled.
These are fair points, thank you for bringing them up.

I admit I'm still skeptical that the cities won't find a way to tie this shit up in courts, but it's be great to be proven wrong.
I own a one-person wholesale bakery. My boss is a jerk.

Best to everyone.
> That is, to one without a hammer, nothing looks like a nail.

They irony of this is that for one with a hammer, everything looks like a nail.

The real problem is that programmers have spent far too much time worrying about efficiency in the wrong places and at the wrong times; premature optimization is the root of all evil (or at least most of it) in programming. Donald Knuth.

Knowing when to apply something is just as important as know where
Super Star Trek in the Browser
A mobile-friendly web remake of the 70s Super Star Trek.
Sure you can find hotel rooms for $150/night, but for moving a family? As I said they're going to be too small or in too rough of a neighborhood. For instance the Extended Stay in San Rafael starts around $120/night after all the taxes and fees. It's also downwind of a sewage treatment plant, right next to 580, and in a fairly industrial area.

At that price point in the city you've got options with, e.g. Travelodge, and you can choose between being right next to the freeway or in the middle of the meth epidemic. For a single occupancy room $150 would potentially get you something comfortable, but for moving a family? Not so much.
Somebody may have noticed.

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

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

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

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

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

https://news.ycombinator.com/item?id=25535332
https://www.nytimes.com/2022/12/02/business/stock-market-ind...

The actual stat they provide is:

> And over a full 20-year period ending last December, fewer than 10 percent of active U.S. stock funds managed to beat their benchmarks.

Still, if it was 1 in 300 I think they would say “fewer than 1% or fewer than 0.5%”. So I’m assume between 9 and 10 percent beat the S&P.

I suggest reading the linked article with the mindset that nearly all of the content comes from S&P directly. It’s basically a market piece. For instance, when they say the mutual funds don’t perform consistently, they use a crazy metric of picking the top 25% performers from one year and seeing how many are in the top 25% next year. Basically their point is that mutual funds won’t beat the S&P every single year, and therefore the S&P is better. But if course, unless you’re only investing for a single year, you should care more about the expected total return. Just my two cents.
There are reasons why the community leadership was poor. It had to do with both the culture of the project (being a grass roots project) and then a fear of change.

That fear came from lack of vision. Without a vision to to work towards, forces tended to see the best path forward as "No change", since no change is safest.

I hope that this new entity can do something good with this data, and use their vision to build something really great!
I believe the cynicism starts when one scores the big pile of the ready, and slowly realises that very few of one's new peers have arrived there on the startup path, but in general have preferred marriage and inheritance instead. (theft, thankfully, not being so common in Cambridge circles)

(OTOH, "homies on lock / for insider trading"
https://www.youtube.com/watch?v=JaXZI81gRvk

fwiw my spouse doesn't interpret this ad as parody: "for once you send me a video with normal people in it")
I'm guessing you mean clicking the scroll wheel, which is awesome and I'm surprised that's rare.
It cracks me up that both AWS and especially Azure overcharge for logging to the point that it’s easy for logs to cost more than the underlying system they’re monitoring!

If you sit down and work out their cost of data processing, it costs them cents to provide a service for which they charge tens to hundreds of dollars.

I figure the reasoning is that large enterprise requires logging for compliance, and it’s a hidden charge that’s easy to overlook in a bill.
I currently have my server at home connected via wireguard to a VPS. On that VPS, I run Caddy and have it reverse proxy back to my server over wireguard.

If I were building it out today I might just use tailscale and be done with it.

I'm not sure about whether every device is a replica of the server. I believe that's the case (given how they behave when the server is offline) but that doesn't figure into my recovery plan.
I saw a screenshot of it on /r/aviation, and I thought I'd find the actual PDF on Jeppesen's website after a Google search.

I can't seem to find anywhere on Jeppesen's website which lists all their commemorative charts, unfortunately. There are some more interesting ones:

- 'Miracle on the Hudson' approach: https://ww2.jeppesen.com/wp-content/uploads/2019/04/us-airwa...

- AOPA (Aircraft Owners and Pilot Association) 80th anniversary approach: https://ww2.jeppesen.com/wp-content/uploads/2019/07/AOPA-80t...
> and basing his entire decisions on what the car's guess-o-meter says for remaining milage is pretty crazy IMO.

What are you supposed to base it on? Does your EV come with a working crrystal ball? Should I read the car's horoscope?

I mean, really, I've read stupid statements, but blaming the user for trusting the displayed battery capacity on a device really takes the cake.
$100M is not ultra high net worth. and also absolutely no one here is talking about “wealth preservation.” what I was saying is that none of even those “ultra high” earners made their money diversifying.

once you are super rich surely you’ll set some money aside to make sure you stick around in high society. but no one - not a single soul has ever gotten rich that way.

I have no idea what your 2nd paragraph is for…?
The quotation marks are misleading, as they do not appear in the story or comments.
Vulnerability analysis and subsequent exploitation development. I would obviously need way more time than that to be good at it but I've always found the topic interesting.
> so long as the namespaces guarantee uniqueness in the package identity

There are existing issues from this not being the case. Uniqueness of names can only be guaranteed in a single repository and this causes many problems for people pulling from multiple enterprise repos (because everyone packages their own ruby for example). Then they start using omnibus packages instead with their own libraries up to libc, which... it's basically half of poor-mans nix-store.

> Many people like Nix, but many people also don't understand how it works, and thus it will work until it doesn't, and then you'll be stuck.

Considering git still uses sha1 and just about all of web cryptography uses sha1 or sha256 for signatures, block deduplication uses typically 128b hashes, etc., we'll have other problems way before this becomes a problem for nix.

Basically you're worried about a collision in nix, when the whole stack of 10 different things leading to you even reading an article about nix already relies on no collisions.

This will not be an accidental issue within multiples of our lifetimes, and malicious actors will not 0day some nix package in public.
The last time NORAD worked together with Google was back in 2011:

https://web.archive.org./web/20120108000436/http://www.usato...

https://web.archive.org/web/20120119095752/http://www.networ...
VS Code Shortcuts to Code Like You’re Playing the Piano
AWS Pro level Cert.
Building sciences. How to build economical, high performance multi family housing.
Which is a reason why I don't like it here: they're infantilizing the adults who use their products.
Short of building the client yourself, I don't believe it's practical to verify that.

I haven't been willing to take it that far yet, though that appeals to me.
Hey! we did 2 events in Taipei in 2022 w/ 30-40 ish people attending each time. We will try to keep it running regularly in 2023. Happy to join force if you want to help making it happen more regularly!

https://www.eventbrite.com/e/taipei-hacker-news-meetup-1-tic...

https://www.eventbrite.com/e/taipei-hackernews-meetup-2-with...
And similarly, people need to reminded that after nitrogen fertilizers, famines and hunger are a regular feature of human existence.
I have that exact setup and haven't had that experience.
It would most likely be opt-in, as a form of this is already a thing in some place - you can choose to have the power company reduce the power of your cooling/heating during peaks in demand in return for a discount on your power bill.
It’s nice to still have people such as yourself in the world — Merry Christmas as well!
If anything, human life got remarkably longer in the last century. Any feeling that it is "too short" is not an objective reality (compared to what?) but indicates the failure of collective societal mechanisms to put the individual at emotional ease with reality and their existence and role in it.

Eliminating all existential angst of the human animal is likely impossible as various absurd religious constructs (after life, reincarnation etc) testify. But modern society performs significantly below par by failing in more basic ways.

Excessive individualism, disconnecting and disregarding those living next to us, before us and those living in our future hence not living also through them is the main cause.
They do it every year!
> Americans, can we stop this failed experiment

It's been pretty successful for a "failed experiment".
Is it possible that channels previously subscribed to have changed their name and topical focus? This has happened quite a few times for me.

I myself think I've only experienced the opposite; mysteriously becoming unsubscribed to channels I am 100% sure I would never unsubscribe from under any circumstances.

Unsurprisingly these tend to be channels with a political bent.

Returning to my initial question, I have had a lot of channels which I've found myself wondering "when the hell did I subscribe to that?!" Only to realise it's an old creator who shifted focus.

It also wouldn't suplrprise me if sometimes channels get bought up for commercial purppses, which sounds more likely given your description of the mystery content you're seeing.
That’s a pretty broad definition, and one that GPT-3 doesn’t have difficulty meeting.
Ask HN: How easy or difficult is it to overtrain using bodyweight workouts?
I have heard quite a bit about strength training on HN, though it may not be the main focus of this site. As a programmer with a desk job, I don't want to live with back pain starting as early as my 30s.

I have weighed several options and calisthenics or bodyweight workouts stand out to be the best option for me as I can do them from my home.

Now my question is: I hear that in the gym if you train full body more than 3 days a week, it is very easy to overtrain and halt progress. But, using calisthenics, is it possible to train full body everyday? Has anyone been doing it? Or will it lead to overtraining very fast?

I found a youtube channel called Kboges: https://www.youtube.com/@Kboges where the trainer advocates for daily training without going to failure. Maybe a few sessions to failure. The training style is very simple: One push, One pull and a Lower body movement, daily 7 days a week for 3 to 5 sets.

I would love if you share your experiences regarding training calisthenics in different styles and the results and wisdom you obtained.

My goal is to put on muscle and be generall fit and strong to move around till old age. I do not want to get huuge, I am not suggesting it is easy to get big, people always get me wrong, I am just stating that is not my goal.
You seem to have no idea what Yoel Roth's job was.
I worked at a obline gambling/games company for 5 years. I think half of the people started a company while working there. Nobody worked 40 hours. Maybe 10,20 or so. Company was basically a automatic train with everybody having a party on it.
I've lived in the Bay Area for my entire life and am considering leaving only because it's not progressive enough. The Bay and most of California is only progressive on inconsequential social issues. Housing? Homelessness? Fucking Houston Texas is more progressive than us.

Frankly, I blame the venture capitalists. They have turned what was once a vibrant region I loved into a soulless husk of itself though money. Our local politics have become unbearaable. Anything that would slightly impact a VC donor is immediately shot down.
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. (Roughly speaking - this compresses a lot of history. Also ZFC may not be the optimal set theory for doing this, and its choice as the standard foundation is somewhat historically contingent.)

A good analogy is the idea of a Turing machine in theoretical CS. It's an idealized model for studying the theory of computation. To object that it's impractical to write a complicated program like a computer algebra system using the Turning machine formalism misses the point.

> The key idea of univalence is an axiom that says equivalence is equivalent to equality; and that if we only want equivalence as our standard, that we can substitute proofs of equivalence for proofs of equality.

I just said I don't want equivalence to be equivalent to equality!

> The main insight is that topology of diagrams determines the semantics of your logic; which helps us explore concepts like abstraction and proof simplification. (This relates to topos theory — which creeps up in CS fairly often.)

OK, so what are the concrete fruits of this? What new metamathematical statements - recognizable to an ordinary mathematician with no particular interest in topos theory or HoTT - has this led to?
Self-checkout is amazing! Not the old-school ones with finicky scales as described in the article, but the ones where you grab a small handheld scanner when you enter the store. Then you scan items as you pick them up from the shelves and bag them immediately in your cart. The checkout process then just becomes a quick tap to pay for your items.

Saves so much time and hassle.
There's no evidence he acted on personal bias, and the US government never asked or told Twitter to do anything.

Other than that, your knowledge of current events is spot on.
>more or less count tokens

Which is what I meant by saying "approximate" because it can "count" the number of tokens.
I live in a small village. In it (and in neighbouring villages) the checkout ladies appreciate (even when it comes with some minor work) the occasional small talk.

(That said, in larger urbanised areas I appreciate self-checkout, because the former cashiers are now free to be wandering around the store, and very helpful for answering questions on locating items)
Will power even be a thing?

Rolling power outages in many states last couple of days. Many forms of energy are being retired faster then wind solar are being brought online.
At one point there was a huge filtering effect on who got into the best schools, if you start with and concentrate top performers you get good results no matter what; and can set a faster pace in addition.
The proportion of legacy and diversity students (combined with the national push for a reduced emphasis on objective testing) completely eroded this.

Not only are the students of less quality, the pace has to match the bottom, so they don't fail out all the special entries.
Rapid thread devolution
almost all the undergrad students at elite schools are elite students. That is not at all true of second tier schools. That doesn't mean you can't find and establish a cohort with great students at a lower tier school, and the professors at lower tier schools are often excellent, but it's simply not true that you can move down the bell curve of board scores and not notice; though a friend of mine was fond of saying, "you need to live in a tall building to be able to see everybody else who lives in a tall building."

Why are people so willing to accept that from childhood leagues to professional, in basketball, football, soccer, etc. society scours and finds all the best players, and nobody is out to prove that it's not true, but that somehow we as a society are incapable doing it in intellectual fields? Does that mean that no player who didn't make it as a pro wasn't close, or that every pro player works out? No, but within the stochastic variance, sure.
> and don't already have a circuit in your garage for an electric oven or electric clothes dryer. I suspect the same is true for other locations in the world

Only North/Central America and Japan uses ~100V systems. The rest of the planet uses ~200V systems where more wattage in your outlets is standard.
Edit - deleted a lot of net worth info. Not needed here. Suffice to say I have assets and am successfully investing.
Kind of cheerless but I enjoyed this Nuclear Weapons Anthropologist's critical take on the NORAD Santa thing.

https://mobile.twitter.com/NuclearAnthro/status/134189570521...
The worst I've seen was power at my work would shut off for a second or two and come on, but it did it every 8-15 min. Meanwhile at my home, 15 min drive, it never shut off.

These articles come across like they're hoping it will happen. :/
They are talking about 2000-2021; what I mentioned is from 1970 (again, that is from memory, I don't have the book in front of me, at the moment). But almost surely that number is nowhere near 10% that can beat S&P in the last 50 years.

Not a lot of funds even continuously exist for 50 years - most of them closed.
I could be wrong, but to me this feels like one of those things that eventually gets an open implementation -I'm a little surprised it hasn't already. Of course a large part of what makes it interesting is the training which required millions of dollars -that's a hard thing for a few hackers to reproduce in their spare time.

That doesn't mean there will never been an open chatgpt though; just means it'll be a bit of a wait.
I'm curious about the party story
Making a Server Mastodon-Compatible
Qt on MCU (2018)
X11 Conservancy Project
Ask HN: What festivities besides Christmas do you celebrate in your companies?
Christmas is probably celebrated in most companies - especially in the "western world". But what about other festivals like Hannukah, Qwanza, May 5 :-) etc. - Do you celebrate these in companies and get time off for them?

Please answer with: in which country, which days you get off, which days you celebrate, and what you do during that time to "get in the spirit".

For example:
Christmas in Germany is 2-3 days off (paid), but it starts about 1 month before with Christmas markets, Christmas lights in the streets and lots of cookies and mulled wine. In companies, a Christmas tree is often decorated, cookies are provided, and a Christmas party is held one evening in December with all employees.