Peter Gregory was already a fascist in 2014 https://www.youtube.com/watch?v=cAxzkl2cmNY&t=67s

https://youtu.be/OD6L0yw8xqI

I do share Gad Saads's point of view that credentialism has been running wild, that people that allegedly are experts avoid questions regarding logical consistency, on which they don't have a monopoly compared to any other person that is a curious and reflexive observer.

I do share Gad Saads's point of view that credentialism has been running wild, that people that allegedly are experts avoid questions regarding logical consistency, on which they don't have a monopoly compared to any other person that is a curious and reflexive observer.

and then run away when the real army comes, if it does at all because Rogan never invites the army. They just say "I'm a comedian" when is time to assume their responsibility.

Even more, Smith and others mentioned in the debate actively avoid contrasting their ideas with people that are unquestionably experts in the field. I call this "intellectual terrorism", because people like Smith shoot against the innocent in Rogan's podcast

While Smith still can question Murray, he can do it from the point of view of logical consistency, which is independent of Murray's experience. But he doesn't do that, he has been talking endlessly about things that need to be experienced and contrasted, without ever doing so, like a compulsive liar.

Douglas' statements have more weight as testimony, because they were made by a person that has journalistic integrity and was in the place to report about what happened.

An argument makes sense independently of who says it, a testimony doesn't. That's why a compulsive liar is not a valid witness. Testimonies are highly dependent on the context around them.

Saying Douglas Murray is appealing to authority is a straw man, because we have to recognize the difference between argument and testimony.

Now the cool kids can name some fallacies, let's go deeper into the subject: Logic is not gibberish that allows you to justify absurdities, Logic basically studies what *makes sense*. Because of that it permeates science, philosophy and public debates. https://open.spotify.com/episode/0U7nssZVG3bzjDEOZDukoj

https://github.com/lamg/wybe/

#fsharp now we have a proof checker embedded in F#'s computation expressions WIP

@UrsEnzler I managed to get something working, you can see it here https://github.com/lamg/structor/blob/2701f1e7ff74bcd20cdb58baef30e826d0f211f3/StructorLib/FileGraph.fs#L181

@t4rzsan Thanks, I'm looking for something closer to FsAutocomplete and FSharp.Compiler.Service

Hey #fsharp I'm trying to create a graph with all the function calls given an F# project. Any example code I could read to figure that out?

I have played a little bit with OpenAI's new iteration of #GPT, GPT-o1, which performs an initial reasoning step before running the LLM. It is certainly a more capable tool than previous iterations, though still struggling with the most advanced research mathematical tasks.

Here are some concrete experiments (with a prototype version of the model that I was granted access to). In https://chatgpt.com/share/2ecd7b73-3607-46b3-b855-b29003333b87 I repeated an experiment from https://mathstodon.xyz/@tao/109948249160170335 in which I asked GPT to answer a vaguely worded mathematical query which could be solved by identifying a suitable theorem (Cramer's theorem) from the literature. Previously, GPT was able to mention some relevant concepts but the details were hallucinated nonsense. This time around, Cramer's theorem was identified and a perfectly satisfactory answer was given. (1/3)

After five demanding days in space, Polaris Dawn splashes down safely

They flew high, they walked in space, and finally early on Sunday, they landed.

https://arstechnica.com/space/2024/09/after-five-demanding-days-in-space-polaris-dawn-splashes-down-safely/?utm_brand=arstechnica&utm_social-type=owned&utm_source=mastodon&utm_medium=social

A big round of improvements in our latest release of Copilot Workspace.

https://github.com/githubnext/copilot-workspace-user-manual/blob/main/changes.md#-13-september-2024

Early version of VSCode extension, faster iteration, clearer UX for plan revision, first steps towards a new experience for exploring how to solve your issue and much more.

Copilot Workspace integrates with GitHub - with one click you can open it from any issue - explore the task, draft a specification and plan and implement changes.

The short version is: communism never works because nobody knows how to implement it, and those who insist it does fill that void with repression.