dennis714

dennis714 on Hacker News

Cracking Diffie–Hellman Key Exchange Using CADO-NFS and Logjam SSL/TLS Attack

Posted by dennis714 on Tuesday March 22, 2022 @06:28PM
from the yurichev.com dept.

https://yurichev.com/news/20220225_Diffie_Hellman/

( Read More... | no comments | 3 points | on HN )

I rented a flat with the help of calculus

Posted by dennis714 on Monday March 21, 2022 @08:18PM
from the yurichev.com dept.

https://yurichev.com/news/20220322_calculus_eng/

( Read More... | no comments | 3 points | on HN )

Bayes Classifier for Your Books

Posted by dennis714 on Friday December 03, 2021 @09:39PM
from the yurichev.com dept.

https://yurichev.com/news/20210413_dbacl/

( Read More... | no comments | 5 points | on HN )

Re:Megaprocessor – A micro-processor built large (2016) on Friday November 26, 2021 @09:31AM (#29350485)

Eat this: https://web.cecs.pdx.edu/%7Eharry/Relay/

Re:Learn RegEx step by step, from zero to advanced on Friday November 26, 2021 @08:55AM (#29350200)

https://sat-smt.codes/SAT_SMT_by_example.pdf

Re:80386DX ISA single board microcomputer on Saturday November 20, 2021 @09:43AM (#29288484)

Sat/SMT by Example [pdf]

Posted by dennis714 on Sunday February 28, 2021 @08:39PM
from the sat-smt.codes dept.

https://sat-smt.codes/SAT_SMT_by_example.pdf

( Read More... | no comments | 4 points | on HN )

Re:Knuth-Morris-Pratt string-searching algorithm: DFA-less version on Friday January 22, 2021 @07:21PM (#25878162)

Second and third parts: https://yurichev.com/news/20210121_Knuth_Morris_Pratt_2/ https://yurichev.com/news/20210121_Knuth_Morris_Pratt_3/

Impact of order of files in tar archive on compressed size

Posted by dennis714 on Wednesday October 21, 2020 @07:12PM
from the yurichev.com dept.

https://yurichev.com/news/20201021_tar_order/

( Read More... | no comments | 3 points | on HN )

Set theory explanation via boolean operations

Posted by dennis714 on Friday October 16, 2020 @10:33AM
from the yurichev.com dept.

https://yurichev.com/news/20201016_set/

( Read More... | no comments | on HN )

Toy package manager under 200 SLOC on top of SAT solver

Posted by dennis714 on Tuesday September 01, 2020 @11:00AM
from the yurichev.com dept.

https://yurichev.com/news/20200901_pkg/

( Read More... | no comments | 3 points | on HN )

Reverse Engineering for Beginners [pdf]

Posted by dennis714 on Sunday August 09, 2020 @07:06AM
from the yurichev.org dept.

https://yurichev.org/1564f46f1c207b2dbc84a2bd4a41ed4c/RE4B-EN.pdf

( Read More... | 7 comments | 153 points | on HN )

Understanding Assembly Language [pdf]

Posted by dennis714 on Sunday August 09, 2020 @04:05AM
from the yurichev.com dept.

https://yurichev.com/writings/UAL-EN.pdf

( Read More... | no comments | 3 points | on HN )

A reverse engineering challenge: an intricate visual pattern in 39 bytes

Posted by dennis714 on Friday July 31, 2020 @03:39PM
from the yurichev.com dept.

https://yurichev.com/news/20200731_visual_RE_challenge/

( Read More... | no comments | on HN )

Finding a conflicting pair of options/features

Posted by dennis714 on Monday July 13, 2020 @10:19PM
from the yurichev.com dept.

https://yurichev.com/news/20200714_conflict/

( Read More... | no comments | on HN )

The most primitive clipboard manager you can ever find

Posted by dennis714 on Friday July 03, 2020 @12:10PM
from the yurichev.com dept.

https://yurichev.com/news/20200703_clipboard/

( Read More... | no comments | on HN )

Integer factorization using regex (with backreferences)

Posted by dennis714 on Tuesday June 23, 2020 @08:56PM
from the yurichev.com dept.

https://yurichev.com/news/20200624_factorize_regex/

( Read More... | no comments | on HN )

Sat solver on top of regex matcher

Posted by dennis714 on Saturday June 20, 2020 @08:39PM
from the yurichev.com dept.

https://yurichev.com/news/20200621_regex_SAT/

( Read More... | no comments | 2 points | on HN )

Sat/SMT by Example [pdf]

Posted by dennis714 on Tuesday May 26, 2020 @11:51PM
from the yurichev.com dept.

https://yurichev.com/writings/SAT_SMT_by_example.pdf

( Read More... | 1 comment | 2 points | on HN )

Sat/SMT by Example [pdf]

Posted by dennis714 on Monday May 25, 2020 @10:44AM
from the yurichev.com dept.

https://yurichev.com/writings/SAT_SMT_by_example.pdf

( Read More... | no comments | 2 points | on HN )

Recovering a plain text using only CRC64 hash

Posted by dennis714 on Thursday April 16, 2020 @10:44AM
from the yurichev.com dept.

https://yurichev.com/news/20200416_CRC64/

( Read More... | no comments | 2 points | on HN )

Formal verification of population count functions

Posted by dennis714 on Wednesday April 15, 2020 @08:09PM
from the yurichev.com dept.

https://yurichev.com/news/20200416_popcount/

( Read More... | no comments | 2 points | on HN )

Proving equivalence of two functions using CBMC and Z3 SMT-solver

Posted by dennis714 on Friday April 10, 2020 @06:11AM
from the yurichev.com dept.

https://yurichev.com/news/20200410_CBMC_etc/

( Read More... | no comments | 2 points | on HN )

Solving Martin Gardner's chess problem using simulated annealing

Posted by dennis714 on Monday February 24, 2020 @06:14AM
from the yurichev.com dept.

https://yurichev.com/news/20200224_Martin_Gardner_and_chess/

( Read More... | no comments | 2 points | on HN )

What Is Derivative?

Posted by dennis714 on Saturday December 14, 2019 @10:26PM
from the yurichev.com dept.

https://yurichev.com/news/20191215_derivative/

( Read More... | no comments | 2 points | on HN )

Hexdump and Binary Logarithm

Posted by dennis714 on Thursday December 12, 2019 @12:00PM
from the yurichev.com dept.

https://yurichev.com/news/20191212_log2/

( Read More... | no comments | on HN )

What MSVC's version has been used to compile Windows 10?

Posted by dennis714 on Sunday December 08, 2019 @10:47AM
from the yurichev.com dept.

https://yurichev.com/news/20191208_msvcrt/

( Read More... | no comments | 2 points | on HN )

Simplest possible snapshot-style backups using rsync

Posted by dennis714 on Wednesday December 04, 2019 @06:32AM
from the yurichev.com dept.

https://yurichev.com/blog/bak/

( Read More... | no comments | 3 points | on HN )