Confira a letra da música “Indica Badu” de Logic
#Logic #IndicaBadu
https://daletra.com.br/logic/letra/indica-badu.html

An acquaintance posted "People in my timeline complaining of anxiety, stress, and depression, and they haven't even TRIED one of my healing sound bath sessions."

There is just a lot of stuff going on there

Who likes solving #puzzles?

I've recently been introduced to a daily #logic #puzzle called "Clues By Sam".

With just one clue to start you off, you deduce the identities of all 20 people on the grid. Each person you reveal will give you a new clue.

However, there is no blind guessing. The game will not let you proceed if you guess. Every identity can be deduced from the logic revealed in each clue, in a specific order — if you can see through it.

https://cluesbysam.com/

#bookstodon #bookReview #knowledgeRepresentation actually a chapter review.

My notes after Chapter 1: Classical Logic of The Handbook of Knowledge Representation.

https://screwlisp.small-web.org/books/handbook-of-kr-ch1-logic/

Letra da música “I'm Gone” de Logic
#Logic #IMGone
https://daletra.com.br/logic/letra/im-gone.html

”Print requires us to make a logical case. A significant feature of books is that if you make a case in print, you have to make it logically add up.

You can’t just assert things the way you can on tiktok, youtube or in a podcast through conversation.”

”If we lose these things in our culture it’s not surprising people are getting stupider & their reasoning skills are declining.”

https://youtube.com/watch?v=u4jW8MOxIKY
#reading #books #intelligence #reasoning #logic #booksofmastodon

Confira a letra da música “All I Do” de Logic
#Logic #AllIDo
https://daletra.com.br/logic/letra/all-i-do.html

Hey there! On Wednesday, I completed the ILLC's Master of #Logic at the #UniversityOfAmsterdam ​​ My supervisor and the rest of the committee were super nice to me, as were all the friends who have helped me throughout these two years. Amazing programme full of amazing people btw. ​​

I am starting my #PhD next month. I'll be working on the foundations of programming languages under @stelios@mathstodon.xyz at #SDU's #ACPSection in #Odense, #Denmark. I am super psyched!

If you want an alternative to multi compression or limiter and you use logic, an option is to try out the complete pedalboard Body Builder eq pedal. It’s a little different and can be pushed into breakup and saturation if you like. Can also add a guitar amp to the vocals (carefully) if that’s not working either #producer #music #logicpro #logic #musician #indie #mixing

Letra da música “44 Bars” de Logic
#Logic #44Bars
https://daletra.com.br/logic/letra/44-bars.html

Veja a letra da música “44 More” de Logic
#Logic #44More
https://daletra.com.br/logic/letra/44-more.html

Just make it exist first, you can make it good later

#Thue program for Laws of Form arithmetic.

()()::=()
(())::=
::=

Thue: https://wiki.xxiivv.com/site/thue.html
LoF: http://www.markability.net/
LoF: https://en.wikipedia.org/wiki/Laws_of_Form

Fire up the AX73 with the FREE Sounds From The Outskirts Collection and hit "Chemical Memories".

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

It was both a pleasure and a privilege to deliver 5 90-min blackboard (!) lectures on Categorical Realizability to 20–30 students and fellow lecturers at the European Summer School in #Logic, Language and Information (#ESSLLI).
I really enjoyed the interaction with all attendees and appreciated their excellent questions and comments: thank you!

Also, a huge thanks to @tschfflr and the other organizers for running #ESSLLI2025 so smoothly!!

Confira a letra da música “Till the End” de Logic
#Logic #TillTheEnd
https://daletra.com.br/logic/letra/till-the-end.html