kwon-young
Joined 9 years ago
Karma
73
Submissions
23
Member since
May 10
Recent submissions
Comment · 4 months ago
Comment · 5 months ago
It's nice that python 3.15 added Iterator synchronization primitives: https://docs.python.org/3.15/library/threading.html#iterator.... These will nicely complement my threaded-generator package which is doing just this but using a thread/process+generator+queue: https://pypi.org/project/threaded-generator/
Comment · 7 months ago
The article mentions prolog but doesn't mention you can use constraints to fully express his computation graph.
My prefered library is clpBNR which has powerful constraints over boolean, integers and floats:
Welcome to SWI-Prolog (threaded, 64 bits, version 9.2.9)
?- use_module(library(clpBNR)).
% *** clpBNR v0.12.2 ***.
true.
?- {TotalOwed == TotalTax - TotalPayments}.
TotalOwed::real(-1.0Inf, 1.0Inf),
TotalTax::real(-1.0Inf, 1.0Inf),
TotalPayments::real(-1.0Inf, 1.0Inf).
?- {TotalOwed == TotalTax - TotalPayments}, TotalTax = 10, TotalPayments = 5.
TotalOwed = TotalPayments, TotalPayments = 5,
TotalTax = 10.
But the author talks about xml as an interchange format which is indeed better than prolog code...
Comment · 1 year ago
I don't see the advantage ?
In the comparative table, they claim that conda doesn't support:
* lock file: which is false, you can freeze your environment
* task runner: I don't need my package manager to be a task runner
* project management: You can do 1 env per project ? I don't see the problem here...
So no, please, just use conda/mamba and conda-forge.
Comment · 1 year ago
In my opinion, anything that touch compiled packages like pytorch should be packaged with conda/mamba on conda-forge.
I found it is the only package manager for python which will reliably detect my hardware and install the correct version of every dependency.
Comment · 1 year ago
Just to illustrate this point, poppler [1] (which is the most popular pdf renderer in open source) has a little tool called pdf2cairo [2] which can render a pdf into a svg.
This means you can delegate all pdf rendering to poppler and only work with actual graphical objects to extract semantics.
I think the reason this method is not popular is that there are still many ways to encode a semantic object graphically. A sentence can be broken down into words or letters. Table lines can be formed from multiple smaller lines, etc. But, as mentioned by the parent, rule based systems works reasonably well for reasonably focused problems. But you will never have a general purpose extractor since rules needs to be written by humans.
[1] https://poppler.freedesktop.org/ [2] https://gitlab.freedesktop.org/poppler/poppler/-/blob/master...
Comment · 1 year ago
This reminds me of the mp-units [1] library which aims to solve this problem focusing on the physical quantities.
The use of strong quantities means that you can have both safety and complex conversion logic handled automatically, while having generic code not tied to single set of units.
I have tried to bring that to the prolog world [2] but I don't think my fellow prolog programmers are very receptive to the idea ^^.
Comment · 1 year ago
I am working on a unit-aware arithmetic library for swi-prolog (1) modeled after the c++ mp-units library (2).
Turns out prolog is really well suited for this because:
* of its ability to store unit system data as code
* unit conversion is an iterative deepening depth first search
* manipulating symbolic arithmetic is so easy
Unfortunately, it requires users to compile swi-prolog for source because the library is using some unreleased features. If anyone would like to test and report some feedback, I would be truly grateful !
Comment · 1 year ago
Curl is one of the very few projects I managed to contribute to with a very simple PR.
At the time, I was a bit lost with their custom testing framework, but was very imprest by the ease of contributing to one of the most successful open-source project out there.
I now understand why. It is because of their rules around testing and readability (and the friendly attitude of Daniel Stenberg) that a novice like me managed to do it.
Comment · 1 year ago
I have recently started working on a swi-prolog library for unit aware arithmetic[1].
It is still very bare bone (especially in documentation), but I started writing some examples[2] to showcase the library.
It is essentially a port of the mp-units[3] library in c++.
It was a lot of fun, and I found prolog especially well suited for manipulating symbolic representation of units and quantities.
[1] https://github.com/kwon-young/units
[2] https://github.com/kwon-young/units/blob/master/examples/spe...
Comment · 1 year ago
Funny how we can stumble on the same idea from a different perspective.
In my case, I wanted to generate efficient C code for an array library written in prolog. The logical solution was to manipulate a C ast from prolog, but since a lot of the ast needed to be written by me, I chose to make it very similar to the original C syntax.
Here is the grammar generating tokens from the ast and then c code from tokens: https://github.com/kwon-young/array/blob/master/c99.pl
And some example uses: https://github.com/kwon-young/array/blob/master/kernel.pl#L5...
Comment · 1 year ago
I'm working on a pure SWI-Prolog grammar to describe the modern music notation.
The end goal being to be able to do the last step of Optical Music Recognition and generate the final music score (in the MEI) from a set of graphical primitives: https://github.com/kwon-young/music
It's been months I've been stuck on the description of note groups because of the insanely complex 2D semantics.
Comment · 2 years ago
I don't recall finding hugin when I did my (short) research on image stitching tool. Thanks to you, I've read the scanned image stitching documentation and I suppose it could work.
However, the process seems quite complicated and slow, asking you to draw control points and all that.
Microscope pictures have the particularity that there are nearly no deformation to the image but you have a lot of them, so you want the process to be as automatic as possible. That was the goal of my tool, make the simplest gui anf process possible for the task at hand.
Comment · 2 years ago
Yeah, I should really try to improve it... But it was just 3 days hacking to put a frontend on the opencv Stitch class and produce an exe that my dad could use.
To understand why OMR is so neglected is because most people widely underestimate the difficulty of the task. It has a specific blend of the most extreme shapes combined with an extremely complicated graphical grammar...