Name of library

[martinhruska]

We should discuss and decide a new name of library.

[martinhruska]

Please suggest some names for the library.

[tfiedor]

:zero: macho :one: matta :two: mata :three: tama :four: rattata :five: rum :six: aurum

[kilohsakul]

1. Machination
2. Machinato
3. Automarum
4. Automatarum
5. Autum

[martinhruska]

1. Lightsaber (also simple yet powerful tool)

[ondrik]

1. Machinarum
2. Finitarium
3. Automatarium (jinak se mi libi Lukasovo Machinato)

[p4l1ly]

1. HakunaAutomata
2. HakunAutomata
3. HakunauTomata
4. hakunautomata

[martinhruska]

Mně ty názvy přijdou takové pomalé, rozvláčné na to ze to ma byt blazingly fast. Co treba:

1. Finiter

[p4l1ly]

1. Macheetah

[martinhruska]

1. Machete

[kilohsakul]

Machina Machinae

[kilohsakul]

Aparatus

[tfiedor]

1. zakňaktel (with ň)
2. zat'nik'atel (alternative; with apostrophes)
3. tardis

[vojnar]

Hlavne zkousim, ze umim komentovat :). Nicmene za me porad "matta".

[kilohsakul]

proc 2 t?

[kilohsakul]

kdyz tak mata

[kilohsakul]

finta

[Adda0]

1. libMata or Libmata (as in Library for Automata),
2. Amata (as in Automata), optionally Famata or FaMata (as in Fast Automata),
3. QAmata or Qamata (as in Quick Automata),
4. Matalib,
5. Tamalib
6. Machilib or Machlib,
7. Matary (as in Automata Library),
8. StaMaLib or Stamalib (as in State Machine Library),
9. StaMaRy or Stamary (as in State Machine Library),
10. StaMata (as in State Automata)
11. Sary or Samary (as in State Automata Library),

[kilohsakul]

Taky me uz prsly ty dlouhe nazvy ze zacatku.

Mata mi prijde prijatelne.

mozna jeste Stamata Finta Finata Finista

[kilohsakul]

Chtelo by to rozhodnout. Kdo chcete, napiste znovu 1-3 oblibene nazvy do uzsiho vyberu (radsi min) a neco vyberem.

[vojnar]

Za me libMata ci Libmata, jak uz bylo vyse (pripadne s tim zvojenym tt -- nevim, zda to odpovidalo nejake zkratce).

[kilohsakul]

Za me asi

1. Finta
2. Mata
3. Machinato

[martinhruska]

po vikendu taky prihodim nejake navrhy.

[ondrik]

1) Toris (neni potreba nic menit) 2) Machinato

Ondra

On 25. 6. 2022, at 17:39, Martin Hruška @.***> wrote:

po vikendu taky prihodim nejake navrhy.

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were assigned.

-- Ondrej Lengal @.***> （龍安卓）

GPG: 40FD 3AE9 0BFA B151 4358 6194 5792 8315 149F 91C8

[tfiedor]

Beru, že lib je implicitní u knihovny;

1. matta
2. mata
3. amata / amáta

[p4l1ly]

1. finta sa mi paci ale uz existuje (financial technical analyses https://github.com/peerchemist/finta ).
2. libmatata

[martinhruska]

1. machete
2. quickmata
3. libfa

[p4l1ly]

1. machete

[martinhruska]

At se nekam pohneme, hlasujte pro nazev palce nahoru u komentare s danym nazvem:

[martinhruska]

libMata

[martinhruska]

Finta

[martinhruska]

Machinato

[martinhruska]

Mata

[martinhruska]

Matta

[martinhruska]

Toris

[martinhruska]

amata / amáta

[martinhruska]

machete

[martinhruska]

quickmata

[martinhruska]

libfa

[ondrik]

libfa

tady uz se mame od ceho odrazit: https://augeas.net/libfa/

[kilohsakul]

Diky vsem za navrhy. Po diskusi s Ondrou bychom asi vybrali Machinato. Je to naprosto demokraticke, hlasovat muze kazdy majitel alespon 3 baobabu. Ja mam nastesti doma presne 3. Mata by byla druha moznost, pokud by Machinato zpusobovalo vyrazne bolesti. Treti moznost mohla byt Toris, ale to uz jsme protlacili jako nove jmeno toolu vyvijeneho na FI (je to nadstavba nad KLEE...).

[martinhruska]

a jak ze se to vyslovuje? Mašinato?

[kilohsakul]

Hm, njn, asi jo.

[tfiedor]

Já teda pojmenuju binding pychinato [piči na to] :D

[kilohsakul]

O je. Ale chapu, ze asi neni jina moznost.

[martinhruska]

na me tady ty viceslabicne pseudo latinske nazvy pusobi tak trochu jak zaklinadlo z Harryho Potter a tim padem nejak implikuji snizenou hladinu testosteronu autoru takoveho toolu. Ale jestli chcete vtipny nazev, tak to asi preziju.

[vojnar]

No, ten název se tedy moc nepovedl, ale třeba se to nějak vsákne.TomášOn 4 Jul 2022 20:30, Martin Hruška @.***> wrote: na me tady ty viceslabicne pseudo latinske nazvy pusobi tak trochu jak zaklinadlo z Harryho Potter a tim padem nejak implikuji snizenou hladinu testosteronu autoru takoveho toolu. Ale jestli chcete vtipny nazev, tak to asi preziju.

—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you were assigned.Message ID: @.***>

[ondrik]

Panove,

jelikoz se nikomu nepodarilo najit jine jmeno, ktere by rezonovalo se zbytkem skupiny, dovoluji si tuto diskuzi na tema "jak je jmeno blbe" ukoncit a presmerovat energii do tohoto vlozenou na psani kodu, Tome.

Mejte se, Ondra

On 4. 7. 2022, at 20:35, Tomas Vojnar @.***> wrote:

No, ten název se tedy moc nepovedl, ale třeba se to nějak vsákne.TomášOn 4 Jul 2022 20:30, Martin Hruška @.***> wrote: na me tady ty viceslabicne pseudo latinske nazvy pusobi tak trochu jak zaklinadlo z Harryho Potter a tim padem nejak implikuji snizenou hladinu testosteronu autoru takoveho toolu. Ale jestli chcete vtipny nazev, tak to asi preziju.

—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you were assigned.Message ID: @.***> — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were assigned.

-- Ondrej Lengal @.***> （龍安卓）

GPG: 40FD 3AE9 0BFA B151 4358 6194 5792 8315 149F 91C8

[ondrik]

Zdar,

On 4. 7. 2022, at 20:01, Martin Hruška @.***> wrote:

a jak ze se to vyslovuje? Mašinato?

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were assigned.

IMO podobne jako "Macchiato", tj. tak, jak se to pise.

Pro namespace a knihovnu imo staci "mach"

namespace mach { ... }

libmach.so

pymach

(nejaky libmach a pymach uz sice existuji, ale vypada to dost okrajove, tak by nemelo dojit ke kolizim)

Panda si pak muze pod tim "mach" predstavovat "MACHete" a byt happy.

Lachtan si pod "mach" muze predstavovat "wehrMACHt" a taky byt happy.

Ondra

-- Ondrej Lengal @.***> （龍安卓）

GPG: 40FD 3AE9 0BFA B151 4358 6194 5792 8315 149F 91C8

[vojnar]

Zdar,

no offence, ale i kdyz nepisu kod, mohu se aspon zeptat, zda to ma nejaky skryty vyznam? Je to zkratkove slovo z neceho? Mozna jsem nebyl u nejake debaty? Proste se jen ze zajmu ptam, zda to neco znamena.

Toams

On 4. 7. 2022, at 20:47, Ondra Lengál @.***> wrote:

Panove,

jelikoz se nikomu nepodarilo najit jine jmeno, ktere by rezonovalo se zbytkem skupiny, dovoluji si tuto diskuzi na tema "jak je jmeno blbe" ukoncit a presmerovat energii do tohoto vlozenou na psani kodu, Tome.

Mejte se, Ondra

On 4. 7. 2022, at 20:35, Tomas Vojnar @.***> wrote:

No, ten název se tedy moc nepovedl, ale třeba se to nějak vsákne.TomášOn 4 Jul 2022 20:30, Martin Hruška @.***> wrote: na me tady ty viceslabicne pseudo latinske nazvy pusobi tak trochu jak zaklinadlo z Harryho Potter a tim padem nejak implikuji snizenou hladinu testosteronu autoru takoveho toolu. Ale jestli chcete vtipny nazev, tak to asi preziju.

—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you were assigned.Message ID: @.***> — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were assigned.

-- Ondrej Lengal @.***> （龍安卓）

GPG: 40FD 3AE9 0BFA B151 4358 6194 5792 8315 149F 91C8

— Reply to this email directly, view it on GitHub https://github.com/VeriFIT/toris/issues/5#issuecomment-1174074457, or unsubscribe https://github.com/notifications/unsubscribe-auth/AANF44XK725TMUHIJCYZ7ZDVSMWTXANCNFSM5YUJWHKQ. You are receiving this because you were assigned.

--

Faculty of Information Technology, Brno University of Technology
Bozetechova 2, CZ-612 66 Brno, Czech Republic
e-mail: @.*** web: www.fit.vut.cz/~vojnar tel: +420541141202 office: A215

[kilohsakul]

od slova machine, zni to jako macchiato, me to pripomina machinaci