Create accountLogin

Recent searches

No recent searches

Search options

Not available on lingo.lol.
lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Administered by:

Server stats:

70
active users

lingo.lol: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#lean

1 post1 participant0 posts today
Public *
Jesper Agdakx 🔸

As part of our (@sarantja@mastodon.social and yt) research on the usability of interactive theorem provers, we are conducting a study on the usage and state of tools and languages for type-driven development. We are interested in tools that encourage and facilitate type-driven development, especially in cases when they can help us reason about complex problems.

We are hoping to use your responses to identify the characteristic language features and tool interactions that enable type-driven development, with the eventual goals of enhancing them and bringing their benefits to a wider range of programmers.

Please fill in our anonymous, 10-minute survey here: https://tudelft.fra1.qualtrics.com/jfe/form/SV_bIsMxYTKUJkhVuS

You are welcome to participate if you have experience with any type-driven development tool, including dependently-typed languages (e.g., Coq, Lean, Agda), refinement types (e.g., Liquid Haskell), or even other static type systems (e.g., in Rust or Haskell).

P.S. In case you remember signing up for an interview with us in a previous survey and are now wondering whether that study will still go on, the answer is: yes! We’ve had to revise our schedule, but we are still excited to talk to you and will start inviting people for an interview soon.

tudelft.fra1.qualtrics.comType-Driven Development in PracticeUnderstanding the usage and state of tools and languages for Type-Driven Development
#Agda#Coq#Rocq
Public
Marco Secchi

Less Is More: A Guide to Cleaner Composition | Fstoppers fstoppers.com/education/less-m
#photography #composition #lean

Fstoppers · Less Is More: A Guide to Cleaner CompositionPhotography often starts with a full scene that overwhelms the eye with every detail. You face the challenge of choosing which elements to let stand and which to remove in order to craft a compelling image. Coming to you from Ian Worth, this engaging video explains how to tame a cluttered scene by focusing on the art of subtraction. Worth demonstrates that every photograph begins with more than you need, and your role is to decide what to eliminate. He illustrates simple techniques like moving, zooming, and cropping to strip away the excess.
Public
Tariq

Having fun doing the LaTeX typesetting for "Maths Proofs in Lean - First Steps"

I'm hoping the actual printers don't obscure the code text that has a grey background.

In case it is of interest - I use Lyx which aims to remove the need to actually code LaTex (but doesn't quite succeed but is still brilliant) .... lyx.org

sample 2-pages from upcoming book "Maths Proofs in Lean - First Steps" showing code and example info view output
#maths#lean
Public
BarbNerdy 🐿️

Fedi, do your magic...

I'm available as #Agile Team Coach / Scrummaster (with 7 yrs. experience on all sides of the business... )

Berlin or remote

I would love to support teams on their journey. Not dogmatic, not "by the book"

Last year I got my head into #Lean and it makes way more sense than everything I saw in SAFe

I'm fearless. I've see many things already.. so I changed my attitude from: OH... Antipattern ..to --> OH! THIS is interesting..

#FediHire

barbara.hallama.org/

barbara.hallama.orgBarbara Hallama Senior Scrummaster / Agile Team Coach – Senior ScrumMaster / Agile Team Coach (ICP ACC)
ExploreLive feeds
About