Viewing profile — wgetch

The work on [2] is fascinating to me, both because of the problem domain and as a case study on the effective application of ASP. I will be reading this paper carefully to pore ove…

I second the recommendation to start with Lifschitz and move on to the Potassco book from there. To add: One does not need to know Prolog to get into ASP, the semantics are unique …

When you arrange point-topped hexagons into an approximately hexagonal shape, the combined "hexagon" is flat-topped. Take a look at the demo site: https://hexagony.net/

Potassco is a wonderful collection of software. I have used clingo recently to prototype some puzzle ideas that I had. After encoding the rules in ASP I could quickly produce a sin…

ASP has both classical negation and negation-as-failure, but that is not quite why I'd say it is "more declarative". Prolog is capable of performing "imperative" tasks (by this I r…

Answer set programming is also well suited for combinatorial search problems such as this. The classic approach for ASP solvers is to reduce a logic program into an instance of the…

You begin to contemplate neutral yet fascinating sensations. 8c29152333c388888888961e813457759ca87a8b54078779f8cbdefedf6401d2 You picture an infinite and essentially captivated dim…

There is, perhaps surprisingly (or not), already a relevant XKCD mentioning this feature while poking fun at the computational abominations that were already possible in Excel: htt…

What happens if both DNS requests are hijacked? Could an attacker return both a different IP and a different public key that correspond to a malicious server? Edit: I should clarif…

While the majority of existing homebrew are either games or emulators, the systems are not limited to just playing games and there are a few options for programming them. devkitPro…

With ZSH, you can use a named directory hash to create such 'aliases' to directories: hash -d hello=~/Documents ~hello/world The shortened names also show up in your PROMPT if it i…

This is unfortunate, assembly programs were the strongest aspect of the TI homebrew community. Some really great games and applications were made possible by native binaries on the…

WebLiero strives to be as accurate to the original as possible, and from what I can tell recreates the physics, objects, and particles systems using the same general structures as …

It's a secret to everyone, but it is possible to run a WebLiero server with custom mods by providing a json/json5 file and a wlsprt file (which uses a custom but simple binary form…

I intend to do a proper writeup for this, in the meantime I published a short blog[1] with the program along with some background information. [1] https://blog.phazon.xyz/answer-se…

Always interesting to see logic programming applied to music, it is in my experience a good fit for the musical problem space. I spent some time exploring the analysis of chords us…