3 mm Filamenttia myynnissä!

Labille on tullut paljon 3 mm filamenttiä, joihin meillä ei ole oikeanlaista printteriä. Myymme ylimääräiset filamentit. Kerätty raha käytetään labin parantelemiseen. Tule kerjoiltaan hakemaan, jos löytyy sopivaa.

Avatut:

Painot pakkauksen kanssa.

Creat Bot – 3.0

  • PLA – SkyBlue, 1.2kg – 10€

ColorFabb – 2.85mm

  • co-polymer colorFabbHT – 1.06kg – 20€

Octofiber – 2.85mm

  • Wood Fiber – 0.81kg – 15€
  • PVA – Natural, 0.82kg – 10€
  • PLA – Dark Blue, 0.6kg – 3€
  • PLA – Purple, 0.5kg – 1€

Ultimaker Material – 2.85mm

  • PLA – Transparent, 1.06kg – 25€
  • PLA – Green, 0.7kg – 20€
  • ABS – White, 0.85kg – 22€
  • CPE+ – Transparent, 1.0kg – 38€
  • Print core AA 0.4 – – 100€

Recreus – 2.85mm

  • FILAFLEX – clear pink, 0.7kg – 5€

polymaker – 3.00mm

  • PLA PolyPlus – Translucent Red, 1.3kg – 20€

Avaamattomat:

Octofiber – 2.85mm

  • PVA – Natural, 500g – 35€
  • PVA – Natural, 500g – 35€
  • PLA – Brown, 750g – 25€

forward-am (BASF) – 2.85mm, 750g

  • PLA PRO1 – Black – 30€
  • PLA PRO1 – Black – 30€
  • PLA PRO1 – Black – 30€

innofil3d (BASF) – 2.85mm, 500g

  • Innoflex 45 – Black – 18€

Ultimaker Material – 2.85mm, 750g

  • PLA – Silver metallic – 45€
  • PLA – Green – 45€
  • ABS – Green – 45€
  • Nylon – Transparent – 65€

Ultrafuse – 2.85mm, 750g

  • Ultrafuse TPU 85A – 45€

Recreus – 2.85mm, 500g

  • 95A FILAFLEX – MEDIUM-FLEX, skin color – 30€
  • 70A FILAFLEX – ULTRA-SOFT, clear – 40€

colorFabb – 2.85mm, 600g

  • woodfill – 35€
  • woodfill – 35€
  • woodfill – 35€

polymaker – 2.85, 750g

  • polyDissolve S1 – 65€

Kuinka asentaa Agda ubuntu koneelle?

Eipä ollut ollenkaan niin helppoa asentaa kuin olisi voinut kuvitella. Tässä suurinpiirtein vaiheet jotka itse tarvitsin toimivan lopputuloksen saavuttamiseksi. Kannattaa varmaan ohessa myös katsella agdan virallisia ohjeita. Jostakin syystä agdan stdlib ei ainakaan minulla tullut automaattisesti mukaan joten myös agdan kirjastoriippuvuuksiin kannattaa perehtyä.

Agda version 2.6.1.1

GNU Emacs 26.3

Stack 2.3.3

Ubuntu 20.04

Asensin agdan haskell tool stackin kautta.

Pistä muistiin mihin tiedostosijaintiin stack asensi Agdan.

Rammia asennus käytti ~ 6GB että pidä hatustasi kiinni ja sulje kaikki ylimäräinen. Ja jos alkaa näyttää pahalta niin sammuta ”tarpeelliset” softat kanssa. Asennus testatusti kaatui rammin loppumiseen.

”` stack update ”`

”` stack install Agda ”`

Lataa https://github.com/agda/agda-stdlib.git stackin asennus sijaintiin, joka on jotakin suuntaan : ”` ~/.stack/snapshots/x86_64-linux-tinfo6/asakfasdklja…asdjasdkljaskkfj/8.8.4/share/x86_64-linux-ghc-8.8.4/Agda-2.6.1.1/lib ”`

En ole ihan varma täytyykö tuon olla juurikin tuolla. Periaatteesa ainakaan ei.

Tee kansioon ~/.agda tiedostot:

”` defaults ”`

sisällöllä:

”` standard-library ”`

Kertoo mitkä paketit otetaan agdan buildiin defaulttina mukaan.

sekä

”` libraries ”`

jossa sisältönä pathin stackin agda kansioon asenettun standard kirjaston standard-library.agda-lib tiedostoon:

”` /home/esko/.stack/snapshots/x86_64-linux-tinfo6/asdklasjdklasdaslk…asdasjdhkajshdk/8.8.4/share/x86_64-linux-ghc-8.8.4/Agda-2.6.1.1/lib/agda-stdlib/standard-library.agda-lib  ”`

Sitten asensin aptista agda-stdlib paketin. En kuitenkaan saanut sitä toimimaan itsessään, vaan asensin sen jotta sain kaikki sen vaatimat riippuvuudet kasaan. siirsin varsinaisen kansion /usr/share/agda-stdlib sijainnista /usr/share/agda-stdlib-notUsed. Jos kansiota ei siirrä, niin bootin jälkeen Agda vaikuttaa kaatuvan päälekkäisiin riippuvuuksiin.

Seuraavaksi ajoin komennon varmistaakseni, että asennuksen pitäisi olla emacsille kunnossa

”” agda-mode setup ”`

lisäksi lisäsin .emacs tiedostoon rivit

”`

(load-file (let ((coding-system-for-read ’utf-8))
(shell-command-to-string ”agda-mode locate”)))

”`

Kokeillin ajaa tämän myös ”` agda-mode locate ”` ja se toimi.

Seuraavaksi johonkin emacsilla tiedosto hello.agda sisällöllä:

”`

module hello where

open import IO

main = run (putStrLn ”päeveä mualima”)

”`

Sitten ajat ”` M-x agda2-load ”` tai ”` C-c C-l ”` ja jos näyttää vähän aikaa, että juuri mitään ei tapahdu, niin kaikki menee niinkuin pitää. Jos saat virheen niin jokin on pielessä. Tekstin pitäisi värjäytyä kivasti, juuri niin että että kaikki oleellinen teksti on suunnilleen saman väristä, kuin tumman teemasi tausta.

Tämän jälkeen voit myös kokeilla kääntää ohjelman agdalla:

”` agda –compile hello.agda ”`

ja kansioon pitäisi ilmestuä ajettava tiedosto.

Sitten voit alkaa käydä läpi kirjaa: https://plfa.github.io/ ainakin tämä on minun suunnitelmani.

Haskero Haskell-kehitysympäristöksi vscodeen.

Jos esimerkiksi hie pohjainen haskell lisäosa ei toimi suoraan esimerkiksi vscodessa, niin tätä voi silloin kokeilla. Ainakin interoa asentaessa saa virheilmoituksia näkyviin. Kun haskero alkaa toimia, niin todennäköisesti haskell lisäosakin toimii jos siihen vaihtaa.

Näiden haskell ide ympäristöjen asentamisessa stackin kanssa näyttää olevan jonkin verran epämääräisiä bugeja, joiden ohi jos pääsee niin asiat alkaa toimia paremmin. Voit yrittää kysyä minulta apua. Vastaan todennäköisesti hyvin mielelläni.

Käyttikseni on Ubuntu. Windowsista en osaa sanoa miten hyvin toimii.
Intero (VS Codessa Haskero) ei ole enää kehityksessä, joten joudut käyttämääna vanhempaa ghc:ta. Hyvin mahdollisesti ei haittaa Funktio-ohjelmointi 1 -kurssin aikana. Jos ongelmia tulee, niin se näkyy siten, että sopimattomuuden aiheuttavaa pakettia ei löydy suoraan. Todennäköisesti stack osaa antaa tästä kuvaavia virheilmoituksia. Korjattua tämän saa vaihtamalla takaisin uudempaan ghc:hen. Tällöin Intero lakkaa toimimasta. Varmaan paras asia, mitä Intero antaa, on reaaliaikaiset virheilmoitukset, jotka editori värjää suoraan koodiin. Tulevaisuudessa voisin yrittää siirtyä johonkin lsp-pohjaiseen systeemiin, mutta toistaiseksi ovat vielä kehityksen alla.

Asenna Haskellin tool stack ”stackin” kotisivuilta. Älä asenna ainakaan apt-get:sta, rikki! Tai jos asennat niin seuraa stackin sivuilta jostakin löytyviä asennus-ohjeita.

asenna ghc aptista.  (sudo apt install ghc) Tässä vaikuttaa tulevan mukana joitakin paketteja joista intero jossakin kohtaa riippuu, jotka eivät itsekseen asennu.

Tiedoksesi: Tarvitset vanhemman stackin lts-paketin <14.27 stackin conffeihin. (kerrotaan kohta miten)
(lts-14.27 jossa mukana ghc 8.6.5 ==> näkyy täällä: https://www.stackage.org/)
(ghc versio vaatimus interolle näkyy esimerkiksi täällä: https://hackage.haskell.org/package/intero)

Stack toimii sillä tavalla että on globaali projekti (~/.stack/global-project/stack.yaml).
Ja lokaali projekti sitten, kun teet stakilla sen jonnekkin. (projektinimi/stack.yaml)

Locaalin projektin voit luoda esimerkiksi näin: stack new projektinimi simple --resolver lts-14.27

stack.yaml tiedostossa rivi ”resolver” pitää olla interolle sopiva esim: resolver: lts-14.27
Muutoksen jälkeen aja: stack install
Voit nyt myös kokeilla osaako stack: stack install intero
Jos asiat on hyvin niin ei pitäisi tulla virheitä.
En ole ihan varma katsooko vscode lokaalista vai globaalista kontekstista, mutta ainakin toisessa pitää olla resolver: lts-14.27
(voit pistää molempiin)

Pidä huoli viimeistään tässä kohtaa että .local/bin on pathissa (myös seuraavassa bootissa) (echo $PATH).

Minulla oli sekä globaali ja lokaali projekti tässä kohtaa lts-14.27:ssa ja olin ajanut kummassakin contekstissa stack install intero ihan kokeen vuoksi, en ole varma tarvitseeko tuota tehdä manuaalisesti, mutta ainakin näkee että se onnistuu.

käynnistin tässä kohtaa koneen uudelleen.

Avaa vscodessa vaikka juuri tekemäsi projektin hello world tiedosto (projektinimi/src/Main.hs)
kirjoita loppuun jotain diipadaapaa.
Huomaa kuinka mitään ei tapahdu.
Asenna vscodeen haskero extensioni (Pitäisi olla kohtuu helppoa. klikkailet vaan.)
Diipadaapan pitäisi nyt olla alleviivattu punaisella ainakin jostakin kohtaa ja kun viet hiiren päälle niin virhe pitäisi näkyä.

Jos ei toimi niin todennäköisesti sinulle aukeaa ikkuna joka kertoo sinulle, mistä it-alan ammattilaisen päivä koostuu.
Yritä ymmärtää mikä on viestin sisältö ja miksi juuri sinä saat sen.

Yleisesti stack riippuvuuksista:

Yleensä stack-projekteissa riippuvuuksien paketit pitää aina lisätä ensisijaisesti tiedostoon package.yaml tai ”simple”-projekteissa, jollainen sinulla varmaan käytössä, tiedostoon projektinimi.cabal. Sen jälkeen niistä voi importata asioita. Nämä riippuvuudet sitten haetaan tuosta stackin lts-paketista. Joskus voi tulla myös ulkosia riippuvuuksia, jotka menee samaan tiedostoon kuin tuo resolver, mutta ne ovat asia erikseen.

Riippuvan paketin nimi löytyy yleensä ainakin hooglessa scrollattavan sivun aivan vasemmasta yläkulmast, kun katsot dokumentaatiota.

Esimerkiksi Text:n paketti text löytyy kun kelaat tämän sivun sivun alkuun.

Pitäisi muokata tiedostoon projektinimi.cabal seuraavaa:
build-depends: base >= 4.7 && < 5build-depends: base >= 4.7 && < 5, text

Sitten pitää ajaa stack build.

Sitten voisi importata haskell tiedostossa näin:

import Data.Text

ja sitten voisi käyttää koodissa Text:iä:

textiksiPaketoituStringi = pack "kissa"

Geokätköilijöiden tapaaminen Hacklabilla! 29.1.2020 klo 18–20

Keskiviikkona 29.1.2020 kello 18–20 on hacklabilla geokätkömiitti. Siellä geokätköilijät voivat tavata toisia harrastajia ja keskustelella geokätköilystä. Geokätköilijät pääsevät myös tutustumaan Hacklabiin. Hacklabin jäsenet ovat myös tervetulleita tutustumaan geokätköilyyn.

Tapahtuman geokätköilykoodi on GC8H2EK, jonka takaa löytyy lisätietoja. Paikalle voi tulla myös ilmoittautumatta, mutta jos sinulla on jo tunnukset geocaching.comiin, käy toki ilmoittautumassa!

–Jerri Jaatinen