Trending tags: ai  trump  github.com  rust  health  china  show  go  theguardian.com  psychology  apple  theverge.com  game  arstechnica.com  psypost.org  brain  microsoft  nature.com  compiler  web 

A Flexible Type System for Fearless Concurrency

2 years ago cs.cornell.edu concurrency

Related Stories

3110 Coq Tactics Cheatsheet

10 days ago cs.cornell.edu formalmethods

Restate 1.3: Concurrency without losing sleep

25 hours ago restate.dev concurrency

Project Loom: Structured Concurrency in Java

6 days ago rockthejvm.com concurrency java

Roguetype: The first ever roguelike written in the OCaml type system

9 days ago github.com ml ocaml plt

Is there a formal specification of the Go type system/theory

8 hours ago reddit.com go

Type system limitations with double-diamond trait dependencies with bounded associated types

4 days ago reddit.com rust

genalg - A flexible, extensible genetic algorithm library

5 days ago docs.rs algorithm genetics rust

Design System Options for Rails

39 hours ago businessclasskit.com rails

What type database replication is better for django?

4 days ago reddit.com database django python

Shy mice surprise scientists by solving problems faster than fearless ones

3 days ago nsojournals.onlinelibrary.wiley.com

Type Safe ORM

2 days ago reddit.com go

Using the Squeak Help System for Your Projects

2 days ago news.squeak.org

montasaurus/result: A simple Rust-like Result type for Python 3

5 days ago github.com python

CodeScientist: Automated scientific discovery system for code-based experiments

4 days ago github.com

Type-Safe Trees In Typescript

7 days ago yeet.cx typescript

Thread safe vector-like type?

43 hours ago reddit.com rust

CSS System colors

10 days ago anto.pt css web

Show HN: Nix Ninja – open-source Ninja-compatible build system for Nix

8 days ago github.com nix release rust show

Type Checking in a static typed compiler

10 days ago reddit.com compiler

Recursive Generic Type Hints (python 3.12)

2 days ago reddit.com python

Starfish-inspired wearable uses 5 flexible arms to record ECG/SCG/GCG heart signals during motion

7 days ago science.org biology

diesel: How to implement FromSql<Nullable<Bytea>, Pg> and ToSql<Nullable<Bytea>, Pg> for custom Sha256 type

2 hours ago reddit.com rust

Trouble with Utoipa and rust model serialization of recursive type.

9 days ago reddit.com rust

GoCRUD: Generate Type-Safe CRUD APIs in Go with Zero Boilerplate

2 hours ago reddit.com api go

Is it feasible to build a high-performance user/session management system using file system instead of a database?

2 days ago reddit.com database rust

The Universal Transverse Mercator (UTM) geographic coordinate system

9 days ago mibsar.com

Library to stream operating system events to AI

8 days ago github.com ai rust

Try: test anti-framework via CL Condition System

4 days ago github.com lisp

Building the System/360 Mainframe Nearly Destroyed IBM

3 days ago spectrum.ieee.org ibm

System Design Basics - SQL Transactions and ACID Properties

37 hours ago javarevisited.substack.com sql