This is great news. I've been sponsoring ggml/llama.cpp/Georgi since 2023 via Github. Glad to see this outcome. I hope you don't mind Georgi but I'm going to cancel my sponsorship now you and the code have found a home!
I don't know if this will help, but I believe that all of mathematics arises from an underlying fundamental structure to the universe and that this results in it both being "discoverable" (rather than invented) and "useful" (as in helpful for describing, expressing and calculating things).
> but I believe that all of mathematics arises from an underlying fundamental structure to the universe and that this results in it both being "discoverable" (rather than invented) and "useful" (as in helpful for describing, expressing and calculating things).
That is an interesting idea. Can you elaborate? As in, us, that is our brains live in this physical universe so we’re sort of guided towards discovering certain mathematical properties and not others. Like we intuitively visualize 1d, 2d, 3d spaces but not higher ones? But we do operate on higher dimensional objects nevertheless?
Anyway, my immediate reaction is to disagree, since in theory I can imagine replacing the universe with another with different rules and still maintaining the same mathematical structures from this universe.
There are legitimate questions if physical constants are constant everywhere in the universe, and also whether they are constant over time. Just because we conceive something "should" be a certain way doesn't make it true. The zero and negative numbers were also weird yet valid. How is the structure of mathematics different from fundamental constants, which we also cannot prove are invariant.
Not OP but I think they are making a slightly different claim — that the universe sort of dictates or guides the mathematical structure we discover. Not whether they hold everywhere or not.
Yesterday as we huddled in the cave, we thought our small remnant was surely doomed. After losing contact with the main Pevek group last week, we peered out at the drone swarm which was now visibly approaching - a dark cloud on the horizon. Then suddenly, at around 3pm by Zoya's reckoning, the entire swarm collapsed and fell out of the sky. Today we are walking outside in the sun, seemingly unobserved. A true miracle. Grigori, who once worked with computers at the nuclear plant in Bilibino, only says cryptically: "All things come to an end with time."
Thanks. I just thought, wouldn't it be interesting if the singularity didn't fix the 2038 problem.
It's 3pm instead of 3am since I figure AI military drone swarms wouldn't care about timezones, and you can guess from the place names that the survivors are somewhere in Kamchatka at +12.
Back in like 1998 there was a group purchase for a Y2038 tshirt with some clever print on some hot email list I was on. I bought one. It obviously doesn't fit me any longer.
It seemed so impossibly far away. Now it's 12 years.
that was precisely my reaction as well. phew machines will deal with the timestamp issue and i can just sit on a beach while we singularityize or whatever.
having played that when it came out, my conclusion was that no, i will definitely be able to be on a beach; i am too meaty and fleshy to be good paperclip
Hm. Mixed feelings, I would like a more rigorous approach to this a lot better. CF is really too big to fail now, I've had absolutely no qualms about recommending CF but after the last couple of months I'm revising that until things are measurably better.
Your legacy is one of showing how to apply good engineering principles to complex problems at scale and I think CF is risking that reputation right now.
the one where a handful of people can coordinate to shadowban / flag
unclear if its the one where the official HN mods (there are only 2) believed to be the ones doing this
the reality is that the official mods are largely hands off, when they do get involved, more often than not it is to reverse a community flagging action, which is where most moderation happens, at a large enough community scale that a handful of people cannot wield this much flagging power
If you believe unjust flagging has happened, the best recourse is to email the HN mods, the are very friendly, helpful and fair
If the story has enough votes before then, it is only downweighted, and only a bit at a time. Same with the flamewar detector, it just pulls stories down a bit. After the score is more than (I think?) 10 votes, it won't get entirely flagged unless mods decide it should.
Today, I am revising Portuguese grammar and so I've mostly been exploring the things I can remember well and those that I can't. Portuguese has a lot of verb forms that I need to get right. But it also has really interesting constructions like "ir ter com" which literally means "to go to have with" but is an idiomatic way of saying "to meet up" (with someone) and I keep remembering and forgetting it.
The phrase looks like "intercom." Maybe visualize some kind of mnemonic based on that -- buzzing the call button at a friend's apartment and asking if they want to meet up.
reply