acciumred, to random Spanish
@acciumred@paquita.masto.host avatar

El Gobierno argentino suspende el programa de asistencia médica *DADSE para pacientes con cáncer y enfermedades crónicas, lo que coincide con un aumento en los precios de los medicamentos. La decisión, bajo criterio económico, no está exenta de eugenesia.

(*) DADSE es Dirección de Asistencia Directa por Situaciones Especiales.

mastomememakers, to Argentina
@mastomememakers@det.social avatar

what could possibly go wrong?!

d_run, to cscareerquestions
@d_run@mastodon.social avatar

On Learning Compilers and Creating Programming Languages

https://www.craigstuntz.com/posts/2023-10-13-learning-compilers-and-programming-languages.html

joshuagrochow, to programming
@joshuagrochow@mathstodon.xyz avatar

I just read the introduction to this new book "Human-Centered Programming Languages" by Rose Bohrer (<5 min read, and I read pretty slowly), and I love it!

https://bookish.press/hcpl/chapter1

Can't wait to get the time to read the rest.

(h/t @rose_bohrer) (I refuse to call it X)

rml, to random
@rml@functional.cafe avatar

Terence Tao live-blogging his discovery of a small but non-trivial mistake while formalizing one of his theorems in order to learn is a pretty epic moment in posting history imo

rml,
@rml@functional.cafe avatar

the most epic math (and sort of (ish)) posting I'm aware of is the total flame war between Jacob Lurie and Urs Schrieber in the comments of without Apologies, in part because its just so... internet
https://mathematicswithoutapologies.wordpress.com/2015/05/13/univalent-foundations-no-comment/

rml, to scheme
@rml@functional.cafe avatar

this is pretty cool: is a spoken-word & structured editor that implements "a dialect of " under the hood

https://www.youtube.com/watch?v=NcUJnmBqHTY

rml, to random
@rml@functional.cafe avatar

: a new, verified Pascal-like emphasizing formal verification over type safety for low-level systems programming, device drivers in particular.

"Pancake eschews complex type systems to make the language attractive to systems programmers, while at the same time aiming to ease the formal verification of code. We describe the design of the language and its verified compiler, and examine its usability, performance and current limitations through case studies of device drivers and related systems components for an -based ."

https://trustworthy.systems/publications/papers/Pohjola_STWSNUMSMNH_23.pdf

paperswelove, to programming
@paperswelove@mstdn.io avatar

PWLConf 2023: "Formal semantics for multi-language programs" by Amal Ahmed

https://youtu.be/xOInz_gt2Fg?si=-I32_74eI8BBqJdh

paperswelove, to programming
@paperswelove@mstdn.io avatar

PWLConf 2023: "Concatenative programming and stack-based languages" by @dcreager

https://youtu.be/umSuLpjFUf8?si=jh8uqKc3_zsgp9t2

paperswelove, to programming
@paperswelove@mstdn.io avatar

PWLConf 2023: "Programming Distributed Systems" by Mae Milano

https://youtu.be/Mc3tTRkjCvE?si=QlqumuS4itaokYXk

paperswelove, to programming
@paperswelove@mstdn.io avatar

PWLConf 2023: "Why Programming Languages Matter" by Andrew Black

https://youtu.be/JqYCt9rTG8g?si=G6Lya0ASShiAHXID

muppeth, to random
@muppeth@fe.disroot.org avatar

Jak dotąd chyba najlepszy wpis na wykopie: https://wykop.pl/wpis/72884569/wpis

rml, to random
@rml@functional.cafe avatar

You've heard of #APL (A Programming Language), but have you ever heard of the original APL (Address Programming Language) created by the early Soviet Ukrainian hacker Kateryna Yushchenko? It was the first language that allowed for indirect addressing and the manipulation of pointers, and was used extensively in #Soviet aviation projects. Sad that cold war prejudices continue to justify snuffing out major contributions to #PL by women. Like many great hackers, Yushchenko was passionate about sharing her knowledge and wrote a series of textbooks introducing the art of programming, as well as over 200 manuscripts and 23 monographs; her works have been translated into German, Czech, Hungarian, French and Danish, but not English.

https://stemisfem.org/en/ushchenko

abcdw, (edited ) to scheme
@abcdw@fosstodon.org avatar

The explanation on what is happenning with language r7rs standard at the moment:
http://dpk.io/r7rswtf

The work on r7rs-large is tough, but I hope it will go through this hard times.

abcdw, to Lisp
@abcdw@fosstodon.org avatar

If you are into programming languages, learning Ocaml (or other ML dialect like StandardML) makes a lot of sense, it's helpful for reading papers, watching conference talks, understanding basics of type theory, going through PL courses and all other fancy stuff.

Here is a good introductionary course on OCaml and functional programming:

https://cs3110.github.io/textbook/cover.html

https://www.youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU

rml, to fediverse
@rml@functional.cafe avatar

has anyone created an server in ?

rml,
@rml@functional.cafe avatar

@acousticmirror @daviwil one more point and I'll shutup

i think one reason that is interesting in its own right from the perpective of is that its ultimately a sort of signal-oriented object language, where sine waves and noise are the fundamental data structures and signals are used to control everything, even if you're not doing audio related work. when I hear Sussman talk about future generic programming techniques that use concepts from DSP to design dynamic, reflective systems, I can't help but think thats how computer musicians have been creating sequencers for decades (in an ad-hoc sense).

if the second millenium ended with musicians using the techniques of hackers, the third millenium won't begin until hackers start adopting the technics of music (SL-1200).

rml, to random
@rml@functional.cafe avatar

A With Only One Command and the Built on it

https://esoteric.codes/blog/a-programming-language-with-only-one-command-and


rml, to mathematics
@rml@functional.cafe avatar

Fractran: A Ridiculous Logical Language from the one and only John Conway

https://www.youtube.com/watch?v=548BH-YFT1E

rml, to random
@rml@functional.cafe avatar

Hot take: debating which is better on the internet is kind of annoying, but spreading propaganda for your favorite is good

rml,
@rml@functional.cafe avatar

@w96k oh yeah for sure, sry for misunderstanding. languages without powerful macros are a dead end, and its still up for debate whether non- macro systems are worth enduring the complexity they cause.

Macro writer's bill of rights is still the standard any new should have to meet if they want to introduce a macro system imo

rml, to science
@rml@functional.cafe avatar

Here's the thing: types are primarily of interest for typers. You shouldn't expect the scribblers to get interested in

rml, to random
@rml@functional.cafe avatar

in a toot: implemented in 

;; Jason Hemann and Dan Friedman  
;; microKanren, final implementation from paper

(define (var c) (vector c))  
(define (var? x) (vector? x))  
(define (var=? x1 x2) (= (vector-ref x1 0) (vector-ref x2 0)))

(define (walk u s)  
 (let ((pr (and (var? u) (assp (lambda (v) (var=? u v)) s))))  
 (if pr (walk (cdr pr) s) u)))

(define (ext-s x v s) `((,x . ,v) . ,s))

(define (== u v)  
 (lambda (s/c)  
 (let ((s (unify u v (car s/c))))  
 (if s (unit `(,s . ,(cdr s/c))) mzero))))

(define (unit s/c) (cons s/c mzero))  
(define mzero '())

(define (unify u v s)  
 (let ((u (walk u s)) (v (walk v s)))  
 (cond  
 ((and (var? u) (var? v) (var=? u v)) s)  
 ((var? u) (ext-s u v s))  
 ((var? v) (ext-s v u s))  
 ((and (pair? u) (pair? v))  
 (let ((s (unify (car u) (car v) s)))  
 (and s (unify (cdr u) (cdr v) s))))  
 (else (and (eqv? u v) s)))))

(define (call/fresh f)  
 (lambda (s/c)  
 (let ((c (cdr s/c)))  
 ((f (var c)) `(,(car s/c) . ,(+ c 1))))))

(define (disj g1 g2) (lambda (s/c) (mplus (g1 s/c) (g2 s/c))))  
(define (conj g1 g2) (lambda (s/c) (bind (g1 s/c) g2)))

(define (mplus $1 $2)  
 (cond  
 ((null? $1) $2)  
 ((procedure? $1) (lambda () (mplus $2 ($1))))  
 (else (cons (car $1) (mplus (cdr $1) $2)))))

(define (bind $ g)  
 (cond  
 ((null? $) mzero)  
 ((procedure? $) (lambda () (bind ($) g)))  
 (else (mplus (g (car $)) (bind (cdr $) g)))))
jbzfn, to programming
@jbzfn@mastodon.social avatar

「 As the name suggests, with purely functional programming, the developer can write only pure functions, which, by definition, cannot have side effects. With this one restriction, you increase stability, open the door to compiler optimizations, and end up with code that’s far easier to reason about 」
— IEEE Spectrum


https://spectrum.ieee.org/functional-programming

rybson, to vegan
@rybson@todon.eu avatar

I hope I can meet some nice likeminded people here! I like I am also a freshly converted noob.
Mam nadzieję że uda mi się tu spotkać fajnych ludzi!

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • kavyap
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • tacticalgear
  • cubers
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • osvaldo12
  • ngwrru68w68
  • GTA5RPClips
  • provamag3
  • InstantRegret
  • everett
  • Durango
  • cisconetworking
  • khanakhh
  • ethstaker
  • tester
  • anitta
  • Leos
  • normalnudes
  • modclub
  • megavids
  • lostlight
  • All magazines
    •