Teacher Tom
var addthis_config = {"data_track_clickback":true}; Before I'd even met the two-year-old boy, his mother told me, "He has an irrational fear of pinecones."This was important for me to know because there was a pine tree on the playground. And she knew it. I quickly considered how I should...
Teacher Tom
var addthis_config = {"data_track_clickback":true}; "No climbing to the top!"When our daughter was in kindergarten, her school installed an amazing rope-and-steel climbing structure. The kindergartners were forbidden from climbing to the very top, which meant that adults were always...
Teacher Tom
var addthis_config = {"data_track_clickback":true}; They say there are no stupid questions, but I beg to differ. We hear stupid questions almost every time adults and young children are together. For instance, a child is painting at an easel, exploring color, shape, and motion,...
Teacher Tom
var addthis_config = {"data_track_clickback":true}; We start speaking with our babies from the moment they're born. We know they don't understand what we're saying, of course, but that's beside the point. If we ask them questions, we don't expect answers. If we give them instructions, we...
Teacher Tom
var addthis_config = {"data_track_clickback":true}; As a play-based preschool teacher, I make sure, every day, to have at least two opportunities for making art available to the kids, one indoors and one outdoors. Typically, the outdoor provocation offers the opportunity to get good and...
Adactio: Links
This is beautifully written. adactio.com/links/22659
Aaron Pham
un recueil qui grandit au fil des leçons : des phrases toutes faites, rangées par situation. la grammaire derrière chaque frame vit dans les notes d’épisode. les présentations des mots pour se présenter : pour dire son nom pour dire sa nationalité Je me présente : Louis Martel. Je viens du...
Teacher Tom
var addthis_config = {"data_track_clickback":true}; I subscribed to The Atlantic for quite awhile, but recently let it expire when I decided to limit my consumption of "political news." I don't have the time or bandwidth. I'm too busy playing with children and reading books.That said,...
Adactio: Journal
“Radharc álainn” I said. Beautiful view. “Nach ea!” he replied. Isn’t it? He sounded surprised to be addressed in Irish. We were, after all, very far from Erin’s shores. The beautiful view in question was of the bay of Loggos on the Greek island of Paxos. But I knew that this person was a fluent...
Adactio: Links
Nothing about the current trajectory of AI development is inevitable. It was shaped by the thousands of subjective decisions of a tiny elite, and continues its march based on the active participation and tacit consent of people globally. adactio.com/links/22635
Kai L. Chan
When I was a child in Maaubou, I caught shrimps from the village pond and carried home fish when it was drained for harvest. When I returned to my village, I strolled by the pond and sought the space in front of the Chan Ancestral Hall where I had played as a child. By the ...
Susan Stepney
The latest batch:The photography book is in response to the recent attempts to capture images of insects in the garden. My other half wants to learn how to do it better. Which will probably include a new fancy lens or two.
Adactio: Links
Simply put: AI thrives when our need for originality is low and our demand for mediocrity is high. AI will fill the world with grindingly average texts, passable but derivative illustration and video, and unoriginal but functional new product designs. What is being mechanized by AI is...
rhomexblak
My last post was on 3.1.1 Language of the page. We talked about telling the screen reader the main language of the page. It’s like setting the thermostat for the whole house. But what if you have a guest room where the temperature needs to be different? Or a kitchen…
Kevin Lacker
Constrained types in Acorn now have a simple, explicit constructor behavior: new returns an Option. Here's a constrained type: structure OrderedIntPair { first: Int second: Int} constraint { first <= second} When you call OrderedIntPair.new, the result tells you whether the constraint...
Kevin Lacker
We're making a big change to the Acorn syntax: using square brackets for type parameters, instead of angle brackets. Before: inductive List<T> { nil cons(T, List<T>)} After: inductive List[T] { nil cons(T, List[T])} Both syntaxes are supported, starting in Acorn 0.1.8. You...
Kevin Lacker
Typeclasses in Acorn provide a powerful way to define common behaviors across different types. But what happens when you need to build upon existing typeclasses? Today, we're introducing typeclass extension. With typeclass extension, you can create more specialized typeclasses that inherit from...
Kevin Lacker
Since launching the Acorn beta, we've heard consistent feedback from mathematicians that they need a powerful type system to represent their favorite area of mathematics. Today, we're releasing two big improvements to Acorn's type system. The first is typeclasses. typeclass S: Semigroup { //...
Kevin Lacker
We've deployed a new version of the Acorn Prover, 0.0.5, with support for a commonly requested feature: generic types. For example, the standard library now has a Pair structure: structure Pair[T, U] { first: T second: U} Generics allow defining functions, structures, or theorems with...
ABuisman.com
I have been working on a big platform with countless pages. Since its beginning, it was built using Bootstrap for the front end, but maintenance has become burdensome over time. This is due to multiple layers of custom CSS and the reuse of CSS, which has caused changes in one place to have...
Adam Gradzki
Learning to pronounce words without a tutor is so much easier thanks to the open source software espeak-ng. Link to usage examples. I can get sound and the IPA spelling of any word easily directly from a free offline program installed on my laptop. For example, the following command gives the...
Martín Villalba
As someone who regularly switches between keyboard layouts, I have a problem: I have at least three keys that can be used as an apostrophe, but I don't know which one is the correct one. Compare: Backtick: Hamlet`s father ASCII Apostrophe: Hamlet's father Acute accent: Hamlet́s father Single...
ache
C is a language with a simple syntax. The only complexity of this language come from the fact that it acts in a machine-like way. However, a part of the C syntax is almost never taught. Let's tackle these mysterious cases! 🧞
Noah Ó Donnaile
I had the pleasure of spending a couple of months this summer interning at the ADAPT Centre in Dublin City University, working with the GaelTech team of Dr. Teresa Lynn and PhD candidates Abigail Walsh and Meghan Dowling, on resources and tools for Irish language technology. Foireann GaelTeic ag...
Aram’s Lair of Mad Science
I built a reference cookbook of algorithms and data structures for contest problem solvers. It’s written in the Rust programming language, as I believe it’s ideally suited to the task. For more info, please check out the repository at github.com/EbTech/rust-algorithms. While I believe Rust is...
0xADADA
When introduced to someone for the first time, I stay away from asking the cliché question “so what do you do?” This seemingly benign question is steeped in the cultural heritage of the New England colonial Puritan/Protestant work-ethic. Hard work, frugality, perseverance in the face of hardship...