- Brmlab - brmlab.cz

New job
by George Blackhead 07 Apr '12

07 Apr '12

Nazdar vsichni. Nevim, zda uz vite, ale duo Blackhead-TomSuch aktualne hleda noveho zamestnavatele... Samozrejme i jednotlive. Za sebe mohu rict ze me zajima temer cokoli z oblasti Elektronika-IT. Moje skily (castecne uvedeny zde: http://blackhead.cz/hackerspace/basement.html) vetsinou znate, kdo nezna, at nabidne job, ja se k tomu vyjadrim, pripadne se rovnou prihlasim. Samozrejme jsem schopen delat i jine veci, napr. navrh a realizace infrastruktury - strukturovana kabelaz, servis vseho moznyho, co ja vim... Takze diky predem. Blackhead

1 0

[Fwd: [Is-l] Pozvanka na prednasku]
by Stevko 05 Apr '12

05 Apr '12

Mohlo by vás to zaujímať? Asi mohlo. Stevko -------- Preposlaná správa -------- > Od: Roman Barták <bartak(a)ktiml.mff.cuni.cz> > Komu: is-l(a)ms.mff.cuni.cz > Predmet: [Is-l] Pozvanka na prednasku > Dátum: Thu, 5 Apr 2012 13:37:14 +0200 > > Vazeni kolegove, > > rad bych vas pozval na prednasku > > Review of the Security Incidents of 2011, A Traveller's Secret Notes on IT-Security > David Jacoby, Senior Security Researcher, Kaspersky Lab. > > Prednaska se uskutecni > > v utery 10.4. 2012 od 14:00 v poslucharne S3. > > Prednaska je venovana aktualnim aspektum IT security. Pokud vas zajima, jak se mohlo stat, ze vam nekdo ukradne cislo kreditni karty, kdyz ji mate porad v kapse, nebo jak je mozne, ze se Vase adresa (at uz e-mailova nebo skutecna) objevila v nejake cizi databazi nebo, jak to, ze bytovy zlodej presne vedel, kdy budete na dovolene, tak prave na teto prednasce muzete ziskat zajimave odpovedi, ktere mohou od podobnych problemu uchranit (nebo nemohou?). Prednaska je poradana v ramci projektu Res Informatica, vsichni zajemci o prakticke aspekty pocitacove bezpecnosti jsou zvani. Vice podrobnosti na http://ktiml.mff.cuni.cz/~bartak/dp/downloads/Pozvanka_Jacoby_2012.pdf. > > S pozdravem, > > Roman Bartak > KTIML > > > _______________________________________________ > Is-l mailing list > Is-l(a)ms.mff.cuni.cz > http://mbox.ms.mff.cuni.cz/listserv/listinfo/is-l >

1 0

[Akce 08.04. - 09.04. ČT -natáčení fillmu ]
by Petr Baudis 05 Apr '12

05 Apr '12

(Nas dvur je ten jizdni, ale pri pohybu po budove v nedeli a v pondeli muzete narazit na omezeni.) ----- Forwarded message from Jiří Boch <JBoch(a)tvoeurope.com> ----- Dobrý den, Rád bych Vás seznámil s požadavky filmu ČT na 08.04. a 09.04.: Neděle večer od 19 a pondělí celý den severní dvůr plně k dispozici. Pondělí: vstup do budovy a na dvůr: cca od 9,00 hod. natáčení: po 12,00 hod. do 20,00 hod. místa natáčení: schodiště a přilehlá chodba Pro natáčení potřebujeme též vypnout klimatizaci, z důvodů zvukového natáčení. Parkoviště východ (případná dohoda s KC) From: Rosenthalová Marie [mailto:Marie.Rosenthalova@ceskatelevize.cz] Sent: Thursday, April 05, 2012 10:54 AM To: Jiří Boch Subject: ČT -natáčení fillmu Vážený pane Bochu, upřesňujeme požadavky na natáčení filmu dne 9.4.2012: vstup do budovy a na dvůr: cca v 9,00 hod. natáčení: po 12,00 hod. do 20,00 hod. místa natáčení: schodiště a přilehlá chodba odběr elektrické energie: ze zásuvek 32A Pro natáčení potřebujeme též vypnout klimatizaci, z důvodů zvukového natáčení. Podejte nám prosím zprávu, na koho se v uvedený den máme obracet,děkuji s pozdravem Antonín Navrátil ----- End forwarded message -----

1 0

umyvadlo
by Ondrej Beranek 04 Apr '12

04 Apr '12

Ahoj, pokud by se nikdo nenašel tak příští víkend se na to mohu podívat tenhle vikend jsem na horách. skilly mam nevalný ale už jsem 2x umyvadlo měnil a jednou instaloval průtokáč.

1 0

Fwd: [Progressbar-general-discussion] Interested in coding on Tor and getting paid for it by Google
by shady 03 Apr '12

03 Apr '12

\o\ /o/ \o\ ----- Forwarded Message ----- From: "Pavol Luptak" <wilder(a)trip.sk> To: general-discussion(a)lists.progressbar.sk Sent: Monday, April 2, 2012 1:21:26 PM GMT +01:00 Amsterdam / Berlin / Bern / Rome / Stockholm / Vienna Subject: [Progressbar-general-discussion] Interested in coding on Tor and getting paid for it by Google FYI ----- Forwarded message from Damian Johnson <atagar1(a)gmail.com> ----- Date: Sat, 31 Mar 2012 11:33:02 -0700 From: Damian Johnson <atagar1(a)gmail.com> To: liberationtech(a)lists.stanford.edu Subject: Re: [liberationtech] Participate in Google Summer of Code 2012 Taking a queue from Mitar and posting here too. ---------------------------------------- https://blog.torproject.org/blog/tor-google-summer-code-2012 Interested in coding on Tor and getting paid for it by Google? If you are a student, we have good news for you: We have been accepted as a mentoring organization for Google Summer of Code 2012 [1] together with The Electronic Frontier Foundation! Woo! Here are the facts: The summer of code gives you the opportunity to work on your own Tor-related coding project with one of the Tor developers as your mentor. You can apply for a coding project related to Tor itself or to one of its many supplemental projects [2] (as well as for an EFF-related project [3]). Your mentor will help you when you're stuck with your project and guide you in becoming part of the Tor community. Google pays you 5,000 USD for the three months of your project, so that you can focus on coding and don't have to worry about how to pay your bills. Did we catch your attention? These are your next steps: Go look at the Google Summer of Code FAQ [4] to make sure you are eligible to participate. Have a look at our ideas list [5] to see if one of those projects matches your interests. If there is no project on that list that you'd want to work on, read the documentation on our website [6] and make up your own project idea! Come to #tor-dev on OFTC [7] and let us know about your project idea. Communication is essential to success in the summer of code, and we're unlikely to accept students we haven't heard from before reading their application. So really, come to the IRC channel and talk to us! Finally, write down your project idea using our template [8] and submit your application [9] to Google until April 6, 2012 [10]. We are looking forward to discussing your project idea with you! [1] https://www.google-melange.com/gsoc/accepted_orgs/google/gsoc2012 [2] https://www.torproject.org/getinvolved/volunteer.html.en#Projects [3] https://trac.torproject.org/projects/tor/wiki/doc/HTTPSEverywhere/GSOC-2012 [4] https://www.google-melange.com/gsoc/document/show/gsoc_program/google/gsoc2… [5] https://www.torproject.org/about/gsoc.html.en#Ideas [6] https://www.torproject.org/documentation.html.en [7] https://www.torproject.org/about/contact.html.en#irc [8] https://www.torproject.org/about/gsoc.html.en#Template [9] https://www.google-melange.com/gsoc/document/show/gsoc_program/google/gsoc2… [10] https://www.google-melange.com/gsoc/events/google/gsoc2012 _______________________________________________ liberationtech mailing list liberationtech(a)lists.stanford.edu Should you need to change your subscription options, please go to: https://mailman.stanford.edu/mailman/listinfo/liberationtech If you would like to receive a daily digest, click "yes" (once you click above) next to "would you like to receive list mail batched in a daily digest?" You will need the user name and password you receive from the list moderator in monthly reminders. You may ask for a reminder here: https://mailman.stanford.edu/mailman/listinfo/liberationtech Should you need immediate assistance, please contact the list moderator. Please don't forget to follow us on http://twitter.com/#!/Liberationtech ----- End forwarded message ----- -- _______________________________________________________________ [wilder(a)trip.sk] [http://trip.sk/wilder/] [talker: ttt.sk 5678] _______________________________________________ General-discussion mailing list General-discussion(a)lists.progressbar.sk http://lists.progressbar.sk/mailman/listinfo/general-discussion

1 0

Tydenni prehled udalosti / Weekly overview of events
by noreply＠brmlab.cz 02 Apr '12

02 Apr '12

Udalosti v brmlabu tento tyden: Events taking place in brmlab this week: 2.4.2012 20:00 - http://brmlab.cz/event/bitcoin_seminar 5.4.2012 20:00 - http://brmlab.cz/event/lightning_talks 6.4.2012 18:00 2k6 - http://meetings.2600.cz/

1 0

Warwick 2.4.2012 - prednaska
by niekt0 01 Apr '12

01 Apr '12

Zdar, pripominam ze zajtra, 2.4.2012 o 9:15 je na karlovom namesti (viz http://kyberia.cz/~niekt0/warwick.pdf ) je posledna zo serie prednasok "Bionics". Ak ma niekto zaujem a v budove sa este neorientuje, doporucujem prist o trochu skor. n.

1 0

Ako pustit Linux na AVR?
by Pavol Rusnak 31 Mar '12

31 Mar '12

Samozrejme cez ARM emulator! http://dmitry.co/index.php?p=./04.Thoughts/07.%20Linux%20on%208bit -- Best Regards / S pozdravom, Pavol Rusnak <stick(a)gk2.sk>

2 1

Stravenky v brmbaru
by Petr Baudis 31 Mar '12

31 Mar '12

Mili brmaci! Cte-li tento mailinglist ten, kdo dal (nedavno) do brmlabi kasicky dve 55Kc stravenky, prosim, vymente je za opravdove penize; stravenky vyprsely s koncem roku 2011. Diky, Petr "Pasky" Baudis

1 0

31.3 - SolarRoboFlower Workshop + Metalab Talks
by Pavol Rusnak 30 Mar '12

30 Mar '12

Ahojte! Ako reakcia na nase navstevy v Metalabe a Progresbare sa nam ozval Florian 'overflo' Bittner, ze chysta mensiu vypravu z Metalabu k nam do brmlabu. Hlavna cast bude sobota 31.3. - venovana SolarRoboFlower workshopu a vecernym talkom. V podstate vsetky potrebne informacie som sa pokusil zozbierat na stranke eventu - http://brmlab.cz/event/solarroboflower Budem rad ked sa zucastnite v hojnom pocte, predsalen pokecat s Metalabakmi nemate prilezitost kazdy den, a Florian bude isto rad, ked si niektori z vas zakupia a poskladaju jeho elektronicke kvetinky (ceny a registracny formular su na spominanej stranke. Je mozne, ze ked sa neprihlasi na workshop aspon 5 ludi, tak sa cela akcia zrusi, cize sa registrujte cim skor a dajte o akcii vediet aj svojim kamaratom/kam. :-) Takisto sa skuste zamysliet, u koho z vas by pripadne Metalabaci mohli prespat. Predbezne ich pride 8-10, takze poriesme to radsej skor ako neskor. PS: Florian by si rad pokecal s vami, co sa venujete GSM vyskumu, takze by bolo dokonale keby ste si nasli na neho v piatok vecer alebo v sobotu cas. :-) -- Best Regards / S pozdravom, Pavol Rusnak <stick(a)gk2.sk>

4 5

nema niekto arduino UNO ?
by gnd＠itchybit.org 30 Mar '12

30 Mar '12

ahoj, nemate niekto poziciat na par dni Arduino UNO ? Mam tu jedno na ktore neviem nic uploadnut a potreboval by som ho pouzit na palenie ATTiny chipov.. Starsie Arduina mi slapu normalne tak chcem skusit ci mam nejaky problem s UNO alebo je tento kus zly ... dik, gnd/

3 3

Chladnicka
by JoHnY 29 Mar '12

29 Mar '12

Mal by niekto nieco proti keby som si pozical tu malu chladnicku co je v socroome a Jenda vravi ze je vypnuta a pouziva sa len ako storage? Pokazila sa mi doma chladnicka a potrebujem nejaku aspon malu kym mi ju opravia... Co bude dufam niekedy buduci tyzden. JoHnY

1 0

pozvanka Fwd: 40. konference EurOpen
by Pavel Ruzicka 29 Mar '12

29 Mar '12

Date: Thu, 29 Mar 2012 12:50:30 +0200 From: "Vladimír D. Rudolf" <dolf(a)europen.cz> Organization: EurOpen.CZ Jarní konference je připravena. Více informací na http://www.europen.cz -- e-mail: ruza(a)ruza.eu www: http://ruza.eu http://brmlab.cz

1 0

Re: [Brmlab] - anonymní příjem pošty
by mickey mouse 29 Mar '12

29 Mar '12

> Dalsia vec, o ktorej mozno budete nieco vediet - existuje v CR (alebo na > Slovensku) sposob ako prijimat anonymne fyzicku postu? (posielanie samozrejme > funguje, lebo mate anonymne postove schranky v celej republike). Pri vytvoreni > poboxu potrebuje doklad totoznosti, takze to anonymny sposob nie je. > V jednej knizke o skryvani som cital - ale toto asi funguje naozaj len v > obrovskych krajinach ako Americko - ze casto sa da najst opusteny > pozemok, dom, ktory ale ma platnu adresu. A risknut, ze si tam nechas > posielat postu a nikto to schranku nevyberie. Osobně bych anonymní příjem pošty neřešil opuštěným objektem, ale naopak místem kde je pěkně živo. Najít si nějaký velký panelák kde často bývá otevřený vchod, a drze si tam přidělat vlastní schránku. Ideálně samozřejmě v takovém domě kde už pár samostatných schránek na zdi visí.

1 0

Mike Gogulski v Prahe
by Pavol Rusnak 29 Mar '12

29 Mar '12

Caute decka! Najblizsie dni mame na navsteve v Prahe Mika Gogulskeho. Zaujima sa o anarchizmus, anarchokapitalzmus, vzdal sa Americkeho obcianstva a momentalne zije uz osmy rok bez akejklovek statnej prislusnosti v Bratislave. Okrem ineho zalozil pracku bitcoinov BitcoinLaundry. Checknite kratke info na [1]. Mal by zaujem sa s nami stretnut a pokecat o roznych temach. Chce skocit dneska vecer na pivo, tak mu plz zavolajte na cislo uvedene tu[1] a niekam ho zoberte. Na sobotu vecer sme sa dohodli ze sa stretneme v brmlabe, ukazeme mu nase skvele miesto a budeme pokracovat v rozhovoroch tam. [1] http://www.nostate.com/about/ [2] http://www.gogulski.com/contact/ -- Best Regards / S pozdravom, Pavol Rusnak <stick(a)gk2.sk>

5 12

Fwd: [Progressbar-general-discussion] [david@hackerspace.lu: [hackerspaces] HaxoGreen 2012 summer-camp registration is live!]
by shady 28 Mar '12

28 Mar '12

----- Forwarded Message ----- From: "Pavol Luptak" <wilder(a)trip.sk> To: general-discussion(a)lists.progressbar.sk Sent: Friday, March 23, 2012 1:39:32 PM GMT -05:00 US/Canada Eastern Subject: [Progressbar-general-discussion] [david(a)hackerspace.lu: [hackerspaces] HaxoGreen 2012 summer-camp registration is live!] FYI - hackersky kemp v Luxemburgu, keby sa z PB chystala nejaka vyprava, tak dajte vediet - na kempe budeme mat nejake dalsie slovenske spojky :) ----- Forwarded message from David Raison <david(a)hackerspace.lu> ----- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi folks! Starting today, registration for Haxogreen 2012 is live! Visit http://www.haxogreen.lu/2012/Registration in order to grab your ticket and reserve a shirt [0]. 140 tickets are up for sale, so be quick and don't miss your chance at attending one of the youngest and most dynamic hacker-cons around Europe. Early-bird tickets will be available until June 22nd at the price of 23 EUR. We guarantee that this fee includes a FREE breakfast and might announce a couple of other freebies in the upcoming days (depending on the kindness of our sponsors ;)) ====== [About the event] HaxoGreen 2012 is an outdoor event that will take place from July 26th - 29th in Dudelange, Luxembourg. You can find more information on the event, the town it is situated in, its organiser syn2cat, and any other information people put up at our event-wiki at http://2012.haxogreen.lu. In 2010, more than 80 people from Belgium, France, Germany, The Netherlands and Luxembourg enjoyed a lively programm and live music from Luxembourg's finest electronic artists. Connect with your friends, attend our talks and workshops, meet the speakers upfront and enjoy our activities around the camp. If you have something you'd like to talk about or that you'd love to built with our attendees, you can find our Call for Proposals on our weblog [1] or go directly to the submission system at [2]. ====== [LPI Certification] At the camp we will probably be able to offer a Linux certification organized by the Linux Professional Institute (http://lpi.org). The good news is that we will fund the 12 first people to sign up for the certification with 40 EUR - that's 50% off the regular LPI conference price and nearly 25% off the regular assessement center price. The fund is valid per sign-up only and not per certification exam. The LPI programme is designed in three levels LPIC-1, LPIC-2 and LPIC-3 with the first both levels divided into two separate exams and the latter one in four exams. The objectives of these three levels can be read on the following websites: http://lpi.org/linux-certifications/programs/lpic-1 http://lpi.org/linux-certifications/programs/lpic-2 http://lpi.org/linux-certifications/programs/lpic-3 We highly recommend you visit the following wiki page for more details about certification costs and how to proceed with the registration [3]. ====== It would be nice of you to pass this mail on to your friends and fellow hackers! Cheers! Your HaxoGreen Camp-Orga Team ====== [0] Shirt designs aren't quite done yet, but if got one in 2010 and had a look at this year's logo, you can be pretty certain you won't be disappointed. [1] https://www.hackerspace.lu/2012/02/03/haxogreen-2012-call-for-proposals/ [2] https://cfp.haxogreen.lu/submission/hg2012/ [3] http://www.haxogreen.lu/2012/Workshop:LPIC - -- HaxoGreen 2012 - the Hackers' Summercamp in Luxembourg July 26nd till July 29th 2012, in Dudelange, Luxembourg Call for Proposals: http://www.haxogreen.lu T: +352 691 44 23 24 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQIcBAEBAgAGBQJPZ7stAAoJEPnXy9KJuhQZl8IQAIj+ptoz0SpgrSf1MVLGAnTt eXQo4PzEu5T4zUZZkRs289yrQWYdRGpQpdxXbJ9LypNOmJW/NTC38Z0lST32u2Db +iEH6o2nPjLPdCSwXdKfm5ug52EdPaf/agFwQ/RGdLyfzz3GUTikrv8k/NEmDj5g HWlSMZ6UdcLBDwjMwVC12ayEivUhsXm0is9Jd2b/lCF9By7NPl9uRp/JbLeAy3bd 37dO/OnJUoSzFIgEaxs24j4e022/HabPp1zcBKAUVNDYVmwdhwYLtxLWKU5h/oko 03tqgQQFIWCC5JVcfh1DerVSWJPY61Vwh732Gq+PDl8amuIZKuyVutz2kGtr+ZP7 qM5NFJ1ExGwBFR6yXVnDspnySosHR32J3xMI7g/cvoBIbml/+TWyDGHXfuD1JhNG KjqsnVTnfKTiKmSrGdwZR64jFfsRHyh3hR5Y5vozEOJ5+iS2K4cc/Lt96PLGPjbh ZVXTpAHHDr5Uu1VWCEfCY8MhWDxyseOGrz63FRQoOaV2oqrF5EonYucn1VZiEy/o fjW1jVbWT0HNiKZgAIqsjtiVGcYp1HJIdIAGR2HX8qWgsP7MdTKdMak5X5YmbRRi RTC/B5lpT6reBVZ7xEaV4Ayibc+20+giyrON1NXDi1jGGh8aeTTdXxN0a3LC4YNa mW2GUJfvwdwwymGIomMp =GxEc -----END PGP SIGNATURE----- _______________________________________________ Discuss mailing list Discuss(a)lists.hackerspaces.org http://lists.hackerspaces.org/mailman/listinfo/discuss ----- End forwarded message ----- -- _______________________________________________________________ [wilder(a)trip.sk] [http://trip.sk/wilder/] [talker: ttt.sk 5678] _______________________________________________ General-discussion mailing list General-discussion(a)lists.progressbar.sk http://lists.progressbar.sk/mailman/listinfo/general-discussion

1 0

Panasonic WJ-AVE5
by Pavol Rusnak 26 Mar '12

26 Mar '12

Ahoj! Nevala sa nahodou niekomu z vas doma Panasonic WJ-AVE5? Ak neviete co s nim, rad by som ho odkupil na nejake experimenty. :-) * http://www.artpixel.ru/dom/images/mixer/ave5.jpg -- Best Regards / S pozdravom, Pavol Rusnak <stick(a)gk2.sk>

3 4

Re: [Brmlab] Mike Gogulski v Prahe
by mickey mouse 26 Mar '12

26 Mar '12

V Cz je to obdobné, relativně snadnolze ukončit trvalý pobyt ( http://www.weblog.rider.cz/articles/263-uredne-bezdomovcem-trvale-bydliste-… ), ale nevím jestli je možné vzdát se občanství.

1 0

[Positive Hack Days 2012]
by Petr Baudis 26 Mar '12

26 Mar '12

1 0

Tydenni prehled udalosti / Weekly overview of events
by noreply＠brmlab.cz 26 Mar '12

26 Mar '12

Udalosti v brmlabu tento tyden: Events taking place in brmlab this week: 28.3.2012 19:00 - http://brmlab.cz/event/wikipedie 31.3.2012 13:00 - http://brmlab.cz/event/solarroboflower 2.4.2012 20:00 - http://brmlab.cz/event/bitcoin_seminar

1 0

Digitalni nadprirozeno
by George Blackhead 24 Mar '12

24 Mar '12

Zdar hackerstvo, brmstvo, i siroka, mailing list ctouci, verejnosti! Mam statisticky dotaz: Stalo se Vam a Vasim digitalnim hrackam dnes mezi 15:00 az 18:00 CET neco co si neumite vysvetlit? Mam namysli nejaky digitalni zazrak, nejakou digitalni ducharinu... Pokud ano, prosim, poreferujte... Diky! ;-) Blackhead

4 10

Dotaz - programování procesorů Atmel
by gerronimo＠centrum.cz 24 Mar '12

24 Mar '12

Dobrý večer, v prosinci jsem u Vás byl na přednášce o umělé inteligenci, robotice apod. Což bylo velmi zajímavé, ale další jsem již z časových důvodů nestihl :-( Mám nejspíš oproti této problematice zcela "malý" dotaz, přesto bych se chtěl zeptat, zda by bylo u Vás možné naprogramovat procesory Atmel. Konkrétní typ bych sdělil, z hlavy jej nyní nevím. Konkrétně by se jednalo tedy z jednoho procesoru překopírovat celý obsah do dalšího. Děkuji S pozdravem Radim H

2 1

Rack - odvoz
by niekt0 23 Mar '12

23 Mar '12

Mili brmiaci, vyzera to ze sa naskytla moznost ziskat cely rack za odvoz. (kudos to lukas) Problem je ze rack je pomerne objemny, cca 2x1x1m, a nezmesti sa do osobneho auta. Vieme vybavit odvoz racku? n.

9 17

[[fpi] "Digitální univerza", přednáší doc. RNDr. Josef Mlček, CSc. a Mgr. Petr Glivický (Katedra teoretické informatiky a matematické logiky, MFF UK)]
by Petr Baudis 23 Mar '12

23 Mar '12

Tentokrat spise pro Ty z Vas, kteri se radi zakouznou do te nejstavnatejsi matematiky... :) ----- Forwarded message from Jirka Sejnoha <jirka.sejnoha(a)gmail.com> ----- Dobrý den, zasíláme Vám pozvání na úvodní seminář "Filosofických problémů informatiky", přednáší: doc. RNDr. Josef Mlček, CSc. a Mgr. Petr Glivický Katedra teoretické informatiky a matematické logiky, MFF UK na téma: "Digitální univerza" Abstrakt: Aritmetický (digitální) resp. množinový koncept univerza, formalizace jako Peanova aritmetika P, resp. teorie konečných množin. Základní rozvoj a vztahy. Prearitmetické teorie (čili zúžení P na podjazyk: teorie následníka, Presburgerova aritmetika) a fragmenty P (čili zúžení axiomů: Robinsonova aritmetika, I{Ʃn}, aj.) Vlastnosti prearitmetických teorií a fragmentů P: Lindenbaumovské a izomorfní spektrum, deskriptivní a reprezentační vlastnosti, aritmetizace syntaxe, nerozhodnutelnost, formalizace dokazatelnsti a reference o sobě. Modely prearitmetických teorií a fragmentů P. Peanovské řezy. Problém expanze, peanovský součin. Lokální linearita. Lineární aritmetika a její vlastnosti. Seminář se koná v úterý 27. 3. 2012 od 17:20 v posluchárně S8 na Malostranském náměstí, budova MFF UK. Přejeme Vám pěkný den Petr Štěpánek a Jiří Šejnoha. Informační stránka semináře: http://ktiml.mff.cuni.cz/fpi/ a konference (mail list) pro zasílání pozvánek: http://ktiml.mff.cuni.cz/cgi-bin/mailman/listinfo/fpi ----- End forwarded message -----

1 0

(no subject)
by Honza Klokanek Sipek 20 Mar '12

20 Mar '12

Subject: Nebezpecna kniha: Stopy nasich dni Reply-To: X-Echelon: NSA CIA nuclear bomb bin ladin kill bush cryptography Dastych major Zeman 27. brezna od 20.00 v klubu Cross (Plynarni ulice, Praha, Holesovice) budeme mit spolu se Shaddackem prednasku na tema STOPY NASICH DNI / JEDEN DEN POD KONTROLOU Tematem bude pokus o peclivou analyzu toho, jak nas "system" sleduje, predevsim elektronickym zpusobem. Prednaska se stane zakladem kapitoly Stopy nasich dni v nasi pripravovane Nebezpecne knize. Doufame, ze dalsi podnety k nasi praci vyplynou z interakce s publikem, proto jsou vitani vsichni prakticti paranoici, ale zaroven se pokusime postavit prednasku tak - stejne jako celou knihu - aby ji rozumel i lehce pouceny pocitacovy laik. Tesime se na setkani! A podle moznosti muzete preposlat do sve socialni site (i o tom bude rec). Webove stranky Nebezpecne knihy: http://eldar.cz/kniha -- <(o)>..klokanek............................................................... (honza sipek) * klokanek (zavinac) eldar.cz * ICQ#281 154 266 skype: brouci.tykadylko jabber: klokanek (zavinac) jabber.cz +420 776 817 817 Hackeri: kouzlo modre obrazovky --> http://eldar.cz/kangaroo/clanecky/hackeri

2 2

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Brmlab