A racket lang-extension for debugging, based on sugar/debug.

A collection of bitmap fonts for Playdate , the tiny handheld game system from Panic

The Nintendo Gameboy may be over 30 years old, but it’s far from dead. This is the master page for my “How to make a gameboy game” tutorial series. I’m going to break down the gameboy game creation process into multiple high-level steps. Each step will have it’s own tutorial page. Also, each step will be included on this master page for easy access. I hope you find this series helpful and interesting.

From Jeppe Carlsen, the lead gameplay designer of LIMBO and INSIDE — COCOON takes you on an adventure across worlds within worlds. Master world-leaping mechanics to unravel a cosmic mystery.

The 19th-century poet, whose verse still resonates with its open-ended sense of how language produces meaning, is a model for a group of Brooklyn coders inventing a more humane computer.

big ‘ol book all about live coding – the history and how to do it

In this talk, I will report on progress developing a fuzzy type theory, a project that started as part of the ACT 2022 Adjoint School. The motivation is to develop a logic which can model opinions, and we do this by generalizing Martin-Löf type theory. Martin-Löf type theory provides a system in which one can construct a proof (aka a term) of a proposition (aka a type), and we usually interpret such a term as saying that the proposition holds. Fuzzy type theory is a similar system in which one can provide or construct evidence (aka a fuzzy term) to support an opinion (aka a type), but the evidence (fuzzy term) comes with a parameter, for instance a real number between 0 and 1, which expresses to what extent the opinion holds.

If you are new to assembly programming, then RISC-V is a good start.

As HCI is applied in increasingly diverse contexts, it is im- portant to consider situations in which computational or in- formation technologies may be less appropriate. This pa- per presents a series of questions that can help researchers, designers, and practitioners articulate a technology’s appro- priateness or inappropriateness. Use of these questions is demonstrated via examples from the literature. The paper concludes with specific arguments for improving the conduct of HCI. This paper provides a means for understanding and articulating the limits of HCI technologies, an important but heretofore under-explored contribution to the field.

It’s a common misconception that dynamic languages inherently have tobe slow. This seems to be a deeply ingrained reflex nowadays. Probablytrained by years of suffering from simplistic implementations, oftenhelped by bad language design decisions.

Permacomputing is a nascent concept and a community of practice centred around design principles that embrace limits and constraints as a positive thing in computational culture, and on creativity with scarce computational resources. As a result, permacomputing aims to provide a countervoice to digital practices that promote maximisation, hyper-consumption and waste.

a brief academic paper that reviews the situations where automation ends up producing more work for humans, rather than less – posits that this is sort of the norm, because automation almost always adds a layer (or two) of complexity and abstraction on to a problem space. While not directly written about AI (this is from 1983) I feel it is a solid foundation from which to build discussion (in the negative) on AI in modern system.

Learn how you can make spatial computing apps that work well for everyone

I’ve learned that when I break down my large tasks in chunks that result in seeing tangible forward progress, I tend to finish my work and retain my excitement throughout the project. People are all motivated and driven in different ways, so this may not work for you, but as a broad generalization I’ve not found an engineer who doesn’t get excited by a good demo. And the goal is to always give yourself a good demo.

When we—as people—inhabit the physical world, the laws of physics, chemistry, biology, sociology, and even of governments help us by providing constraints against which our actions can gain leverage to get things done. Software obeys few laws—computability is an important limitation, but it sets only a fairly abstract bar for feasibility. Types provide other laws, but so far they have not enabled the breakthroughs in programming language design we need to be able to construct reliable, resilient ultra large scale systems.

A rewriting system consists of a set of syntactic rules for performing replacements on certain suitable entities. The best known such system is the one we learnt at school for evaluating arithmetic expressions. Any programming language can be given a rewriting system, but for Joy it is particularly simple. The basic binary rewriting relation will be written in infix notation as =>, pronounced “can be rewritten as”. The following are some sample rules for the operator, the < predicate and the dip combinator.

It is clear that the current practices for digital accessibility are not working. The Department of Justice and the General Services Administration Section 508 Report to Congress and the President confirms this. From this we know that in the last decade, agencies have not made measurable progress toward Section 508.

The Library of Congress is sponsoring a challenge to help improve public knowledge of civics–that is, the rights and responsibilities of citizens-by asking video games developers to create fun, lightweight video games related to civics that incorporate Library of Congress resources. Please see the rules and entry form for more information on this challenge.

This server was created specifically to use as a base for a text adventure game. As such it lacks features you might expect. It has not been widely tested.

On September 16, 2011, an anime fan posted a math question to the online bulletin board 4chan about the cult classic television series The Melancholy of Haruhi Suzumiya. Season one of the show, which involves time travel, had originally aired in nonchronological order, and a re-broadcast and a DVD version had each further rearranged the episodes. Fans were arguing online about the best order to watch the episodes, and the 4chan poster wondered: If viewers wanted to see the series in every possible order, what is the shortest list of episodes they’d have to watch?In less than an hour, an anonymous person offered an answer — not a complete solution, but a lower bound on the number of episodes required. The argument, which covered series with any number of episodes, showed that for the 14-episode first season of Haruhi, viewers would have to watch at least 93,884,313,611 episodes to see all possible orderings. “Please look over [the proof] for any loopholes I might have missed,” the anonymous poster wrote.