Skip to content

DEV Community

xamidi

Posted on Dec 27

There will be much less room for improvement soon.

Sign in to view linked content

Top comments (0)

Subscribe

Read next

Explaining donut like 5 years old Part-4 (Last)

Jaipal001 - Dec 11

👺Nasty People in the workplace, How to deal with them without stooping down to their level.

Mercy - Dec 22

Disaster Recovery and Backup Strategies

Vivesh - Dec 10

A Power-Filled IDE for Neovim with Sane Defaults

Cloud Native Engineer - Dec 9

Proof theory & complexity

Location

Aachen, Germany
Education

RWTH Aachen University
Work

Logician (theoretical computer science) · Developer (HPC & logic tools)
Joined

May 28, 2023

Tackling fundamental logic: A very hard automated deduction challenge (free for all)

#logic #challenge #computerscience #cpp