Village:Lambda

From WHY2025 wiki
Jump to navigation Jump to search


-
Village Name Lambda

Upload a: PNG - JPG - SVG - GIF

Part of Cluster Add.png create cluster
Assigned Field
Description French Village with Crepe & DJ
Preferred Location 52° 41' 23.60" N, 4° 44' 34.76" E
Loading map...
Members

Edit your membership on your user page, here, and then on "edit with form" at the top.

Projects

Add.png create project

Self-organized Sessions

Add.png create self-organized session

Related to village Village:Brittany Fairies
Interests free beer/cofee
free beer/cofee
, infosec
infosec
, cyber circus
cyber circus
, whiskyleaks
whiskyleaks
, electronics
electronics
, retro computing
retro computing
Registered on 5 February 2025 22:15:36
Open to newcomers No
Hosts self-organized sessions No
Name Arrival Departure Bringing
Gadget MCS Thu Aug 7 0:00 Wed Aug 13 0:00 Workshops, joy and Vanille
Maxou56800 Thu Aug 7 0:00 Wed Aug 13 0:00
Miizix Thu Aug 7 0:00 Wed Aug 13 0:00 Flipper zero, ~200 Free Cofee, Lockpick, Talkie
Rbnctl Thu Aug 7 0:00 Wed Aug 13 0:00
Saturne Thu Aug 7 0:00 Wed Aug 13 0:00 Flipper Zero,Pwnagotchi,meshtastic,crochet?,DnD
Thanat0s Thu Aug 7 0:00 Tue Aug 12 0:00 Dect Phone, Amiga or CPC, Electronic , Drone tout mignon
Tweety
Vertrex
Xylitol Gameboy camera, stickers
Zor
10 inhabitants. Refresh this list. You can add yourself to a village by editing your profile page, here.
Orga contact lambda_why@proton.me
Citizens
Needs network Villages describe network needs
Needs power
Power comment
Village plans
Village constraints
Village comments plans
Provides transport for
Has plans with tracks
Size needed
Has order interest
Planning notes


Arrival on site / Buildup

Villagers Location (From) How Arrival-departure
Xylitol, Lucie France plane, train 07/08/2025 - 13/08/2025
Thanat0s, Xanax France car 07/08/2025 - 13/08/2025
Vertrex, France train,car ? 07/08/2025 : ~18h00 - 12/08/2025 : ~14h00
Miizix France car 07/08/2025 - 13/08/2025
Saturne, Frédéric Paris, France bus+train+bus 06/08/2025 - 13/08/2025
Maxou56800 France (Brittany) car 07/08/2025 - 13/08/2025
rbnctl France (Brittany) car 07/08/2025 - 13/08/2025
tweety France train 07/08/2025 - 12/08/2025

Village Infra

What Location (From) Who Comment
1x Tent 5 m x 5 m Team Moebelhaus Solal
1x Tent Sahara 400 own stuff Thanat0s/Xanax Probably not sleeping here :)
1x 3-Person Tent own stuff Benoit
1x 3-Person Tent own stuff Maxou56800
1x 2-Person Tent own stuff rbnctl
1x 1-Person Tent Why's stuff Miizix
1x MH100 XL own stuff Xyl2k
1x MH100 own stuff Solal
8x chairs own stuff Thanat0s
6x chairs own stuff rbnctl
1x table 4 places own stuff rbnctl
DJ Set own stuff Benoit
Fire extinguisher (CO2) own stuff Maxou56800
Looooonng Power cords own stuff Thanat0s 1x25m IP52
Power cords own stuff Miizix 1x15m IP52
Table Treteaux own stuff Thanat0s 170x90
Goban own stuff tweety 19x19

Lambda

The village
let main = (a => (b => (c => (d => (e => (f => (g => (h => (i => (j => (k => (l => (m => (
n => (o => (p => (q => (r => (s => (t => (u => (v => (w => (x => (Y => (y=>(z=>dl=>dv=>dl(
z(dv)(x)))(Y(y)))(z => f => l => l(x => xs => w(f(x))(z(f)(xs)))(v)))(f => (x => f(z => x(
x)(z))) (x => f(z => x(x)(z)))))( w(o)(w(p)(w(q)(w(q)(w(r)(w(s)(w(t)(w(o)(w(u)(v))))))))))
)(a => l => c => n => c(a)(l)))( c => n => n))(f(c)(t)))(f(o)(g(d)(j))))(h(c)(j)))(g(d)(e(
g(i)(l)))))(g(i)(h(d)(d))))(e(n)))(g(l)(k)))(g(h(c)(c))(h(j)(c))))(e(e(l))))(h(d)(c)))(h(c
)(d)))(f(c)(d)))(e(d)))(x => y => y(x)))(x => y => f => x(y(f))))(x => y => x(e)(y)))(x =>
f => s => f(x(f)(s))))(f => x => f(f(f(x)))))(f => x => f(f(x))))(f => x =>f(x)))(f=>x=>x)
//
// main is pure lambda calculus, created using only:
// - `x`: Variable
// - `λx.x`: Abstraction
// - `x x`: Application
//
// Helpers to interpret the lambda code:
let decode_list = a => l => l(x => xs => decode_list(a.concat([x]))(xs))(a)
let decode_number = n => n(x => x + 1)(0)
console.log(String.fromCharCode(...main(decode_list([]))(decode_number)))