Ce hobby-uri are un programator?

timp-liber
hobby

(Horia Coman) #22

Trebuia să bag și un < joke> pe acolo pe undeva. Dar lăsând gluma la o parte, și tobele electrice mai produc ceva zgomot care să supere vecinii. Mai ales în blocuri la noi unde mai auzi lumea cum merge pe sus, cum face dus sau trage ape. Plus, vecinii inseamna si parinti sau colegi de apartament, depinzând de cum stai cu ei. Nu e zgomot așa nebune că la un set acustic, dar daca dai in ele se aude. Iar daca dai in ele ore întregi sigur îți primești reclamație repede. Bătaia pedalei in toba mare produce niste vibrații care se transmit spre podea de asemenea, care ar fi alta sursa de zgomot neașteptat, chiar daca dai mai încet in ele.


(Adrian) #23

E nevoie de licenta de pilot. Trebuie facut un curs. Exista instructori autorizati, daca doresti informatii mai detaliate ti le pot da. Ceva info aici: https://www.azlr.ro/


(Adavidoaiei Dumitru-Cornel) #24

My unusual hobby pe HackerNews

I’m a software engineer at a place. I like the work and the people, and I learn a lot from my teammates. Many of them work very hard, so much that they don’t enjoy programming for fun anymore. I still love recreational programming, but in a peculiar sense.
When I come home from work, I try to prove theorems in a proof assistant. Usually the theorems are related to functional programming or type systems.
It’s a masochistic hobby. Convincing a computer that a theorem is true can be quite difficult compared to convincing a human. But if I can get a computer to accept my proof, then a) I must have a pretty good understanding of it, and b) it really must be right!
I use the Coq theorem prover for formalizing proofs. Coq is a beautiful and simple language [1]—far simpler than the languages I use at work! Its beauty is hidden beneath a rather ugly IDE [2]:

https://www.stephanboyer.com/

https://news.ycombinator.com/item?id=15776033


#25

Ai şi umor. M-am amuzat numai imaginandu-mi ce poate face un programator cu o bormasina dupa ce scrie cateva zeci de linii de program.


(Cosmin Popescu) #26

Debug poate :)))