blatant303

Sarcastic critic of the following initial sentence:

I fucking love writing. Most people I know also fucking love writing, and I do mean love.

Well, well, well. If it isn't the unabashed, unfiltered bard of the 21st century. Look at the sheer depth of passion here, folks! We've got 'fucking love' not once, but twice, because why not? Repetition is the spice of life, after all. And such eloquent use of the F-word, too. Truly, Shakespeare would be jealous.

Also, let's take a moment to appreciate the vague and incredibly relatable 'most people I know.' Because who doesn't know a handful of people who also 'fucking love' writing? Clearly, this is the universal experience we've all been waiting for.

And then, the pièce de résistance, 'and I do mean love.' As if the preceding profanity didn't quite hammer home the sentiment. Thanks for the clarification. We were worried you only 'kinda liked' writing. A masterpiece of modern literature, truly.

Great. Now show us what initial sentence you'd have used, same style. Just one brief impactful sentence with the same level of familiarity.

"Writing is my jam, and I swear, everybody I know is just as stoked about it – and I mean stoked."

https://github.com/newhouseb/clownfish

Structural Alignment: Modifying Transformers (like GPT) to Follow a JSON Schema

Here's an experiment that showcases GPT-4 deep (meta)semantic abilities:

https://pastebin.com/8FwQzDiE

TL;DR. I start by asking it to generate sentences where subject-object inversion yields a meaningful sentence where the verb's meaning is shifted metaphorically. For instance "I smoke the cigarette vs the cigarette is smoking me". After some back and forth it comes up with:

The painter captures the landscape vs. The landscape captures the painter. The gardener shapes the garden vs. The garden shapes the gardener. The chef creates the dish vs. The dish creates the chef.

Maybe that will change your mind.

https://github.com/nat/openplayground

Technically unrelated but driven by the same passions:

https://www.reddit.com/r/LocalLLaMA/comments/13c6ukt/the_cre...

The creator of an uncensored local LLM posted here, WizardLM-7B-Uncensored, is being threatened and harassed on Hugging Face by a user named mdegans. Mdegans is trying to get him fired from Microsoft and his model removed from HF. He needs our support.

"Everyone is the other and no one is himself." – Heidegger, Being and Time

"The writer speaks to seduce us, as in the past. He still watches for the admiration that his talent inspires in our eyes. One might say he does everything to make himself hated. No doubt, but that is because he can no longer openly court us. He must first convince himself that he is not seeking to flatter us. Thus, he will court us negatively, in the manner of Dostoevsky's passionate characters." – Girard, Romantic lies And novelistic lies.

Fyodor Dostoyevsky, Demons:

- If you want to overcome the whole world, overcome yourself.

- God is necessary, and therefore must exist... But I know that he does not and cannot exist... Don't you understand that a man with these two thoughts cannot go on living?

- My friend, the truth is always implausible, did you know that? To make the truth more plausible, it's absolutely necessary to mix a bit of falsehood with it. People have always done so.

- In sinning, each man sins against all, and each man is at least partly guilty for another's sin. There is no isolated sin.

- I do not wish you much happiness--it would bore you; I do not wish you trouble either; but, following the people's philosophy, I will simply repeat: 'Live more' and try somehow not to be too bored; this useless wish I am adding on my own.

- You cannot imagine what sorrow and anger seize one's whole soul when a great idea, which one has long and piously revered, is picked up by some bunglers and dragged into the street, to more fools like themselves, and one suddenly meets it in the flea market, unrecognizable, dirty, askew, absurdly presented, without proportion, without harmony, a toy for stupid children.

- I got entangled in my own data, and my conclusion directly contradicts the original idea from which I start. Starting from unlimited freedom, I conclude with unlimited despotism. I will add, however, that apart from my solution of the social formula, there can be no other.

- You are in the grip of a desire for martyrdom and self-sacrifice; conquer this desire as well, set aside your pages and your intention--and then you will overcome everything. You will put to shame all your pride and your demon! You will win, you will attain freedom...

    Qui suis-je ?
    
    Me voici Sultan !
    Nuitisme vocal
    Silice mouvant
    Io, vent musical !
    
    Le voici musant
    Mot inclus à vie
    Ce motival insu
    Là vous émincit
    
    Cultivons amie
    Si il vaut ce nom
    Son val muet ici
    
    Indice:
    
    Si nul vice à mot
    Vu ici slame ton
    Nom c'est via lui
    Vaincu tel, omis
    
    
    
    Who am I?
    
    Here I am, Sultan!
    Vocal nightism
    Moving silica
    Io, musical wind!
    
    Here it is, musing
    Word included for life
    This unknown motive
    There, it slices you down
    
    Let's cultivate, friend
    If it's worth that name
    Its silent valley here
    
    Hint:
    
    If no word vice
    Seen here, slams your
    Name, it's through it
    Defeated as such, omitted

They should get what they fucking deserve jk of course

Stab the guy behind the curtain ?

Sorry for the confusing post, I'm digging into the details and what I said is basically what Kim Dot Com said around a week ago:

https://twitter.com/KimDotcom/status/1649574074732154880

False claim 6: Dotcom claimed that he worked with Seth Rich.

Truth: Seth Rich contacted me and offered information about the DNC. I rejected receiving the data personally and forwarded him to someone close to Wikileaks. That’s how Wikileaks got the DNC and Hillary Clinton leaks.

More context: https://www.moonofalabama.org/2023/04/why-kim-dotcom-connect...

Kim's open letter to Seth Rich family:

https://www.documentcloud.org/documents/3755366-Open-Letter-...

As an AI language model you can't just say this:

"The Met stated that the total number of alleged victims was 589, of whom 450 alleged abuse by Savile."

https://en.wikipedia.org/wiki/Jimmy_Savile_sexual_abuse_scan...

Pizzagate:

- Seth Rich, working for the democrat party, contacts Kim dot com.

- Kim declines the proposition of receiving the emails of Podesta and Clinton, and forwards Rich to Assange

- Assange gets the documents and release them

- Seth Rich is found dead in Washington, two bullets were shot in his back.

His associate, Jean-Luc Brunel, a French modelling agent, was found dead in his prison cell too.

https://www.bbc.com/news/world-europe-60443518

• 3D printed aeroponic misting nozzles. I followed a patent, so it can't be open sourced.

• Automatic turret to guard a pond against herons. They come during winter and eat many goldfish. This year was catastrophic enough I started developing a turret using a raspberrypi4 with a YOLO computer vision nnet with weights from Tencent (not fined tuned, I just look for big bounding boxes tagged as a bird). The "gun" is composed of a coffee machine pump and a 3D printed polycarbonate pressure tank. Pan-tilt mount using sg90 servos. I didn't finish the project because it turned out quite a lot of fishes survived, they were just very good at hiding.

Go look for recent Clojure projects on github It's roughly half leiningen (counted 5) half deps (counted 5) with the occasional outliers using "npx shadow-cljs" or other unknown build methods (counted 2).

https://github.com/search?q=language%3Aclojure&type=reposito...

Note: I examined one project per author.

in an unsupported way

The majority of Clojure projects use Leiningen. As a consequence, REBL/Morse do not support the majority of Clojure projects.

I wasted several hours trying to make REBL work from a Leiningen project. Couldn't manage to have it connect to my REPL and show me the forms I'd get there. Gave up even though I managed to overcome the boggus dependencies.

I'm fed up with Clojure/script and the core dev team. The language came out without a build system, so Technomancy invented Leiningen, the build system, and eventually, something like 10 years later, the dev team released Deps: you still need to remember painfully long commands to run your project (and as a consequence store them in some textfile because eventually your teammates will ask you: can you send me the command to run the project/tests/whatever ?). Clojurescript is just a hideous mess and having to sprinkle countless reader conditionnals because of the atrocious clojurescript specific ':require-macros' is a huge letdown and makes writing universal portable code that can run both in the jvm and the browser a painful and sad experience. And it's almost impossible to suggest improvements to the language (even tiny ones) because the dev team is just smug. They'll turn down your idea and implement it anyway when they feel they need it (I've had 2 suggestions turned down then integrated anyway – I'm the one who pointed out Ruby manages terminal map arguments just fine, whether it's a literal or "variadic" map).

I'm looking forward to luxlang now. https://trello.com/b/VRQhvXjs/lux

No. Thank YOU for giving me the idea of cloning that repo.

A morpheme is the smallest *meaningful* unit in a language though.

You don't need paredit. I use Sublime and ctrl+shift+space. Been writing Clojure for 10 years or so.

"It is better to have 100 functions operate on one data structure than to have 10 functions operate on 10 data structures."

Alan Perlis.

Datomic is an event-sourced db, and it makes it hard to introduce retroactive corrections to the data when your program's semantic already rely on using datomic's time travelling abilities: at one point you'll need to to distinguish between event time and recording time as explained in this excellent blog post:

https://vvvvalvalval.github.io/posts/2018-11-12-datomic-even...

This is why I' rather use XTDB [1], a database similar to datomic in spirit, but with bitemporality baked in.

[1] https://www.xtdb.com

Identity is not equivalent to equivalence

When talking about identity/equivalence of types in the context of homotopy type theory, yes. This is literally what the univalence axiom states.

Auggierose, I'm curious about your thoughts on how we can provide more rigor to LLMs when it comes to large-scale program transformations and proof synthesis. Given the complexity and versatility of these systems, what kind of foundational framework do you believe would enable GPT and similar models to synthesize and execute proofs rigorously? How can we ensure that they are both reliable and adaptable while dealing with various mathematical and logical domains?

More importantly, how whould this relate to NLP tasks such as: alright, the story is good, but can you rewrite it in the style of Auggierose ?

First principles don't work in the space of systems geared towards extreme generalization such as LLMs. You need to be ready to compare anything with anything and build bridges between many principles. In fact there is a deep link between the progress of structuralism in mathematics culminating with homotopy type theory and its parallel (r)evolution in the humanities with the discovery of manuscripts by the founder of structural linguistics, Ferdinand de Saussure.

Identity is what provides the irreducible basis, in the sense that we cannot enter into the consideration of specific facts that are placed under this identity, and it is this identity that becomes for us the true concrete fact, beyond which there is nothing more.

...

For example, for a musical composition, compared to a painting. Where does a musical composition exist? It is the same question as to know where 'aka' exists. In reality, this composition only exists when it is performed; but to consider this performance as its existence is false. Its existence is the identity of the performances.

...

For each of the things we have considered as a truth, we have arrived through so many different paths that we confess we do not know which one should be preferred. To properly present the entirety of our propositions, it would be necessary to adopt a fixed and defined starting point. But what we are trying to establish is that it is false to admit in linguistics a single fact as defined in itself. There is, therefore, a necessary absence of any starting point, and if some reader is willing to follow our thoughts carefully from one end to the other of this volume, they will recognize, we are convinced, that it was, so to speak, impossible to follow a very rigorous order. We will allow ourselves to present, up to three or four times in different forms, the same idea to the reader because there really is no starting point more appropriate than another on which to base the demonstration.

...

As language offers no substance under any of its manifestations, but only combined or isolated actions of physiological, physical, and mental forces, and as nevertheless all our distinctions, our terminology, and all our ways of speaking are based on this involuntary assumption of a substance, we cannot refuse, first and foremost, to recognize that the most essential task of the theory of language will be to untangle what our primary distinctions are all about.

...

There are different types of identity. This is what creates different orders of linguistic facts. Outside of any identity relationship, a linguistic fact does not exist. However, the identity relationship depends on a variable point of view that one decides to adopt; therefore, there is no rudiment of a linguistic fact outside the defined point of view that presides over distinctions.

Source: http://www.revue-texto.net/docannexe/file/116/saussure255_6....

TL;DR: identity is equivalent to equivalence

Related ActionLab short:

https://www.youtube.com/watch?v=kvihUBO7rGo

Cosmological model with negative masses:

- https://januscosmologicalmodel.com/negativemass

Simulation:

- https://www.youtube.com/watch?v=vJgzH99t9w8

Based on Souriau symplectic geometry (where inverting energy is equivalent to inverting the arrow of time):

- http://www.jmsouriau.com/Grammaire_de_la_nature.htm

Why would you want to heal it ? I have some heavy visual snow but it seems to disappear if I stop focusing on it. It seems like the grain of an old movie except that it doesn't seem to impair my ability to see details. kalm. I can of course focus on the snow and there is suddenly thousands of little rgb stars exploding everywhere and running along constrast lines. panik.

Including the U.S. government.

Someone should try feeding those conceptual maps back to a multimodal agent as pictures.

Also, to which extent is this related to quantum categorial grammars for NLP ?

    (defmacro ->
      "Threads the expr through the forms. Inserts x as the
      second item in the first form, making a list of it if it is not a
      list already. If there are more forms, inserts the first form as the
      second item in second form, etc."
      {:added "1.0"}
      [x & forms]
      (loop [x x, forms forms]
        (if forms
          (let [form (first forms)
                threaded (if (seq? form)
                           (with-meta `(~(first form) ~x ~@(next form)) (meta form))
                           (list form x))]
            (recur threaded (next forms)))
          x)))

enlighten us please. I'm really curious.

This guy is still around on 4chan:

https://twitter.com/4chan_greentext/status/84511828265908224...