To encourage folks to read research papers and to interact with the text, we've now got a #papers channel on Discord. Rather than simply sharing links to papers, we ask that you share links to *your thoughts* on the paper. Even if they are not polished. eatonphil.com/discord.html

Bom dia! Claude is now available in Brazil. 🇧🇷

1/3 We are pleased to announce the release of Flix 0.49.0, a major release that significantly improves Java interoperability. Object creation, method invocation, and exception handling are now seamless.

Vendo ingressos pro show do Bruno Mars SÃO PAULO DIA 12/10 2 cadeira superior - inteira R$ 700,00 (cada). Estou vendendo porque tive imprevisto e não poderei ir. Tags: Bruno Mars, ingresso, vendo, show, São Paulo, morumbis

IanColdwater The shame is that we'll project conciousness onto this, while ignoring the consciousness of every living thing around us

Varias contas de indianos com selo azul comentando sobre a segurança do Brasil.

First draft of a Prolog languages list. Sections on Lambda Prolog, Datalog, and other logic programming languages. Feedback, PRs, etc., most welcome! github.com/llaisdy/Prolog…

owen cyclops What did Ram Dass' kid keep saying on the road trip? "Are we here now?"

haha esqueceu de me bloquear no github

We released Chapel 2.3 today! We'll say more about it here once we've caught our collective breaths, but for now, here's its release announcement: chapel-lang.org/blog/posts/ann…

37signals is hiring a Junior programmer. We're accepting applications until Wednesday, April 23rd at 12:00 PM CST. The salary is $145,849. apply.workable.com/37signals/j/A9…

This repository is a compilation of well-written, step-by-step guides for re-creating our favorite technologies from scratch.

We have upgraded the Flix online playground with lots of new examples. Check it out!

Ideally you would just have AI handle all your intimate relationships, hobbies, learning, personal growth etc. and spend all that extra time watching short form video content.

I made a big interactive tech tree of technological history! Here are some screenshots

1/3 We are pleased to announce the release of Flix 0.60.0! This major release comes with a brand new inliner, improved JVM bytecode generation, and improved auto-complete.

📣 We're excited to share the new lean-lang.org! Relaunching our website was a key deliverable in our Year 2 roadmap to provide "improved navigation and access to valuable content, resources, and tools." We hope you like it! #LeanLang #LeanProver

1/3 We are pleased to announce the release of Flix 0.67.0! This release adds support for default effect handlers, a new Formattable trait used throughout the standard library, a reworked unsafe block, and more!