Hello, I found that stable version of Isar database is already released: https://pub.dev/packages/isar
Isar is project from same developer which created Hive database but Isar bring some improvements like: Queries, Full-text search, Indexes, Transactions and many more.
More info you can find in pages of this project: https://isar.dev
It will be freezing tonight after more snow but my heart is full after seeing warm greetings from the following awesome people!
My heartfelt Thank You goes to:
u/KoreWrites
u/cswl
u/verifiedrecheado
u/samswizzle
u/isar-love (x2 cards)
u/stockman1984
u/isar_love Thank you for the double flowers! I am also a terrible gardener - I wish I was better at it, lol but not so much. We have one inside plant and it's a cactus and i'm pretty sure it's been close to death a few times. I'm trying to pay someone to do the garden and everyone is so busy at the moment as it's summer!
I hope you are doing well :)
Disclaimer: Folosesc un limbaj controversat cand vad cum niste agarici din politica romaneasca se pisa pe speranta mea de ~30 de ani si ma tot f*t cu zambetul pe fata, fara acceptul meu.
Nu imi sta in fire sa stau la p*zda cuiva sa tai bilete ca sa vad cate p*li PNL-iste a inghit dar madam Gorghiu, dupa ce a fost la un pas, la fel ca Dragnea, sa treaca prin parlament o lege care sa il scuteasca de puscarie pe fostul amant Bogdan Olteanu, merita sa ii facem o contorizarizare a p*lilor PNL-iste in care a sarit precum o albinuta harnicuta care polenizeaza din floare in floare. Nu de alta, da' sa stim si noi pe cine o sa mai incerce sa promoveze sau sa scape din puscarie.
Despre madam Gorghiu, Lucian Isar si Florin Citu am mai scris in trecut: Daca tot au inceput securicii sa scoata capul cu comentarii, hai sa il scoatem din anonimat si pe "sotul nevestei" Lucian Isar : Romania (reddit.com)
Madam Gorghiu dupa ce l-a parasit pe un alt PNL-ist de vaza Mihai Voicu si-a oferit serviciile de amanta PNL-istului casatorit cu 2 copii Bogdan Olteanu, care intr-un final chiar a divortat de sotia lui (Bogdan Olteanu şi Alina Gorghiu s-au despărţit!)
Niste ani mai tarziu, in data de 24 Decembrie 2019, Bogdan Olteanu este condamnat la 7 ani de inchisoare in prima instanta (Bogdan Olteanu, condamnat la 7 ani de închisoare. Motivul pentru care a primit 1 milion de euro de la Vîntu)
Cand madam Ghiorghiu a auzit ca fostul partener de sex si iubire profunda risca sa fie condamnat definitiv, vine repede cu o lege ca cei care au pana la 7 ani de inchisoare sa o poata face de acasa.
Legea a uimit pe toata lumea cum a reusit sa fie votata extrem de rapid in senat (Martie 2020) fara avizele de Ministerul Justitiei (Proiectul „7 ani închisoare de acasă” promovat de Alina Gorghiu, desființat de specialiști: „o să ne râdă infractorii în nas”). Apropo poate tantalaii de la USR care au votat legea fac si ei putin research si mea culpa.
... keep reading on reddit ➡Most of the snow is finally gone. I saw a red-tailed hawk up close. Here is a photo
Thank you so much to the following awesome people for sending beautiful cards:
u/isar-love
u/josephineismyhero
Thank you for the beautiful card of the tree painting and the message, I enjoyed both!
Hi zusammen,
Gibt es hier Leute, die eine Jogging- / laufgruppe empfehlen können oder wo man sich anschließen kann? Laufe immer an der Isar und würde von Zeit zu Zeit gerne mit Gleichgesinnten laufen (M36). Strecke ca 8km, pace ca 6 min/km, aber egal.
+++
Folks, I am looking for runners to join for runs at isar (preferably). 8km+, around 6 min/km pace.
u/isar-love for the beautiful Euro Robin. I love getting to see another version of a Robin. Thank you for the beautiful card and lovely note. ❤️
u/isar-love - I really enjoyed receiving the winter tree card as well as the card about the artist. What a great bit of information about him and the town. I had a similar experience to you in art class with the linocut - it was not very successful. Thank you very much and have a great new year!
I truly love the illustration on this postcard. Gives me all the nostalgic feels. Thank you, u/isar-love!
https://imgur.com/a/5tASm3H.
Thank you isar-love for the fish 🐟 postcard.
Thank you tashsmash for the produce postcard with the wicked cool LOTR stamps!
u/isar-love Thank you so much for the bookish postcard! It's lovely :) I'm not a Stephen King fan either, I hope you enjoyed the Luminaries or are enjoying it - they made a TV show here too i think. All the best :)
Thank you for teaching me something about my neighbour country I didn't know yet! And for telling the back story to it. I wish you all piggies in the world for this year as well! 🐷
Thanks to some great mail which brougth some smiles to me in a busy time!
u/isar-love, thank you for your sweet card with a truly fuzzy-looking cub (not even sure what it is, lion maybe? in any case, would adopt it in a split-second).
u/soft_distortion thank you for the cool Hokusai card! Surprised he created his most famous pieces in his 60ies, good to know for any artists who feel stuck I think! Also, so glad to see another country with "100 years insulin" stamps, so cool!
u/mydinosaurdidit wow, your mail is so cool. thank you so much for the colorful rainbowy-yet-autumny card. it's so thoughtful and well-assembled and I love to hear from you!
u/Bree867 thank you for the halloween card and for giving me some inspiration for halloween movies and food! it's my first ever halloween card and i love its design, i'll cherrish it!
u/mmmyesplease thank you for your affirmation! i used the card as a bookmark in my last book and it made me smile every time I saw it.
This Monday was a good mail day! Thank you's too:
u/56Thorns x2 Thank you for some real happy mail! Affirmations are very welcome here, and I found a spot for the motorcycle lady who looks so brave and scared at the same day on my wall.
u/Narika-a Thank you for the cool space card, love the space rabbit, poor thing has its ears out in the universe.. I tried to look at the sky, but it's pretty grey, but I will remember to look more often!
u/isar-love x3 Wow, thanks for that nice surprise mail! The pantone card found a nice spot on my desk, I have some contrasting greens objects there. And the Christopher Makos portraits are fantastic - thank you so much!
Original link: https://stackoverflow.com/questions/70352908/is-there-an-automatic-way-to-generate-isar-scripts-given-a-correct-isabelle-tact
I know this might be rather out there question but I was curious if it was possible to automatically generate an Isar script given an Isabelle script. My guess is that it should be possible but the problem would be ill-posed as there might be many possible Isar scripts given a tactic script.
My guess of an approach would be something like this:
- execute the Isabelle tactic script (to reveal many intermediate statements)
- select with some heuristic H
(maybe based on human proofs) of which sub-trees of the proof tree to close with have lemma_sub_tree_i using L1, L2, L3, ..., Ln by SomeProof
(perhaps the by ...
has more Isar scripts we automatically generated, so this function is recursive) - Verify the new Isar script is valid i.e. output the new Isar script if the statement is the same as the original Isabelle tactic proof and the proof goes through/type checks/validates.
Is this possible? At the very least - is it possible in principle with some (hopefully sensible heuristic H
. (Of course I know that step 2 is rather important and hoping there is a heuristic that I could truly use in practice to make an actual implementation of this).
Thank you all for getting the cards out so quickly! Mine are currently in transit, keep your eyes peeled!
u/isar-love A fellow lover of the hike, thank you for my first two cards ever from this sub!
u/PinkPengin Love the very desert-y art from your part of the country. And your handwriting is *mesmerizing*
u/waterloo_math_grader 素敵なカードを送ってくれてありがとう！I want to visit that bookstore some day!
Stiu am scris deja asta intr-un comentariu dar parca e bine sa il aducem si pe prima pagina sa nu il lasam uitat la nivel de comentarii
Sotul doamnei Alina Gorghiu (madam dosar cu sina) e Lucian Isar
In 2008 Lucian Isar la BancPost, Florin Citu de la ING si Bogdan Mihoc (Unicredit) s-au inteles si au initiat un atac speculativ la leu in timpul crizei financiare mondiale. BNR a trebuit sa aduca niste bani din rezerve si le-a dat peste bot baietilor
Multi s-au pisat pe ei si au zis ce genii au fost baietii astia dar au uitat sa spuna ca nu e nimic de geniu cand mai multi baieti se inteleg pentru un atac la moneda si e borderline illegal.
Consiliul concurentei a incercat sa faca o ancheta dar nu a reusit sa demonstreze ca a fost un atac coordonat ca baietii astia s-au inteles.
Dupa faza asta BNR i-a pus pe lista neagra pe toti trei si bancilele la care lucrau au inceput sa ii debarce usor usor pe fiecare.
Lucian Isar cand s-a vazut pe lista neagra s-a apucat sa faca brusc niste studii pe la securici pe la SRI. (vedeti ce CV-uri deschideti ca domnului a inceput sa ii fie rusine sa mai treaca anul 2010 cu Colegiul National de Informatii si Colegiul National de Aparare)
Cursurile alea de la securici s-au dovedit a fi reteta norocoasa pentru a se plimba putin prin politica ca ministrul delegat pentru Mediul de Afaceri (2012) in guvernul Ponta.
Niste ani mai tarziu madam Gorghiu se marita cu domnul Lucian Isar si dupa cum ne spune Orban il aduce pe "somerul" Florin Citu in PNL si ii da pozitie de senator pe listele PNL.
Florin Citu nu si-a uitat vechiul prieten de atacuri speculative si cand a ajuns prim ministru l-a facut pe Lucian Isar consilier onorific in guvern dupa care i-a dat un post caldut ca reprezentant al Romaniei la BERD (Banca Europeană pentru Reconstrucţie şi Dezvoltare) cu toate ca era pe listutza aia neagra de la BNR.
My latest scarf. The pattern is simple to the point of being boring , but the yarn —ooh lala!—was so much fun to work with. Handmaiden Seasilk, a blend of silk and seaweed (!) was a joy to work with, although it tangled quite easily. I had to spend a day sorting it out when it got tangled up in my yarn swift. That said, it’s so soft and drapery, and I found the color changes really nice.
https://preview.redd.it/2hpa9md8qxs71.png?width=3088&format=png&auto=webp&s=0ed2d8766ddce5b0899c7f86e6b19c5b27fed0ba
Thank you so much u/isar-love for the beautiful postcard🌿! I enjoyed reading about the mountain valley that you described and love the insects stamp. I just took some photos of a grand Sugar Maple tree and you will see the colors from my Reddit posts - every year the colors are different which makes it so lovely to look forward to! I am going to identify all the leaves on the card
Yesterday's cards came amid an incredibly busy but happy day. There were many good things, but one is that the three Hobonochi cards I ordered arrived! I love those things. I gave the 2021 fall one (flying squirrel) to my best friend/housemate, who had gifted me a Hobonochi right when I started carding; a pair of deer from Naga are getting mailed to a good friend who visited there a few years ago; and I have one of the Nagasaki dragons that I'm just hanging on to until I figure out if I'm keeping it or sending it!
In cards received:
u/Hufflepuffpuff_pass - Your birthday card for me arrived today - thank you! As soon as I realized that's what it was, I put it aside to actually enjoy in my onine birthday party on Zoom :) But I wanted to go ahead and thank you so I don't get mixed up! Also, I really like your return address labels.
u/isar-love x4 - Your envelope stuffed full of cards to me was awesome!! How can you go wrong with three penguins and a Pantone? And I especially loved that you told me about your special stamp; it sounds like that show is very similar to a U.S. older show called Get Smart, about a detective named Maxwell Smart who has a shoe phone. It was made in the late '60s and made some pretty funny future predictions too!
u/isar-love loved your thoughts on Franz Marc. Really unique paintings! Bright and beautiful. I liked your little air mail ribbon design! The stamps are really cool too. What is on the 85 cent stamp?
u/Fairlyn thanks for the beautiful space card. the stamp of the ESA satellite is also very fitting. Maybe I'll try finding the same stamps here too. Last weekend I'd gone on a hiking trip and kinda got stuck in the mountains as it became dark (long story ><). The quote you wrote reminded me of the feeling of sitting in these vast mountains beneath the clear night sky that day.
u/isar-love thank you for your 80s style card! It was really nice hearing about your childhood and how it was different from what the world perceives of those time. I find your handwriting also really pretty and looks exactly like one of my favorite primary school teachers. Brings back fond memories
u/umeshufan thanks for your where's waldo card. as always it was loads of fun trying to find waldo and the other mystery items. and wow that's alot of bread to bake XP there was a huge sauerteig hype with my friends too. Over the pandemic I spent lots of time with my flatmates, playing board games and organizing zoom meet-ups with friends :)
Thank you for my cards! :D
And thanks for the explanation on the back! Its a nice card! 😁
