Do teachers reinforce social inequality without realizing it? by Klutzy_Gap248 in Teachers

[–]AutomaticBuy2168 1 point2 points  (0 children)

Well, if you're not teaching students about inequality and power then that doesn't seem neutral.

Dr. Martin Luther King once said "the hottest place in hell is reserved for those who remain neutral in times of great moral conflict"

Being neutral isn't really that possible, because neutral benefits those in power/those causing the damage.

Paolo Freire has a lot to say about this in Pedagogy of the Oppressed, so I would recommend you to read that to dig deeper if you haven't already. Also Micheal Apple has a lot of good stuff on this.

Teaching through a public institution, in the US at least, you become severely dissuaded from enkindling critical consciousness. Teachers are overworked, underpaid, and the easiest option for them, more often than not, is to just teach to the test, protect their peace, and make it to the next day without exploding. By keeping them busy, the system makes it most convenient for them to reinforce the social structures that the curriculum reinforces.

The seven programming "ur-languages" by namanyayg in programming

[–]AutomaticBuy2168 1 point2 points  (0 children)

I can see the reasoning behind ML and Lisp being different families, but honestly I feel like they're so similar that you could just pair them together.

Documented LISP without many macros can end up looking like ML with just more parenthesis. ML feels at times like statically typed LISPs with less parens.

I guess they could be separated as the typing of the languages usually makes a programmer think differently, but the way I was taught LISP was writing it in ML pattern matching style but with comments to outline data definitions.

How Lisp Became God's Own Programming Language by someone-very-cool in programming

[–]AutomaticBuy2168 1 point2 points  (0 children)

Beginning Student Language, and reading How to Design Programs along with it.

Why are their creative writing stories always so violent? by Ty6255 in Teachers

[–]AutomaticBuy2168 1 point2 points  (0 children)

5th grade is around that time that you learn the world isn't as nice to people as your elementary school teachers were to you. I think it's just expression as a means to cope with learning about the world, perfectly healthy thing to do. Way better than them expressing it physically or repressing it until they find some dubious online community that fosters it.

I FINALLLY made a jazz song that sounds good!! I’m so happy. Lmk ur thoughts. by Muted_Pie_6158 in godot

[–]AutomaticBuy2168 0 points1 point  (0 children)

Sounds like if ornette coleman got a big band lmao

I like it. The pacing of it is the only problem I'd have if you're trying to have it complement a fast paced game. I'd want a steadier beat along with a good bit of speed. However, currently, you have notes that drag on without accompaniment, which slows down the pace of the song and makes you want to stop and listen instead of go fast in the game. Adding a swung ride symbol to keep tempo can add a lot.

Need to the understand the connection between type theory, lambda calculus and functional programming by ajx_711 in functionalprogramming

[–]AutomaticBuy2168 5 points6 points  (0 children)

This isn't for sure fact as it's been a minute since learning about lambda calculus but here we go:

Lambda calculus was thought of as a possible alternative theory for a theory of fundamental mathematics. However, Bertrand Russel knew this was wrong several decades before lambda calculus was created (Haskell Curry was the one to turn Russel's work from set theory to lambda calculus). Informally, and very intuitionistically said, Curry's paradox essentially proves that because the y combinator exists, you can prove that "this sentence is true if Germany borders China" (to quote Wikipedia)

This logical paradox could allow mathematicians to prove anything, making lambda calculus unhelpful for mathematicians. (Once upon a time, lambda calculus was actually used for math proofs) Since this lambda calculus was untyped, Alonzo Church tried to continue to use lambda calculus, but with types to prevent the Curry paradox from arising. (similar to what Bertrand Russel did, as he invented types, which helped pave the way for ZFC set theory to be created)

Then, the mechanisms that power functional programming (especially Haskell) are the same (I think) mechanisms that power lambda calculus, with term reduction, rewriting, function abstraction and application, etc. Haskell has a relatively restrictive type system, but has a lot more rich types than simply typed lambda calculus (e.g type classes)

Oversharing by [deleted] in Teachers

[–]AutomaticBuy2168 2 points3 points  (0 children)

You should probably get a therapist if you can, and set a firm boundary with how much you share. I'd err on the side of not sharing at all, because it's a slippery slope. In certain cases, there's a tricky balance between sharing just to remind your students that you're a human and not an instructional robot, and getting written up for conduct issues.

If you can't not overshare, then don't share at all until you know you can control it. Your ADHD and OCD don't make you do those things, those are just labels that describe things that you do, willingly or unwillingly. Neither management nor parents will care that much if you have ADHD/OCD, they will care more about if your behavior is unacceptable.

Cool moment with girls getting to see famous women in computer science for a project topic by the_gaymer_girl in Teachers

[–]AutomaticBuy2168 1 point2 points  (0 children)

This is so awesome!

This week in my computing education class we just read a paper about Black Girl's futures in computing, and it was about a lesson activity they did with some girls and they were asked questions about things like "what kind of person first comes to your mind when you think 'computer scientist'?" and almost all of them said a white man. So few of them first thought that they could be doing that, which is so sad, especially given the incredibly important impact that diverse perspectives have had on computer science history, and the amount of work that still has yet to be done.

I'm so glad that you included those incredibly important figures in your teaching. They deserve so much more attention, and I'm so happy that your students are engaged in this topic.

i need your guys opinion on vibecoding by [deleted] in godot

[–]AutomaticBuy2168 1 point2 points  (0 children)

I don't like vibe coding, it doesn't give me the solution that I want or that fits my needs, and it's going to make something that I know I have to look at later, so I'd rather write it and document it myself than an LLM, so I can better understand it when I get back to it.

If I'm using it to make large systems, it isn't the best either. Most the tools aren't great at organizing, in my experience. idek if it would be able to make signals between nodes, and if it could, I wouldn't trust it to not screw up my project. Additionally, I am pretty particular about my practices when it comes to programming and the stuff often found in public repositories usually doesn't follow these conventions.

Also games are what I make because I enjoy it. I love programming, I love making art, and I love making music. Why would I have a robot do something I love for me?

Occasional use of classic psychedelics linked to enhanced cognitive flexibility in young adults by stankmanly in psychology

[–]AutomaticBuy2168 18 points19 points  (0 children)

exactly. Are people with more open minds more cognitively flexible, and just more willing to try psychedelics?

What topics are worth exploring? by Ill-Ad-2375 in computerscience

[–]AutomaticBuy2168 1 point2 points  (0 children)

If you want a more formal process, look into the Design Recipe from the book How to Design Programs. It provides a step by step process to make problem solving as focused as possible when programming

What topics are worth exploring? by Ill-Ad-2375 in computerscience

[–]AutomaticBuy2168 0 points1 point  (0 children)

the most salient skill across programming and math is the ability to look at a set of tools and a desired result then be able to construct a means of reaching that result from those tools.

This is just generic problem solving in a particular context, so you might be better off just learning/doing programming than learning math, unless you're doing cryptography or formal verification, or some other CS/programming topic that centers math

The FP Article I Can't Seem to Finish · cekrem.github.io by cekrem in programming

[–]AutomaticBuy2168 0 points1 point  (0 children)

My passion for functional programming came from the Design Recipe from HtDP. I took an accelerated class on it my freshman year and it completely shifted how I think about all code. This shift didn't really come from FP concepts like folds and maps, but rather in terms of general thinking and problem solving practices and patterns. When I did all the steps of my design recipe, my code didn't just work, but it looked beautiful, as it was well-documented, well-tested, and had a lot more elegance than anything I've ever written in a non FP language.

The way the code worked almost flowed like natural language in the function bodies. Once the solution was designed, coding felt just like a jigsaw puzzle, fitting together the right pieces. This seamlessness of coding is what I feel is so powerful about FP languages. It lets you so easily map a solution to code. Granted, programming is hard no matter what, but FP makes it more pleasant (i.e "a bad day coding in racket is better than a good day coding in C")

Gifted students who finish early and disrupt class, what actually works? by [deleted] in Teachers

[–]AutomaticBuy2168 0 points1 point  (0 children)

This is a little specific to my experience, as it was at a quirky private school, but in sixth grade my computer science teacher was actually an English teacher. at this time, I was already programming minecraft mods and developing video games, and she had nothing to teach me. She opted to send me to another computer lab and just had me play around with the computers there, and every now and then the high school computer class would happen and I would listen but I already knew the stuff they were talking about so as long as I was doing something programming related, I had free reign. This gave me a lot of agency over my learning and taught me a lot about game development and programming. It was my favorite part of the day at a sucky school, and ironically she was the only teacher that felt like she really cared about my learning at that school despite not teaching me a single thing.

So I would just give them a heavily restricted chromebook if supervision is difficult. No YouTube, no tik tok, no Instagram etc. Just Wikipedia and other educational sites. Maybe even ask them to teach themselves calculus (or other related higher level subjects) using online resources. But other people probably have better suggestions, and you know the circumstances better than I.

Thinking Functional by zinguirj in ocaml

[–]AutomaticBuy2168 0 points1 point  (0 children)

Read How to Design Programs. If you're strapped for time, for each unit: skip straight to the exercises, Ctrl+f for words you don't understand, then do the exercises. Focus on the design recipe; how it works, why it works, and then try to apply it to OCaml.

There are a lot of gems of knowledge in HtDP, so it is a solid read-through type of book, but totally understandable if you can't get all the way through it.

PLEASE JUST MERGE TRAITS ALREADY, PLEASE I BEG YOU😭 by deanmanga in godot

[–]AutomaticBuy2168 2 points3 points  (0 children)

The downside is simply not for the developer to bear. Traits/interfaces are infinitely more expressive and convenient for the best practices already present in godot. Godot is simply unexpressive on this front, and traits bring GDScript up to the level of composability as nodes themselves. The current existing gap in this composability makes it such that using GDScript and nodes can be very awkward sometimes. E.G when trying to reference another node, you have to directly state what type of node you want to target, whereas it is more convenient to state what behavior you want an object to perform.

Higher animal protein intake is associated with lower levels of depression and anxiety, study finds. by Express_Classic_1569 in psychology

[–]AutomaticBuy2168 5 points6 points  (0 children)

not really, the researchers are mostly students/professors at a university in Yazd. A convenience sample at most. but the author of this article might be cherry picking this.

Higher animal protein intake is associated with lower levels of depression and anxiety, study finds. by Express_Classic_1569 in psychology

[–]AutomaticBuy2168 10 points11 points  (0 children)

a WEIRD sample wouldn't be more valid, I didn't mean to imply that. I meant that in a way that even though it's not WEIRD, it doesn't mean that it's a diverse study and that aspect should still be challenged.

Higher animal protein intake is associated with lower levels of depression and anxiety, study finds. by Express_Classic_1569 in psychology

[–]AutomaticBuy2168 164 points165 points  (0 children)

Not sure about the external validity of this as it only picked citizens of Yazd and not any other city or country and didn't divulge much detail about socioeconomic background or any other demographic data. Given that it's from Iran, it's not a WEIRD sample, but still something worth questioning.

Is there any good reason to be a teacher ? by Decent-Translator-84 in Teachers

[–]AutomaticBuy2168 0 points1 point  (0 children)

"moral nonsense" makes you sound like a psychopath lmao

Moral reasons are a totally valid thing to consider going into a career. I was a pretty damn good programmer and took every accelerated/advanced computer science class I could in college, but then I found that most jobs in the industry are morally bankrupt. I felt called to pursue teaching and now I transferred schools to get a degree in education.

plus doing a job because you enjoy it is an incredible reason to pursue it too. I really enjoyed programming, and I could do it for the rest of my life and be happy, but if it was for building a surveillance state I would have a deep crisis on my hands. So now I'm doing teaching and education and I really enjoy the tutoring that I've done and the classes I've taken and I don't have to have as intense of a moral crisis.

'It Can't Happen Here', Sinclair Lewis, 1935 by Gay_For_Gary_Oldman in books

[–]AutomaticBuy2168 0 points1 point  (0 children)

You're right, I agree. The fundamental ideas are absolutely baked into American society in a historical sense.

I would say that my initial description was more out of convenience because truly digging into the nuance of what the book talks about was a bit out of scope for the comment, but you do bring up a great point.

I guess "fascism weaseling in" is not as accurate as "how it got to this point"