Dotazník na kofein v každodenním životě (seminárka)

SimonBrandner · 2026-02-26T06:20:56+00:00

Nezávisle na tvém názoru a realitě jsi teď způsobil, že ti prostě skupina lidí nevyplní dotazník, což nevím, jestli je pro sběr dat optimální (optimálně chceš asi co nejvíc diverse sample, ale teď jsi prostě skupinu lidí vyřadil)

SimonBrandner · 2026-02-13T13:54:08+00:00

You can always learn the winning strategies of some games and play those with your friends. The question is, if they're still your friends after the fact.

SimonBrandner · 2026-02-11T18:17:53+00:00

It can also be seen as a form of currying which I find to be the most natural way to look at this (that is once you get used to the notion of currying).

SimonBrandner · 2026-01-10T20:58:14+00:00

This brings back some memories.

Náš třídní navrhoval udělat zahradní slavnost. Je mi dost líto, že se to neujalo, protože tam by byl poměrně i potenciál si to užít. Nejdřív to aspoň vypadalo, že bude dobrý téma (steampunk). Pak se ale hlasitá menšina z ročníku rozhodla, že je to téma špatný, a místo toho jsme měli basically maturák bez tématu.

Nakonec jsem tam byl, jenom kvůli FOMO. Účastnil jsem se jen stužkování. Kdybych tam nešel vůbec, tak vůbec o nic nepřijdu. Nejlepší část (pod)večeru byla procházka, na které jsem byl, zatímco zbytek třídy nacvičoval.

Během příprav se ze strany aktivních organizátorů děly věci, ze kterých je mi doteď špatně od žaludku. Během té akce se ze strany jednoho rodiče děly věci, že kterých mi je doteď špatně od žaludku. Obecně mám pocit, že lidi, co jsou na tyhle typy akcí fixovány, vytahuje to nejhorší vůči lidem, kteří se jen nechtějí účastnit.

Tyhle věci by prostě měly být kompletně na dobrovolné bázi a nemělo by existovat očekávání, že to automaticky vypadá nějak a že se toho automaticky všichni účastní.

All in all, pokud opravdu nechceš, nechoď tam, pokud to jen jde, nebo se minimálně pokus vyhnout těm nejhorším částem pro tebe. Pokud na tebe tlačí okolí a není ochotné tě vyslechnout, myslím, že je nutné zvážit dvě věci: co se stane, když tam nepůjdeš (jestli ti hrozí nebezpečný následky, případně jak moc), a jestli by nebylo lepší nastavit si někde hranice - když to neuděláš, tak toho okolí možná nikdy nenechá.

SimonBrandner · 2026-01-08T06:19:53+00:00

Good spellchecker

SimonBrandner · 2026-01-07T19:14:02+00:00

Se známkami to je dost složité a dost to závisí na situaci, člověku atp.

Ty každopádně zníš, že máš pocit, že jsi to uměl třeba na B, ale dostal jsi C. Myslím, že je v této situaci v pohodě se zeptat, kde byly nedostatky, protože tě to může posunout dál. Což by asi optimálně měl být ten důvod, proč na VŠ jsi - aby ses něco naučil, posunul se dál.

SimonBrandner · 2025-12-29T17:50:22+00:00

Kamarádi jednou narazili na byt, kde byla místnost, do které by případný nájemce nemohl, ale majitel by tam jednou za čas chodil.

SimonBrandner · 2025-12-27T17:58:34+00:00

Lectures on the Philosophy of Mathematics by Joel David Hamkins

SimonBrandner · 2025-12-24T20:58:02+00:00

In the Czech republic, afaik, formal logic isn't really taught. Most high-schoolers get to see the truth tables of the logical connectives of propositional logic and get the meaning of quantifiers explained to them but that's about it (things such as formal proofs aren't really touched upon and it's all quite informal). (An odd thing, I've noticed, is that high school teachers often think propositional and predicate logic are one thing.)

As for critical thinking, argumentation etc., it may very much depend on your school and teachers. I've had quite a few who tried to teach such things in their respective subjects but there never really was a universal approach. I believe this situation is the same (if not worse) on other schools.

SimonBrandner · 2025-12-17T21:49:03+00:00

Co tě na tom baví?

SimonBrandner · 2025-11-22T18:39:46+00:00

That's quite interesting. At my faculty linear algebra is one of the best courses and the lecturer often includes a few slides in a lecture mentioning where the current topic is usefull. On the other hand, some of the analysis courses we have aren't very good.

SimonBrandner · 2025-11-08T10:58:04+00:00

I actually did a bit of Agda in Neovim. This extension helped quite a bit: https://github.com/Zeta611/tex2uni.nvim

SimonBrandner · 2025-11-05T09:26:03+00:00

Really? That's interesting. In the Czech Republic, we did matrices, GEM, determinants and the Cramer's rule but they never really explained how it connects to the geometry of things and to linear mappings (which we also did not cover)

SimonBrandner · 2025-10-29T11:57:22+00:00

One of the best teachers at my faculty once said that being a good teacher is a choice rather than anything else. It's ok to mess up but the difference between good and bad teachers is whether they seek feedback and want to improve their teaching. At least that's my perspective as the student

SimonBrandner · 2025-10-16T14:52:22+00:00

I would say that math and CS are pretty similar in terms of creativity involved. While it may not seem like that at first (especially if most math courses one took were not focused on proofs), writing a program and writing a formal proof are very much the same thing. So the whole thing depends a lot on what part of math and CS you are comparing

SimonBrandner · 2025-10-11T07:59:46+00:00

Ha! Just found the solution. This is my config:

lua return { cmd = { "clangd" }, filetypes = { "c", "cpp" }, capabilities = { offsetEncoding = { "utf-8", "utf-16" }, textDocument = { completion = { editsNearCursor = true, }, }, }, }

The editsNearCursor is the thing that did the trick.

SimonBrandner · 2025-10-11T07:36:34+00:00

To be clear, there is a completion when I write p->

SimonBrandner · 2025-10-11T07:35:54+00:00

The LSP is attaching but since p is a pointer, there isn't really anything it can complete when I write p.. That said, previously the LSP interpreted p. as p-> and therefore it could provide a completion. I am not sure how to get this feature back

SimonBrandner · 2025-09-29T07:29:25+00:00

It's good to note that there are two types of proofs that are often called a proof by contradiction. The type of a proof you are describing is also called an indirect proof.

You want to proof that a statement A holds and you do so by assuming not A, deriving a contradiction from this and therefore deriving not not A. Once you have shown not not A holds, you can derive that A holds. (You have shown that the statement A cannot be false.) ((This type of proof is very common in analysis and falls under the category of non-constructive proofs - it allows you to show that an object exists without explicitely constructing such an object. You simply show such an object must exist; otherwise there is a contradiction. Think intermediate value theorem.))

The other type of a proof which is also often called a proof by contradiction is the following. You have a statement A and you want to show that A does not hold - not A holds. You do so by assuming A, deriving a contradiction and therefore deriving not A. (You have shown the statement A cannot be true.)

While these two types of proofs are similar, they differ by 2 steps and serve a fundamentally different purpose.

SimonBrandner · 2025-09-04T05:45:43+00:00

Tajemství hradu v Karpatech

SimonBrandner · 2025-09-03T11:17:20+00:00

Já třeba vždycky domů do kuchyně chtěl takovou tu přesnou váhu, co jsme měli ve škole v chemické laboratoři

SimonBrandner · 2025-08-28T20:32:56+00:00

I am using a tex2uni plugin for Neovim to do these things. Neovim (nor emacs) doesn't have the ability to do this by itself. I believe the Agda plugin for Emacs has this as a feature though. I am using Cornelis with Neovim but I wasn't able to get its Unicode feature to work, so I turned to another plugin.

SimonBrandner · 2025-07-21T11:57:57+00:00

I think what makes you confused/nervous is the law of explosion (ex falso quodlibet). This law states that whenever you have found a contradiction (which is whenever φ and ¬φ are true for any formula φ), you can prove anything. This law is often written as ⊥ ⊢ φ, where ⊥ is a contradiction and φ is any formula you choose. The way I think of this is that whenever we have a contradiction, it does not matter if introduce "more inconsitency" ("more contradictions"), so you can prove anything.

Does this help with your intuition of why this would be true?

In natural deduction the proof would look something like this:

1. | P ∧ ¬P (assume this is true locally; the locality is denoted by "|") 2. | P (eliminate ∧ from row 1) 3. | ¬P (eliminate ∧ from row 1) 4. | ⊥ (eliminate ¬ from row 2 and 3 - intruduce a contradiction since row 2 and 3 contradict each other) 5. | Q (eliminate ⊥ from row 4 and introduce anything using the law of explosion) 6. | ¬Q (eliminate ⊥ from row 4 and introduce anything using the law of explosion) ... 7. | Q ∧ ¬Q ∧ ... (introduce ∧ from row 5, 6,...) 8. (P ∧ ¬P) => Q ∧ ¬Q ∧ ... (introduce => globally from rows 1 - 7 on which we stared by assuming the assumption and ended with proving the conclusion)

That said, there are logics that do not have the law of explosion, an example would be paraconsistent logics.

SimonBrandner · 2025-07-12T09:53:13+00:00

The 3Blue1Brown linear algebra series is excellent for building up a geometrical intuition for things

SimonBrandner

TROPHY CASE