I’m passionate about functional programming, logic, type theory, category theory, and more.
- Tallinn, Estonia
- https://wolfgang.jeltsch.info/
Pinned Loading
-
-
order-maintenance
order-maintenance PublicAlgorithms for the order maintenance problem with a safe, yet flexible interface
Haskell 1
-
order-maintenance-correctness
order-maintenance-correctness PublicProof of correctness of the Jeltsch–Firsov order maintenance algorithm
146 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
March 2025
Created 15 commits in 2 repositories
Created a pull request in IntersectMBO/lsm-tree that received 4 comments
Make comparison of Unsliced
values more efficient
This pull requests makes comparisons of Unsliced
values more efficient by avoiding conversions of byte arrays to vectors and instead using conversi…
+63
−2
lines changed
•
4
comments
Opened 6 other pull requests in 1 repository
IntersectMBO/lsm-tree
1
open
5
merged
-
Make ordinary indexes store their keys unsliced
This contribution was made on Mar 27
-
Make run parameters explicit
This contribution was made on Mar 18
-
Finish switching of index-using tests to ordinary indexes
This contribution was made on Mar 15
-
Clean up
Test.Database.LSMTree.Internal.Vector
importsThis contribution was made on Mar 15 -
Make ordinary indexes the default
This contribution was made on Mar 12
-
Add assertions about keys to ordinary-index construction
This contribution was made on Mar 7
Reviewed 3 pull requests in 1 repository
IntersectMBO/lsm-tree
3 pull requests
-
Make ordinary indexes store their keys unsliced
This contribution was made on Mar 28
-
Make run parameters explicit
This contribution was made on Mar 19
-
Add general index benchmarks
This contribution was made on Mar 14
Created an issue in IntersectMBO/lsm-tree that received 1 comment
Store keys in ordinary indexes unsliced
We shall change the representation of IndexCompact
to use Unsliced SerialisedKey
instead of SerialisedKey
. This will give us the following advantages:
1
comment
Opened 2 other issues in 1 repository
IntersectMBO/lsm-tree
2
open
-
Improve code coverage of the main library
This contribution was made on Mar 31
-
Move the number of entries to the snapshot metadata
This contribution was made on Mar 6