Prompt chaining reimagined with type inference https://lobste.rs/s/dsczpg #ai #plt
https://www.haskellforall.com/2025/05/prompt-chaining-reimagined-with-type_2.html

The Rise & Fall of Erlang at Ericsson AB | Imad Alihodzic

｢ But how many remember when Ericsson created a programming language so disruptive, and so efficient, that they banned it? This is the fascinating and little known story behind Erlang ｣

https://iknek.github.io/blog/the-erlang-story/

#erlang #plt #functionalprogramming

Rye principles

https://fed.brid.gy/r/https://ryelang.org/#rye-principles

Rye principles https://lobste.rs/s/utekbr #plt
https://ryelang.org/#rye-principles

Designing type inference for high quality type errors

https://fed.brid.gy/r/https://blog.polybdenum.com/2025/02/14/designing-type-inference-for-high-quality-type-errors.html

Designing type inference for high quality type errors https://lobste.rs/s/6lrfje #compilers #plt
https://blog.polybdenum.com/2025/02/14/designing-type-inference-for-high-quality-type-errors.html

Plenti Group ( #PLT ) has released " 4Q25 update - Record originations and Cash NPAT " on Wed 30 Apr at 08:47 AEST #trading #Australia #live #ASX #Business
https://grafa.com/asset/plenti-group-ltd-3694-plt.asx?utm_source=asxmktsensitive&utm_medium=mastodon&utm_campaign=plt.asx

Syntactic musings on match expressions

https://fed.brid.gy/r/https://blog.yoshuawuyts.com/syntactic-musings-on-match-expressions/

Syntactic musings on match expressions https://lobste.rs/s/d3neqf #plt #rust
https://blog.yoshuawuyts.com/syntactic-musings-on-match-expressions/

A Dependently Typed Assembly Language

https://www.cs.cmu.edu/~rwh/papers/dtal/OGI-CSE-99-008.pdf

Discussions: https://discu.eu/q/https://www.cs.cmu.edu/~rwh/papers/dtal/OGI-CSE-99-008.pdf

#assembly #compsci #plt #programming

A Dependently Typed Assembly Language

https://fed.brid.gy/r/https://www.cs.cmu.edu/~rwh/papers/dtal/OGI-CSE-99-008.pdf

A Dependently Typed Assembly Language https://lobste.rs/s/erys14 #pdf #assembly #plt #programming
https://www.cs.cmu.edu/~rwh/papers/dtal/OGI-CSE-99-008.pdf

Past, Present, and Future of Sorbet Type Syntax

https://fed.brid.gy/r/https://blog.jez.io/history-of-sorbet-syntax/

Past, Present, and Future of Sorbet Type Syntax https://lobste.rs/s/zhkfsl #plt #ruby
https://blog.jez.io/history-of-sorbet-syntax/

New Kind of Paper https://lobste.rs/s/0hhmip #plt
https://mlajtos.mu/posts/new-kind-of-paper

What is cosh(List(Bool))? Or beyond algebra: analysis of data types

https://nikitadanilov.github.io/aodt.html

Discussions: https://discu.eu/q/https://nikitadanilov.github.io/aodt.html

#compsci #plt

Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact https://lobste.rs/s/keveyr #c #plt
https://web.ist.utl.pt/nuno.lopes/pubs.php?id=ub-pldi25

What is cosh(List(Bool))? Or beyond algebra: analysis of data types

https://fed.brid.gy/r/https://nikitadanilov.github.io/aodt.html

What is cosh(List(Bool))? Or beyond algebra: analysis of data types https://lobste.rs/s/ycnsi3 #plt
https://nikitadanilov.github.io/aodt.html

Things Zig comptime Won't Do

https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html

Discussions: https://discu.eu/q/https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html

#compsci #plt #programming #ziglang