fedistats
  • Trends
  • Search
  • Topics
  • Nodes
< back

#complexity

3 11 Toot LinkedIn
A chart of hourly posts over the last week (for big screens). A chart of hourly posts over the last week (for small screens).
English(3)
ucr.edu (1) github.com (1) neocities.org (1)

1

From github.com

GitHub - verus-lang/verus: Verified Rust for low-level systems code

9 9

Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.

#verus #github #ngated #rustlang #complexity #programming #techinnovation #codeverification #hackernews #rust

15h ago


1

From ucr.edu

surprises

9 9

#edu #logic #mensa #ngated #johnbaez #complexity #ycombinator #godelianalphabet #hackernews

6h ago


1

From neocities.org

Detecting if an expression is constant in C

7 7

#c #macros #ngated #compilers #complexity #performance #ycombinator #cprogramming #developerhumor #compilationheadaches

7h ago

Showing first 3 out of 3