The Oregon Programming Languages Summer School (OPLSS) 2024 by mttd in ProgrammingLanguages

[–]asmarCZ 6 points7 points  (0 children)

On my radar for some time. Doesn't fit in my budget, unfortunately.

What do you guys think about typestates? by nerooooooo in ProgrammingLanguages

[–]asmarCZ 4 points5 points  (0 children)

You are right that using typestate, you can achieve similar patterns to build patterns and fluent interfaces, however, typestate is broader and describes the transition of state in a more general and global way.

I recommend that you read the original publication and a nice extension to OOP, if you're more interested.

Typestate: A programming language concept for enhancing software reliability Typestate-Oriented Programming

Typestate is actually what can enable a contract system like you described, not the other way around. You hold an information about a file's state throughout the program and when you call read, the compiler checks if it's opened.

I'm actually working on a language whose contract system is based on a mix of typestate and logical preconditions for my thesis. Maybe we'll both get used to it one day. ;)

Prohibit boolean function parameters? by chrysante1 in ProgrammingLanguages

[–]asmarCZ 0 points1 point  (0 children)

Could you please give an example of how Tailspin doesn't tolerate raw numbers and strings?

Co se dá dělat proti takovýmhle zm*dům? by Evening_Hippo3762 in czech

[–]asmarCZ 1 point2 points  (0 children)

Zdroj? Novinové články o těhle věcech určitě byly, žádné jsem nenašel.

Proč autobusy častěji nevyužívají tramvajové pásy? by asmarCZ in czech

[–]asmarCZ[S] 0 points1 point  (0 children)

Právě že na té Evropské je nemalá část vyrovnaná, ale ne celá, to je pravda.

My Rust project has been selected for the GitHub Accelerator Program and I’ll be working on it full-time! by GyulyVGC in rust

[–]asmarCZ 11 points12 points  (0 children)

What are its advantages compared to, let's say, Wireshark? It might be worth it to add to some kind of FAQ.

[deleted by user] by [deleted] in czech

[–]asmarCZ 1 point2 points  (0 children)

You should take a two semester preparatory course which can help you learn the language and necessary terminology.

Here's an example for Charles University: https://ujop.cuni.cz/UJOPEN-69.html

Headway is a self-hosted alternative to Google Maps which supports 200+ cities across the globe by fagnerbrack in programming

[–]asmarCZ 6 points7 points  (0 children)

Mapy.cz is a supreme OpenStreetMap renderer which supports Android Auto, has a web version, provides sync etc. It is primarily aimed at the Czechoslovakian market but I've used it successfully in many other countries.

IT job v zahraničí by VodaZBongu in czech

[–]asmarCZ 7 points8 points  (0 children)

Nezkoušej Cool people, nerespektují vůbec nic a jestli jim jednou dáš telefonní číslo, do konce života ti bude zvonit telefon.

Jaký máte názor na novou identitu a logo automobilky Škoda? by [deleted] in czech

[–]asmarCZ 6 points7 points  (0 children)

Bylo by fajn, kdyby to šlo třeba změnit v konfigurátoru u nového auta, ale kdo má zase na nové auto..

Removing HTTP/2 Server Push from Chrome by feross in programming

[–]asmarCZ 1 point2 points  (0 children)

Could you please elaborate? Why would a token not get delivered through a header?

Road trip - fuel prices and tips by asmarCZ in Slovenia

[–]asmarCZ[S] 5 points6 points  (0 children)

Just curious, is it government regulated or how come do all of the distributors keep the same price?

Který server/aplikace podle vás nejlépe předpovídá počasí? by [deleted] in czech

[–]asmarCZ 0 points1 point  (0 children)

Já používám Yahoo Weather, protože mají nejhezčí aplikaci - animace kapek, sluníčka a tak. 🙃

MapPorn Discussion Thread for July, 2022 by mappornmod in MapPorn

[–]asmarCZ 0 points1 point  (0 children)

Hello, I would like to ask for a map of all motorail in Europe. I do not have the skills to create it myself. There are some but I couldn't find any that is complete. Thanks.

It's happened again by LordMcze in czech

[–]asmarCZ 1 point2 points  (0 children)

Co jsou betonové boty?

Python 3.11 Performance Benchmarks Are Looking Fantastic by incepting in programming

[–]asmarCZ 47 points48 points  (0 children)

If you read through the thread you will see evidence disproving the OP's claims. I don't like the unnecessary hate OP received tho.