jucyblog.blogspot.com
Jucy a konyhában és a világban: Diétás kaják
http://jucyblog.blogspot.com/2015/05/dietas-kajak.html
Megértünk a pusztulásra. bekerült a címkék közé a diéta szó :-) Nem tudom, hogy meddig tart majd, általában nálam pár napig szokott :-) Szóval nem lesznek külön bejegyzések, ezt updatelem majd mindig. Aránylag sokat edzek, és ez jó, viszont soha nem figyeltem még az étkezésre, most viszont jött egy gyomorrontás, ami megadta a lökést. Csirkemell, tonhal, füstölt makréla. Jégsaláta, avokádó, édeskömény, lilahagyma, paradicsom, uborka. Szombat, május 23, 2015. Feliratkozás: Megjegyzések küldése (Atom).
jucyblog.blogspot.com
Jucy a konyhában és a világban: június 2015
http://jucyblog.blogspot.com/2015_06_01_archive.html
Új kedvenc bor :-). Új linzer receptet teszteltem, nem kellett volna :-D. De a pogácsa még mindig tökéletes. Kedd, június 30, 2015. A bejegyzésre mutató linkek. Címkék: csak egy kép. Awesome Inc. sablon. Működteti a Blogger.
jucyblog.blogspot.com
Jucy a konyhában és a világban: november 2014
http://jucyblog.blogspot.com/2014_11_01_archive.html
Vasárnap, november 30, 2014. A bejegyzésre mutató linkek. 10 dkg cukor,. 30 ml napraforgóolaj,. 15 dkg joghurt,. 10 dkg mandulaliszt,. 8 dkg liszt,. 2 g sütőport,. 2 g szódabikarbóna,. Összekeverjük a nedves hozzávalókat, majd hozzáadjuk a szárazokat. Ha homogén lesz a massza mehet bele a mandulaforgács. Átadagoljuk a muffintespisbe a tésztát (ebből az adagból 12 db jön ki). 200 fokon kb. 20 perc alatt készre sütjük. Kedd, november 25, 2014. A bejegyzésre mutató linkek. Közben bőven van idő az öntét.
jucyblog.blogspot.com
Jucy a konyhában és a világban: május 2015
http://jucyblog.blogspot.com/2015_05_01_archive.html
Fárasztó munkanap utáni tévézés kísérője :-). Még mindig szeretjük a Starbuck-os kávékat :3. Nem túl egészséges, de élvezetes nasi :-). Egyik péntek este elszabadultunk :-D. Vasárnap, május 31, 2015. A bejegyzésre mutató linkek. Címkék: csak egy kép. Nem sok előkészületet igényel az elkészítése. Míg sül közben elkészíthetők a tetszőleges köretek. Veszünk pár szelet sertés karajt, megklopfoljuk, fűszerezzük: sóval és borssal, bekenjük dijoni mustárral és kevés olajon megpirítjuk az oldalait. Megértünk a p...
gergo.erdi.hu
Entries tagged correctness
https://gergo.erdi.hu/blog/tags/correctness
Typed embedding of STLC into Haskell. 5 February 2015 ( programming. Someone posted to the Haskell subreddit. This blogpost of Lennart. Where he goes step-by-step through implementing an evaluator and type checker for CoC. I don't know why this post from 2007 showed up on Reddit this week, but it's a very good post, pedagogically speaking. Go and read it. In this post, I'd like to elaborate on the simply-typed lambda calculus. The signature of the typechecker presented in his post is as follows:. To refe...
gergo.erdi.hu
Entries tagged agda
https://gergo.erdi.hu/blog/tags/agda
Simply Typed Lambda Calculus in Agda, Without Shortcuts. 1 May 2013 ( programming. There are many ways to introduce dependent type systems,. On which side of the Curry-Howard. Lens you look through. But if your interest is more in programming languages than proof assistants, then length-indexed vectors is your. And an interpreter for the simply-typed lambda calculus is your. Basics for a modular arithmetic type in Agda. 11 March 2012 ( programming. In my prevous post. Then the next week, Peter Diviánszky.
gergo.erdi.hu
Entries tagged FPGA
https://gergo.erdi.hu/blog/tags/FPGA
Initial version of my Commodore PET. 2 March 2015 ( programming. In my quest to build more and more complicated computers on FPGAs armed with nothing but a crappy hobbist mindset and some hazy ideas of how Kansas Lava is supposed to work, I've reached another milestone: my first real. That is, unlike the Brainfuck CPU. That I designed myself, or the CHIP-8. Which was originally a virtual machine spec (with all the implementation leeway that implies), this latest subject is a. For keyboard, Datasette.
mertek.hu
Contact - Mérték Architectural Studio Ltd.
http://mertek.hu/custompage/elerhetoseg
Mérték Architectural Studio Ltd. General architectural design atelier. Nordic Light Office building timelapse. New video of Budapest One. Nordic Light Office building. Budapest One introduction video. Budapest One press conference. Energy conscious design, consultancy (Sustainable Building Design). Project management, technical supervision. Building structure special design, facade design(R&D). General architectural design atelier. Mérték Architectural Studio Ltd.
SOCIAL ENGAGEMENT