home.social

#fp — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #fp, aggregated by home.social.

  1. Hilfegesuch: Suche 30+ cm SATA 6GB/s Kabel mit gewinkeltem Stecker auf einer Seite. Kabelweggang nach oben. Gekauft habe ich diese von Delock:

    delock.de/produkt/83973/merkma

    Die haben aber einen etwa 2-3mm zu tiefen/langen/breiten Stecker (siehe Foto). Stehen also über, sodass das PC-Gehäuse nicht geschlossen werden kann.

    Konkret geht es um eine gebraucht gekaufte P510 Workstation von Lenovo. Lenovo selbst ruft für alleine ein Kabel indiskutable 50€+ auf.

    #followerpower #fp #fedihelp #sata #kabel

  2. Hilfegesuch: Suche 30+ cm SATA 6GB/s Kabel mit gewinkeltem Stecker auf einer Seite. Kabelweggang nach oben. Gekauft habe ich diese von Delock:

    delock.de/produkt/83973/merkma

    Die haben aber einen etwa 2-3mm zu tiefen/langen/breiten Stecker (siehe Foto). Stehen also über, sodass das PC-Gehäuse nicht geschlossen werden kann.

    Konkret geht es um eine gebraucht gekaufte P510 Workstation von Lenovo. Lenovo selbst ruft für alleine ein Kabel indiskutable 50€+ auf.

    #followerpower #fp #fedihelp #sata #kabel

  3. Hilfegesuch: Suche 30+ cm SATA 6GB/s Kabel mit gewinkeltem Stecker auf einer Seite. Kabelweggang nach oben. Gekauft habe ich diese von Delock:

    delock.de/produkt/83973/merkma

    Die haben aber einen etwa 2-3mm zu tiefen/langen/breiten Stecker (siehe Foto). Stehen also über, sodass das PC-Gehäuse nicht geschlossen werden kann.

    Konkret geht es um eine gebraucht gekaufte P510 Workstation von Lenovo. Lenovo selbst ruft für alleine ein Kabel indiskutable 50€+ auf.

    #followerpower #fp #fedihelp #sata #kabel

  4. Hilfegesuch: Suche 30+ cm SATA 6GB/s Kabel mit gewinkeltem Stecker auf einer Seite. Kabelweggang nach oben. Gekauft habe ich diese von Delock:

    delock.de/produkt/83973/merkma

    Die haben aber einen etwa 2-3mm zu tiefen/langen/breiten Stecker (siehe Foto). Stehen also über, sodass das PC-Gehäuse nicht geschlossen werden kann.

    Konkret geht es um eine gebraucht gekaufte P510 Workstation von Lenovo. Lenovo selbst ruft für alleine ein Kabel indiskutable 50€+ auf.

    #followerpower #fp #fedihelp #sata #kabel

  5. «Hemos visto que la programación en el mundo de la informática es un arte,...»

    .- Donald Knuth, en "Computer Programming as an Art" (1974) ~ el creador del concepto de la (1992)

    ( chicos... criticas/sugerencias , ando en las escuelas de )



    ideas/críticas/sugerencias ?

    pythonisas.github.io/

  6. @AVincentInSpace as soon as you think more about data and its relations, rather then what gets executed when the chances are rather high you are doing #fp ... My std example to explain FP is a spreadsheet: you enter data alongside with functions as first class citizens - you don't care in which order the cells get evaluated, the spreadsheet does that for you.

    #fp
  7. a macro to generate other macros was the best idea ever: now confirmed

    (with the last version of emacs-indigo for pretty-much-memory-safe molecule manipulation inside emacs!)

    github.com/gicrisf/emacs-indigo

  8. a macro to generate other macros was the best idea ever: now confirmed

    (with the last version of emacs-indigo for pretty-much-memory-safe molecule manipulation inside emacs!)

    github.com/gicrisf/emacs-indigo

    #emacs #lisp #chemistry #cheminformatics #metaprogramming #programming #code #coding #fp

  9. a macro to generate other macros was the best idea ever: now confirmed

    (with the last version of emacs-indigo for pretty-much-memory-safe molecule manipulation inside emacs!)

    github.com/gicrisf/emacs-indigo

    #emacs #lisp #chemistry #cheminformatics #metaprogramming #programming #code #coding #fp

  10. a macro to generate other macros was the best idea ever: now confirmed

    (with the last version of emacs-indigo for pretty-much-memory-safe molecule manipulation inside emacs!)

    github.com/gicrisf/emacs-indigo

    #emacs #lisp #chemistry #cheminformatics #metaprogramming #programming #code #coding #fp

  11. a macro to generate other macros was the best idea ever: now confirmed

    (with the last version of emacs-indigo for pretty-much-memory-safe molecule manipulation inside emacs!)

    github.com/gicrisf/emacs-indigo

    #emacs #lisp #chemistry #cheminformatics #metaprogramming #programming #code #coding #fp

  12. Cabe decir que todo mi alumnado está haciendo sus prácticas en empresas, con lo cual, mis tareas diarias han cambiado sustancialmente durante esta segunda mitad del curso, pasando a ser principalmente administrativas y de gestión, al ser tutor de esos alumnos. Y visitas a muchas empresas #FP

    #fp
  13. Siesta, café y a comenzar la jornada laboral. Sí, hoy voy de tarde, mis querides mastodones. Nos vamos a los barracones de siempre a hacer #FP.

    #fp
  14. Amazing post! A little mind bending but worth to try and learn something.

    ––––

    Staged Parser Combinators in Scala: Have Your Cake and Eat It (Too)

    moleike.github.io/blog/staged-

    #Programming #Scala #plt #FunctionalProgramming #FP #parserCombinators

  15. Higher-Kinded-J 0.4.2 ships EffectBoundary: write your Spring business logic once, interpret it three ways.

    🏭 Production: boundary.runIO(program) → real IO, actuator metrics, HTTP response
    🧪 Tests: TestBoundary.of(stub).run(program) → Id monad, no Spring, ms-fast, no mocks
    📋 Audit: swap in a WriterT interpreter for structured logging

    Same OrderService. Same program. Different interpreter at the edge.

    👉 higher-kinded-j.github.io/late

    #Java #SpringBoot #Spring #FP

  16. Почему JS/TS — не функциональный язык (и почему это важно понимать)

    Мотивацией для написания этого поста стали два года собеседований JS/TS-инженеров. Я интересуюсь языками и функциональным программированием, поэтому всегда «разбавлял» технические вопросы разговором о парадигмах. И заметил любопытную асимметрию. Об ООП кандидаты рассуждали уверенно — но в основном на концептуальном уровне, не вдаваясь в то, как именно ООП реализовано в JavaScript. С FP картина была другой: уверенности меньше, зато критика — конкретная и повторяющаяся: «иммутабельность дорогая по памяти» , «рекурсия небезопасна из-за стека» . Что характерно — эти аргументы почти всегда были сформулированы через опыт работы с JS, а не с Haskell, Clojure или Scala. Это важная деталь. Любая парадигма существует на двух уровнях: концептуальном (идеальная модель) и имплементационном (как конкретный язык эту модель выражает). Судить о FP по JS — примерно то же самое, что судить об ООП по bash-скриптам с глобальными переменными. Параллельно я регулярно слышал, что JS — функциональный язык. Аргументы варьировались от «там есть .map() » до рассуждений о чистых функциях и каррировании. Именно это и стало поводом для поста: я хочу объяснить, что я считаю функциональным языком — и почему JS таковым не является. Не перечислить отсутствующие фичи, а показать, почему их нет и что это значит в реальном рантайме.

    habr.com/ru/articles/1025100/

    #fp #scala #js #ts #functional_programming

  17. Почему JS/TS — не функциональный язык (и почему это важно понимать)

    Мотивацией для написания этого поста стали два года собеседований JS/TS-инженеров. Я интересуюсь языками и функциональным программированием, поэтому всегда «разбавлял» технические вопросы разговором о парадигмах. И заметил любопытную асимметрию. Об ООП кандидаты рассуждали уверенно — но в основном на концептуальном уровне, не вдаваясь в то, как именно ООП реализовано в JavaScript. С FP картина была другой: уверенности меньше, зато критика — конкретная и повторяющаяся: «иммутабельность дорогая по памяти» , «рекурсия небезопасна из-за стека» . Что характерно — эти аргументы почти всегда были сформулированы через опыт работы с JS, а не с Haskell, Clojure или Scala. Это важная деталь. Любая парадигма существует на двух уровнях: концептуальном (идеальная модель) и имплементационном (как конкретный язык эту модель выражает). Судить о FP по JS — примерно то же самое, что судить об ООП по bash-скриптам с глобальными переменными. Параллельно я регулярно слышал, что JS — функциональный язык. Аргументы варьировались от «там есть .map() » до рассуждений о чистых функциях и каррировании. Именно это и стало поводом для поста: я хочу объяснить, что я считаю функциональным языком — и почему JS таковым не является. Не перечислить отсутствующие фичи, а показать, почему их нет и что это значит в реальном рантайме.

    habr.com/ru/articles/1025100/

    #fp #scala #js #ts #functional_programming

  18. Почему JS/TS — не функциональный язык (и почему это важно понимать)

    Мотивацией для написания этого поста стали два года собеседований JS/TS-инженеров. Я интересуюсь языками и функциональным программированием, поэтому всегда «разбавлял» технические вопросы разговором о парадигмах. И заметил любопытную асимметрию. Об ООП кандидаты рассуждали уверенно — но в основном на концептуальном уровне, не вдаваясь в то, как именно ООП реализовано в JavaScript. С FP картина была другой: уверенности меньше, зато критика — конкретная и повторяющаяся: «иммутабельность дорогая по памяти» , «рекурсия небезопасна из-за стека» . Что характерно — эти аргументы почти всегда были сформулированы через опыт работы с JS, а не с Haskell, Clojure или Scala. Это важная деталь. Любая парадигма существует на двух уровнях: концептуальном (идеальная модель) и имплементационном (как конкретный язык эту модель выражает). Судить о FP по JS — примерно то же самое, что судить об ООП по bash-скриптам с глобальными переменными. Параллельно я регулярно слышал, что JS — функциональный язык. Аргументы варьировались от «там есть .map() » до рассуждений о чистых функциях и каррировании. Именно это и стало поводом для поста: я хочу объяснить, что я считаю функциональным языком — и почему JS таковым не является. Не перечислить отсутствующие фичи, а показать, почему их нет и что это значит в реальном рантайме.

    habr.com/ru/articles/1025100/

    #fp #scala #js #ts #functional_programming

  19. Implementing the Repository Pattern with Hygienic Macros in Scheme

    jointhefreeworld.org/blog/arti

    Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp

    I’ve been working on a new approach for the data layer of my projects lately, and I’d love to poke your brains and get some feedback.

    #lisp #scheme #guile #gnu #metaprogramming #programming #guix #jointhefreeworld #ast #sexp #fp #functionalprogramming #repository #sqlite

  20. Implementing the Repository Pattern with Hygienic Macros in Scheme

    jointhefreeworld.org/blog/arti

    Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp

    I’ve been working on a new approach for the data layer of my projects lately, and I’d love to poke your brains and get some feedback.

    #lisp #scheme #guile #gnu #metaprogramming #programming #guix #jointhefreeworld #ast #sexp #fp #functionalprogramming #repository #sqlite

  21. Implementing the Repository Pattern with Hygienic Macros in Scheme

    jointhefreeworld.org/blog/arti

    Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp

    I’ve been working on a new approach for the data layer of my projects lately, and I’d love to poke your brains and get some feedback.

    #lisp #scheme #guile #gnu #metaprogramming #programming #guix #jointhefreeworld #ast #sexp #fp #functionalprogramming #repository #sqlite

  22. #Java EffectHandlers without the boilerplate?

    In Higher-Kinded-J 0.4.1 — you define the what, the tooling generates the how.

    You write this:

    @EffectAlgebra
    public sealed interface PaymentGatewayOp<A>
    permits Authorise, Charge, Refund { ... }

    It generates five classes:
    ✦ Kind marker + Witness — HKT plumbing
    ✦ KindHelper — safe widen/narrow conversions
    ✦ Functor — auto-detects your mapK method
    ✦ Ops + Bound — smart constructors for building programs
    ✦ Interpreter skeleton — abstract class with exhaustive switch

    Composing multiple effects?

    @ComposeEffects
    public record AppEffects(
    Class<GatewayOp<?>> gateway,
    Class<FraudOp<?>> fraud,
    Class<LedgerOp<?>> ledger) {}

    This generates Inject factories, a composed Functor, a BoundSet, and an interpret() bridge. All type-safe. All compile-time checked.

    You define records. You write interpreters. The processor handles everything in between.

    👉 higher-kinded-j.github.io/late

    #Java #DOP #FP #OpenSource #FunctionalProgramming

  23. Функциональный Rust. Глава 0: Зачем нужно ФП?

    TL;DR: Затем, что с ним код чище, читаемее и предсказуемее ;) Старый объектно-ориентированный или императивный подход к программированию несёт в себе множество проблем, которые решает функциональное программирование. Даже в современной среде все до сих пор считают, что объектно-ориентированное программирование — правильное программирование, а функциональное — «для математиков и задротов», или вообще даже для варваров, которые даже не слышали об объектной и императивной «цивилизации».

    habr.com/ru/articles/1018790/

    #фп #rust #rusty #rustc #fp #функциональщина #функциональное_программирование #функциональная_парадигма

  24. I wonder if, one day, #IT would abandon the brutal practice of summarily “executing” innocent programmes sight unseen and, instead, adopt a more enlightened path of “evaluating” programmes based on their value, or will it cruelly discard the cherished, ancient art of #programming, altogether.🤔

    (#PP cf #FP) vs #LLM

  25. Functional programmers and #FP curious people in Brisbane: don't miss #BFPG Hack Day this Saturday 28 March at UQ: luma.com/uu28az9h

  26. Thanks to Sirius-beta Labs who are once again sponsoring lunch for #BFPG Hack Day. UQ St Lucia, Saturday 28 March. Be there or be a lambda cube!

    #FP #Haskell #OCaml #Idris #Gleam #Lean #Scala #Erlang #Elixir #FSharp #Clojure #Lisp #Agda #Rocq #Rust #Scheme #Racket

    luma.com/uu28az9h

  27. Elvis-модификатор доступа в C#

    Доброго Здоровья! Предполагается, что статья будет интересна тем, кто любит четкие контракты в своих проектах, строгость и чистоту в инкапсуляции, новые подходы в ООП. А также тем, кто уважает функциональное программирование. Эти темы и затрагиваются в предлагаемом «Elvis-модификаторе доступа», реализованным через Roslyn Analyzer. Все исходники и nuget пакеты прилагаются.

    habr.com/ru/articles/1008298/

    #C# #roslyn #oop #analyser #fp #elvis

  28. 34 Years of Monad Tutorials - Has anyone learned anything? - An anthropological study

    Carlo Hamalainen @ Brisbane Functional Programming Group #BFPG #FP

  29. Brisbane Functional Programming Group #BFPG - Donovan Crichton presents "Algebraic structures as interfaces" #FP