mmisamore

mmisamore, 1 month ago to programming

The unfortunate thing about the downfall of corporate #scala was that #scala3 was actually pretty good. By the time it finally arrived companies didn't want to migrate.

alexisperrier, 2 months ago to llm

Amazing recap of #LLM evaluation frameworks and methods by the Microsoft data science team on Medium
I don't see RAGAS though
https://medium.com/data-science-at-microsoft/evaluating-llm-systems-metrics-challenges-and-best-practices-664ac25be7e5

ocramz, 4 months ago (edited 4 months ago) to random

I've been thinking about program understanding, and about how to encourage #languagemodels to do compositional/verifiable #reasoning on program text ("statically").

This is my latest work around this: https://aclanthology.org/2023.findings-emnlp.601/

If, as some recent literature suggest, transformer-based LMs are not more expressive than regexps, this line of thinking is doomed, but at least it could be a valuable heuristic and complementary to rigorous #formalverification. #machinelearning #nlproc

cigitalgem, 5 months ago to ML

Glad Google's #ML BS video idiocy has hit the mainstream press. Shame on google. The hype is bad enough without bald face fakery. #MLsec

https://www.bbc.co.uk/news/technology-67650807

erictopol, 7 months ago to random

The SARS-CoV-2 HV.1 variant is now the one showing most growth advantage in the US (New CDC data today). It is close to XBB.1.5, the target of the new booster; the graphic below shows differences for a few spike mutations.

Get boosted to stay protected against these variants.

image/jpeg

gramian, 8 months ago to scheme

#Scheme / #Schemer / #SchemeLang is still in IEEE's Top Programming Languages 2023 survey: https://spectrum.ieee.org/the-top-programming-languages-2023

abcdw, 9 months ago to golang

Found a nice talk on concurrency. It has a very brief comparison of different concurrency models, like Erlang's Actors, Hoare's CSP, Go's goroutines, Clojure's core.async, Concurrent ML (aka Fibers in Guile).

Primary focus on Concurrent ML (but examples are in Scheme with type annotations ><).

https://youtu.be/pf4VbP5q3P0

#go #golang #clojure #lisp #guile #scheme #ocaml #concurrency #erlang

erictopol, 9 months ago to random

I don't think we needed a formal study to prove this 😉
https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0288352

TheConversationUS, 10 months ago (edited 10 months ago) to philosophy

Blaise Pascal, the philosopher born just over 400 years ago, made what is know as "Pascal's Wager" about the existence of #god.

He argued for betting on the existence of God. “If you win, you win everything; if you lose, you lose nothing,” he wrote, positing that although one cannot know for certain whether or not God exists, we are better off believing in God’s existence than not.

His #philosophy is all of life is a wager.

Read more:
https://theconversation.com/400-years-ago-philosopher-blaise-pascal-was-one-of-the-first-to-grapple-with-the-role-of-faith-in-an-age-of-science-and-reason-199659

And would you take his wager?