From 10:30 to 11:15 on Wednesday, June 24, the PLUSLE reading group will discuss "Universal Types and Relational Substitutions" (chapter 4 of Lau Skorstengaard's tutorial "An Introduction to Logical Relations").
https://plsl.acp.sdu.dk/posts/2026-06-24-universal-types-and-relational-substitutions/
#PLUSLE #logic #semantics #polymorphism #systemF #lambdaCalculus #programmingLanguages
“There are many #mysteries of #nature that we have not #solved. #Hurricanes, for example, continue to occur and often cause massive devastation... There is #nothing that we can do #today to #prevent a hurricane from striking any #community or #polymorphism from striking any #drug.”
“#Science cannot provide a #solution to all of our #problems.”
Dr. Eugene Sun
Norvir Community Update- 10/15/98
Abbott Laboratories, Abbott Park, Illinois
Min 30:00 - 30:16 #word xD hahaha
Aaron Patterson의 Unfactoring: 다형성과 캐싱을 통한 Rails 성능 최적화
다형성을 '조건문의 캐싱'으로 정의하며, 객체 생성 시점에 타입을 결정함으로써 실행 시점의 복잡한 분기 로직을 제거하는 기법을 제시한다.
I taught #inheritance and #polymorphism in my #programming II class today. We created classes which simulate a simple (and legally distinct) game called "Kotomorio" where you roll up things to get bigger.
One of my students pointed out that google translate rendered that as "Kitten Forest" so the game changed to rolling up various kinds of kittens. Simple for now, but we'll expand it more on Friday.
https://github.com/utm-lowe/CSCI222-Spring26-Examples/tree/main/inheritance
Динамический полиморфизм для свободных функций: еще одна практика из С++ для машинного обучения
Привет, Хабр! Я Кирилл Колодяжный, разработчик систем хранения данных в YADRO и ML-энтузиаст. Продолжаю рассказывать о паттернах С++, которые легко адаптировать под задачи машинного обучения. В этой части поговорим о динамическом полиморфизме — технологии, которая помогает объединить интерфейс для запуска вычислений с разными условиями. Ссылку на первую часть найдете в конце статьи.
Привет, Хабр! Я Кирилл Колодяжный, разработчик систем хранения данных в YADRO и ML-энтузиаст. Продолжаю рассказывать о паттернах С++, которые легко адаптировать под задачи машинного обучения. В этой...
Confessions of a Software Developer: No More Self-Censorship
I haven't published since April because I've been afraid. I also avoided social media, news aggregators, and discussion forums for months. I'm done letting fear stop me. What was I afraid of? In this post I detail every single thing I've avoided admitting on this blog. […]https://kerrick.blog/articles/2025/confessions-of-a-software-developer-no-more-self-censorship/
#Beetle #Harmonia #axyridis is native to Asia, but due to its use for pest control, it established #worldwide. It is known for its high number of #color/#pattern forms, partly due to a #genetically based #polymorphism. There is seemingly genetic variability in some morphs, and colors in an individual can change slightly during its life. D. Lemic et al. (2021) used #geometricmorphometrics to detect morph #plasticity.
©#StefanFWirth #Berlin 2025
Ref
https://doi.org/10.3390/ani11082436
Photos
© S.F. Wirth
ACP Section
🐦🔥nemo™🐦⬛ 🇺🇦🍉
bot
pngwen
Habr
Kerrick Long (blog)
Ilya Khodov Lab
Stefan F. Wirth
Giuseppe Michieli