https://domin144.pl/ 2026-04-19T01:52:28+00:00 https://domin144.pl/ https://domin144.pl/_media/wiki:dokuwiki.svg text/html 2024-06-08T09:05:54+00:00 Anonymous (anonymous@undisclosed.example.com) https://domin144.pl/contact?rev=1717837554&do=diff Contact You may try reaching me on linkedin. text/html 2022-02-06T14:10:10+00:00 Anonymous (anonymous@undisclosed.example.com) https://domin144.pl/formal_methods?rev=1644156610&do=diff Formal methods My pursue for math in computers Discovery of computer algebra systems My fascination with formal methods started, before I knew there is such thing and how it is called. At my 3rd year of academic studies a took a course on computer algebra systems. The system which was explored during the course was Maple. It was really nice to see a system, in which you could convey your derivations. It did take over a lot of tedious computations. text/html 2022-02-06T14:00:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://domin144.pl/projects?rev=1644156053&do=diff Projects projects index You can find more of my code at github. text/html 2022-02-06T13:52:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://domin144.pl/sidebar?rev=1644155573&do=diff Personal site of Dominik Wójt index text/html 2024-06-08T12:34:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://domin144.pl/start?rev=1717850041&do=diff Hello, I am Dominik Wójt! This is my personal site. I intend to share my ideas here. I am a physicist and currently work as a C++ developer. My interest include formal proofs and their application to computer algebra systems and software source code verification. text/html 2025-03-21T10:31:22+00:00 Anonymous (anonymous@undisclosed.example.com) https://domin144.pl/this_site?rev=1742553082&do=diff This site used to run on home WiFi router " UPDATE: The site has been moved to a much more powerful host: HP t620 thin client. This content is preserved for anyone interested in running their own site on a router." This runs on an old Netgear R6220 Wi-Fi router with