wgetch

7 ms·

1.
by wgetch 3y ago
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 over the details.
2.
by wgetch 3y ago
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 and more minimal. That said, I personally struggled with ASP
3.
by wgetch 3y ago
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/
4.
Improving Color Quantization Heuristics(blog.pkh.me)
3 points by wgetch 4y ago|0 comments
5.
by wgetch 4y ago
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 single model through clingo to see if the puzzle design was fea
6.
by wgetch 4y ago
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 really mean side effects), while A
7.
by wgetch 5y ago
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 boolean SAT problem and feed that into a SAT solver. The la
8.
by wgetch 5y ago
You begin to contemplate neutral yet fascinating sensations. 8c29152333c388888888961e813457759ca87a8b54078779f8cbdefedf6401d2 You picture an infinite and essentially captivated dimension. a8888ff4ddb3e7c0c38d30a8b4184f78d85888806f67ab73ca64
9.
by wgetch 5y ago
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: https://xkcd.com/2453/ On that note, TFA
10.
by wgetch 6y ago
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 clarify, I think the issue stems from DNS being a potential attack
11.
by wgetch 6y ago
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[0] provides a cross-compiling toolchain for 3ds homebrew de
12.
by wgetch 6y ago
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 is using %~ to display cwd.
13.
by wgetch 6y ago
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 older TI calculators. A couple of details I found in anothe
14.
by wgetch 6y ago
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 the original. It derives its physics constants and other gam
15.
by wgetch 6y ago
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 format) to the in-game "/loadmod" comma
16.
by wgetch 6y ago
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-set-programming/2020/04/22&#x2F
17.
by wgetch 6y ago
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 using answer set programming. On the surface ASP programs look