omentic

scout

Pre-match

• Your name
• Match #
• Team #
• Starting position?
• Start on Level 2

Autonomous

omentic

[teal@manjaro 2019-DeepSpace-OLD]$ ./gradlew build --stacktrace
> Task :compileJava UP-TO-DATE
> Task :processResources NO-SOURCE
> Task :classes UP-TO-DATE
> Task :downloadDepsPreemptively
> Task :war UP-TO-DATE
> Task :assemble UP-TO-DATE
> Task :extractTestJNI
> Task :compileTestJava UP-TO-DATE
> Task :processTestResources NO-SOURCE

omentic

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE xml>
<profiles version="2020">
<profile kind="CodeFormatterProfile" name="Spartronics" version="2020">
<setting id="org.eclipse.jdt.core.compiler.codegen.targetPlatform" value="11"/>
<setting id="org.eclipse.jdt.core.compiler.compliance" value="11"/>
<setting id="org.eclipse.jdt.core.compiler.source" value="11"/>
<setting id="org.eclipse.jdt.core.formatter.align_assignment_statements_on_columns" value="false"/>
<setting id="org.eclipse.jdt.core.formatter.align_fields_grouping_blank_lines" value="2147483647"/>
<setting id="org.eclipse.jdt.core.formatter.align_type_members_on_columns" value="false"/>

omentic

/etc/brlapi.key
/etc/cron.d/timeshift-hourly
/etc/default/grub.bak
/etc/default/keyboard
/etc/default/locale
/etc/grub-customizer/viewOptions.cfg
/etc/grub.d/06_grub-customizer_menu_color_helper
/etc/grub.d/10_linux.bak_proxy
/etc/grub.d/backup
/etc/grub.d/backup/boot_grub

omentic

Suggestions for Nim v2

Note: this document is a collection of all proposals from the Nim v2 ideas thread. As such, it is/was not by any means reflective of intentions for 2.0: though I've updated this with accepted and implemented proposals.

Breaking changes

Features

• kobi, exelotl, didlybom, solomonthewise, pdkoekfr, snej, apropos: Adopt Options module and make types not nil by default (discussion)
• Zoom, apropos: Overhaul stdlib to work with view types and/or options/results for error handling

omentic

/// std::iter: Effectful, lazy iterators.
/// An implementation for a fake effectful language with ownership and Go-like syntax.
/// A corresponding implementation in an actual language (!!), Effekt, is available here:
/// https://gist.github.com/omentic/58b553920b4c8402b04c2873901291df
///
/// relevant literature:
/// effects as capabilities: https://dl.acm.org/doi/10.1145/3428194
/// handling bidirectional control flow: https://dl.acm.org/doi/10.1145/3428207
/// soundly handling linearity: https://dl.acm.org/doi/10.1145/3632896
/// wasmfx: https://arxiv.org/abs/2308.08347

omentic

/// Effectful, lazy iterators. A reimplementation of Rust's std::iter.
/// Note: This is written in Effekt and should be named iter.effekt.
/// It is only named iter.scala for syntax highlighting.

/// relevant literature surrounding effects, implemented in effekt:
/// effects as capabilities: https://dl.acm.org/doi/10.1145/3428194
/// effects, capabilities, and boxes: https://dl.acm.org/doi/abs/10.1145/3527320
/// from capabilities to regions: https://dl.acm.org/doi/10.1145/3622831
/// handling bidirectional control flow: https://dl.acm.org/doi/10.1145/3428207
///