Skip to content

Omflytning...

Så har jeg snart brugt et par timer på at flytte rundt inde på kontoret - alene vel og mærket. Billeder følger når jeg engang er færdig :-)

Indtil da - puha det her er skam hårdt arbejde...

2 nye sub-domæner

Tja, der sker ting når man har lidt tid til overs. Denne gang er det blevet til indførelsen af to nye underdomæner:

files.sunlock.dk
gaver.peter-sonder.dk

Den første bruge til hvis nogle venner/familie/noget-i-den-stil skal bruge en/flere filer som jeg har eller hvis jeg har fundet et sjaw billed eller lignende. Den sidste behøver vist ingen introduktion - skulle du alligevel være i tvivl, så klik da på linket ;-)

Unplug me, please

Så skete det endelig - dagen hvor det forbandede trådløse net kom til at virke i Linux. Sikke en herlig kamp. En kamp som jeg vandt. Ta' den :-)

...nu mangler jeg så bare en trådløs strømforsyning and I'm outta here.

Kender du det? #afrunding

Efter at have testet i et par uger kan jeg hermed konkludere at der ikke er noget at konkludere. Kaffe kan virke opkvikende selv en dag hvor man er træt. Hvis man ikke er træt er kaffen nu god alligevel. Tager man så i dag, sidste dag, hvor det var monster koldt og jeg faktisk er frisk kan jeg konstater at kaffen er god at varme sig på.

Tilbage er der kun at sige at kaffe gør godt :-)

Kender du det? #6

Jeg tror dagens resultater er blevet påvirket lidt. Jeg fik nemlig lige sovet 15 min længere - og man siger jo at bare 5 min mere vil gøre underværker. Ikke nok med det, så var det monster koldt her til morgen. Det betød jo så at man vågnede op af sig selv - det har jo ikke været rigtigt koldt her om morgenen.
Resultater er at efter en kop kaffe, en møj-kold cykeltur og 15 min ekstra i sengen her til morgen er jeg altså bare frisk (også selv om nogen nok vil sige at jeg ikke ser sådan ud).

Kender du det? #5

Endnu en gang mandag, endnu en ny uge står for døren - og kaffeeksperimentet "Kender du det?" kører videre.

Dagen starter som enhver anden mandag - op til kaffe :-) Efter kaffen går turen udenfor, hvor vejret faktisk er godt. Ja, man fristes næsten til at sige frisk. I hvert fald vågner man lidt op - og det er altså ikke bare fordi det er koldt. Det er køligt, men skønt.

Ude på uni sætter man kaffen over, og en velkendt duft breder sig i et lille grupperum, hvor lugten for det meste minder om noget kommune kemi ville undersøge.

Kl. er, som du nok har bemærket på tidspunktet af indlægget, ikke engang 9 og jeg er faktisk frisk. Kaffen smager ikke specielt godt i dag - jeg tror nok det er fordi den har været åben for længe og snart er for gammel... :-)

Kender du det? #4

Endnu en gang er det mandag, endnu en gang er det tid til at se om mine tanker holder stik. Jeg er dog begyndt at tvivle lidt på om det virkelig er kaffen som gør dagen sød... eller lettere at holde sig vågen til.

Kl. er nu ca 9.15 og jeg er godt igang med den 3. kop kaffe i dag - men ikke fordi jeg føler mig specielt træt, men fordi jeg sidder og læser om programmeringssproget Erlang. Det er et sprog som minder om Prolog gys men med najs features som concurrency og real-time kontrol. Først synes jeg at det var et underligt - ja nærmest f*cked up sprog som Prolog, men af en eller anden (syg?) grund synes jeg nu det er helt okay.

Men men men men men bare rolig, jeg tvivler på at jeg nogensinde kommer til at arbejde med det - det ville da være perverst! :-)

Kender du det? #3

"The saga continues" - men denne gang må jeg faktisk indrømme at jeg ikke føler mig specielt træt. Det var ikke engang hårdt at komme op. Taget i betragtning af at jeg heller ikke kom hverken tidligt eller sent i seng må dette siges at være et fænomem som skal undersøges.

Måske er svaret at man bare ikke skal komme for sent eller tidligt i seng - men hvornår er det så?

Kender du det? #2

Nu er det så blevet mandag igen - og pt. kan jeg kun bekræfte min oplevelse fra sidste uge. Efter første kop kaffe mangler der stadig noget - og efter anden begynder der at ske noget. Kl er ikke helt 9, men den går der henad.

Kender du det?

Det er mandag:
man står op og føler sig ikke alt for veloplagt...
man får den første kop kaffe, og stadig ikke det vilde...
man kommer ud i den friske luft, og stadig higer kroppen mest efter sengen...
man kommer i skole/på arbejde (eller hvad man nu laver) og stadig mangler den sidste gnist lige...
man får sat kaffe over og kort efter starter en velkendt duft at brede sig, men ikke helt...
man får dagens anden kop kaffe og nu begynder der at ske ting...

Oven på dette kan man så konstatere at klokken går mod 9 og man begynder at tænke. Er det bare 2 kopper kaffe eller skal klokke være 9 eller er det en kombination? Jeg ved det ikke med sikkerhed, men vil undersøge dette de næste mange mandage i et forsøg på at løse mysteriet om mandagen.

Opdateret bot :-)

Her midt i eksamenslæsningen er det jo altid dejligt at kode lidt perl - derfor har jeg opdateret min irc bot, så nu kicker den folk fra en given chan hvis de bruger tegnet #.

Desværre kicker den også andre som er op - det må komme med som en lille ekstra feature indtil jeg får tid til at kigge på det. Men, lige nu virker den - og den kicker som den har lyst til.

Tja, hvad kan jeg sige - perl er sødt :-)

200 er det magiske tal :-)

I disse dage hvor alle snakker om H. C. Andersens 200 års fødselsdag, ville jeg også være med.

Min server har netop i dag kørt i 200 dage straight. Hvad betyder dette så? Ja, for 200 dage siden havde vi strømafbrydelse i denne del af byen, hvor min server havde rundet de 165 dage. Med andre ord, havde der ikke strømafbrydelse kunne jeg sige at min server havde haft en oppetid på 100% i løbet af et år. Øv.

Men, nu er den altså godt på vej igen. Godt klaret af en gammel lille larmende spand :-)

Concurrency Workbench

Som man kan læse på Concurrency Workbench, så er dette et sprog, som bruges til at teste/arbejde med Hennessy-Milner Logic. Og hvad er dette så? Tja, jeg gider ikke gå ind i detailer, men her følger en Alternating-Bit-Protocol, som vi fik den til at se ud efter et par timers arbejde:

---snip---
** Transmitter

agent Transmitter = acc.('m1t.Send1 + 'm0t.Send0);

agent Send1 = 'm1t.Send1 + a0m.'m1t.Send1 + a1m.acc.'m0t.Send0;
agent Send0 = 'm0t.Send0 + a1m.'m0t.Send0 + a0m.acc.'m1t.Send1;


**
Medium

agent Medium = Sending | Ack;

agent Sending = m0t.'m0m.Sending + m1t.'m1m.Sending;
agent Ack = a0r.'a0m.Ack + a1r.'a1m.Ack;


** Receiver

agent Receiver = m1m.'del.'a1r.Ack1 + m0m.'del.'a0r.Ack0;

agent Del1 = 'del.'a1r.Ack1;
agent Ack1 = m1m.'a1r.Ack1 + m0m.Del0;

agent Del0 = 'del.'a0r.Ack0;
agent Ack0 = m0m.'a0r.Ack0 + m1m.Del1;


**
Action sets
m1t / m0t = msg 1 / 0 from transmitter
m1m / m0m = msg 1 / 0 from medium
a1r / a0r = ack 1 / 0 from receiver
a1m / a0m = ack 1 / 0 from medium

set L = {m1t, m0t, m1m, m0m, a1r, a0r, a1m, a0m};


** Our protocol is defined as

agent Protocol = (Transmitter | Medium | Receiver) \ L;


**
Specification of the system

agent Spec = acc.'del.Spec;

---snip---

Jeg håber det sagde dig lidt, hvis ikke så vil jeg da med glæde bruge en time eller to på at forklar det til dig :-)
Det var i hvert fald noget som tog lang tid at lave. Lige en anden ting, bemærk at der er kommentarer i koden (lavet med *).

Frozen Calendar

Den kommende tid vil jeg udarbejde en plan for mit kommende fritidsprojekt Frozen Calendar - eller blot FroC.

I forhold til mange andre kalendere, tager denne udgangspunkt i XML som underliggende format. Mange andre tager udgangspunkt i ICS. Jeg har valgt at fokusere på XML for at gøre det let at smide den på nettet. Ligeledes for at lære at arbejde med XML i større grad end jeg allerede gør.

Det valgte programmeringssprog bliver Java for, igen, at få udviklet mine kompetencer i dette sprog.

Indtil videre er det hele kun på lidt papir og i mit hoved, men mon ikke der snart kommer bare lidt. Om ikke alt så en hjemmeside :-)

IRC bot - opdatering

Efter lidt fritidsarbejde med min IRC bot har jeg besluttet at beholde den i irssi. Hvorfor? Tja, den er jo ikke grafisk og så er den behagelig :-)

Her kommer så en lille opdatering eftersom version 0.2.1 så er færdig.

--| BlackAngelsBOT - changelog |--------------------------------------

----------------------------------------------------------------------
Current version: 0.2.1
----------------------------------------------------------------------

-- Working -----------------------------------------------------------
o !info, !members, !friends, !homepage, !servers, !ownage

-- Must work on next release -----------------------------------------
o Add +v on channels (each channel must be added)
o Fix !commands - it simply doesn't work
o Change the reply way (shouldn't use msg $nick - simply reply in channel)

-- Optimal (should be added sometime) --------------------------------
o Add !slap $s_user
- /me slaps $s_user with a $slap-type
o Add "Hello $nick" on #Black-Angels & #sunlock (each channel must be added)
o Cleanup code
o Saving all messages in log-files
- Arranged so that it can be displayed on a webpage
- Possible to do some statistic
+ Most spoken word
+ Most active person
+ ...and so forth

-- Query our own Counter Strike servers ------------------------------
o Add extra features to !servers
- Show how many is playing (!playing)
- Show what map is playing (!map)
- Show who is playing (!whoisplaying)