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.
-
plots2
a collaborative knowledge-exchange platform in Rails; we welcome first-time contributors! :balloon:
-
-
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.
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Here's my old blog on the subject
https://bitgrid.blogspot.com/
Here's my github repository where I have an emulator written in Pascal
https://github.com/mikewarot/Bitgrid
Here's a writeup on the idea on the esoteric languages wiki
https://esolangs.org/wiki/Bitgrid
I’m fascinated by the possibilities of trading as a video game instead of a way to make money. I’m building a stock exchange to try and prove this idea. https://github.com/sneilan/stock-exchange
Interested as well! But the future is not so dark, things like e.g. https://github.com/lh3/minimap2 are a breath of fresh air.
Building an open source sync backend for Logseq: https://github.com/bcspragu/logseq-sync
I'm a big fan of Logseq for keeping track of useful information and tasks and stuff, but the file-based (or Git-based) syncing has sharp edges, and the actual Logseq Sync feature has a proprietary backend, so I've been enjoying figuring out how the protocol works and building an OSS implementation.
Citizen science! It's great when people realize they can answer their own questions with observation and data, and for activism because data is a powerful story. One friend of mine started https://publiclab.org to feed this, and another is doing data journalism to highlight holes in the government's environmental data. https://www.muckrock.com/project/
CUE(lang), because devops & yaml engineering has gotten out of hand
I maintain https://cuetorials.com and am heading up the CUE sig-infra group for the time being
Text rendering / UI on minimal hardware and finding more time for ML-family languages.
A few months ago, an iced-rs maintainer[1] recommended I try Elm. So far, this has lead to:
1. A an MVP[2] of a curses[3]-like library for CHIP-8 derivatives (https://github.com/pushfoo/octo-termlib)
2. A growing interest in language design
3. An ongoing re-evaluation of my software development worldview
[1] 13r0ck / Brock on GitHub (https://github.com/13r0ck). Hire him if you get the chance. He has a rare blend of know-how, mentorship, and community management skills.
[2] Unsolved issues with octo-termlib:
1. Finding a license friendly toward beginners editing pre-made template assembly files (Maybe zlib + acknowledgement?)
2. Elegant & efficient syntax for ending screen X / Y parsing before all digits are used
[3] https://en.wikipedia.org/wiki/Curses_(programming_library)
> It’s haven’t bought any Modular’s yet but I’m really looking forward to getting into other on the new year.
http://cardinal.kx.studio
https://vcvrack.com/
The former is libre and gratis, runs as a standalone or plugin and in the browser!! and is based on the latter.
Ther former has a libre and gratis standalone version, the plugin version is non-gratis.
> It’s haven’t bought any Modular’s yet but I’m really looking forward to getting into other on the new year.
http://cardinal.kx.studio
https://vcvrack.com/
The former is libre and gratis, runs as a standalone or plugin and in the browser!! and is based on the latter.
Ther former has a libre and gratis standalone version, the plugin version is non-gratis.
Good stuff!
I started getting in to this at the start of the year. Already had an old, dusty MicroKORG and MIDI interface to use it as a controller, but recently splashed out on a bigger controller as the Korg's tiny keys were hurting me - plus, I wanted something bigger to get better at piano!
A couple of free soft synths I'd recommend are Surge XT, and Vital.
https://surge-synthesizer.github.io/
https://vital.audio/
A resource recently shared in HN for running tech lovers https://github.com/yihong0618/running_page
Sure! The first thing I did was follow this video: https://www.youtube.com/watch?v=w7i4amO_zaE
This is ThePrimeagen's 0 to LSP, Neovim RC from Scratch. In this video he performs a clean installation of Neovim and goes step by step adding the things he considers essential. This was very important for me to acquaint myself with how things work, how to install plugins, how to define custom key maps. I remember the first times I tried using Vim, I couldn't figure out how to get Nerdtree to work. This video made me realize I just lacked the knowledge of how Vim config works.
This video was such a good start because It provided me with the tools to continue my exploration of Vim autonomously. In a week I was already able to install new plugins and tweak them using Lua config files the way I specifically wanted. It's such a cool experience!
Keep in mind that both the author of this video and I use Neovim, which is a fork of Vim. As a text editor they both function essentially the same. The difference lies on the config files and in broader UI capabilities by Neovim. While Vim uses Vimscript, Neovim prefers Lua, although Neovim is fully backwards compatible, so you can choose to use Vimscript for your configuration if you want as well. This also means that Vim plugins just work with Neovim!
The docs are also a huge source of knowledge for me. In the beginning I resorted to :help key-codes a lot when defining key mappings.
To learn the Vim motions, which is the most challenging part of using Vim, I suggest you find a cheatsheet online and refer to it all the time. One very cool plugin that will help you get comfortable with Vim motions is ThePrimeagen's VimBeGod: https://github.com/ThePrimeagen/vim-be-good. It's a set of game-like exercises to practice the motions. This is also pretty cool and helped a lot: https://vimsnake.com/. It's a classic snake game where instead of using arrow keys, you use HJKL. And speaking of arrow keys, one thing I did very early on was disabling them (or, in reality, remapping them to noop) in normal mode so I was forced to move around the text using Vim Motions.
At first you will get frustrated because your brain will need some time to rewire in a way to absorb all the new abstractions Vim presents. It's a whole new logic of editing text. The most important thing is to stick to it and you will be surprised with how fast you end up picking things up. Of course, don't expect to be crazy fast in a few weeks. But right now, after a little over a month, I no longer feel that discomfort using Vim anymore. I suppose I'd still be faster on VS Code, but I really want to master Vim, so I'm sticking with it and I feel a constant improvement.
Thanks for the link. I think that your version of getting to a reified extensional constraint (your table method) looks like a reasonable way to do it, and probably works quite well for OR-Tools CP-SAT in particular.
Another way to do it directly is to embed the control variable in the table, with a full set of all possible tuples for when the control variable is false. This, however, gives a large blow-up of the table size, especially for wide tables/long words and might be too expensive. Using compressed/smart/cartesian product tables or MDD constraints if the system supports it would solve this (OR-Tools does not, AFAIK).
As for the Gecode model, my idea was that the way to model the words using separate element constraint for each letter could reasonably be extended into a model for reified words by changing the element constraints to tables over the triple in the above way. The benefit is that one would not trigger the combinatorial blow-up one gets for the above with a full table over the whole word since it is only a single letter.
In a related case, I used reified extensional constraints specified using regular expressions in https://github.com/zayenz/cp-mod-ref-2019-patchwork to optionally place polyominoes on a grid.
Sound localizing. I was intensely passionate about it when I saw the possibility to do it well on a Raspberry Pi. There were quite a few more problems than so expected which is why it took five months (of weekends) to complete it well.
But I’m super happy with the result and have a bunch of geeks with recording nodes setup a long distance apart. Localizing large explosions show that it’s possible to localize to a carpets even when some of the nodes are almost 5 away.
For those interested, here is the project:
https://github.com/hcfman/sbts-aru
Just saw that it looks like an upcoming release of OR-Tools might include reified tables: https://github.com/google/or-tools/commit/94f3d9b46870e7ea04...