Our great sponsors
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
fastcode
A unique blend of C, Java, and Python tailored for those who desire a simple yet powerful programming language.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
star
An experimental programming language that's made to be powerful, productive, and predictable (by ALANVF)
-
Matrix
Easy-to-use Scientific Computing library in/for C++ available for Linux and Windows. (by mlcpp)
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
I have some more examples on the GitHub repo here.
I am working on a light weight Kotlin laxer-parser project, this is mainly for myself, but I notice that there is no real Kotlin parsers library (although one can use Java libraries). I wish to add more parser types, and maybe one day to use byte generation (which will enable exhaustive when expression on the parse tree).
Annotations (mixins) for parameter types
I made some more progress on bluebird, my Ada-like language.
I’m working on FastCode, though it has yet to be finished. It’s almost finished though I still gotta implement a few more things.Here’s the GitHub link. Though I’m having trouble uploading the c++ source code. It gives me an empty file error.
For garnering donations, I tried opening a Github Sponsors account, but it turns out they do not support banks in my home country of Croatia. Who knows how long being on the waitlist will last. And opening an account outside the country is too difficult. I thought of opening a Patreon account, but I found something a lot more suitable. Spiral now has an account on Open Collective. Open Collective allows proxy company services for open source projects, and will act as a financial host until it is time to pay myself. I am not expecting to get anything at the moment given that Spiral still has only a single user. But now I have something to point potential sponsors at. I should be able to charge support and consulting services through this as well. Had I known this existed, I'd have opened a proxy company account ages ago.
For the month of March, my actual goal is to consolidate all my skills. Just like for the past several years, I want to break into making money through reinforcement learning in particular. I want to get good at nurturing my agents and using them. I've set a rule for myself that the games I will be training them on should be interactive. It is just such obvious loser behavior to be doing everything from the command line. That having said, until I learned how to do reactive programming properly just recently meeting that goal seemed impossible. Programming is the kind of activity where you can sit down and grind away at it and make progress, so the weak and stupid can do it too, but to achieve true excellence rather than a mess, you need the right tools and techniques.
I made some progress on my concatenative toy language Foray. There's a basic repl, basic error handling (still not good though), and some basic builtin operators, and some basic docs in the repo.
I'm mainly working on the compiler for Star. More specifically I'm focused on the type checker, which is easier said than done given that Star's type system is fairly unprecedented. As a result, there aren't many resources for implementing such a type system, although Nemerle's type checker has been helpful to look at since its type system shares several parallels with Star's type system.
Working on the type inference for Firefly. I don't have a lot of free time at the moment, so it's coming along slowly.
Continuing work on my functional systems language Clamn. I'd taken the last few weeks to fix a bunch of performance issues, but now it's finally back to implementing features: record types. I've got dependent types in my lang, which means I can get a bunch of more exciting features for free by implementing records, ADTs for instance.
Since last month, I've added a lot of changes to my programming language, now named Aument, namely classes, method dispatching and the module system.
I've been working on adding algebraic effects to Pika during the past month. It's turned out to be harder than I thought it would, but I'm almost done - performing and catching one effect at a time works, and the compilation strategy I'm using now (I reimplemented the whole thing after realizing the strategy I was using wouldn't actually work) should be enough to handle multiple effects at once and also effect polymorphism, I just have to get those working in the elaborator.
Working on startup snapshots in starlight. I already have very basic implementation which allows to initialize runtime in just 17 microseconds from snapshot vs 23 microseconds without snapshot when every builtin is created from scratch. Future work is aimed mostly on making deserialization faster
Working on GST my personnal fork of GNU Smalltalk. I've fixed a small issue regarding the object table in 64 bits you can expect to create much more objects without reaching an out of memory. Also I've improved the VM code specialy the way the objects were GCed and initialized so it brings much more flexibility to change the object layout (adding a new field at the VM level for instance) and added a static assert that will warm the developper ;-)