Posts by rwxrwxrwx@mathstodon.xyz
(DIR) Post #AT1UnUU40Y4Z2fvZwW by rwxrwxrwx@mathstodon.xyz
2023-02-14T02:27:10Z
1 likes, 0 repeats
Symbolic programming in AI has seemingly come full circle #Lisp #MachineLearning D. Peng, X. Dong, E. Real, Y. Lu, and Q. V. Le, “PyGlove: Efficiently Exchanging ML Ideas as Code,” 2023. https://arxiv.org/abs/2302.01918
(DIR) Post #AVlXG13ULH8tZ7QF3A by rwxrwxrwx@mathstodon.xyz
2023-05-18T01:53:18Z
0 likes, 0 repeats
@hayley I misread this as Cthulhu-Turing thesis.
(DIR) Post #AVvss0rdHHKBWQlN7A by rwxrwxrwx@mathstodon.xyz
2023-05-23T01:28:51Z
0 likes, 0 repeats
@dekkzz76 It's written mostly in C and it compiles to bytecode, so if I wanted to run a Lisp application in an exotic architecture, I'd probably use clisp.
(DIR) Post #AVvss4JOSWJUDOm5Im by rwxrwxrwx@mathstodon.xyz
2023-05-23T02:29:13Z
0 likes, 0 repeats
@pizzapal @dekkzz76 Yes, I’ve used clisp to bootstrap sbcl in the past.
(DIR) Post #AWU5T9gSmR3FIoZ5SS by rwxrwxrwx@mathstodon.xyz
2023-06-08T14:32:34Z
0 likes, 0 repeats
@galdor What would be the problem with the following?(defun number-list-p (xs) (and (listp xs) (every #'numberp xs)))(deftype number-list () '(satisfies number-list-p))(typep '(1 a b 2) 'number-list) => NIL(typep '(1 2 3 4) 'number-list) => T
(DIR) Post #AWU85aQjzBUFARfEem by rwxrwxrwx@mathstodon.xyz
2023-06-08T15:01:53Z
0 likes, 0 repeats
@galdor I don't think it's a problem but to each their own.
(DIR) Post #AWgsrtcvBEP5MP0n2m by rwxrwxrwx@mathstodon.xyz
2023-06-14T18:42:35Z
0 likes, 0 repeats
@louis I’d like to see some error bars there
(DIR) Post #AXnjp8qkajb4MesFkG by rwxrwxrwx@mathstodon.xyz
2023-07-17T23:56:18Z
0 likes, 0 repeats
@louis I only recently learnt that you can use defstruct to create structures that are stored as lists (and vectors as well):CL-USER> (defstruct (foo (:type list)) bar baz)FOOCL-USER> (make-foo :bar 1 :baz 2)(1 2)CL-USER> (foo-baz *)2
(DIR) Post #AYyZkCBVuEDChaeecC by rwxrwxrwx@mathstodon.xyz
2023-08-22T03:14:33Z
0 likes, 0 repeats
@freemin7 I heard it from @Polychrome and, more recently, @HauntedOwlbear
(DIR) Post #AhazpCF92SAllzhFA0 by rwxrwxrwx@mathstodon.xyz
2024-05-05T23:05:21Z
0 likes, 0 repeats
@futurebird They have successfully domesticated us.
(DIR) Post #Ai3YQst4I0YFc4OI0u by rwxrwxrwx@mathstodon.xyz
2024-05-05T04:01:16Z
0 likes, 0 repeats
TIL that the gas station employee in this scene¹ from the original Robocop movie is practicing geometry with one of the books from Schaum's outline series. This reminded me that Gian-Carlo Rota regarded the authors of this book series as "benefactors of mankind"².¹ https://www.youtube.com/watch?v=gtJlseQAlkw² G.-C. Rota, Indiscrete Thoughts. Birkhäuser, 1997. https://doi.org/10.1007/978-0-8176-4781-0#math #teaching #robocop
(DIR) Post #AprHlV30PZuhxTI1M8 by rwxrwxrwx@mathstodon.xyz
2025-01-08T02:38:32Z
0 likes, 0 repeats
@futurebird There's https://www.libraryfutures.net
(DIR) Post #AsmhF8KHxatSxRcvlQ by rwxrwxrwx@mathstodon.xyz
2025-04-04T06:22:49Z
1 likes, 0 repeats
@HalvarFlake Stochastic gradient descent is mesmerizing
(DIR) Post #AtIqvkXpxKMapcWqoK by rwxrwxrwx@mathstodon.xyz
2025-04-21T03:25:32Z
0 likes, 0 repeats
@foone Perfect for playing Spacewar!
(DIR) Post #AtJ6pLJUS2b66gmjj6 by rwxrwxrwx@mathstodon.xyz
2025-04-21T03:17:57Z
0 likes, 0 repeats
@screwtape @ksaj I'm unfamiliar with Braitenberg's vehicles but they seem to be close to simplified chemotactic¹ models.It seems that you could easily parallelize their simulation using MPI. Point-to-point communication could be the simplest starting point.¹ https://en.wikipedia.org/wiki/Chemotaxis
(DIR) Post #AuXMGeLnhXljGCx5oe by rwxrwxrwx@mathstodon.xyz
2025-05-27T02:00:31Z
0 likes, 1 repeats
@screwlisp @aleteoryx My preferred approach:(defun zero-to-20-only (x) (declare (type (integer 0 20) x) (optimize (safety 1))) :yes)
(DIR) Post #AuXMGgef8O2qPHnBUe by rwxrwxrwx@mathstodon.xyz
2025-05-28T00:03:28Z
0 likes, 1 repeats
@jackdaniel @screwlisp @aleteoryx I see I've been relying on an idiosyncrasy of SBCL, thanks for pointing that out. Then @vnikolov's suggestion of using CHECK-TYPE is the portable option.
(DIR) Post #Auxvut1oYySgrJfZuS by rwxrwxrwx@mathstodon.xyz
2022-04-27T17:21:38Z
0 likes, 1 repeats
#Introduction I'm an applied mathematician and computer programmer. I'm interested in quantum error correction, dynamical systems, statistical mechanics, differential geometry, numerical analysis, machine learning, etc. I'm looking forward to participating in this community.
(DIR) Post #B1rT1tMhLORdoC6XOS by rwxrwxrwx@mathstodon.xyz
2026-01-02T03:10:00Z
0 likes, 0 repeats
@futurebird One of my cats does this sort of thing. We just have to be patient and wait.