I just updated the list of #Agda tutorials and videos at agda.readthedocs.io/en/latest/getting-started/tutorial-list.html to add materials by @MartinEscardo @andrejbauer @JacquesC2 @mortberg among other people. Thank you to everyone for bringing Agda to new people!
=> More informations about this toot | View the thread
This morning I attended a workshop on mentoring students with autism. I really appreciate the fact that TU Delft is organizing these, and the people presenting - while being neurotypical - clearly had a lot of experience with mentoring autistic students themselves.
We covered a lot of topics such as differences in information processing, social interaction, sensory processing, camouflaging, executive function. We also got some tips on how to reduce sensory overload, communicate more clearly, and how to create structure. Overall, pretty good stuff.
I also think there were some pretty glaring omissions or oversights:
[#]Autism @actuallyautistic
=> More informations about this toot | View the thread
The pre-print for the #ICPC paper “Pinpointing the Learning Obstacles of an Interactive Theorem Prover” by @sarantja @azaidman and yt is now available at https://sarajuhosova.com/assets/files/2025-icpc.pdf
I very much hope this will inspire more research on the usability and accessibility of the languages we build going forward!
Abstract:
=> More informations about this toot | View the thread
[#]OPLSS lineup was announced via mail (though not yet on the website?) and they did the same thing again they also did two years ago. Pretty incredible and amazing if you ask me. I honestly wish I could attend it myself!
Nada Amin - Harvard University
Metaprogramming
Valeria De Paiva - Topos Institute
Lambda-calculi for logics
Kathleen Fisher - DARPA
Formal methods for natural security
Limin Jia - Carnegie Mellon University
Information Flow Type Systems
Delia Kesner - Université de Paris
Lambda Calculi Through the Lens of Linear Logic
Kathryn S McKinley - Google
System design and innovation: A Garbage Collection Case Study
Anja Petković Komel - TU Wien and Argot Collective
Introduction to Type Theories
Brigitte Pientka - McGill University
Introduction to Logical Foundations
Paige Randall North - Utrecht University
Introduction to Category Theory
Emina Torlak - Amazon Web Services
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Caterina Urban - INRIA
Abstract Interpretation-Based Static Analysis
Niki Vazou - IMDEA Software Institute
Refinements Types
Jeannette Wing - Columbia University
Trustworthy AI
Ningning Xie - University of Toronto.
Algebraic effects and handlers
=> More informations about this toot | View the thread
Best podcast of 2024: Dice ExploderThis podcast is all about taking different rules and mechanics from tabletop role-playing games and breaking them down to see how and why they work (or don’t). This might be just because I happen to enjoy TTRPGs, but I think there’s also something broader to learn about how the rules of society shape our social interactions and self-images. Also, each episode of this podcast is just plain fun to listen to. I especially enjoyed this year’s mini-series on Dungeons and Dragons, which looks more at the set of customs and rituals around the game than the rules itself. One excellent example is the episode about Rule Zero with Ema Acosta, the rule that “the game master is always right”.
Previous winners: 80,000 Hours with interview with Audrey Tang (2022) and The Way Out Is In with Space, Time, and the Ultimate Dimension (2023).
[#]BestOf2024
=> More informations about this toot | View the thread
Best blog of 2024: Nicky Case’s blogNicky Case is an extremely cool person who makes things for explaining other things in simple and fun ways such as Nutshell and Adventures with Anxiety and The Evolution of Trust. This year she posted two out of three parts of AI Safety for Fleshy Humans, which in my opinion does a really good job at going beyond the typical dichotomies plaguing the discussions around that topic. If you are sick of reading about AI (and really, who can blame you?) then I recommend her 30 tips for my 13-year old self as a really useful collection of practical life advice (even if you’re not 13 anymore).
Previous winners: Shtetl-optimized with We Are the Gods of the Gaps (2022) and Homo Sabiens with Social Dark Matter (2023).
[#]BestOf2024
=> More informations about this toot | View the thread
Best tabletop game of 2024: Slugblaster: Kickflip over a Quantum Centipede by Wilkie’s Candy LabSlugblaster is a game where you play as teenagers who are into the popular and highly dangerous activity of slugblasting, where you use your hoverboards to jump through interdimensional portals, fight and/or run away from paradoxical monsters, and try to look cool while doing it to get more viewers and sponsorships. It’s a zany concept but it works. The mechanics of the game are a simplified version of the acclaimed Blades in the Dark rules with some very clever additions. What I liked most about Slugblaster is how easy it makes things for the game master: all the action is driven by the ambitions and personal troubles of the player characters, and all you need to do is come up with reasonable-sounding answers to their questions. If you’d like to learn more about this game, I highly recommend watching the review by Quinns Quest.
Previous winners: Avatar Legends by Magpie Games (2022) and Cantrip by Hipólita (2023).
[#]BestOf2024
=> More informations about this toot | View the thread
Best video game of 2024: Citizen SleeperThis game is about an old space station that was abandoned by its corporate owner and where the inhabitants are left to fetch for themselves. You play as a “Sleeper” whose body requires regular proprietary injections to prevent it from falling apart. So, very cyberpunk and very anti-capitalist. The mechanics are based on rolling dice that you can spend on your daily activities, and continuously force you to make difficult choices between helping others, uncovering mysteries, and ensuring your own survival. It’s only a few hours long and currently 70% off on GOG so if you haven’t played it yet now’s the perfect time.
Previous winners: Omori (2022) and I Was A Teenage Exocolonist (2023)
[#]BestOf2024
=> More informations about this toot | View the thread
Best TV series of 2024: Tonari No Yokai-sanAs you probably expected if you’ve been following these, it’s anime. Specifically, a slice-of-life anime about a small Japanese village where humans live together with Yokai - mythological creatures from Japanese folklore. As usual in the slice-of-life genre, the story focuses on small-stakes stories about everyday challenges and personal growth. However, there is a greater threat that lurks in the background until the final two episodes where the stakes suddenly get very high. The animation quality is excellent, but the characters and how they grow over the course of the story is what really makes the show shine.
Previous winners: Spy x Family (2022) and Zom 100: Bucket List of the Dead (2023).
[#]BestOf2024
=> More informations about this toot | View the thread
Best movie of 2024: Crip Camp: A Disability RevolutionOkay, so I didn’t watch that many movies this year and this is more of a documentary than a movie, but it’s my list. The story is about a summer camp for teenagers with disabilities in the 1970s, which was the basis a the much broader push for disability rights that eventually lead to the Americans with Disabilities Act in 1990. Watch it for the lessons about what it means to be disabled and how activism works, but most of all for the gripping and empathetic personal stories that are interwoven with those themes.
Previous winners: Everything Everywhere All At Once (2022) and Wolfwalkers (2023).
[#]BestOf2024
=> More informations about this toot | View the thread
Best non-fiction book of 2024: The Internet Con: How to Seize the Means of Computation by Cory Doctorow“Winning tech back isn’t more important than preventing runaway climate change or ending gender-based violence and discrimination, but it’s hard to imagine how we’ll do either - or anything else of significance - without digital infrastructure to hold us together.” This is Cory Doctorow at his finest and punchiest. He makes the case that the Big Tech companies of today got so big through their control of digital infrastructure and closed protocols and software ecosystems. But more importantly, this is a manual for how we can take back this power by lowering switching costs and allowing adversarial interoperability. Honestly, I believe this should be mandatory reading for anyone who uses the internet.
Previous winners: From What Is to What If: Unleashing the Power of Imagination to Create the Future We Want by Rob Hopkins (2022) and Unmasking Autism by Devon Price (2023).
[#]BestOf2024
=> More informations about this toot | View the thread
Best fiction book of 2024: A Kind of Spark by Elle McNicollI can very much be a sucker for a heavy tome of sci-fi or fantasy, but the thing that took me by surprise this year is this little book about an autistic girl living in Scotland and her fight for getting the historical witches of her town be recognized. It’s a sweet and feel-good story, but also has enough bite to make me reflect on the role of Autistic people in society and the importance of learning from past atrocities so we might do better this time.
Previous winners: Perhaps the Stars by Ada Palmer (2022) and A Prayer for the Crown-Shy by Becky Chambers (2023).
[#]BestOf2024
=> More informations about this toot | View the thread
As previous two years, I again made a list of the things I enjoyed reading, watching, listening or playing this year, divided in eight different categories: books (fiction and non-fiction), movie, TV series, video game, tabletop game, blog, and podcast. So if you have some free time in between parties and celebrations, I hope these are as interesting and enjoyable to you as they were to me! 🧵
[#]BestOf2024
=> More informations about this toot | View the thread
A few additional remarks for those who have an allergic reaction to anything related to “effective altruism”:
=> More informations about this toot | View the thread
As you might know (for example, by reading my profile text here) I have taken the 10% Pledge to give 10% of my income to organizations that can use it most effectively to do good (where "good" is defined individually by the person taking the pledge). I generally try to avoid talking about it too much since I know it can come across as preaching or bragging, but for once I'm making an exception.
This week, Giving What We Can - the organization behind the 10% Pledge - is organizing its 2024 pledge week. We are inching ever closer to 10,000 pledges so it would be amazing if we could hit that target before the end of the year.
I took the pledge in 2018 and it has honestly been one of the most meaningful and positive things I've ever done. Being part of a community that shares a common intention to do good and actually takes meaningful action to achieve it has been very inspiring ever since I pledged.
So if that sounds like something you might want to do (and you are in a position to do so), please consider joining me and many others! I'm happy to answer any questions you have about the Pledge, and you can find lots of information about the pledge on the GWWC website.
givingwhatwecan.org/why-pledge
[#]GWWC #GivingWhatWeCan #10PercentPledge
=> More informations about this toot | View the thread
I’m very glad to announce that our NWO-XL proposal “Cyclic Structures in Programs and Proofs: New Harmonies of Theory and Praxis” together with Jorge Perez @PerezJorgeA (RUG), Henning Basold (Leiden U), Robbert Krebbers (Radboud U), Georgiana Caltais (U Twente), Helle Hvid Hansen (RUG), and y.t. has been granted!
Here’s the blurb:
=> More informations about this toot | View the thread
Agda being weird:
import Data.Bool
_ = A.trueViewed separately, neither import brings a name A.true in scope, but somehow together they do.
=> More informations about this toot | View the thread
The first fruition of the practice
is the attainment of froglessness.
When a frog is put
on the center of the plate,
she will jump out of the plate
after just a few seconds.
If you put the frog back again
on the center of the plate,
she will again jump out.
You have so many plans.
There is something you want to become.
Therefore you always want to make a leap,
a leap forward.
It is difficult
to keep the frog still
on the center of the plate.
You and I
both have Buddha Nature in us.
This is encouraging,
but you and I
both have Frog Nature in us.
That is why
the first attainment
of the practice--
froglessness is its name.
[#]mindfulness #froglessness
=> More informations about this toot | View the thread
Doing a PhD isn't good for your mental health, huh? Who would've thunk it.
papers.ssrn.com/sol3/papers.cfm?abstract_id=4920527
=> More informations about this toot | View the thread
Lean FRO roadmap lean-fro.org/about/roadmap/ 👀
That's one hell of an ambitious list of goals.
=> More informations about this toot | View the thread
=> This profile with reblog | Go to jesper@agda.club account This content has been proxied by September (ba2dc).Proxy Information
text/gemini