~remexre

Minneapolis

https://remexre.com

Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering

~remexre/sylvan-builds

Last active 7 days ago

~remexre/public-inbox

Last active 2 years ago

~remexre/clnix

Last active 2 years ago

~remexre/stahl

Last active 3 years ago

~remexre/furing

Last active 4 years ago
View more

Recent activity

[PATCH 3/3] Email when the CI fails. 3 months ago

From Nathan Ringo to ~mzhang/public-inbox

Signed-off-by: Nathan Ringo <nathan@remexre.com>
---
 .builds/archlinux.yml | 5 ++++-
 .builds/nixos.yml     | 8 +++++++-
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/.builds/archlinux.yml b/.builds/archlinux.yml
index b138e88..0928c6d 100644
--- a/.builds/archlinux.yml
+++ b/.builds/archlinux.yml
@@ -9,4 +9,7 @@ tasks:
  - build: |
      cd garbage
      cargo test --all
[message trimmed]

[PATCH 2/3] Adds a NixOS CI config, to catch future flake breakage. 3 months ago

From Nathan Ringo to ~mzhang/public-inbox

Signed-off-by: Nathan Ringo <nathan@remexre.com>
---
 .build.yml => .builds/archlinux.yml |  0
 .builds/nixos.yml                   | 10 ++++++++++
 2 files changed, 10 insertions(+)
 rename .build.yml => .builds/archlinux.yml (100%)
 create mode 100644 .builds/nixos.yml

diff --git a/.build.yml b/.builds/archlinux.yml
similarity index 100%
rename from .build.yml
rename to .builds/archlinux.yml
diff --git a/.builds/nixos.yml b/.builds/nixos.yml
new file mode 100644
[message trimmed]

[PATCH 1/3] Updates flake dependencies. 3 months ago

From Nathan Ringo to ~mzhang/public-inbox

Signed-off-by: Nathan Ringo <nathan@remexre.com>
---
 flake.lock | 42 ++++++++++++++++++++++++++++++------------
 1 file changed, 30 insertions(+), 12 deletions(-)

diff --git a/flake.lock b/flake.lock
index fc1a7ea..a83fcee 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
        "rust-analyzer-src": "rust-analyzer-src"
      },
      "locked": {
        "lastModified": 1678688675,
[message trimmed]

[PATCH 3/3] Saves artifacts with each commit. 3 years ago

From Nathan Ringo to ~iptq/garbage

---
 .build.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.build.yml b/.build.yml
index 01c37f8..4b1a697 100644
--- a/.build.yml
+++ b/.build.yml
@@ -8,5 +8,6 @@ tasks:
      rustup -q default nightly
  - build: |
      cd garbage
      cargo build

[message trimmed]

[PATCH 2/3] Adds context to lots of errors. 3 years ago

From Nathan Ringo to ~iptq/garbage

---
 src/dir.rs         | 37 ++++++++++++++++++++++------------
 src/errors.rs      | 37 ++++++++++++++++++++++++++++++++--
 src/ops/empty.rs   | 30 +++++++++++++++++++++++-----
 src/ops/list.rs    |  5 +++--
 src/ops/put.rs     | 50 ++++++++++++++++++++++++++++++++++++----------
 src/ops/restore.rs |  5 +++--
 6 files changed, 129 insertions(+), 35 deletions(-)

diff --git a/src/dir.rs b/src/dir.rs
index b4efc1f..d06cb07 100644
--- a/src/dir.rs
+++ b/src/dir.rs
@@ -5,7 +5,7 @@ use std::path::{Path, PathBuf};
[message trimmed]

[PATCH 1/3] Adds a new error type with a context for the causes of errors. 3 years ago

From Nathan Ringo to ~iptq/garbage

---
 src/errors.rs      | 37 +++++++++++++++++++++++++++++++++++--
 src/info.rs        | 17 ++++++++++-------
 src/ops/put.rs     | 10 ++++++----
 src/ops/restore.rs | 12 ++++++++----
 4 files changed, 59 insertions(+), 17 deletions(-)

diff --git a/src/errors.rs b/src/errors.rs
index 6346f97..9db81ae 100644
--- a/src/errors.rs
+++ b/src/errors.rs
@@ -1,12 +1,45 @@
use std::path::PathBuf;
use std::{
[message trimmed]

Bug: wiki first paragraph is None if wiki is entirely headers 3 years ago

From Nathan Ringo to ~sircmpwn/sr.ht-discuss

If a wiki page is e.g.

    # Foo
    ## Bar

then it renders like

    None
    {{table of contents}}
    # Foo
    ## Bar

[PATCH v2] Demonstrate that I can use git send-email 4 years ago

From Nathan Ringo to ~sircmpwn/email-test-drive

---
 nathan-ringo | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 nathan-ringo

diff --git a/nathan-ringo b/nathan-ringo
new file mode 100644
index 0000000..66cb3d4
--- /dev/null
+++ b/nathan-ringo
@@ -0,0 +1 @@
I have successfully used git send-email!
-- 
2.26.2
[message trimmed]

[PATCH] Demonstrate that I can use git send-email 4 years ago

From Nathan Ringo to ~sircmpwn/email-test-drive

---
 nathan-ringo | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 nathan-ringo

diff --git a/nathan-ringo b/nathan-ringo
new file mode 100644
index 0000000..6d0ecfd
--- /dev/null
+++ b/nathan-ringo
@@ -0,0 +1 @@
I'm about to try git send-email
-- 
2.26.2
[message trimmed]