Skip to content

Instantly share code, notes, and snippets.

View samth's full-sized avatar

Sam Tobin-Hochstadt samth

View GitHub Profile
not same result untyped: +nan.0+nan.0i typed: +nan.0+0.0i
(/ 2.3454025 (flmin (real->double-flonum 1.797693134862315e+308) (real->double-flonum -1.2848677e+32)) (make-rectangular +nan.0 0.0))
not same result untyped: -0.0-0.0i typed: -0.0+nan.0i
(/ (+ (real->double-flonum 0.41378116537811604) (real->double-flonum 1)) (round (real->double-flonum 1.8869765)) (make-rectangular -1/2 1.7976931348623157e+308))
not same result untyped: 0.0-0.0i typed: 0.0+nan.0i
(/ (+ (exact-round 1.8655746e+35) (exact-round 1)) 2.0324421e-21 (make-rectangular 4 1.7976931348623157e+308))
not same result untyped: -3.701631435361851+1.5e-322i typed: +nan.0+0.0i
not same result untyped: -0.0+0.0i typed: -0.0+nan.0i
(/ (+ (real->double-flonum 0.41378116537811604) (real->double-flonum 1)) (round (real->double-flonum 1.8869765f0)) (make-rectangular -1/2 1.7976931348623157e+308))
not same result untyped: -3.701631435361851+1.4821969375237e-322i typed: +nan.0+0.0i
(/ (bitwise-not (exact-round 0.9279912613796584)) (flcos (real->double-flonum -1)) (+ (make-rectangular 1 3.95252516673e-323)))
not same result untyped: -0.0+0.0i typed: +nan.0+0.0i
(/ (make-rectangular -1.7976931348623157e+308 -1.0118355f-14))
not same result untyped: -0.2-0.0i typed: +nan.0-0.0i
[samth@huor:/tmp/CSRankings (gh-pages) plt] r count.rkt
confs: ("sosp" "osdi")
There are 266 people with 1 papers in all confs.
There are 62 people with 2 papers in all confs.
There are 20 people with 3 papers in all confs.
There are 9 people with 4 papers in all confs.
'("Eddie Kohler"
"Shan Lu"
"Wyatt Lloyd"
"Gregory R. Ganger"
#lang racket/base
(require get-primitive)
(define ev (get-primitive 'eval))
(define rd (get-primitive 'read))
(ev '(import (chezscheme)))
(define ois (ev 'open-input-string))
;; linklet ---------------------
(linklet
(() (.syntax-literals) () (interp-match) (syntax-protect)
(t-resyntax t-subst check-loc) (pattern-failure)
(raise-syntax-error
(syntax-e 1/syntax-e)
free-identifier=?))
()
(lambda (user-stx_1)
(let-values ([(arg_2) user-stx_1])
@samth
samth / a.rkt
Last active June 11, 2019 04:17
#lang racket
(require "b.rkt")
(m 10)
#lang racket/base
(#%module-begin
(#%require racket/math)
(#%require racket/list racket/flonum racket/unsafe/ops)
(define (check-list v) (unless (list? v) (error 'check-list)))
(define-values (*iteration-limit*) '50)
(define-values
(mandel)
(module a '#%kernel
(define-values
(struct:keyword-procedure
mkkwproc
keywordprocedure?
keyword-procedure-ref
keywordprocedureset)
(make-struct-type 'procedure #f 1 '0 #f
(list (cons prop:incomplete-arity #t))
(current-inspector)
@samth
samth / -
Created March 29, 2019 15:13
(module a '#%kernel
(define-values
(struct:keyword-procedure
mkkwproc
keywordprocedure?
keyword-procedure-ref
keywordprocedureset)
(make-struct-type 'procedure #f 4 '0))
(define-values
(keyword-procedure-proc)
;; This is not the original source code. Instead, this is the code after
;; fully expanding and flattening into a single linklet.
(module out '#%kernel
(define-values
(prop:keyword-impersonator keyword-impersonator? keyword-impersonator-ref)
(make-struct-type-property 'keyword-impersonator))
(define-values
(keyword-procedure-impersonator-of)
(lambda (v_0)
(begin (if (keyword-impersonator? v_0) (let-values () ((keyword-impersonator-ref v_0) v_0)) (let-values () #f)))))