Topics:
- Can validity invariants be violated if we fix them... (7 messages, latest: Dec 11 2019 at 17:57)
- Can validity invariants be violated if we fix them? (1 message, latest: Dec 08 2019 at 02:48)
- homogeneous aggregates (46 messages, latest: Dec 05 2019 at 21:46)
- Safety of
offset when working with MMIO (20 messages, latest: Nov 25 2019 at 13:10)
- C struct alignment (65 messages, latest: Nov 25 2019 at 12:43)
- Stacked Borrows: the paper (1 message, latest: Nov 18 2019 at 19:47)
- Can't tell if it's a miri false positive (63 messages, latest: Nov 16 2019 at 09:58)
- Pin destructor (54 messages, latest: Nov 16 2019 at 09:53)
- Avoid UB on Vec on shared memory without synchronization (38 messages, latest: Nov 13 2019 at 07:57)
- improper C types and indirection (2 messages, latest: Nov 12 2019 at 18:02)
- Extern static references (35 messages, latest: Nov 10 2019 at 17:47)
- Fn traits -> fn pointer (21 messages, latest: Nov 10 2019 at 15:06)
- Safe access to volatile memory (367 messages, latest: Nov 06 2019 at 02:57)
- borrowing individual fields mutably from raw pointer rece... (3 messages, latest: Nov 05 2019 at 09:15)
- borrowing fields mutably from raw pointer receiver (1 message, latest: Nov 04 2019 at 22:40)
- Suggesting UB workarounds to crate authors (55 messages, latest: Oct 27 2019 at 15:42)
- CppCon 2019: JF Bastien “Deprecating volatile” (23 messages, latest: Oct 22 2019 at 16:53)
- fpenv (16 messages, latest: Oct 19 2019 at 08:59)
- pthread_cancel looks unsound (74 messages, latest: Oct 17 2019 at 08:48)
- Padding bytes UB (31 messages, latest: Oct 16 2019 at 19:35)
- UnsafeCell (83 messages, latest: Oct 16 2019 at 18:14)
- (no topic) (3 messages, latest: Oct 15 2019 at 17:39)
- unknown code Rust AM boundary (80 messages, latest: Oct 13 2019 at 10:45)
- Out-of-thin-air (46 messages, latest: Oct 12 2019 at 22:12)
- racy-read / volatile / untrusted memory / freeze (11 messages, latest: Oct 12 2019 at 14:00)
- Abomonation UB (77 messages, latest: Oct 10 2019 at 18:53)
- ucg#203 (20 messages, latest: Oct 10 2019 at 05:28)
- Offsetting pointer to one struct field to another UB? (29 messages, latest: Oct 09 2019 at 13:28)
- Converting pointer to one struct field to another UB (1 message, latest: Oct 04 2019 at 23:29)
- Meeting 2019-09-26 (2 messages, latest: Sep 26 2019 at 11:17)
- Safety of inspecting bytes of a repr(rust) type. (67 messages, latest: Sep 25 2019 at 20:03)
- meeting-2019-09-19 (2 messages, latest: Sep 19 2019 at 15:47)
- rc-terminology (28 messages, latest: Sep 16 2019 at 20:31)
- transmute vs from_raw_parts (15 messages, latest: Sep 15 2019 at 13:04)
- Meeting 2019-09-05 (1 message, latest: Sep 05 2019 at 15:15)
- union (17 messages, latest: Aug 31 2019 at 07:01)
- noalias semantics (13 messages, latest: Aug 30 2019 at 20:11)
- Meeting 2019-08-29 (31 messages, latest: Aug 29 2019 at 23:54)
- https://github.com/rust-lang/unsafe-code-guidelines/pull/159 (9 messages, latest: Aug 27 2019 at 14:43)
- https://github.com/rust-lang/rust/issues/63787 (199 messages, latest: Aug 26 2019 at 19:08)
- UB in the nomicon (92 messages, latest: Aug 26 2019 at 12:05)
- validity requirements for wide trait object raw pointers (1 message, latest: Aug 24 2019 at 16:15)
- Can LLVM truncate a constant? (12 messages, latest: Aug 24 2019 at 11:13)
- Uninitialized memory gone wrong in C/C++ (61 messages, latest: Aug 20 2019 at 09:06)
- Meeting 2019-08-15 (10 messages, latest: Aug 16 2019 at 06:23)
- mutating non-mutable statics: UB? (155 messages, latest: Aug 15 2019 at 08:31)
- padding bytes def #183 (165 messages, latest: Aug 14 2019 at 20:00)
- Freeze (31 messages, latest: Aug 14 2019 at 15:01)
- breaking async/await (8 messages, latest: Aug 14 2019 at 13:11)
- GitHub labels (8 messages, latest: Aug 14 2019 at 10:09)
- Using two statics to "mark a region" (65 messages, latest: Aug 12 2019 at 20:42)
- Meeting 2019-08-08 (6 messages, latest: Aug 09 2019 at 08:46)
- Better support of Box<MaybeUnit> pattern. (13 messages, latest: Aug 08 2019 at 18:57)
- mem::zeroed guarantees that all bytes are zero (60 messages, latest: Aug 08 2019 at 08:29)
- provenance through integers? (14 messages, latest: Aug 08 2019 at 08:22)
- Conversion between references to repr(C) structs (13 messages, latest: Aug 07 2019 at 14:03)
- assume_init vs safety invariant (11 messages, latest: Aug 06 2019 at 07:53)
- Always uninitialized (21 messages, latest: Aug 05 2019 at 16:57)
- "allocated object" (14 messages, latest: Aug 05 2019 at 16:56)
- Array pointers (37 messages, latest: Aug 04 2019 at 10:14)
- rename working group (35 messages, latest: Aug 02 2019 at 13:11)
- Meeting 2019-08-01 (135 messages, latest: Aug 02 2019 at 12:29)
- MaybeUninit and FFI (129 messages, latest: Aug 01 2019 at 21:38)
- Is ptr::read followed by mem::forget valid? (5 messages, latest: Jul 31 2019 at 10:14)
- Definition of volatile semantics (12 messages, latest: Jul 29 2019 at 14:06)
- Glossary (10 messages, latest: Jul 29 2019 at 13:14)
- volatile, atomics and mmio (220 messages, latest: Jul 28 2019 at 09:23)
- atomic intrinsic design (18 messages, latest: Jul 27 2019 at 11:49)
- Is reinerpreting a slice &[u8] to &[bool] UB? (14 messages, latest: Jul 27 2019 at 11:23)
- meeting-2019-07-25 (157 messages, latest: Jul 26 2019 at 08:13)
- Clarification: Can you have &T and *mut T point at the sa... (188 messages, latest: Jul 24 2019 at 17:09)
- Writes to raw pointers considered harmful (20 messages, latest: Jul 22 2019 at 13:38)
- NonNull covariance questions (3 messages, latest: Jul 21 2019 at 18:02)
- MaybeUninit arrays (5 messages, latest: Jul 20 2019 at 11:06)
- Miri: supporting more code vs detecting more bugs (60 messages, latest: Jul 19 2019 at 15:45)
- meeting-2019-07-18 (11 messages, latest: Jul 18 2019 at 15:24)
- How does
repr(simd) really work? (51 messages, latest: Jul 16 2019 at 11:03)
- volatile and libm (17 messages, latest: Jul 11 2019 at 19:09)
- ManuallyDrop in MaybeUninit (20 messages, latest: Jul 11 2019 at 15:22)
- Size >= Alignment for non-ZSTs (17 messages, latest: Jul 07 2019 at 06:34)
- Valid example to use read_unaligned (3 messages, latest: Jul 04 2019 at 21:43)
- Unions with padding (28 messages, latest: Jul 01 2019 at 20:46)
- Type punning and "active field" of a union (135 messages, latest: Jul 01 2019 at 18:36)
- repr(transparent) and transmute (27 messages, latest: Jul 01 2019 at 06:58)
- repr(C) unions need padding (16 messages, latest: Jun 30 2019 at 10:51)
- Misoptimization due to Rust/HW memory model mismatch (2 messages, latest: Jun 29 2019 at 10:08)
- meeting-2019-06-20 (8 messages, latest: Jun 29 2019 at 09:08)
- Is this possible to fix without API break? (20 messages, latest: Jun 28 2019 at 17:36)
- arch volatile operations (215 messages, latest: Jun 28 2019 at 16:29)
- meeting-2019-06-27 (1 message, latest: Jun 27 2019 at 09:12)
- Volatile (15 messages, latest: Jun 26 2019 at 21:21)
- Announcement: The Rust Community Discord now has a channe... (2 messages, latest: Jun 25 2019 at 16:18)
- Unsafe code reviews? (53 messages, latest: Jun 24 2019 at 22:07)
- Layout stability? (6 messages, latest: Jun 24 2019 at 12:55)
- Code Examination: slice casting (~20 significant lines) (22 messages, latest: Jun 23 2019 at 13:34)
- Assumptions about MIR semantics (17 messages, latest: Jun 23 2019 at 12:13)
- triggering UB with pinned generators (47 messages, latest: Jun 22 2019 at 13:23)
- AtomicCell and padding (138 messages, latest: Jun 20 2019 at 15:23)
- validity of unions (25 messages, latest: Jun 20 2019 at 15:00)
- Moving issues from old repo? (23 messages, latest: Jun 18 2019 at 18:01)
- Triggering SROA in LLVM? (66 messages, latest: Jun 18 2019 at 15:38)
- meeting-2019-06-13 (14 messages, latest: Jun 14 2019 at 17:13)
- Generator optimization for locals that may not become live (52 messages, latest: Jun 13 2019 at 15:49)
- Mathematical, rigorous safety proofs (8 messages, latest: Jun 10 2019 at 15:44)
- "fun" anti-as_mut_slice in Bytes crate (11 messages, latest: Jun 10 2019 at 09:39)
- meeting-2019-06-06 (7 messages, latest: Jun 07 2019 at 08:27)
- meeting-2019-05-30 (4 messages, latest: May 30 2019 at 15:16)
- Slides for talk on unsafe rust (99 messages, latest: May 30 2019 at 14:40)
- blog post about
MaybeUninit (117 messages, latest: May 28 2019 at 22:29)
- potential misuse of &mut (20 messages, latest: May 28 2019 at 17:41)
- Can we replace the stack in "stacked borrows" by Drop? (189 messages, latest: May 28 2019 at 14:12)
- Relying on drop running (20 messages, latest: May 28 2019 at 13:37)
- Common Stacked Borrows violations (4 messages, latest: May 28 2019 at 12:54)
- Should
Box really behave like &mut? (3 messages, latest: May 27 2019 at 17:24)
- book published (9 messages, latest: May 26 2019 at 22:32)
- create ptr to elem in unaligned array (18 messages, latest: May 24 2019 at 16:38)
- custom DST size/align/etc. as const fns? (3 messages, latest: May 24 2019 at 15:58)
- Can
T: 'static really never point to the stack? (37 messages, latest: May 23 2019 at 16:26)
- meeting-2019-05-23 (12 messages, latest: May 23 2019 at 15:45)
- Substitution principle (19 messages, latest: May 21 2019 at 19:20)
- safety of stable containers (50 messages, latest: May 21 2019 at 18:08)
MaybeUninit on the heap (5 messages, latest: May 21 2019 at 17:31)- piecewise initialization of uninitialized structs (16 messages, latest: May 19 2019 at 20:26)
- &raw at lang team meeting (12 messages, latest: May 16 2019 at 19:14)
- meeting-2019-05-16 (12 messages, latest: May 16 2019 at 16:04)
- State of GC <-> Rust integration? (10 messages, latest: May 14 2019 at 16:06)
- loose notes on my mental model of initialization (66 messages, latest: May 13 2019 at 18:53)
- deploy keys (37 messages, latest: May 09 2019 at 16:55)
- need for arrow operator (or similar) (91 messages, latest: May 08 2019 at 18:26)
- scheduling (8 messages, latest: May 08 2019 at 16:33)
- non-local goto and Pin / https://github.com/rust-lang/rfc... (123 messages, latest: May 08 2019 at 15:28)
- GEP inbounds (10 messages, latest: May 08 2019 at 12:30)
- pointer comparisons (5 messages, latest: May 07 2019 at 20:32)
- meeting-2019-05-02 (3 messages, latest: May 02 2019 at 15:18)
- LinkedList vs Stacked Borrows (16 messages, latest: May 01 2019 at 09:43)
- AddressOf and stacked borrows (27 messages, latest: Apr 30 2019 at 19:14)
- are optimizations allowed to change program results? (37 messages, latest: Apr 30 2019 at 07:13)
- meeting-2019-04-25 (17 messages, latest: Apr 27 2019 at 13:13)
- fn pointer Debug vs Stacked Borrows (8 messages, latest: Apr 26 2019 at 14:16)
- VecDeque vs Stacked Borrows (6 messages, latest: Apr 19 2019 at 20:36)
- Is
Box a unique pointer? (1 message, latest: Apr 19 2019 at 20:29)
- rand vs Stacked Borrows (1 message, latest: Apr 19 2019 at 11:47)
- meeting-2019-04-18 (23 messages, latest: Apr 18 2019 at 15:58)
- Uniqueness of mutable references (36 messages, latest: Apr 17 2019 at 11:32)
- Cast-to-raw without reborrow (8 messages, latest: Apr 17 2019 at 06:49)
- question comex (32 messages, latest: Apr 12 2019 at 12:20)
- meeting-2019-04-11 (123 messages, latest: Apr 11 2019 at 16:33)
- miri doesn't detect mutating a hashset value (13 messages, latest: Apr 07 2019 at 20:26)
- meeting-2019-04-04 (33 messages, latest: Apr 04 2019 at 15:42)
- reading uninit memory is ub right? (35 messages, latest: Apr 02 2019 at 18:58)
- transmute::<f32, u32> (11 messages, latest: Apr 01 2019 at 17:16)
- mmap concerns (51 messages, latest: Mar 29 2019 at 09:36)
- UB and non-determinism and I/O (1 message, latest: Mar 29 2019 at 09:14)
- meeting-2019-03-28 (8 messages, latest: Mar 28 2019 at 17:02)
- rfcs/#381 unsafe fields (2 messages, latest: Mar 28 2019 at 00:10)
- questions from Stack Overflow (22 messages, latest: Mar 26 2019 at 18:02)
- Comparison of potentially-unrelated pointers undefined? (17 messages, latest: Mar 26 2019 at 09:21)
- - (2 messages, latest: Mar 25 2019 at 18:04)
- meeting-2019-03-21 (4 messages, latest: Mar 21 2019 at 15:48)
- ucg#102 (8 messages, latest: Mar 16 2019 at 10:37)
- transitive validity of references (74 messages, latest: Mar 16 2019 at 10:24)
- fp layout (9 messages, latest: Mar 15 2019 at 12:48)
- Meeting-2019-03-14 (119 messages, latest: Mar 14 2019 at 16:20)
- first sync meeting with the lang team (32 messages, latest: Mar 14 2019 at 15:50)
- face-to-face (3 messages, latest: Mar 14 2019 at 15:20)
- Old memory-model repo issues? (7 messages, latest: Mar 14 2019 at 15:14)
- meeting-2019-03-07 (126 messages, latest: Mar 12 2019 at 15:46)
- layout arrays (83 messages, latest: Mar 07 2019 at 16:20)
- lang team sync draft (3 messages, latest: Mar 05 2019 at 23:50)
- zero-sized dangling accesses/inbounds-offsets (29 messages, latest: Feb 28 2019 at 17:22)
- Meeting-2019-02-28 (23 messages, latest: Feb 28 2019 at 16:39)
- what's an access? (10 messages, latest: Feb 25 2019 at 08:32)
- there is no such thing as a benign data race (1 message, latest: Feb 23 2019 at 13:00)
- change github repo defaults to "merge" (11 messages, latest: Feb 22 2019 at 18:34)
- Change repo defualt merge policy (2 messages, latest: Feb 22 2019 at 09:41)
- meeting-2019-02-21 (82 messages, latest: Feb 21 2019 at 16:48)
- unaligned memory access (157 messages, latest: Feb 21 2019 at 15:42)
- unused timestamps (13 messages, latest: Feb 21 2019 at 14:14)
- stacked borrows: retag on drop shims (7 messages, latest: Feb 21 2019 at 12:06)
- meeting-2019-02-14 (35 messages, latest: Feb 18 2019 at 13:32)
- Letting Read::read initialize memory (93 messages, latest: Feb 14 2019 at 15:53)
- Initializing an aggregate field-by-field (4 messages, latest: Feb 14 2019 at 11:17)
- welcome (1 message, latest: Feb 13 2019 at 10:34)
- overlapping mutable slices (31 messages, latest: Feb 11 2019 at 21:24)
- packed_simd wrapping_div_unchecked validity issues (3 messages, latest: Feb 08 2019 at 11:24)
- meeting-2019-02-07 (1 message, latest: Feb 07 2019 at 16:00)
- #84 (17 messages, latest: Feb 06 2019 at 14:32)
- meeting-2019-01-31 (60 messages, latest: Jan 31 2019 at 17:06)
- bincode (11 messages, latest: Jan 27 2019 at 18:03)
- meeting-2019-01-24 (43 messages, latest: Jan 24 2019 at 16:36)
- VaList (24 messages, latest: Jan 23 2019 at 09:18)
- validity of booleans (67 messages, latest: Jan 22 2019 at 13:39)
- meeting-2019-01-16 (1 message, latest: Jan 16 2019 at 17:59)
- meeting-2019-01-10 (262 messages, latest: Jan 13 2019 at 12:15)
- the new active topic (2 messages, latest: Jan 11 2019 at 14:56)
- list of things requiring RFCs (2 messages, latest: Jan 11 2019 at 09:06)
- miri error: stopping looking for borrow (71 messages, latest: Jan 05 2019 at 15:20)
- active topic area: validity invariants (11 messages, latest: Jan 04 2019 at 11:06)
- should valid fn be callable ? (12 messages, latest: Jan 04 2019 at 10:45)
- meeting-2019-01-03 (214 messages, latest: Jan 03 2019 at 18:19)
- things from Stack Overflow (71 messages, latest: Jan 02 2019 at 15:03)
- read/write_unaligned with ZST (3 messages, latest: Dec 28 2018 at 11:37)
- enum repr (60 messages, latest: Dec 26 2018 at 16:50)
- repr(C) structs and unions (9 messages, latest: Dec 22 2018 at 22:03)
- meeting-2018-12-20 (180 messages, latest: Dec 20 2018 at 17:40)
- bool repr (1 message, latest: Dec 13 2018 at 20:51)
- repr pointers and references (17 messages, latest: Dec 13 2018 at 18:05)
- meeting-2018-12-13 (125 messages, latest: Dec 13 2018 at 16:57)
- representation of references (157 messages, latest: Dec 11 2018 at 15:41)
- ref to uninitialized memory (36 messages, latest: Dec 11 2018 at 10:12)
- meeting this week (1 message, latest: Dec 11 2018 at 09:56)
- bitwise-movable trait to
Copy (3 messages, latest: Dec 10 2018 at 21:53)
- #[repr(C)] unions safer than #[repr(Rust)] unions? (16 messages, latest: Dec 10 2018 at 18:00)
- bool == _Bool (158 messages, latest: Dec 07 2018 at 17:06)
- Fixing VecDeque for stricter Stacked Borrows (22 messages, latest: Dec 07 2018 at 10:30)
- no meeting today right ? (3 messages, latest: Dec 07 2018 at 10:21)
- ffi safety (359 messages, latest: Dec 06 2018 at 08:32)
- stacked borrows: llvm-noalias violation in safe code (481 messages, latest: Dec 01 2018 at 08:46)
- memcpy out-of-bounds (17 messages, latest: Nov 30 2018 at 20:13)
- meeting-2018-11-29 (230 messages, latest: Nov 29 2018 at 17:06)
- validity of str / &str (23 messages, latest: Nov 29 2018 at 16:30)
- "fixed" vector (41 messages, latest: Nov 29 2018 at 14:34)
- packed UB error (5 messages, latest: Nov 29 2018 at 09:26)
- coercions considered harmful: async fn and Stacked Borrows (5 messages, latest: Nov 28 2018 at 23:12)
- wr-place-api hack (4 messages, latest: Nov 28 2018 at 20:04)
- integer float bool (6 messages, latest: Nov 27 2018 at 17:21)
- two phase borrows (7 messages, latest: Nov 26 2018 at 12:46)
- BTreeMap (1 message, latest: Nov 26 2018 at 12:17)
- stacked borrows: barriers for non-frrozen shared refs? (101 messages, latest: Nov 22 2018 at 19:37)
- stacked borrows: "gap" between mutable and shared refs (32 messages, latest: Nov 22 2018 at 15:27)
- null pointer address alignment (5 messages, latest: Nov 22 2018 at 14:25)
- stacked borrows: Box with a unique tag (4 messages, latest: Nov 21 2018 at 14:20)
- MaybeUninit is not repr(transparent) (38 messages, latest: Nov 21 2018 at 13:15)
- layout vector (7 messages, latest: Nov 20 2018 at 21:15)
- playground miri redeploy (54 messages, latest: Nov 19 2018 at 18:57)
- stacked borrows: Transmute &UnsafeCell to T (2 messages, latest: Nov 17 2018 at 11:46)
- Bit-wise reasoning for atomic accesses (3 messages, latest: Nov 17 2018 at 10:43)
- stacked borrows: change tag on deref or cast? (2 messages, latest: Nov 17 2018 at 08:07)
- safe low-level string mutations (42 messages, latest: Nov 16 2018 at 14:28)
- repr of slices/trait objs (100 messages, latest: Nov 16 2018 at 13:31)
- meeting 2018-11-15 (175 messages, latest: Nov 15 2018 at 16:55)
- linting and dynamic checking (1 message, latest: Nov 15 2018 at 16:45)
- this week's meeting (162 messages, latest: Nov 15 2018 at 16:11)
- evil examples (2 messages, latest: Nov 15 2018 at 16:06)
- meeting 2018-11-14 (12 messages, latest: Nov 15 2018 at 07:38)
- linked-list traversal (7 messages, latest: Nov 14 2018 at 15:18)
- split impl-defined? (5 messages, latest: Nov 13 2018 at 21:59)
- stacked borrows: Overlapping &RefCell and &mut T (14 messages, latest: Nov 13 2018 at 16:06)
- Finding terminology (153 messages, latest: Nov 13 2018 at 14:23)
- Zulip group (4 messages, latest: Nov 13 2018 at 13:59)
- cargo install miri (4 messages, latest: Nov 13 2018 at 12:00)
- stacked borrows (2 messages, latest: Nov 12 2018 at 16:04)
- meeting 2018-11-08 (24 messages, latest: Nov 08 2018 at 18:31)
- Rust 2018 Docs Push (12 messages, latest: Nov 08 2018 at 18:21)
- stacked borrows violation in VecDeque (19 messages, latest: Nov 07 2018 at 19:07)
- stacked borrows violation in slice iterators (54 messages, latest: Nov 07 2018 at 18:29)
- function pointers (7 messages, latest: Nov 05 2018 at 19:31)
- all hands (8 messages, latest: Nov 01 2018 at 16:15)
- miri question from reddit (26 messages, latest: Oct 29 2018 at 18:30)
- IRLO post on meetings (3 messages, latest: Oct 29 2018 at 16:35)
- twitter (1 message, latest: Oct 25 2018 at 21:42)
- meeting time and DST (58 messages, latest: Oct 25 2018 at 21:11)
- meeting 2018-10-25 (135 messages, latest: Oct 25 2018 at 15:50)
- union and repr(C) (2 messages, latest: Oct 25 2018 at 15:26)
- how much determinism (42 messages, latest: Oct 24 2018 at 22:44)
- stacked-borrows (83 messages, latest: Oct 22 2018 at 17:14)
- c++ deprecating volatile paper (1 message, latest: Oct 19 2018 at 18:19)
throws C++/_Either C compatibility (42 messages, latest: Oct 18 2018 at 17:23)- weird digression on c/d (28 messages, latest: Oct 17 2018 at 13:56)
- meeting 2018-10-11 (148 messages, latest: Oct 11 2018 at 20:47)
- meeting 2018-09-27 (5 messages, latest: Sep 27 2018 at 16:01)
- data-invariants (323 messages, latest: Sep 19 2018 at 13:14)
- best game: is this UB? (65 messages, latest: Sep 17 2018 at 17:55)
- stricter-unions (4 messages, latest: Sep 17 2018 at 17:42)
- meeting 2018-08-30 (236 messages, latest: Sep 14 2018 at 17:31)
- meeting 2018-09-13 (170 messages, latest: Sep 13 2018 at 19:49)
- general (30 messages, latest: Sep 06 2018 at 00:06)
- Accessing uninitialized field lvalues (3 messages, latest: Aug 31 2018 at 06:33)
- size-of-fn-pointer-versus-data-pointer (7 messages, latest: Aug 24 2018 at 18:12)
- data-type-layout (72 messages, latest: Aug 24 2018 at 16:18)
- how-to-cope (78 messages, latest: Aug 24 2018 at 15:47)
- ongoing-projects (8 messages, latest: Aug 24 2018 at 13:21)
- hello (81 messages, latest: Aug 23 2018 at 17:30)
- exhaustiveness checking (57 messages, latest: Aug 13 2018 at 22:43)
- github-team (5 messages, latest: Aug 08 2018 at 18:20)
Last update: Dec 12 2019 at 00:55UTC