x
|
4296b54b57
algebraic number theory
|
3 年之前 |
mohab metwally
|
8820bf135d
[ouroboros/stakeholder] update sigma2 with new dashu api
|
3 年之前 |
mohab metwally
|
0e8a2b0793
[ouroboros] moved stakeholder from mod to stakeholder.rs, some prunning
|
3 年之前 |
mohab metwally
|
f659c34d58
[ouroboros] discrepancy is due to float/int conversion, debug info remove
|
3 年之前 |
mohab metwally
|
b599ebe7ce
[ouroboros] added debug assert to the discrepancy in target value between pallas/dashu to be researched
|
3 年之前 |
mohab metwally
|
6e414103f3
[ouroboros] change competing coin sk to hash instead of mul of it's coord
|
3 年之前 |
mohab metwally
|
af475b555c
[ouroboros] lead_contract pruned, few comments
|
3 年之前 |
aggstam
|
49b6582930
dchat: enabled localnet
|
3 年之前 |
ghassmo
|
e15d3d582a
script/research/event_graph: add comments & proper way to handle coroutine tasks
|
3 年之前 |
Dastan-glitch
|
ba43775aa6
add daod to MakeFile
|
3 年之前 |
ghassmo
|
68d4ac7691
script/research/event_graph: major bugs fix in the algo
|
3 年之前 |
x
|
d859ab0693
doc: add migration away from sqlite
|
3 年之前 |
x
|
29588ab4d3
doc: put description for sov indiv
|
3 年之前 |
x
|
243860f114
doc: correct grammar mistakes
|
3 年之前 |
x
|
fca286d80b
doc: move changelog higher in development
|
3 年之前 |
x
|
31bd33c5f1
doc: add missing page
|
3 年之前 |
spital
|
93f8d4b83e
add gentoo emerge to dependency_setup.sh
|
3 年之前 |
narodnik-intern
|
89846773c4
Private Chat docs (#113)
|
3 年之前 |
x
|
6d46ffc7e1
doc: escape asterisk at start of the line
|
3 年之前 |
x
|
48d4f6d2c1
doc: fix bad formatting
|
3 年之前 |
x
|
7598362fb9
doc: add arch/tooling section
|
3 年之前 |
x
|
e99ba05291
doc: add +++
|
3 年之前 |
x
|
9f4700cbf6
doc: section on changelog
|
3 年之前 |
x
|
d6aa7a8484
change ChangeLog format
|
3 年之前 |
x
|
18ff12d2fc
doc: better clarify language
|
3 年之前 |
x
|
47bf78f6f2
doc: allow tmux option
|
3 年之前 |
x
|
7526955c78
doc: add eqtiquette
|
3 年之前 |
x
|
737dd63f0f
doc: add recommended books and guide to studying math books
|
3 年之前 |
x
|
2a178672da
doc: update github workflow
|
3 年之前 |
x
|
506cefd0f3
changelog
|
3 年之前 |