TL;DR summary of stories on the internet
miniKanren and Prolog are both logic programming languages, but they have different design philosophies and make different trade-offs. Prolog is optimized for expressiveness and efficiency in implementing rule-based systems using first-order logic. It has many extra-logical features and a large library of standard predicates. Prolog code can also be modified at runtime, allowing for powerful […]
Read more »
Approximately half a year ago, I stumbled upon a bug in an internal GitHub API that allowed me to manipulate the API into signing commits as any user. This meant that I could create a commit that appeared to be signed by a user I had no control over. To understand how this was possible, […]
Researchers have been puzzled by the purpose of Roman dodecahedrons, 12-sided metal objects found throughout Europe. A recent discovery in the village of Norton Disney in England has reignited the mystery. Unearthed by a volunteer with the Norton Disney History and Archaeology Group, the artifact is described as “the find of a lifetime.” It is […]
Loro is a rich text CRDT algorithm that complies with Peritext’s criteria for seamless collaboration. It can be built on top of any List CRDT algorithm and convert them into rich text CRDTs. Loro’s algorithm, based on the Replayable Event Graph (REG), records the history of user edits on a directed acyclic graph. It simplifies […]
In this paper, the author proposes a new definition of life and explores its emergence in the universe and its continual evolution. They introduce the concept of Kantian Wholes, which achieve Catalytic Closure, Constraint Closure, and Spatial Closure. The author combines two established mathematical theories, Collectively Autocatalytic Sets and the Theory of the Adjacent Possible, […]
We’re excited to announce that we now have a free Godot Engine port available for authorized Nintendo Switch developers! This port was a collaborative effort by members of the forums on the Nintendo Developer Portal, and it reflects our commitment to making Godot Engine more accessible to creators. Some key features of this port include […]
Introducing SaberVM, a compiler backend for functional languages with properties that make it both fast and safe. It takes in closure-converted and hoisted CPS code and either executes it or AOT compiles it to a native binary. The current implementation is a naive bytecode VM in Rust for rapid prototyping. The goals of SaberVM are […]
In today’s increasing digital landscape, ensuring the security of our online systems is paramount. Our task is to identify potential vulnerabilities and take immediate action to fix them. With hackers and cybercriminals constantly evolving their techniques, it is crucial to stay one step ahead. Controversial information may arise in the discussions surrounding specific vulnerabilities and […]
Welcome to the official Winlator website! Winlator is a game-changing Android application that allows you to seamlessly run Windows applications on your device. We owe a huge thank you to ptitSeb and the brilliant minds behind Wine, the incredible Windows compatibility layer. Their dedication and constant improvements have made it possible for us to bring […]
In the past year, I’ve been focused on my venture providing event and ticket management services for comics. It has been successful, with many tickets sold and happy customers referring others. Here are some key learnings I’ve gathered during this time. Instead of lengthy planning, it’s more effective to talk to customers and let their […]