Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

draft post about record-known-result #61

Open
wants to merge 15 commits into
base: main
Choose a base branch
from
Open

draft post about record-known-result #61

Changes from 14 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
c799a13
draft post about record-known-result
cfbolz May 22, 2022
69e113e
fix title
cfbolz May 22, 2022
348d109
Update posts/2022/06/record-known-result.rst
cfbolz May 22, 2022
546bd39
Update posts/2022/06/record-known-result.rst
cfbolz May 22, 2022
bdba880
shorter
cfbolz May 22, 2022
86c8cc3
try to explain a bit more precisely what "hints" are
cfbolz May 22, 2022
96bcece
Apply suggestions from code review
cfbolz May 22, 2022
2b4174f
a bit of structure, and a small expansion
cfbolz May 22, 2022
55b3df7
rewrite
cfbolz May 22, 2022
ba5f549
bit more of a real conclusion
cfbolz May 22, 2022
43ed776
a caveat, and move extra stuff to footnote
cfbolz May 22, 2022
921348c
various improvements, another footnote
cfbolz May 22, 2022
cb8b3d0
fix
cfbolz May 22, 2022
49af42c
reflow
cfbolz May 22, 2022
c97738b
Apply suggestions from code review
cfbolz May 23, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading