Ask HN: Comment here about whatever you're passionate about at the moment

1. Bitgrid

   1 20 21 4.2 Pascal

   Bitgrid - a new model of computation

   

   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

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. stock-exchange

   2 2 43 8.2 C++

   Personal stock exchange on your laptop!

   

   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

4. minimap2

   3 5 1,954 8.8 C

   A versatile pairwise aligner for genomic and spliced nucleotide sequences

   

   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.

5. logseq-sync

   4 1 162 7.0 Go

   An open-source Logseq Sync backend implementation

   

   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.

6. plots2

   5 6 976 0.0 Ruby

   a collaborative knowledge-exchange platform in Rails; we welcome first-time contributors! :balloon:

   

   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/

7. cuetorials.com

   6 27 121 4.3 CUE

   Learn you some CUE for a great good!

   

   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

8. octo-termlib

   7 1 2 6.3 Roff

   A terminal-like text library for XO-CHIP in assembly

   

   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)

9. SaaSHub

   www.saashub.com featured

   SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

   

10. Rack

    8 159 4,166 9.3 C++

    The virtual Eurorack studio (by VCVRack)

    

    > 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.

11. Cardinal

    9 80 2,508 8.7 C++

    Virtual modular synthesizer plugin

    

    > 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.

12. surge

    10 170 3,336 9.3 C

    Synthesizer plug-in (previously released as Vember Audio Surge)

    

    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/

13. running_page

    11 3 3,999 8.9 Python

    Make your own running home page

    

    A resource recently shared in HN for running tech lovers https://github.com/yihong0618/running_page

14. vim-be-good

    12 22 3,751 7.5 Lua

    vim-be-good is a nvim plugin designed to make you better at Vim Movements.

    

15. vimium

    13 57 24,668 9.7 JavaScript

    The hacker's browser.

    

16. cp-mod-ref-2019-patchwork

    14 1 3 10.0 C++

    

    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.

17. sbts-aru

    15 28 150 9.4 Shell

    Low cost Raspberry Pi sound localizing portable Autonomous Recording Unit (ARU)

    

    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

18. or-tools

    16 63 11,932 9.7 C++

    Google's Operations Research tools:

    

    Just saw that it looks like an upcoming release of OR-Tools might include reified tables: https://github.com/google/or-tools/commit/94f3d9b46870e7ea04...

19. SaaSHub

    www.saashub.com featured

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    

Suggest a related project