flowing → systems

Cake: expressive algorithms and data structures in Scala

Cake is a Scala library for expressing algorithms and data structures in a declarative and typed manner, focusing on properties like: structure (directed graph, hierarchy) propagation of information (signal, feedback, random flow) parametrized

philosophy

From Ontology to Cognition

The primary obstacles to progress in understanding cognition are conceptual: the set of perspectives through which we approach the topic is misleading from the very start. Is it a good idea to question

centrally planned economy

On the "calculation problem"

The most unfortunate thing is that some self-proclaimed "socialists" have fallen for this and even repeat Misean arguments. But this just goes to show that any socialism that is not radical and anti-market is going to be demolished. Any compromise means that you are abandoning all logical coherence.

croatian

Anti-Bakić: crtice o "STEM revoluciji" i obrazovanju u Hrvatskoj

Svrha sustavnog obrazovanja nije, niti je povijesno ikada bila, uzdizanje prosječnog pojedinca iz nižih društvenih slojeva u više. Također nije apstraktno 'opće dobro' koje nadilazi klasne odnose, bili oni robovlasnički, feudalni, ili kapitalistički.

philosophy

The Copy Test

Much of the confusion surrounding philosophy of consciousness is due to exactly the fact that it is not yet a *science* of consciousness: messy definitions, many interwoven but different perspectives, and even completely distinct subjects of inquiry.

Free Software

A short critique of Stallmanism

I like Stallman and tend to agree with him often: regarding software, or other politics. This article tries to constructively criticize some parts of the free software movement's ideology, which I collectively refer

Mona Compiler Development

Mona Compiler Development, part 3: AST construction and scope management

My previous MCD post dealt with the first part of syntax analysis, specifically, processing a stream of tokens according to rules of some formal grammar. This post deals with the output of that

Mona Compiler Development

Mona Compiler Development, part 2: parsing

Since the last MCD post, I've also written a post detailing the work I've done on the design of the language: Fundamentals of Mona. Now I'm continuing with detailing the development of the

Mona

Fundamentals of Mona

I've settled on a lot of Mona features and concepts, and this post will sum up that design progress. Here's an introductory post that lays out the basic ideas and goals of the

physics

Petnica International and optimizing glass shapes

Over the last 10 days I've been at Petnica International, a science seminar in Serbia, and it was an incredible experience (not unlike other Petnica programs) - I've met lots of cool and

Mona Compiler Development

Mona Compiler Development, part 1: lexical analysis

As I've mentioned in my introductory post, the first part of the monac (Mona compiler) I've built is concerned with lexical analysis. In this post I'll explain what lexical analysis is, what part

Mona

New project: Mona programming language

I'm working on a new project, a programming language named Mona, which integrates a functional programming style with systems programming and low-level features. My primary goal with such a combination is to enable

image processing

Edge detection using the Sobel operator

In image processing, a lot of useful information in an image is contained in the edges of objects, and edge detection is a process of separating the object edges and the rest of

genetic algorithms

Robot Evolution

Robot Evolution is an application that uses genetic algorithms to evolve and optimize virtual walking poly-pedal robots. The robots are 2D geometric constructions of rectangles that are connected by virtual motors which apply

java

Manipulating Java class loading mechanisms

At the moment I am working as an intern in CROZ, and I was tasked with creating an evaluator for Java for an online competition. It's essentially supposed to execute code sent by

graviton

Graviton has been finished

I've made an n-body simulator called Graviton and wrote a paper on it, which was submitted to our national astronomy competition. List of features: Runge-Kutta integration Minimal mode with no graphics Orbit display

graviton

Introduction to HORIZONS

While working on Graviton, I discovered a useful system set up by NASA, that provides lots of information about celestial bodies, based on very accurate data (I believe it is also used to

genetic algorithms

Introduction to Atlas

Atlas is a project of mine that combines artificial intelligence and evolution, by simulating a virtual world with organisms that move around, feed, learn, and evolve. The inspiration was this Google Talk given