Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by dennis714

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

Home

Home Newest Best Ask Show Jobs

Resources

HackerNews API Original HackerNews Next.js

© 2025 TechEcho. All rights reserved.

1

Integer overflow and SMT-solvers

53 pointsby dennis714over 6 years ago

2

Assembly Language for Beginners [pdf]

672 pointsby dennis714almost 7 years ago

3

SAT/SMT by example [pdf]

2 pointsby dennis714almost 7 years ago

4

ToySMT – simple SMT solver under 1500 SLOC of pure C

91 pointsby dennis714over 7 years ago

5

Getting CRC polynomial and other CRC generator parameters using Z3

2 pointsby dennis714over 7 years ago

6

Yet another explanation of CRC (Cyclic redundancy check)

3 pointsby dennis714over 7 years ago

7

Rubik’s cube (333) and Z3 SMT-solver, part II

2 pointsby dennis714over 7 years ago

8

Solving pocket Rubik’s cube (222) using Z3 and SAT solver

75 pointsby dennis714over 7 years ago

9

Dependency hell and Z3 SMT-solver

4 pointsby dennis714over 7 years ago

10

Discrete tomography and Z3 SMT-solver

2 pointsby dennis714almost 8 years ago

11

Simplest SAT solver in ~120 lines

3 pointsby dennis714almost 8 years ago

12

Quick introduction into SAT/SMT solvers and symbolic execution [pdf]

5 pointsby dennis714about 8 years ago

← Previous Next →