Code

History

Commits on main to src/components/ProblemCards.tsx35+
  1. Entries list: sort by last changeRasmus Lindahl committed 2 months agoc598c3b
  2. Filter the list by where the source livesRasmus Lindahl committed 2 months ago0083649
  3. Let a filter facet take several options at onceRasmus Lindahl committed 2 months ago4843050
  4. Match search and the duplicate check on source links, not just titlesRasmus Lindahl committed 2 months ago28ef06f
  5. Flatten card-footnote math, and align the fact row baselineRasmus Lindahl committed 3 months ago38f73c7
  6. Make the vote buttons squareRasmus Lindahl committed 3 months ago9f28570
  7. Submitted date on list cards; hover card smaller and above the cursorRasmus Lindahl committed 3 months ago8b6a237
  8. Clear filters: a pill instead of a text linkRasmus Lindahl committed 3 months ago79f7775
  9. Give links a kind, not just a labelRasmus Lindahl committed 3 months ago612d0da
  10. Serve the entry list in the order the reader remembersRasmus Lindahl committed 3 months ago367e11e
  11. Settle the UI before the browser paints, not afterRasmus Lindahl committed 3 months agoa409bfd
  12. Submitted by: restore the space the flex switch swallowedRasmus Lindahl committed 3 months agof69bfd0
  13. Control bar: bond sort key to direction, group each label with its controlRasmus Lindahl committed 3 months ago3111ddc
  14. List controls: period dropdown, area pills by size, alphabetised sortRasmus Lindahl committed 3 months agob0b7d85
  15. Align the Significance label on its neighbours' baselineRasmus Lindahl committed 3 months ago6543318
  16. Align Significance at every width, and stop over-reservingRasmus Lindahl committed 3 months ago5698ce3
  17. Align the Significance label down the card listRasmus Lindahl committed 3 months ago1a36530
  18. Drop the entry back button, stack card votes on phones, fix eaten backslashesRasmus Lindahl committed 3 months ago4e8a7af
  19. Render math in entry titles, and fix two blind spots in the finderRasmus Lindahl committed 3 months agoaaadddf
  20. Give long result notes a home, and show the formal statementRasmus Lindahl committed 3 months ago12a98b9
  21. Relative timestamps in activity, ten rows, sort by disclosed costRasmus Lindahl committed 3 months agob0e9cb6
  22. Drop the reproduction badge; the verification note already says itRasmus Lindahl committed 3 months agod48e63a
  23. Reproduction badge; approve Erdos 131 after building its Lean proofRasmus Lindahl committed 3 months ago75ace0a
  24. Period picker applies to every sort, defaulting to all timeRasmus Lindahl committed 3 months ago182f1ea
  25. Split verification into two axes; add the resolution method axisRasmus Lindahl committed 3 months agof3d795f
  26. URL mirrors filters only after the visitor changes somethingRasmus Lindahl committed 3 months ago12df9a7
  27. Performance: slim card payload, lazy statements, flat builds, URL filtersRasmus Lindahl committed 3 months agoe202f97
  28. Sort dropdown keeps only real sorts; AI-system filter addedRasmus Lindahl committed 3 months agoa76330f
  29. Scope the significance tooltip to the label, not the starRasmus Lindahl committed 3 months agoad5d0b1
  30. Add the AI-estimated significance axisRasmus Lindahl committed 3 months ago5462755
  31. Add public member profile pagesRasmus Lindahl committed 3 months agoe9fd7c7
  32. Consolidate the filter dropdowns into a Filters panelRasmus Lindahl committed 3 months ago2e9738f
  33. Card hover feedback only for real mouse pointersRasmus Lindahl committed 3 months agoaaaf23e
  34. Render card badges below the header on phonesRasmus Lindahl committed 3 months agocf87a69
  35. Give the result qualifier the full card widthRasmus Lindahl committed 3 months ago3c436f5