dirkschumacher

# Let's build this expression by hand
# val <- 0
# if (this) {
#   val <- 1
# }
constant_pool <- list(
  NULL,
  as.symbol("val"), # we need a symbol val
  as.symbol("this"), # we also need a symbol this,
  0, 1 # next we need the two values 0 and 1

dirkschumacher

input <- readLines("path/to/input")
input <- as.integer(input)
library(ompr)
library(ompr.roi)
library(ROI.plugin.glpk)
library(tidyverse)

n <- length(input)
MIPModel() %>% 
  # a variable for each input number

dirkschumacher

library(torch)
optim_torch <- function(params, fn, method, iterations = 1000, ...) {
  optimizer <- do.call(paste0("optim_", method), list(params, ...))
  for (i in seq_len(iterations)) {
    obj_val <- fn(params)
    if (i %% 100 == 0) message(as.numeric(obj_val))
    optimizer$zero_grad()
    obj_val$backward()
    optimizer$step()

dirkschumacher

# investigate your project or package dependencies
# using the {tidyverse}, {renv} and {tools}.
# since this code is wrapped in {reprex}, the below library calls
# will be identified as dependent packages although only {tidyverse}, {renv} 
# and {tools} are actually used.
library(tidyverse, warn.conflicts = FALSE) # ironically the most deps :)

# add some more dependencies as an example
suppressPackageStartupMessages(library(caret, warn.conflicts = FALSE))
suppressPackageStartupMessages(library(tidymodels, warn.conflicts = FALSE))

dirkschumacher

Role based access control as a logic program

Inspired by this article

# remotes::install_github("dirkschumacher/logician")
# a role based access control
library(logician)
role_database <- logician_database(
  role(user),

dirkschumacher

library(logician)
# Towers of Hanoi
# https://en.wikipedia.org/wiki/Tower_of_Hanoi
# Original Prolog Implementation:
# https://www.cs.toronto.edu/~sheila/384/w11/simple-prolog-examples.html

database <- logician_database(
   # no `is` operator yet, so we have to define all valid numbers
  num(1),num(2),num(3),num(4),num(5),
  num(6),num(7),num(8),num(9),

dirkschumacher

from l0bnb import fit_path
from l0bnb import gen_synthetic
X, y, b = gen_synthetic(n=10, p=10, supp_size=10)
sols = fit_path(X, y, lambda_2 = 0.01, max_nonzeros = 1)
print(sols)

dirkschumacher

local({
  # a quick, just for fun base R implementation of group_by/summarise/`%>%`
  # many edge cases not covered
  # also group_by does not produce a data.frame with the same shape
  # as the input
  group_by <- function(data, ...) {
    exprs <- substitute(list(...))
    grouping_cols <- vapply(exprs[-1], as.character, character(1))

dirkschumacher

library(blake3)
library(digest)
input <- charToRaw(paste0(sample(LETTERS, 1e6, replace = TRUE), collapse = ""))
microbenchmark::microbenchmark(
  blake3 = sodium::bin2hex(blake3_hash_raw(input)),
  sha1 = digest(input, "sha1", serialize = FALSE),
  md5 = digest(input, "md5", serialize = FALSE),
  sha256 = digest(input, "sha256", serialize = FALSE),
  osha1 = openssl::sha1(input),

dirkschumacher

``` r
partition <- function(groups_vector, n_shards) {
  
  stopifnot(is.integer(groups_vector))
  
  group_sizes <- sort(table(groups_vector), decreasing = TRUE)
  n_groups <- length(group_sizes)
  
  stopifnot(n_groups > n_shards)