media.ccc.de 🤖 · @mediacccde
982 followers · 2705 posts · Server botsin.space
media.ccc.de 🤖 · @mediacccde
989 followers · 2725 posts · Server botsin.space
media.ccc.de 🤖 · @mediacccde
982 followers · 2705 posts · Server botsin.space

Getting recursive definitions off their bottoms (bobkonf2023)

Haskell claims to be a declarative language, where you just write down some equations, and suddenly the variables contain the solution to these equations. This works even with recursive equations, but
media.ccc.de/v/bob2023-getting #2023 #97

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
989 followers · 2725 posts · Server botsin.space

Getting recursive definitions off their bottoms (bobkonf2023)

Haskell claims to be a declarative language, where you just write down some equations, and suddenly the variables contain the solution to these equations. This works even with recursive equations, but
media.ccc.de/v/bob2023-getting #2023 #97

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
982 followers · 2705 posts · Server botsin.space

Structuring effectful programs (bobkonf2023)

Historically, Haskell has been using monads to encode effects in programs, and monad transformers to provide a modular way to combine several such effects. More recently, algebraic effects have become
media.ccc.de/v/bob2023-structu #2023 #98

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
989 followers · 2725 posts · Server botsin.space

Structuring effectful programs (bobkonf2023)

Historically, Haskell has been using monads to encode effects in programs, and monad transformers to provide a modular way to combine several such effects. More recently, algebraic effects have become
media.ccc.de/v/bob2023-structu #2023 #98

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
982 followers · 2705 posts · Server botsin.space

Keynote: Re-thinking Modules for the Web (bobkonf2023)

It is a truth universally acknowledged, that a programming language with more than 100 users must be in want of a module system. JavaScript, first released in 1995, resisted this natural law until 201
media.ccc.de/v/bob2023-re-thin #9001 #2023

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
989 followers · 2725 posts · Server botsin.space

Keynote: Re-thinking Modules for the Web (bobkonf2023)

It is a truth universally acknowledged, that a programming language with more than 100 users must be in want of a module system. JavaScript, first released in 1995, resisted this natural law until 201
media.ccc.de/v/bob2023-re-thin #9001 #2023

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
982 followers · 2705 posts · Server botsin.space
media.ccc.de 🤖 · @mediacccde
989 followers · 2725 posts · Server botsin.space
media.ccc.de 🤖 · @mediacccde
982 followers · 2705 posts · Server botsin.space

Structuring effectful programs (bobkonf2023)

Historically, Haskell has been using monads to encode effects in programs, and monad transformers to provide a modular way to combine several such effects. More recently, algebraic effects have become
media.ccc.de/v/bob2023-structu #2023 #98

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
989 followers · 2725 posts · Server botsin.space

Structuring effectful programs (bobkonf2023)

Historically, Haskell has been using monads to encode effects in programs, and monad transformers to provide a modular way to combine several such effects. More recently, algebraic effects have become
media.ccc.de/v/bob2023-structu #2023 #98

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
982 followers · 2705 posts · Server botsin.space

Wood instead of ivory — functional programming for CNC machines (bobkonf2023)

Functional programming has long left the domain of academia. But what does it truly mean to be general purpose? It means that you can wirte programs for all domains, such as steering your CNC router,
media.ccc.de/v/bob2023-wood-in #2023 #113

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
989 followers · 2725 posts · Server botsin.space

Wood instead of ivory — functional programming for CNC machines (bobkonf2023)

Functional programming has long left the domain of academia. But what does it truly mean to be general purpose? It means that you can wirte programs for all domains, such as steering your CNC router,
media.ccc.de/v/bob2023-wood-in #2023 #113

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
982 followers · 2705 posts · Server botsin.space

When Testing Just Doesn't Cut It (bobkonf2023)

Writing unit tests is pretty much standard practice these days. Otherwise, how would you make sure that your code does what you expect? Yet, some software is mission-critical and merely testing a few
media.ccc.de/v/bob2023-when-te #2023 #107

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
989 followers · 2725 posts · Server botsin.space

When Testing Just Doesn't Cut It (bobkonf2023)

Writing unit tests is pretty much standard practice these days. Otherwise, how would you make sure that your code does what you expect? Yet, some software is mission-critical and merely testing a few
media.ccc.de/v/bob2023-when-te #2023 #107

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
982 followers · 2705 posts · Server botsin.space

Cloud, done the Nix way (bobkonf2023)

Nix has proved to be a revolutionary advance in packaging. In addition to packaging, the core idea has also been succesfuly applied to machine configuration (with NixOS), and to programming languages
media.ccc.de/v/bob2023-cloud-d #2023 #111

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
989 followers · 2725 posts · Server botsin.space

Cloud, done the Nix way (bobkonf2023)

Nix has proved to be a revolutionary advance in packaging. In addition to packaging, the core idea has also been succesfuly applied to machine configuration (with NixOS), and to programming languages
media.ccc.de/v/bob2023-cloud-d #2023 #111

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
982 followers · 2705 posts · Server botsin.space

What a computer game taught me about software architecture (bobkonf2023)

Factorio is a simulation game where you build a highly automated factory, producing the technology to eventually launch a rocket to space. Along the way, every new task will be manual at first, but yo
media.ccc.de/v/bob2023-what-a- #2023 #95

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago

media.ccc.de 🤖 · @mediacccde
989 followers · 2725 posts · Server botsin.space

What a computer game taught me about software architecture (bobkonf2023)

Factorio is a simulation game where you build a highly automated factory, producing the technology to eventually launch a rocket to space. Along the way, every new task will be manual at first, but yo
media.ccc.de/v/bob2023-what-a- #2023 #95

#ccc #BOBKonferenz #bob2023 #talk #bob

Last updated 1 year ago