Commit graph

206 commits

Author SHA1 Message Date
7a0c33ca05
chore: capitalize chapters
Signed-off-by: Matej Focko <xfocko@fi.muni.cz>
2023-06-10 18:03:33 +02:00
40d4765851
pb071(pexam): add ‹garbage_collect›
Signed-off-by: Matej Focko <xfocko@fi.muni.cz>
2023-05-08 00:14:08 +02:00
f36b3bc9ee
pb071(pexam): adjust the exam before the seminars
* move the file
* remove the queries
* adjust the output

Signed-off-by: Matej Focko <xfocko@fi.muni.cz>
2023-05-07 20:50:52 +02:00
c0ff31d636
pb071(pexam): add prep exam for seminar
Signed-off-by: Matej Focko <xfocko@fi.muni.cz>
2023-05-04 23:55:11 +02:00
3fc1f0b0eb
chore: update deps
Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-03-27 16:17:56 +02:00
fd6ed01180
fix(pb071): fix typo
Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-03-13 20:01:38 +01:00
135702ad79
pb071: refresh bonus for 4th week
Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-03-13 19:16:48 +01:00
1ae9a34e70
pb071: refresh 3rd seminar bonus
Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-03-07 21:53:02 +01:00
7ed3cd3298
blog(leetcode): add matrix sort
Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-03-04 23:13:20 +01:00
d6644d74ab Merge branch 'pb161-2023-env' into 'main'
fix(pb161): update the environment

See merge request mfocko/kb!1
2023-02-17 23:34:39 +00:00
acdbce0d0c
fix(pb161): update gitignore
Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-02-18 00:32:49 +01:00
02f1c94754
fix(pb161): update the environment
* remove no longer relevant parts
  * reviews via MRs (not possible, they're randomly assigned)
  * using git as a backup to submitted sources (they are uploaded to IS)
* mention VSCode on aisa
* mention commit conventions
* mention formatting git hook

Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-02-18 00:30:57 +01:00
ab6868fa45
chore: add gitkeep for IB111 static files
Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-02-04 18:07:53 +01:00
2c0d77b689
ib002(graphs): convert pseudocode to Ada
cause why not…

Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-02-04 18:06:49 +01:00
a4a9bcfcd2
chore: add SVGs to gitignore
Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-02-04 17:55:23 +01:00
52b3ccdf83
chore(svg): generate light/dark mode DOTs
Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-02-04 17:54:15 +01:00
701ad8236a
chore(yarn): add mermaid to dependencies
Add mermaid to allow drawing diagrams.

Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-02-04 17:52:16 +01:00
c80ea2afb1
chore: remove npm lock and use yarn lock
* also update dependencies

Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-02-04 17:51:23 +01:00
d1ae26cb21
chore: don't open browser when running locally
Signed-off-by: Matej Focko <me@mfocko.xyz>
2023-01-01 22:42:16 +01:00
933dcc83ac
blog(aoc-2022): fix typos
Signed-off-by: Matej Focko <me@mfocko.xyz>
2023-01-01 22:42:05 +01:00
5e93a6bf94
blog(aoc-2022): add post mortems to the first two weeks
Signed-off-by: Matej Focko <me@mfocko.xyz>
2023-01-01 22:38:35 +01:00
5db41d357f
blog(aoc-2022): add 2nd week
Signed-off-by: Matej Focko <me@mfocko.xyz>
2022-12-25 23:14:18 +01:00
783a8091b1
home: redo the homepage
Signed-off-by: Matej Focko <me@mfocko.xyz>
2022-12-25 19:10:03 +01:00
c1a49e116c
ci: move to blog.mfocko.xyz
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-18 15:42:02 +01:00
1e0d39d0e9
chore: switch to public GitLab URL and add footer
• switch git URLs to public GitLab
• add footer with links

Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-18 15:36:09 +01:00
df872c346e
blog(aoc-2022): fix typos in 1st week
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-15 12:54:52 +01:00
cd134b5888
blog(aoc-2022): don't forget ‹sccache›
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-15 01:11:57 +01:00
d49ed51087
blog(aoc-2022): fix datetime in 1st week
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-15 01:06:29 +01:00
85a66edd2f
blog(aoc-2022): add first week
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-15 01:03:40 +01:00
b497b5c872
chore(blog): enable math and katex
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-15 01:03:08 +01:00
9019b2809d
blog(aoc-2022): add initro
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-14 21:39:32 +01:00
5aeeb1142f
fix: switch link to public GitLab instance
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-14 21:38:39 +01:00
4c5cb6458c
blog: initialize
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-14 21:38:27 +01:00
2ddd0a3a05
chore: add solarized light theme and bash
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-14 21:35:59 +01:00
0e7d145747
chore: add more languages to prism
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-11 21:31:19 +01:00
39e6d5196b
fix: redo descriptions and add tags
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-11 21:30:38 +01:00
34f0c74b36
chore: switch to different domain on poincare
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-11 21:29:12 +01:00
fa0ff486a3
chore(ib002,ib111): use consistent naming
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-29 18:04:49 +01:00
3bd003cdcd
fix(ib002,ib111): typo in path to the sources
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-29 15:32:15 +01:00
e71fcfdf4f
feat(ib002,ib111): add backtracking exercise
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-29 15:21:48 +01:00
117f865ee8
ci: automate deployment
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-27 00:20:16 +01:00
9f9dc39a31
chore: do not keep SVGs in the repository
• Do not keep the SVG files in the repository, generate them just for
  the builds
• Also generate ZIP files with sources for downloading

Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-24 17:25:30 +01:00
7efd5e294b
chore: use Iosevka as a default font
• Use Iosevka as a default font (with few reasonable fallbacks)
• Introduce a „steam machine“ for regenerating graphviz files
  · Use same monospace fonts for graphviz too

Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-18 11:57:56 +01:00
f09a318f51
chore: remove unused locale
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-05 23:16:17 +01:00
8b744fdfed
chore: add target for deploying at once
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-05 23:14:59 +01:00
71275daa50
feat: make people able to hide sidebar
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-05 23:14:07 +01:00
9b14c21592
chore: fix link to the git
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-05 23:13:09 +01:00
b94c33faaa
chore: refactor config
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-05 23:01:28 +01:00
bca52fdc0e
chore: add ib111
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-05 22:47:35 +01:00
33419ca64f
chore: update slugs of intro pages
To make sure that we don't get directory listing when not explicitly
specifying the ‹intro› page.

Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-05 22:46:51 +01:00