GitHub

A list of funny and tricky JavaScript examples

JavaScript is a great language. It has a simple syntax, large ecosystem and, what is most important, a great community. At the same time, we all know that JavaScript is quite a funny language with ...
GitHub

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

The AoPA library allows one to encode Algebra of Programming (BdM97) style program derivation, both functional and relational, in Agda. Since the 90s, the program derivation community has been ...
gobookmart

Sorting Algorithms Explained: How Bubble Sort, Insertion Sort, and QuickSort Work in Real Life

You then repeat the process until every book is in its proper place. Insertion Sort takes a smarter approach. Instead of dragging the largest item to the end, it builds a sorted section piece by piece ...
C&EN

Isomorphic Insertion of Ce(III)/Ce(IV) Centers into Layered Double Hydroxide as a Heterogeneous Multifunctional Catalyst for Efficient Meerwein–Ponndorf–Verley Reduction

Australian Institute for Bioengineering and Nanotechnology, The University of Queensland, St. Lucia, Queensland 4072, Australia Interdisciplinary Excellence Centre, Department of Applied and ...