skysight-inc/HackerNews huggingface dataset:
>6. Are these finite strings of symbol sequences – the form of our mathematics and languages – necessary features of physical reality, or do they instead reflect the limits of our ability to formalise aspects of reality?

No, the symbols are the map, not the territory. We know formal systems are incomplete thanks to Gödel. Informal systems, on the other hand, can keep going. If we find a bit of territory that we can't describe, we'll invent or refine existing symbols to the point that we can map it, and then continue.
Added this to my list. Is Peter Jackson just focusing on documentaries nowadays?
Fuji have some nice lenses.
one of them is right below you
Dude what are you talking about?

Nuclear power is the safest known form of energy, statistically speaking.

Even the worst nuclear energy disasters in history killed like 50 people, whereas millions die from fossil fuel air pollution every year.
Is there some reason you chose not to use local browser storage? Seems to me it's both more convenient (and private) for the user, and less work for you to host.
People using Rust will pay a productivity tax
Show HN: Compass and Ruler construction problems as puzzle game
Ecocoru is a puzzle game where you have to solve compass and ruler construction problems. The game mimics compass and ruler and let you draw straight lines/segments and circles/arcs. You can also view and explore a solution for each problem. A basic knowledge of well-known results of Euclidean geometry is needed to play the game. The game has over 70 problems.The game is designed for full-screen mode and the use of the mouse.
I had been intrigued by Lisp for years, but it was Julia's roots in Lisp that finally got me to explore the Lisp languages. I actually haven't used LispSyntax.jl, but it's close to what I'd like to have in a language.
Or whether they're warehoused in a prison for $40K a year, fed back into middle-class paychecks and upper-class stock returns.
It’s not moving the goalposts at all. There are a million alternate histories that were extremely unlikely to ever come true, like benevolent EU sprouting out of nowhere and providing free healthcare all over the world, or there are the “almost-true” alternate histories, like Germany winning WW2 or USSR winning the Cold War or Japan conquering and holding all of Asia.

Of the almost-true scenarios that were available in actual reality, we got a pretty good one with regard to US hegemony.
The one that drives me nuts is

select this,count(*) from that group by this

which is the most common data exploration query of them all which makes you type ‘this’ twice.
An example prompt for a recent image I generated: "skull::0.75 of a woman with long hair, ornate::0.9, hooded::0.7 robe::0.7, highly detailed::0.8, decorated, full body, standing in a mystical::0.8 forest::0.7, style of Aleksi Briclot, realistic::-1 photoreal::-0.7, --no water --no sky, --ar 4:5"

Prompt aside, the final image took me about an hour to make, rerolling a number of times to get the composition I want with the base v3 algorithm, then upscaling and then remastering with the --test --creative --upbeta mode, and rerolling again until I got the final remaster just right.
The cool wineries, microbrews, and distilleries leap to mind when you think about alcohol in Oregon. Raising taxes would hurt sales of these small businesses that bring tourism to small towns. But by admitting alcohol taxes would harm sales we also admit it would have the desired effect of lowering consumption. This disconnect is that a tax lowers consumption across the board, but we only want to lower excess consumption. One thing that might be tried is a form of rationing. This would lower sales but still allow casual consumption to continue. Rationing would be politically unlikely to happen, but capping the size of containers and packages could have a similar effect. Rationing has happened during COVID in Pennsylvania and Australia has started monitoring consumption by taking IDs. Sweden famously had the Bratt system instead of prohibition.
Meanwhile the elites of the world are keep buying up waterfront properties. Weird! By this logic, you'd see the elites buying up real-estate in places deeper inland.

Another thing to note, is that there are billions of dollars going into new commercial properties which are meant to be around decades. Why would any financial entity finance/insure such a project if all the projections show the project to be doomed?
Here is a list of the best documentaries since 2000 according to the Chicago Film Critics Association: https://en.wikipedia.org/wiki/Chicago_Film_Critics_Associati...

You will also find several categories of documentary film in Wikipedia links here: https://www.locserendipity.com/TitleSearch.html?q=documentar...

Categories include:

Documentary films about the media: https://en.wikipedia.org/wiki/Category:Documentary_films_abo...

Documentary television series about astronomy: https://en.wikipedia.org/wiki/Category:Documentary_televisio...

HBO documentary films: https://en.wikipedia.org/wiki/Category:HBO_documentary_films

Documentary films about space:
https://en.wikipedia.org/wiki/Category:Documentary_films_abo...
Getting between San Antonio is currently a poor experience that really holds back that idea to me. I35 is absolutely no fun during peak usage and requires car ownership. The train is insanely cheap but too slow and leaves once per day at extremely early / late times between the cities. Nicer busses like the Vonlane don’t run between the cities.

High speed rails would absolutely transform the paradigm overnight. It would solve a lot of affordability issues in Austin while introducing more money into the SA economy. As it currently stands, SA has virtually no tech scene (relative to other major cities), is too sprawled out, and too much effort for people to want to commute between regularly in my opinion. It’s a hard sale for younger developers. There’s a lot of potential though!
> for example unintentionally relying on type-checking bugs, or unstable features accidentally stabilized, or implementing traits on a struct when the library doesn't control both of them.

One of these things is not like the other. Implementing your own traits on foreign types isn’t “unsound”, it’s an absolutely normal and reasonable thing to do.

Steve specifically said “unsound”, which means something specific. He didn’t say “doing things outside the bounds of what the Rust change policy guarantees”.
>Also it seems like these small planes have a lot of incidents, I'm guessing due to relatively inexperienced pilots?

There's also less redundancy in the plane overall so if something goes wrong it's more likely to lead to serious issues. A large commercial plane has multiple pilots, engines, power sources, control surface systems, computers, sensors, etc.
The last commit before that was in Februrary 2022.
So what does it mean by "the website is hosted green"? It seems to me that this is just a list of website hosts known to be green by some criteria, regardless of whether the website will eat your CPU with tons of scripts or communicate with N different services?
I like this approach, but find it hard to deal with the somewhat inefficient tuition fees that you get doing one course at a time, at the school I've been to. The one course ends up costing quite a lot
> Thank goodness for the Europeans, they may not have reliable power but if they did they won't have to search around for the right cable

yeah... about that.... we in fact have electricity in the outlets, we have countries where the grid has lower chance of a power outage than the chances of a UPS failing. We dont have people rushing to buy gasoline for their generators as soon as a wee bit of bad weather hits..

hows it going in california right now? Babylon bee had a pretty funny, atleast from an outsiders perspective, "news" article:

https://babylonbee.com/news/california-man-takes-his-fiance-...
Because talking about “laying the continent barren” was not hyperbole.
Well it is "probably safe" until some even greater catastrophe then the ones hitherto occurs, then it isn't probable any more. Nuclear has that potential, and if you deny that then you are either ill informed or dishonest.

Deep geothermal is what will probably totally obliterate any lingering doubts about the blessings of nuclear, so I'm fairly optimistic about where this is heading.
> If it’s a ccTLD (2 characters) not of your own country, don’t take it. Eligibility rules routinely change and you could get kicked out overnight. UK residents lost eligibility to .eu with Brexit for instance.

But British people were in the EU when they bought their domains. More generally, even if you pick a ccTLD of a country that you live in, how are you supposed to predict whether your specific area will split off and become a separate country?

I think ideally in those cases the people running the Internet infrastructure should be compassionate rather than spiteful, and just let you keep your old domain even if they won't let you register new ones. But that's obviously not what happens.
Nice idea, but I honestly don't think it has much value for study. It was a solution to a problem which is no longer important, and what impressed David (and was fun for me) was implementing it under constraints (8086) that are no longer relevant. I would vote for some of the other stuff mentioned by others, like TeX as an example of mastery of both the application requirements with beautiful algorithms and inspirational documentation, PostgreSQL as a thriving large system with brilliant modularization that has enabled research, or LLVM as a pinnacle of code generation which has enabled a golden era of language and hardware design over the last 20 years.
I'd be more worried by the registrar stealing your domain once it becomes successful. Does that happen in practice?
> As others have already asked, could you expand on this? Very interested.

I started undergrad in my 30s, and also majored philosophy for similar reasons. It really is the most rigorous non-STEM undergrad degree you can get. And for people (like myself) who can’t pass calculus, but are still fairly intelligent, it can easily be parlayed into a more technical graduate program.
see my answer to rogerkirkness
Why would that even make it anywhere, to be honest? The relevant lobbyists have a vested interest in having those games go away - they only like retrogaming insofar as they can make money from it. They'd much rather people be playing versions of games that they have remastered or rereleased, than the original copies that exist (and that they make no money from if one acquires them secondhand). Many major studio heads have spoken, openly, about their disdain for the secondhand market's mere existence.

No, the actual way forward for large scale preservation requires donning a pirate's hat. The people really doing legitimate preservation work are largely doing it outside of the purview of the copyright holders (and often in direct opposition to the rightsholders' desires). This has always been the case and will continue to be the case as long as copyright remains in force in the current form.
That's...worse. Isn't "using" it to make sure it's unused till you get paid worse than it not being used right now but open to being usefully used by someone who intends to fully use it in the future?
"Necessity is the mother of invention" Proverb of unknown origins. Earliest reference Aesop's fable.

I've been quoting the proverb for a long time. Thank you for the quote, I feel it says basically the same thing but I appreciate the different wording and that it is attributed to Plato.
I hear a lot of non-engineers say this. Talking about formal logic, and how philosophy and math were once the same discipline, how math proofs are akin to philosophical arguments etc.

I don't think this crowd would get much out of it.
eenie meenie miney mo
The RAM that is available is faster and the SSD is also quite fast, but it's a little bit misleading to claim that an Apple Silicon Mac with 8 GB of RAM performs similar to an Intel Mac with 16 GB RAM. The Intel Mac will actually almost always perform worse and run hotter with CPU-heavy (but not memory-constrained) tasks, no matter the amount of RAM it has. But if the Apple Silicon Mac has to read / write constantly to and from swap and the Intel Mac doesn't (assuming whatever you do doesn't require an Intel Mac with 16 GB of RAM to swap), you will still notice a difference.

Overall I would still prefer an Apple Silicon Mac especially if it's just for testing purposes. It's not like one Electron app will require constant swapping. An M1 Mac mini with 8 GB of RAM is perfectly fine for that.
It is easy to cheat on minecraft. It has a completely broken security model.
> But how has CRISPR benefitted from covid?

I imagine it's on the comment because it was used to create many of the non mRNA vaccines.

But I don't think it got popularized. It was already widely popular.
>7. How would our perception of reality change if human mathematics were expanded to include infinite strings of symbol sequences?

We can't do that, but we don't need to anyway.

Strings are geometric in expressive power. Elsewhere in the article they state that the limits to human knowledge are universal.... meaning that we can understand everything in the universe, which seems effectively infinite already.
> It doesn't expand into anything. Spacetime is all there is. As it expands, there's just more of it.

But what if it isn't, and everything except for space is actually shrinking, galaxies, nebula, stars, planets, are actually getting smaller at a fantastic rate?

I'm not serious.
> It'll happen eventually I hope.

It's already happened, but obviously it's easy to miss since by definition you're looking for submission titles that don't mention Rust. It feels like nearly every day this week has had a Rust project on the front page of HN without a mention of Rust in the title.

Here's one with 252 points from 2 days ago: https://news.ycombinator.com/item?id=32777909

One with 687 points from 4 days ago: https://news.ycombinator.com/item?id=32746258

One with 188 points from 5 days ago: https://news.ycombinator.com/item?id=32733069
> Shortly thereafter Google started hiring them by the truckload. I wish I had ignored him.

Google hires people without PHD by truckloads too, if anything they hire more ppl without phds.
These predictions get made every few years. The target date just keeps changing so that it's always far enough away to seem plausible and near enough to seem scary.

Meanwhile there are photos all over the place of waterfronts that are supposedly at risk with a photo from 100+ years ago and a photo from today with no visible difference.

Maybe water levels will rise materially someday. It could happen. But these predictions have always been nothing but propaganda. (It's not an accident that the article here is in "politicopro")
All the iOS 16 Features You Won't Get Until Later This Year
TIL. Thanks. That notice Le Figaro was a great find, but not quite as dramatic.
I'm saying that tired light makes an incorrect prediction: that (absent some incredible coincidence) the CMBR will not have the density of blackbody radiation at the same spectral temperature.

It also falsely predicts that SN light curves are not stretched out at higher red shift.

Theories that make incorrect predictions are dead theories. We know for sure they are wrong.

This has nothing to do with the Big Bang, btw. Science works by killing theories, and tired light has been slain. It would be ruled out even if there wasn't an alternative theory available.
This looks very fun! It reminds me of a game called Euclidea that I played and enjoyed a while back, though the interface for this looks pretty different.

https://www.euclidea.xyz/

Congrats on the release!
As a reply to a post about intent (quoting that Palestine did this), your additional context is about as relevant as the price of tea in China.
Who can make the best lifeforms? Artificial Life Tournament [video]
For a text editor, Lexical looks promising

https://github.com/facebook/lexical
DotNEXT Libraries
Because it's vastly less important than cost.

Solar and wind look bad compared to nuclear power if you only compare land use whereas the opposite is true if you compare costs as well.
FWIW, the font on that blog post is not Iosevka,

You can find Iosevka here -> https://typeof.net/Iosevka/
I just love this analogy.
Steve Jobs' Daughter Shares Then Deletes Meme Mocking iPhone 14's Upgrades
RustConf 2022 – Weird Expressions and Where to Find Them [video]
What happens if the investment fucks up, and the registrar goes broke? Where does the domain buyer get the next renewal for free?
Yes things could’ve been different and maybe better if you subtract huge amounts of reality (like the existence of rival empires)
Not sure what relevance that has here. Semver is just a tool to manage communication among a group of decentralized humans. Communication is always hard.

I personally use semver where I can, especially when I intend for others to use my code, because it is exceptionally good at signaling "this release may require some manual changes or extra work." And because it's good at that, tooling has been built up around it that makes it ever better.

Of course, semver has exceptionally small bandwidth. And sometimes people can disagree about what a breaking change is (does increasing the toolchain version required to build your library constitute a "breaking change?"). And sometimes behaviors of code are so difficult to specify that breaking changes may happen unintentionally.

And yes, things get overhyped. That's been happening with all sorts of things in tons of different contexts. I fail to see how it's an interesting remark in this case.
The dev community seems to love to drop frameworks they don't love rather quickly, as a React guy I think this will happen to React too when something even a little bit better comes along.
Java is essentially dead for new projects, even though 5 years ago it was king.
People love Python so they keep it alive. I still see projects using Python/Django as the main backend in 2022.
As to Typescript, I think it focuses on the wrong problem so I agree with your thoughts there. Optional chaining fixes most issues what Typescript would solve.
An interesting point. I wonder if the knowledge contained in github copilot could somehow be extracted to come up with suitable semantic abstractions.
My advice (I am doing this now) pick your profs carefully and talk to them about your situation. Some will love having you, and will completely understand that you are not in the same place as other students. Make sure the directors and supervisors of your program are happy to have you and know why you are there.

Some profs (usually younger!) have this attitude that if you come back to school you should be prepared to live just like the other students. They can have a bad attitude to you out of the gate, especially if you are financially more successful than them and have to occasionally make other things a higher priority. Unfortunately insecurity can be found anywhere. These people can be a real pain in the ass as a mature student and are best avoided.

So whatever you do, make damn sure your supervisor(s) want mature students! I am fortunate that mine are great - they love having me, and we've had frank conversations about how I will hand in A+ material every time, but sometimes I have adult responsibilities I have to deal with instead of making a class.

It's really nice not to be beholden to anyone else's funding. I pick my topics, I pick my thesis, I don't owe anyone anything there.
I worded my reply poorly. I mean to say, Your notion or model of the universe is all downstream of assumptions that redshift can only be related to the Doppler effect (apparently there are a couple types of Doppler effect as the article mentions and links to info relating to "a normal Doppler redshift"). If everything rests on that assumption, it would be something to scrutinize if more and more observed astronomical data continues to pour in contradicting the big bang or expanding universe.

Separating "space itself" from the objects that are governed by universal laws is like saying there could be a north pole without a planet such as Earth. Take away Earth, you have no north pole. Take away objects in motion, you have no basis for talking about spacetime. That's just my intuition, but it seems to point to a gap in explanations, at least from science popularizers.
However, if the game is possible to run, that creates the opportunity for there to be new fans of the game. If you can't run the game at all, there's zero chance that can ever happen.

Preserving the games themselves, including server components or emulators, is key to this. As it stands, it already requires there be someone with the personal interest in a specific game, and the technical ability to crack it. Without that, such a game won't be preserved no matter what. Requiring publishers to make such things available at some point can only help. It removes or mitigates that later requirement.
It looks great, and there's definitely an art to prompting. But whether you created the exact composition as we were discussing still isn't solved for me. It's not full body, there's barely something that looks like a skull, and it's off to the side.

It's a very interesting question that I think we'll be debating and thinking about for some time.
Tell HN: Sudden Chile daylight savings time rules change causes chaos
The government of Chile changed the local rules for daylight savings with approximately 30 days notice.

A lot of chaos has resulted, at least according to Reddit [1], which is where I found out about it.

Media doesn't seem to be reporting much on this, the most I've been able to find is one article from before the changeover [2] and a changelog for the IANA tzdb [3].

[1] https://old.reddit.com/r/talesfromtechsupport/comments/x9kr4...

[2] https://www.theregister.com/2022/09/07/microsoft_windows_chi...

[3] https://data.iana.org/time-zones/tzdb/NEWS
The characteristics that I think contribute are extreme attention to detail, patience, ability to extrapolate from examples encountered to fine-grained concepts, and lots of practice either on the job or via other transferrable field or hobby. Having a strong sense of how machines work, as in being able to guess which tradeoffs will pay could be a power-up. Typically, a person who wants to learn for its own sake and enjoys hard challenges like a game.

Being able to adapt and relate, draw analogies from different situations and subject areas can be a big boost in ability to come up with outside-the-box solutions. I think most of this sums up to thinking abstractly most of the time, rather than when necessary, or 'architect'ing. When something doesn't work, it didn't merely not work, it didn't work because... of some specific aspect or misconceptualization.

Subdividing a problem can be done many different ways. We want to separate concerns, but which ones, in what order and by what means. Keeping both higher-level and lower-level concerns in mind simultaneously speeds filtering of possibilities to something that has a good chance of working out.

Another good one is knowing what's fair game to modify when coming up with a solution is larger than one might think. Beyond the code, there's toolchains, data formats, even UX or documentation could be part of the answer.

Edit: I can't stress enough the importance of naming things. If you're bad at naming things, it could be you don't know or aren't even choosing the things consciously. Often, you start out needing a name for something but put in the time to think "what is it, why is it, is it more than one thing?" when you pick out names. I think practicing good naming probably gets you moving along the right path. Keep things as simple as you can, don't add to cognitive load by naming similar things with arbitrary differences in their names.
I find CTEs (the WITH statement) greatly improved my ability to run more complex queries because they offer an abstraction I can use to name and compose queries together.

SQL views are useful for that kind of thing too.