One theme of modern thought has always been the need to understand reality systematically in light of the achievements of modern science...
#philosophy #epistemology #BertrandRussell #anwhitehead #KarlPopper #science #logicalpositivism #mind #nature #culture #williamjames #spinoza #GeorgWilhelmFriedrichHegel #quine #historyofphilosophy #reality
https://philosophyindefinitely.wordpress.com/2020/12/25/the-re-emergence-of-emergence/

Next episode of Super Tipiak75: all stars in AoC world. ⭐

Day17 was interesting : part1 involved running machine language on an imaginary CPU and lookup output, pretty straightforward. Part2 was about modifying the output in order for the program to output a quine. Pure logic and little coding got me that last star in the end.

I just completed "Chronospatial Computer" - Day 17 - Advent of Code 2024 https://adventofcode.com/2024/day/17

#AdventOfCode #php #programming #quine

C. F. Santos が批判する、直観に基づく論理学における「直観」は心理主義的な意味におけるそれだが、哲学における直観は超越論的でありベイズ主義的なものではない。つまり、超越論的な直観と論理体系は整合しうるが、心理主義的な直観と論理体系は独立したものでありうる。これは超越論的言語観と同型をなす。超越論的言語観において、私の言語は世界に等価である。同じように超越論的論理観では、私の直観的論理体系は先験的でしかありえない。論理における反例外主義（AEL）において修正される直観とは、心理主義的な意味におけるそれであり、超越論的なそれではない。

dos Santos, César Frederico (2021). Intuitions, theory choice and the ameliorative character of logical theories. Synthese 199 (5-6):12199-12223.

#論文メモ #philosophy #logic #Quine

What philosopher are you?

https://www.gotoquiz.com/which_philosopher_are_you

#philosophy #philosopher #quine #wittgenstein #sartre #camus

gur desire to design a #fractran #quine tatoo, but also gur lack of standard/defacto output systems for it making it less doable

#quine #commonLisp #functionalProgramming #lisp

((LAMBDA (X &AUX (XX (EVAL X))) (LIST (FUNCTION-LAMBDA-EXPRESSION XX) `',X))
'(LAMBDA (X &AUX (XX (EVAL X))) (LIST (FUNCTION-LAMBDA-EXPRESSION XX) `',X)))

dedicated to @brokenix . In my last version, I forgot to make the lambda expression list back into a quoted list.
@Reiddragon @mdhughes @louis

EDIT: Somehow even more elegant

I made an interactive quine.Un fichier HTML qui se met à jour quand vous l'éditez. un peu comme TiddliWiki, mais dans une version minimaliste https://www.pbt.dev/blog/quine/ #html #quine #bizarre #programming

new #quine in #c, this one works on GCC, clang and TCC, gur initial version was shorter but only works on GCC, so im posting this one, decent improvement from last quine, took me hours to figure out gur last trick to make this work with my wierd arbitary restriction of "all preprocessor commands have to be at gur top of gur file"

Nerd alert 🤓🤖

Using #Java 21 preview features, I was able to shrink my Java #quine down to a mere 102 characters:

void main(){var f="void main(){var f=%c%s%1$c;System.out.printf(f,34,f);}";System.out.printf(f,34,f);}

A quine is a programm that takes no input and outputs its own source code (without using file operations).

See examples from Java 1.0 to Java 21 here: https://github.com/thmuch/java-quine

Markdown support in the speedata Publisher and a layout “quine”. New blog post at https://news.speedata.de/2024/03/01/markdown/

#speedatapublisher #pdf #quine #markdown

Quine in typst, why not? It even does syntax highlighting! https://typst.app/project/rIASwtB7-l6qkosx06wNzO #typst #quine

Prima che mi scordo, volevo condividere questo #video: https://www.youtube.com/watch?v=5HSjJU562e8. 🎥

Discute di un concetto per me non nuovo, ma applicato ad un
#retrogame per #Atari, #YarsRevenge. In pratica, il #gioco usa parte del suo codice per generare #pattern sullo schermo con un’#entropia abbastanza alta da sembrare #random, e creare effetti visivi interessanti. 🎇

Sarebbe definibile #quine, se non fosse che non è completo… manca una parte non trascurabile del #codice macchina, e anche per questo a conti fatti, anche se in teoria è possibile, nella pratica non si può realisticamente recuperare l’intero #programma semplicemente guardando cosa viene mostrato a schermo nella cosiddetta #NeutralZone. 🧱

Questo tipo di roba, ossia la visualizzazione di #dati in modi “non adatti”, mi intriga sempre. Non so perché, ma escono sempre effetti sensoriali unici quando si prendono dati #binari e li visualizzano direttamente per vie multimediali. In questo caso, c’è tanto da analizzare in una vista del genere, e perciò il video è #intrigante. 🪬

https://octospacc.altervista.org/2023/12/21/694/

#Atari #binari #codice #dati #gioco #intrigante #NeutralZone #pattern #programma #quine #random #retrogame #video #YarsRevenge

It took a few iterations to get this right and short. I hadn't seen this done before so was kind of fun. #ChatGPT #quine

𝗪𝗜𝗞𝗜𝗣𝗘𝗗𝗜𝗔'𝗦 𝗙𝗘𝗔𝗧𝗨𝗥𝗘𝗗 𝗔𝗥𝗧𝗜𝗖𝗟𝗘

✧ Quine–Putnam indispensability argument ✧

The Quine–Putnam indispensability argument reasons that we should believe in abstract mathematical objects such as numbers and sets because mathematics is indispensable to science. One of the most important ideas in the philosophy of mathematics, it is credited to W. V. Quine and Hilary...

#Quine #Putnam #PenelopeMaddy #HartryField #Wikipedia
https://en.wikipedia.org/wiki/Quine%E2%80%93Putnam_indispensability_argument

Last week I couldn't convince my brain to do work I'd get paid for, so instead I wasted a day writing a "git quine."

It's a node script that, when run, outputs the short hash of its `head` commit. The script itself contains its own short hash.

https://github.com/pcorey/git-quine/tree/quine

#git #quine #javascript

Homework problem: do this with GHC https://research.swtch.com/nih

#haskell #quine #supplychain #ken

Would have been somewhat funny if #musk had renamed #twitter to "X, formerly Twitter"
#quine

this is amazingly cursed, but i wrote a #quine in C, making sure to abuse gur preprocessor much as i could