ak_111

Yes I should point out that I am a noob in this area, so you might be right in calling me out. My understanding is that CT was invented in part to provide a robust foundation for algebraic geometry, so it is quite ironic that people are now involved in trying to rework the foundation of the foundation.

This title is a bit ironic when you consider the fact that one of the motivations of inventing category theory is to provide a foundation for many branches of mathematics

It works perfectly on Gnome (ubuntu) though. There is simple toggle you have to do in one of the standard control panels as well.

I am surprised this issue is not gaining traction with the KDE crowd, as I imagine a substantial part of the userbase are emacs users and used to emacs keybindings.

I am used to having "Emacs key-bindings" on both gnome and Mac (so that for example ctrl-a will always go to the beginning of a textbox no matter the application, such as chrome).

For some strange reason this seems to be very hard thing to set up on KDE or am I missing something?

Actually things did happen in 2001 (9-11), 2008 (GFC), 2012-2015 (Eurozone crisis), 2020 (Covid) and 2022 (Russio-Nato war).

Each of these came very close for a major market depression (except 911).

The fact that none did only instilled in lots of people's brain to take an incremental bit more insurance in the form of gold (if you were to replay Covid or GFC today, what odds do you put that it won't lead to a great depression?)

Also you can argue that the gradual rise is tracking almost exactly the gradual geopolitical paradigm shift from unipolarity to multipolrity.

I know, my point is that it is not directly backed by gold, but indirectly you can make the point there astronomical gold reserve comes into play if gold prices go insanely high.

I always wonder why gold going this high is seen as bearish to the dollar as the US currently holds 8,133.46 metric tons of gold, more than the next three top holders combined (Germany, France and Italy) and almost twice as much as China and Russia combined (although no one really knows how much China holds).

So I would be far more concerned on the impact of gold price going high on other currencies that are not backed by as much gold before worrying about the US.

I asked chatgpt to write a short fable about the phenomena of vibe coding in the style of Aesop:

The Owl and the Fireflies

One twilight, deep in the woods where logic rarely reached, an Owl began building a nest from strands of moonlight and whispers of wind.

"Why measure twigs," she mused, "when I can feel which ones belong?"

She called it vibe nesting, and declared it the future.

Soon, Fireflies gathered, drawn to her radiant nonsense. They, too, began to build — nests of smoke and echoes, stitched with instinct and pulse. "Structure is a cage," they chirped. "Flow is freedom."

But when the storm came, as storms do, their nests dissolved like riddles in the rain.

Only the Ants, who had stacked leaves with reason and braced walls with pattern, slept dry that night. They watched the Owl flutter in soaked confusion, a nestless prophet in a world that demanded substance.

Moral: A good feeling may guide your flight, but only structure will hold your sky.

It might not lead to singularity but for people who work in academia, in terms of setting and marking assignments and lecture notes, for good or bad AI has had an enormous impact.

You might argue that LLMs have simply exposed some systematic defects instead of improving anything, but the impact is there. Dozens of lecturing workflows that were pretty standard 2 years ago are no longer viable. This includes the entirety of online and remote education which ironically dozens of universities started investing in after Covid, right around when chatgpt launched. To put this impact in context, we are talking about the tertiary and secondary sector globally.

You are not making your point any favour. It is right that everyone is calling you out for your xenophonbic BS.

If it grew 10x between 2001 and 2009 (starting from a very small base), then between 2009 and 2023 it grew by only 0.3x (see graph below).

So rate of growth went from 10x to 0.3x in around a decade, this is a hugely significant deceleration. It actually implies muslim community as portion of population is heading lower.

https://new.islamchannel.tv/wp-content/uploads/2024/04/63860...

I appreciated Dilbert, but then he started showing up in my timeline amplifying pro-Gaza bombings tweets.

I was surprised and disappointed with that as those Hasbara takes were the geopolitical propoganda equivalent to pointy-hair boss's office politics speech balloons ("the only way to rescue the hostages is to bomb everything, including the captors... and the hostages").

He is not in the author list, just acknowledged by the authors.

As poster dead deep in the thread below, something like this can happen

doc_format = get_user_input() parsed_doc = foolib.parse(doc_format)

You as the implementer might know the user will never input xml, so doc_format can't be 'xml' (you might even add some error handling if the user inputs this), but how can you communicate this to the compiler?

can you elaborate what is the simpelist alternative?

Isn't there some contradiction in your comment, I would have thought that distributed programming is precisely the thing that server side programming needs most?

which is better?

Dependency and build management is a fascinating and still unsolved problem in software engineering (in some sense it is the central problem).

I am wondering if there is a good modern reference that provides a conceptual overview or comparative study of the various techniques that have been attempted.

It is a hard subject to define as it cuts through several layers of the stack (all the way down to the compiler system interface layer), and most book focus on one language or build technology rather than providing a more conceptual treatment of the techniques used.

"dependency" here I guess means something higher-level that your compiler can't make the assumption you will never use.

For example you know you will never use one of the main functions in the parsing library with one of the arguments set to "XML", because you know for sure you don't use XML in your domain (for example you have a solid project constraint that says XML is out of scope).

Unfortunately the code dealing with XML in the library is 95% of the code, and you can't tell your compiler I won't need this, I promise never to call that function with argument set to XML.

Good point, but I suggest if you think of this fund as basically the GDP of Norway than just another hedge fund, losing 0.6% in a quarter is slightly bigger deal than you make it. Like a G7 country's GDP contracting 2% in a year.

What happened to UML? I remember it was everywhere in enterprise computing 20 years ago but seems to have disappeared now.

Is it still around or did it go the way of SOAP, Java Applets? If not, what has replaced it?

Has anyone thought/experimented of a variant that works a bit like the starting phase of Risk: pawns are as they are classically, but players take turns in the beginning phase placing their other pieces in their respective bottom/upper file.

Replit is a bit strange phenomena, they clearly are creating a huge buzz online, but I mingle a lot with university students and academics and I hardly ever heard anyone mentioning using, even sometimes when I explicitly ask them they don't seem to have heard of it?

Generally curious if it is gaining traction and somehow I haven't bumped into others who use it.

The way you described TV app and Apple TV+ makes it sound that they are identical or am I missing the difference?

Possible, but if you look at the graduate students and lecturers behind many of these IPs you will find they are Chinese (or Russians or Iranians).

This is the paradox in those who are championing barring Chinese students from the US to prevent them from stealing IP, they don't see that at least 50% of this IP is generated by students from China, in a way they will be handing the CCP a gift by incentivising those students to remain in China.

That's what I am saying, Musk shenanigan so bad they EVEN vindicated CCP.

He single handedly also vindicated one of the most authoritarian regimes - China - in how it slapped Jack Ma as soon as he started entering politics and gaining influence beyond tech entrepreneurship.

Many are saying that Apple can't comply without breaking EU GDPR. Hence Apple has been put in the situation where they are forced to accept either operating in the UK market or the EU market.

So my question is (am genuinely not being snarky) why would the UK gov put Apple in this situation? The current leader (Starmer) is a lawyer surely he must have been aware of the legal predicament this would put Apple in, what is the intention behind asking for something that you are fully aware there is absolutely no chance they can comply with?

It's actually difficult to work out the affiliation of the authors for non-Chinese. SJTU = Shanghai Jiao Tong University, but couldn't work out GAIR and IIS.

The LLM can generate the correct search space for the problem, but identifying the solution within the search space is inefficient?

Another way to put this: most of students who study the lecture notes for their high school math already have it within them to get a gold on olympiad (the math itself is not more advance than their high school) but getting a high school kid to get gold on olympiad is hard. It might be something similar to P vs NP.

Would you say they were more vulnerable if the PRC kept it secret so as not to disclose their edge in AI while continuing to build on it?