~lthms

Paris · France

https://lthms.xyz

Formal methods researcher, and FP enthusiast.

Trackers

~lthms/ogmios

Last active 27 days ago

#181 Slow git operations over SSH 6 hours ago

Comment by ~lthms on ~sircmpwn/git.sr.ht

It is not specific to git, since ssh git@git.sr.ht also takes a fair amount of time (~25s on my machine).

This is the main (sole?) issue I have with sourcehut.

#5 [ogmarkup] Use nom-5.0 27 days ago

Comment by ~lthms on ~lthms/ogmios

With nom5 and a bit of rewriting

parse time: [11.530 ms 11.559 ms 11.596 ms] change: -3.6907% -2.9557% -2.3064%

Now the question is, will I have the courage to rewrite the nom4 version to see if there is improvement compare to nom5?

#5 [ogmarkup] Use nom-5.0 27 days ago

Comment by ~lthms on ~lthms/ogmios

For reference, here is a benchmark I just made with a sample of ~38,000 words.

parse time: [11.772 ms 11.826 ms 11.890 ms]

#4 [ogmarkup] Accept incomplete aside sections 28 days ago

~lthms assigned ~lthms to #4 on ~lthms/ogmios

#4 [ogmarkup] Accept incomplete aside sections 28 days ago

bug added by ~lthms on ~lthms/ogmios

#5 [ogmarkup] Use nom-5.0 28 days ago

~lthms assigned ~lthms to #5 on ~lthms/ogmios

#5 [ogmarkup] Use nom-5.0 28 days ago

deps added by ~lthms on ~lthms/ogmios

#5 [ogmarkup] Use nom-5.0 28 days ago

Ticket created by ~lthms on ~lthms/ogmios

The latest version of nom is going to be a big breaking change.

Brace yourselves, release is coming.

#4 [ogmarkup] Accept incomplete aside sections 29 days ago

Comment by ~lthms on ~lthms/ogmios

Fixed by 66cc6e906980b20e1a438a53ebbf4346118d77bc.

REPORTED RESOLVED FIXED

#4 [ogmarkup] Accept incomplete aside sections 29 days ago

Ticket created by ~lthms on ~lthms/ogmios

The following snippet won’t work currently:

______________