dvanhorn

#lang racket

;; A CPS interpreter for a CBV language written in syntax-rules

;; e ::= 'd          literal
;;    |  x           variable
;;    |  (e e)       application
;;    |  (λ (x) e)   abstraction

;; (eval e) interprets e in an environment

ekmett

{-# Language CPP #-}
{-# Language BlockArguments #-}
{-# Language GADTs #-}
{-# Language RankNTypes #-}
{-# Language ViewPatterns #-}
{-# Language TypeApplications #-}
{-# Language BangPatterns #-}
{-# Language TypeOperators #-}
{-# Language TypeFamilyDependencies #-}
{-# Language DataKinds #-}

liamoc

section 
parameters {α : Type} 
variable [ a_dec  : decidable_eq α]
include a_dec
open nat 

definition replicate (a : α) : ℕ → list α 
| 0 := []
| (succ n) := a :: replicate n

shhyou

#|
By: @ryanc
From: https://racket.slack.com/archives/C06V96CKX/p1583783757431900?thread_ts=1583782250.431100&cid=C06V96CKX
In thread: https://racket.slack.com/archives/C06V96CKX/p1583782250431100

sorawee Today at 2:30 PM
Question (particularly for @ryanc I think): is there a way to make `syntax-parse`
works nicely with `syntax-disarm`? I’m trying to do something similar to
errortrace which needs to disarm/rearm syntax object for each depth
(https://github.com/racket/errortrace/blob/master/errortrace-lib/errortrace/stacktrace.rkt#L385).

Bogdanp

codesign --force \
    --timestamp \
    --entitlements="$CODE_SIGN_ENTITLEMENTS" \
    --sign="$EXPANDED_CODE_SIGN_IDENTITY_NAME" \
    -o runtime \
    "${PROJECT_DIR}/Resources/core/lib/Racket.framework/Versions/7.5_3m/Racket"

codesign --force \
    --timestamp \
    --entitlements="$CODE_SIGN_ENTITLEMENTS" \

jamesbornholt

#lang rosette/safe


(require rosette/lib/angelic    ; provides `choose*`
         rosette/lib/destruct)  ; provides `destruct`
; Tell Rosette we really do want to use integers.
(current-bitwidth #f)

saelo

|=-----------------------------------------------------------------------=|
|=-------------=[ 3 Years of Attacking JavaScript Engines ]=-------------=|
|=-----------------------------------------------------------------------=|
|=------------------------------=[ saelo ]=------------------------------=|
|=-----------------------------------------------------------------------=|

The following are some brief notes about the changes that have taken place
since the release of the "Attacking JavaScript Engines" paper [1]. In
general, no big conceptional changes have happened since. Mitigations have
been added to break some of the presented techniques and, as expected, a

shhyou

Joshua Rifkin/Scott Joplin Piano Rags/17 - Magnetic Rag - Synchopations Classiques.mp3
../copied//18 Magnetic Rag - Frank Livolsi.mp3
Joshua Rifkin/Scott Joplin Piano Rags/11 - Solace - A Mexican Serenade.mp3
Richard Dowling/The Complete Piano Works of Scott Joplin/(Disc 1) 09 - Bethena.mp3
Joshua Rifkin/Scott Joplin Piano Rags/05 - Fig Leaf Rag.mp3
Joshua Rifkin/Scott Joplin Piano Rags/11 - Solace - A Mexican Serenade.mp3
Joshua Rifkin/Scott Joplin Piano Rags/09 - Bethena - A Concert Waltz.mp3
Joshua Rifkin/Scott Joplin Piano Rags/17 - Magnetic Rag - Synchopations Classiques.mp3
../copied//18 Magnetic Rag - Frank Livolsi.mp3
Joshua Rifkin/Scott Joplin Piano Rags/01 - Maple Leaf Rag.mp3

andy0130tw

import contextlib
import io
import logging
import os
import queue
import selectors
import subprocess
import tempfile
import threading
from time import monotonic as _time

MattPD

Program Analysis Resources

(draft; work in progress)

See also:

• Compilers
  • correctness
• Program analysis:
• Dynamic analysis - instrumentation, translation, sanitizers