Hacker Blogs
Work in progress: 181,232 of 181,233 sites checked so far, more every week · updated 2 Nov 2026Missing a blog? Tell us

Top all-time · #13788

J

jix.one

Personal blog · jix.oneprogrammingmath

jix.one is a personal blog at jix.one about programming and math. Since 2017, 5 different Hacker News readers have linked it 10 times. It is still writing: the last post was on 2025-12-21, and you can follow it by feed.

Visit the blog
10mentions?
5HN people?
2017–2021first – last linked?
Links on Hacker News per year · peak 4 in 2019

Hi, I’m Jannis, welcome to my site.

What Hacker News says?

  1. jix · 2017-05-16

    Submitted Pushing Polygons on the Mega Drive as a story · 194 points

    HN discussion
  2. todsacerdoti · 2021-05-05

    Submitted Proving 50-Year-Old Sorting Networks Optimal: Part 1 as a story · 53 points

    HN discussion
  3. tosh · 2018-12-08

    Submitted Encoding Matrix Rank for SAT Solvers as a story · 4 points

    HN discussion
  4. ColinWright · 2020-10-03

    Submitted The Assembly Language of Satisfiability as a story · 2 points

    HN discussion
  5. jix · 2019-05-04

    Submitted Varisat 0.2.0 Released (Sat Solver in Rust) as a story · 2 points

    HN discussion
  6. jix · 2019-03-19

    Submitted Refactoring Varisat: 3. Conflict Driven Clause Learning as a story · 2 points

    HN discussion
  7. jix · 2017-12-23

    Submitted Not Even Coppersmith's Attack as a story · 2 points

    HN discussion
  8. gbrown_ · 2021-09-11

    Submitted Proving 50-Year-Old Sorting Networks Optimal: Part 2 as a story · 1 points

    HN discussion
  9. jix · 2019-04-26

    Submitted Incremental Solving and Proofs (Sat Solver Written in Rust) as a story · 1 points

    HN discussion
  10. jix · 2019-03-21

    Submitted Refactoring Varisat: 4. Heuristics (Sat Solver in Rust) as a story · 1 points

    HN discussion

Search all of HN for jix.one