Benki → All Posts

Most specification languages have a type system. Type systems are hard to get right, and getting them wrong can lead to inconsistencies. Set theory can serve as the basis for a specification language without types. This possibility, which has been widely overlooked, offers many advantages. Untyped set theory is simple and is more flexible than any simple typed formalism. Polymorphism, overloading, and subtyping can make a type system more powerful, but at the cost of increased com- plexity, and such refinements can never attain the flexibility of having no types at all. Typed formalisms have advantages too, stemming from the power of mechan- ical type checking. While types serve little purpose in hand proofs, they do help with mechanized proofs. In the absence of verification, type checking can catch er- rors in specifications. It may be possible to have the best of both worlds by adding typing annotations to an untyped specification language. We consider only specification languages, not programming languages.

Another mobile-game development framework with an advertising clause. Python-based.

Ignifuga is a multi platform (Windows/Linux/OS X/iOS/Android) 2D hardware accelerated engine based on Python and Cython, inspired by similar offerings like Cocos2D, Cocos2D for iPhone, and AndEngine. All your game logic code along with the engine’s and supporting tools is converted to C during the build process, and compiled into one big standalone binary for each of the supported platforms (please refer to the FAQ for more information).

A Lua mobile-game development framework with a rather strange licensing model (open source with advertising clause; additional cloud services for sale).

Moai is a mobile game development platform. It’s driven by the Lua scripting language, both on mobile devices and in the cloud. The Moai SDK can handle graphics, animation, input, physics, collisions, and more. Moai Cloud hosts your game logic, databases and additional game content, plus key services you need to build and administer great games.

A JVM with fast startup times.

REASONABLE-UTILITIES (RUTILS) is yet another general purpose utilities package for COMMON-LISP.

The home of Standard C++ on the web — news, status and discussion about the C++ standard on all compilers and platforms.

C++Script is a C++ library which provides scripting, dynamic types and dynamic programming within C++.

The dynamic paradigm allows C++ to be used in a much more straightforward way, without requiring knowledge of memory management, classes, templates, containers and iterators. Many problems can be expressed much more simply using dynamic types.

Dynamic types are also useful for experienced C++ programmers, for prototyping, scripting, interfacing to dynamically-typed languages, dynamic data sources etc.

As a scripting language, C++Script programs are compiled using a standard C++ compiler, can embed standard C and C++ code where performance matters, can be embedded in C++ projects, and can link against standard C++ libraries.

The goal of the project is to provide a simple and easy-to-use facade for C++, whilst making it easy to use the full power of C++ where needed.

Why are we still using insecure channels of communication, like e-mail, Skype, IRC and Facebook? Why do we entrust central authorities with our most private data and why do we rely on their infrastructure?

Because there isn’t an easy to use alternative yet!

End-to-end encryption and decentralized social interaction is always a hassle. Our goal is to give developers an easy to use framework that hides the complexity of decentralized message passing, a distributed social graph and naturally embeds encryption.

iScream is a freeware application for Mac OS X. It is designed to record audio from microphone, line-in or another input audio device easily. And save it in MP3, AAC or WAV format. The main idea of this application is to sit in the dock and wait for a click. Just click on dock icon to start recording. To stop click on dock icon again. So it’s good for a voice records, voice notes and other voice recording things.

Soundflower is a MacOS system extension that allows applications to pass audio to other applications. Soundflower is easy to use, it simply presents itself as an audio device, allowing any audio application to send and receive audio with no other support needed.

Initial support for the development and maintenance of Soundflower was provided by Cycling ’74. Recent updates have been made by Tim Place of Cycling ’74 and Electrotap.

Aria Maestosa is an open-source (GPL) midi tracker/editor. It lets you compose, edit and play midi files with a few clicks in a user-friendly interface offering keyboard, guitar, drum and controller views.

Aria Maestosa runs on Mac OS X, Windows and Linux/Unix. It is translated in many languages including French, Chinese, Japanese, Spanish and Russian.

OPAM is a package manager for OCaml. Managing your OCaml installation can be as simple as:

opam install lwt     # Install lwt
opam switch 4.00.0   # Switch to OCaml 4.00.0 environment
opam pin lwt 2.3.2   # Mark version 2.3.2 to be used in place of the latest one
...

“I’ve often fallen back on pass-by-reference to avoid needless copies …

“But is it really necessary to mess up our code in this way to gain efficiency? Fortunately, the answer turns out to be no (and especially not if you are using C++0x). This article is the first in a series that explores rvalues and their impliciations for efficient value semantics in C++.”

“ This help entry contains the same information as Appendix B of the LaTeX manual. It describes the format of a bibliography database (.BIB) file.

“A bibliography database file may contains two types of entry - an abbreviation definition or a reference entry for citation.”

“The [LaTeX] package that facilitates expressive syntax highlighting in LaTeX using the powerful Pygments library. The package also provides options to customize the highlighted source code output using fancyvrb.”

“This is [the official] C++ binding for 0MQ.”

“This C++ binding is a ‘high-level’ library that hides most of the c-style interface core 0mq provides. It consists of a number of header and source files all residing in the zmq directory, these files are provided under the MIT license (see zmq/zmq.hpp for details).

“They can either be included directly into any 0mq using project or used as a library. A really basic Makefile is provided for this purpose and will generate both shared and static libraries.

“There is a number of unittests covering the code but in no way should the tests be considered complete.”

“Crossroads I/O …

… is lego bricks for building scalable and high performance distributed applications.

… is what BSD sockets might have looked like if designed for today’s requirements.

… is message based, and supports many different network protocols.

… works with all programming languages, all operating systems.

… is part of a wider effort to make messaging a standard part of the networking stack.

… is Free Software licensed under the LGPL license.

… is a fork of the ZeroMQ project.”

“Concurrency Kit provides a plethora of concurrency primitives, safe memory reclamation mechanisms and non-blocking data structures designed to aid in the design and implementation of high performance concurrent systems.”

“RSTM is one of the oldest open-source Software Transactional Memory libraries. Since its first release in 2006, it has grown to include several distinct STM algorithms. It also supports several architectures and operating systems (x86 / SPARC; Linux, Solaris, MacOS).

“As a research system, not all configurations are currently supported. However, among the various options one can find support for strong semantics (privatization, publication), irrevocability, condition synchronization (via ‘retry’), and strong progress guarantees. ”

“A smarter client-side with ClojureScript: Shoreleave’s publish/subscribe system …

“Shoreleave allows you to compose your programs by declaratively binding functions, atoms, workers, and and localStorage through a publish/subscribe bus.”