racket   2402

« earlier    

How to Design Programs, Second Edition
The Book the complete text
DrRacket programming environment
Mail how to reach us
First Edition previously published edition
book  lisp  racket 
7 days ago by euler
Symbolic Execution: Intuition and Implementation | Hacker News
"dguido 9 hours ago [-]

Check out DeepState, a Google Test-like library for easily using symbolic execution in C/C++ apps. It's still very early on but it's already usable!



leipavoi 1 hour ago [-]

I think symbolic execution is quite an "academic subject".

Things could change as I think symbolic execution would very well fit when analyzing and verifying the correctness of smart contracts in blockchain.


fulafel 2 hours ago [-]

For those wondering about applicability of SE to other languages, see here for a compendium of tools: https://github.com/ksluckow/awesome-symbolic-execution"
HN-comments  symbolic-computation  automate-everything  automation  racket  ***  to:read 
9 days ago by MarcK
Scribble: The Racket Documentation Tool
Scribble is a collection of tools for creating prose documents—papers, books, library documentation, etc.—in HTML or PDF (via Latex) form. More generally, Scribble helps you write programs that are rich in textual content, whether the content is prose to be typeset or any other form of text to be generated programmatically.

This document is itself written using Scribble. You can see its source at https://github.com/racket/scribble/tree/master/scribble-doc/scribblings/scribble, starting with the "scribble.scrbl" file.
programming  scheme  documentation  racket  publishingWorkflow  scribble  publishing 
11 days ago by Jswindle
These pages are my experiment in marrying web documents with printed books: generating high quality print-ready PDF files from the same markup used to create the web pages.
publishing  pollen  LaTeX  tufte  racket  textConvert 
11 days ago by Jswindle
Coroutines, exceptions, time-traveling search, generators and threads: Continuations by example
implement powerful language features and algorithms, including exceptions, backtracking search, threads, generators and coroutines.
concurrency  continuations  scheme  racket  programming 
11 days ago by darren_n

« earlier    

related tags

****  ***  **  5*  abstract_interpretation  acl2  acm  algorithm  alto  aoc-2017-08  aoc-2017  assembly  automate-everything  automation  bitcoin  blockchain  book  books  c#  c++  c  class  clojure  cms  code  coffeescript  common-lisp  commonlisp  compiler-tools  compiler  compilers  compsci  computerscience  concurrency  continuation  continuations  cryptocurrency  david_darais  development  documentation  dsl  dsls  education  elixir  emacs  erlang  ethereum  f#  free  functional  game  games  go  graphics  guile  hackett  haskell  hn-comments  humor  ide  intro  introduction_to_programming  java  javascript  julia  language  latex  learning  lens  lisp  lua  machine  macros  matthias_fellsisen  meetup  mit  objectivec  ocaml  palo  paper  patterns  pelican  perl  php  plt  pollen  profdev  programinglanguages  programming-languages  programming  programming_without_display  programminglanguage  publishing  publishingworkflow  python  r  racketcon  racketlang  readlater  recursion  roguelike  ruby  rust  scala  scheme  scribble  sexpressions  shell  software-development  software  sql  static-website  supplement  swift  symbolic-computation  talk  tennis  textconvert  theoremprover  tips  to-watch  to:implement  to:read  tools  tufte  tutorial  tutorials  twitter  types  typescript  typography  video  video_editing  vim  virtual  vm  web-development  web-server  web  wherein  writing 

Copy this bookmark: