 Marcus Rohrmoser
|
dff4744d63
repair linux build.
|
1 年之前 |
|
Marcus Rohrmoser
|
0a32c16b1b
silence the linker warning '.. missing .note.GNU-stack section ..'
|
1 年之前 |
|
Marcus Rohrmoser
|
e7a0274735
unsuccessfully trying to add linker flags.
|
1 年之前 |
|
Marcus Rohrmoser
|
6171f04633
minimum ocaml v.4.08 https://github.com/ocaml/opam-repository/pull/23762#discussion_r1238204381
|
1 年之前 |
|
Marcus Rohrmoser
|
351b6146c9
minimum compiler version also for the executable, not just the lib. https://github.com/ocaml/opam-repository/pull/23762#pullrequestreview-1492578187
|
1 年之前 |
|
Marcus Rohrmoser
|
a66bc63788
thanks @mseri, this is the fix as suggested in https://github.com/ocaml/opam-repository/pull/23762#discussion_r1214005372
|
1 年之前 |
|
Marcus Rohrmoser
|
65a27b2f94
release prep
|
1 年之前 |
|
Marcus Rohrmoser
|
73f0fda85f
- opam++, dune++, Makefile--
|
1 年之前 |
 Patrik Keller
|
a462f80f80
MirageOS retreat hacking session (cont'd)
|
1 年之前 |
|
Patrik Keller
|
2799429de5
MirageOS retreat hacking session
|
1 年之前 |
|
Marcus Rohrmoser
|
8bb2cbce32
intermediate
|
1 年之前 |
|
Marcus Rohrmoser
|
ed8e71a03e
fiddle
|
3 年之前 |
|
Marcus Rohrmoser
|
b40cea6a36
statically link but not on macOS.
|
3 年之前 |
|
Marcus Rohrmoser
|
fbd81a1573
- stdout explicit
|
3 年之前 |
|
Marcus Rohrmoser
|
adcd962e0d
geo uri more prominent.
|
3 年之前 |
|
Marcus Rohrmoser
|
d1b0be0fec
fix regression on 32bit systems, introduced f944d925
|
3 年之前 |
|
Marcus Rohrmoser
|
4dc743e04f
purge legacy
|
3 年之前 |
|
Marcus Rohrmoser
|
8e9ded09de
prevent overflows, more tests.
|
3 年之前 |
|
Marcus Rohrmoser
|
f944d925fe
update dependency
|
3 年之前 |
|
Marcus Rohrmoser
|
221ab40d52
example.com, see https://news.ycombinator.com/item?id=26491851
|
3 年之前 |
|
Marcus Rohrmoser
|
0720087527
Result.bind
|
3 年之前 |
|
Marcus Rohrmoser
|
8e2344072b
reduce geo hashes to 60 bit to fit into Int63 OCaml integers keeping the same int hex digits (just one less, 15 instead of 16).
|
3 年之前 |
|
Marcus Rohrmoser
|
23578f418c
Revert "Don't calculate if you can fiddle bits."
|
3 年之前 |
|
Marcus Rohrmoser
|
2cbde7954a
Don't calculate if you can fiddle bits.
|
3 年之前 |
|
Marcus Rohrmoser
|
3c78318cec
bugfix, legibility++
|
3 年之前 |
|
Marcus Rohrmoser
|
f0d7d29078
Don't iterate when you can calculate.
|
3 年之前 |
|
Marcus Rohrmoser
|
dee303373c
(c) 2021
|
4 年之前 |
|
Marcus Rohrmoser
|
ee4f163a8e
don't rely on CGI REQUEST_URI but rather compute from guaranteed parts.
|
4 年之前 |
|
Marcus Rohrmoser
|
04446dbe1e
bind
|
4 年之前 |
|
Marcus Rohrmoser
|
9940c18ed4
- explain geo uri
|
4 年之前 |
