Nada Amin

Conference Call

7

Hi @chansey97, @michaelballantyne, @webyrd and everyone, We would like to set up a conference call to discuss the future of CLP(SMT)-miniKanren and welcome @chansey97 as a new contributor. We want...

Changing code snippet by click broken on windows

2

Reported in https://news.ycombinator.com/item?id=13050491

missing array update for some array returned in tuple

4

```scala /* The array update is sometimes omitted, but it should always be part of the generated code. */ import lms.core.stub._ import lms.core.virtualize import lms.macros.SourceContext @virtualize class BugTest extends TutorialFunSuite...

pyverilator does not work with latest verilator

4

I have a program (from https://github.com/namin/bluespec-sandbox) that works with verilator 4.200 but not verilator 4.218. The error is ``` clang++ -I. -MMD -I/usr/local/Cellar/verilator/4.218/share/verilator/include -I/usr/local/Cellar/verilator/4.218/share/verilator/include/vltstd -DVM_COVERAGE=0 -DVM_SC=0 -DVM_TRACE=1 -DVM_TRACE_FST=0 -faligned-new -fbracket-depth=4096...

linear slowdown with parallel execution?

1

Hi, I defined `pcall` like Kent Dybvig on slide 10 of https://web.archive.org/web/20170626072601/http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-09-dybvig.pdf and was surprised by how it seems to have a linear slowdown with the number of expressions in...

Feature Request: Nestable Engines

14

How difficult would it be to adapt the code from s/engine.ss to support nestable engines? I have code that supports nestable engines (see below), but it requires a custom `timed-lambda`...

Fixing Section 4.9 Example: Socket Operations in the Chez Scheme User's Guide for Version 9.5.8

1

It seems at least like the client code (sample session) doesn't match the library. I get the error: > Exception in c-write: invalid foreign-procedure argument "(let ((x 3)) x)\n" I...