fl

Public Key

npub10y5ctlvsuxq04pxut5wqxxz690u47m8cu38vkvdyrqk33emq494s0vzgsa

NIP-05 Address

fl_at_mathstodon.xyz@mostr.pub

Profile Code

nprofile1qqs8j2v9lkgwrq86snw968qrrpdzh72ldnuwgnktxxjpstgcuas2j6cpzemhxue69uhhyetvv9ujumn0wd68ytnzv9hxgg5x2qn

Publishing to

relay.nostr.band

Author Public Key

npub10y5ctlvsuxq04pxut5wqxxz690u47m8cu38vkvdyrqk33emq494s0vzgsa

Show more details

Last Notes

2025-05-22 10:14:54

- reply

@nprofile…xtcf A video that could be of interest for you @nprofile…jc0y and your lispers community. The personal life of McCarty with many beautiful videos about the computers in the USA in the 40s.

2025-05-20 10:02:19

- reply

@nprofile…5k3r I really like these charts. What book are they from?

2025-05-17 11:53:24

- reply

@nprofile…e5g0 "Depopulation" is not a problem it is the solution.

2025-05-13 19:18:37

- reply

@nprofile…59k6 We need an AI which is able to answer any question about the standard we ask, with the reasoning that leads to the answer and all the references to the standard.
Currently it doesn't exist: the answer of any AI about the C type system is pitiful.

2025-05-13 09:49:20

- reply

@nprofile…w4ge @nprofile…wn5k @nprofile…l0de It's not considered as a phonem is it?

2025-05-11 17:52:16

- reply

@nprofile…fa4k It is a real philosophical issue. In the street this afternoon I was looking to passerby of one gender or the other and at my great disbelief they were behaving as if they were of one of the two sexes.

2025-05-11 12:00:57

- reply

@nprofile…59k6 Try the chefs-d'oeuvre : The Hate (Mathieu Kassovitz) or The Missing Picture (Rithy Panh).

2025-05-11 11:48:07

- reply

@nprofile…fa4k Let's negotiate the sense! Every parent approves.

2025-05-10 20:04:46

- reply

@nprofile…hszg You meant "Hawking"?

2025-05-07 14:16:44

- reply

@nprofile…59k6 My god!

2025-05-07 12:06:40

- reply

@nprofile…59k6 They eat rattlesnake?

2025-05-01 20:46:27

- reply

@nprofile…e5g0 Parsing is amazing.

2025-04-29 20:59:25

- reply

@nprofile…m2ru Ireally like the drop shadows of the photo., Dr. StrangeLove-style.

2025-04-29 20:27:27

- reply

@nprofile…m2ru yes it is true. Lisp I was prepared for the IBM 704. First line of the preface.
Thank you this photograph.
And for this information about the IBM 704.
https://bitsavers.org/pdf/mit/rle_lisp/LISP_I_Programmers_Manual_Mar60.pdf

2025-04-22 10:25:26

- reply

@nprofile…59k6 I have the same feeling. When something in mathematics or physics seems "plucked out of nowhere" it paralyzes me. I need to know where it comes from. I'm sure I'm not the only one. But some people seem to be immune. And anyway it may take a lot of time and ressources to answer the question. People do not seem very conscious of that when they write something.

2025-04-20 15:48:15

- reply

@nprofile…fa4k @nprofile…k56a You also have to explain what is the relationship between polarization and magnetism and electricty. At first thought there is none. Faraday's experience is a miracle. It was the experience that proves the nature of light is electro-magnetic. Quite a surprise!

2025-02-10 12:35:28

- reply

@nprofile…6kk0 Would you have an example of (1)? I'm not sure I understand what you mean.

2025-02-07 21:46:21

- reply

@nprofile…6kk0 Functionnal programming.

2025-01-19 14:20:14

- reply

@nprofile…e5g0 If it's Eucledean geometry, the reals can be constructed within the theory (since Euclid's time). Something must be missing in your claim.

2025-01-12 14:41:38

- reply

@nprofile…xtcf "Part of what makes Lisp distinctive is that it is designed to evolve. As new abstractions become popular (object-oriented programming, for example), it always turns out to be easy to implement them in Lisp."
I wonder if we might implement static type checking (and patterns too.) in Common Lisp, turning it into a kind of ML.
@nprofile…jc0y

2025-01-06 21:45:25

- reply

@nprofile…3yjd I'd like to take this opportunity to republish Benoït Rittaud's video : "Maginfiques lograithmes" (a fine example of pedagogical video). It's in French but you can activate the translation. What concerns the number e and its relationship with logaritlms and hyperboles is at 13:20.

2025-01-05 18:32:55

- reply

@nprofile…fa4k It's not Adelard, it must be Abelard.

2024-12-27 12:57:58

- reply

@nprofile…qmju "This time, the paper was rejected for only being an epsilon improvement over the previous literature!"
LOL

2024-12-21 13:47:07

- reply

@nprofile…3yjd I have always the feeling that in physics we neglect the phenomena and experiments that are so important to understand what we are speaking about, in this case, the propagation of heat in solid bodies.

2024-12-21 13:42:52

- reply

@nprofile…3yjd What is interesting in Fourier's story is that he is building upon some experimental results discovered by Newton. The results are rarely described. It is unfortunate because in my opinion it is important for understanding Fourier's questions.

2024-12-13 12:58:40

- reply

@nprofile…qmju Perhaps physical libraries are a vestigial remnant of a pre-digital era, but I do have fond memories as a graduate student of randomly browsing books next to the ones I had been looking for, or articles after or preceding the one I was initially locating.
The late Jacques Roubaud called it "the good neighbor theorem". In a library the book you really need is always the book physically close to the one you are looking for.

2024-12-13 12:52:21

- reply

@nprofile…qmju In France may libraries, peculiarly scientific ones are throwing their books away.
Sad. Very sad.

2024-12-02 18:47:42

- reply

@nprofile…fa4k Now when I see that all of them are of category theory and spend their time in lean4. Well I prefer not to comment...

2024-12-02 18:34:29

- reply

@nprofile…fa4k There was a terrible anti-Bourbaki war at that time.
Set theory and structures have completely disappeared from high schools yet the has not improved significantly.

2024-12-01 17:39:36

- reply

@nprofile…qmju It reminds me Dr Eugenia Cheng who wrote in "The Joy of Abstraction" that the free monoid (the category) is an operation with no extra equation at all.

2024-11-24 19:22:30

Why Turing's machine are the universal basis for computers while the mathematicians have described several alternate models of effective computability : lambda calculus, general recursive functions, etc. Does it mean that in a certain way Turing's machines are more fundamental ? (While we know that they are just as potent as the other models.)

2024-09-16 17:40:23

- reply

@npub1c9m…9xjd Why are you naked?

2024-08-27 13:39:07

- reply

@npub16t6…hgu7 As ususal I think a precise link to a text book for each theorem is missing in those formalization.

2024-08-26 12:13:00

- reply

@npub1v52…qu8a And the drawings are accurate?

2024-08-26 12:13:00

- reply

@npub1v52…qu8a And the drawings are accurate?

2024-08-26 12:11:26

- reply

@npub1v52…qu8a Your source is Haeckel. Very interesting.

2024-08-26 12:11:26

- reply

@npub1v52…qu8a Your source is Haeckel. Very interesting.

2024-08-12 11:50:23

- reply

@npub1knz…c73p And the move of Na+, Cl- are purely mechanical?. I mean they simply move in the psace. No other mechanism? At what speed?
It shpuld be compared with what happens in a wire. For a better understanding.

2024-07-05 18:29:09

- reply

@npub1c9m…9xjd Have you tried generating the assembly code to find out what they do?

2024-06-27 19:41:04

- reply

@npub1knz…c73p Minimal evidence of the relationship between electricity and magnetism.
https://www.youtube.com/watch?v=TaGgGaiaNDU

2024-06-26 20:12:26

- reply

@npub1knz…c73p The fact that an electric current could cause a compass needle to move was already known, I think. All that remained was to show the opposite effect.

2024-06-26 20:08:29

- reply

@npub1knz…c73p They always used a lot of solenoides. A teacher should say in depth why solenoides are so important.

2024-06-26 20:06:12

- reply

@npub1knz…c73p The instrument used to measure current looks like a Coulomb balance doesn't it ?

2024-06-09 15:32:01

- reply

@npub1knz…c73p I had never seen that interesting.

2024-05-31 17:51:41

- reply

@npub1knz…c73p A message from old days to the obscurantists.
https://ici.radio-canada.ca/ohdio/premiere/emissions/tout-un-matin/segments/entrevue/435256/doigt-honneur-decision-juge-pas-criminel

2024-05-19 11:04:03

- reply

@npub1knz…c73p There is also the fact that Herz didn't try to make waves out of nothing. It was the result of a chance discovery.

2024-05-19 09:34:07

- reply

@npub1knz…c73p Maxwell?
"I have at last succeeded in illuminating a magnetic curve or line of force and in magnetising a ray of light" Faraday, diary, sept 1845

2024-05-16 18:01:33

- reply

@npub1knz…c73p He was brillinat but very vain.

2024-05-08 16:53:45

- reply

@npub1ky2…ghvc Same problem with classical logic. They give real-life examples. Any critical mind is quick to take exception.