home.social

#runtimesystem — Public Fediverse posts

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

fetched live
  1. Hacker News @[email protected] ·

    Property-Based Testing of OCaml 5's Runtime System [pdf]

    janmidtgaard.dk/papers/Midtgaa

    #HackerNews #PropertyBasedTesting #OCaml5 #RuntimeSystem #SoftwareTesting #FunctionalProgramming

    #hackernews #propertybasedtesting #ocaml5 #runtimesystem #softwaretesting #functionalprogramming
  2. Hacker News @[email protected] ·

    Property-Based Testing of OCaml 5's Runtime System [pdf]

    janmidtgaard.dk/papers/Midtgaa

    #HackerNews #PropertyBasedTesting #OCaml5 #RuntimeSystem #SoftwareTesting #FunctionalProgramming

    #hackernews #propertybasedtesting #ocaml5 #runtimesystem #softwaretesting #functionalprogramming
  3. Hacker News @[email protected] ·

    Property-Based Testing of OCaml 5's Runtime System [pdf]

    janmidtgaard.dk/papers/Midtgaa

    #HackerNews #PropertyBasedTesting #OCaml5 #RuntimeSystem #SoftwareTesting #FunctionalProgramming

    #hackernews #propertybasedtesting #ocaml5 #runtimesystem #softwaretesting #functionalprogramming
  4. Hacker News @[email protected] ·

    Property-Based Testing of OCaml 5's Runtime System [pdf]

    janmidtgaard.dk/papers/Midtgaa

    #HackerNews #PropertyBasedTesting #OCaml5 #RuntimeSystem #SoftwareTesting #FunctionalProgramming

    #functionalprogramming #softwaretesting #runtimesystem #ocaml5 #propertybasedtesting #hackernews
  5. Hacker News @[email protected] ·

    Property-Based Testing of OCaml 5's Runtime System [pdf]

    janmidtgaard.dk/papers/Midtgaa

    #HackerNews #PropertyBasedTesting #OCaml5 #RuntimeSystem #SoftwareTesting #FunctionalProgramming

    #hackernews #propertybasedtesting #ocaml5 #runtimesystem #softwaretesting #functionalprogramming
  6. das-g @[email protected] ·

    #TIL (besides many other interesting things in the Lazy Evaluation workshop by @kosmikus) that executables of all my #GHC-compiled #Haskell programs accept additional arguments that will affect the #runTimeSystem (#RTS), e.g. for measuring memory consumption and run time. downloads.haskell.org/ghc/late

    #ZuriHac #ZuriHac2023

    #til #ghc #haskell #runtimesystem #rts #zurihac
  7. das-g @[email protected] ·

    #TIL (besides many other interesting things in the Lazy Evaluation workshop by @kosmikus) that executables of all my #GHC-compiled #Haskell programs accept additional arguments that will affect the #runTimeSystem (#RTS), e.g. for measuring memory consumption and run time. downloads.haskell.org/ghc/late

    #ZuriHac #ZuriHac2023

    #til #ghc #haskell #runtimesystem #rts #zurihac
  8. das-g @[email protected] ·

    #TIL (besides many other interesting things in the Lazy Evaluation workshop by @kosmikus) that executables of all my #GHC-compiled #Haskell programs accept additional arguments that will affect the #runTimeSystem (#RTS), e.g. for measuring memory consumption and run time. downloads.haskell.org/ghc/late

    #ZuriHac #ZuriHac2023

    #til #ghc #haskell #runtimesystem #rts #zurihac
  9. das-g @[email protected] ·

    #TIL (besides many other interesting things in the Lazy Evaluation workshop by @kosmikus) that executables of all my #GHC-compiled #Haskell programs accept additional arguments that will affect the #runTimeSystem (#RTS), e.g. for measuring memory consumption and run time. downloads.haskell.org/ghc/late

    #ZuriHac #ZuriHac2023

    #zurihac2023 #zurihac #rts #runtimesystem #haskell #ghc