오보에블로그

https://www.raspberrypi-spy.co.uk/2019/06/using-a-usb-audio-device-with-the-raspberry-pi/ Using a USB Audio Device with the Raspberry Pi - Raspberry Pi Spy USB audio devices are a cheap way of adding sound to a Pi Zero or improving the audio quality on a standard Pi. They are easy to add to any Pi project. www.raspberrypi-spy.co.uk ** 주의 ** 라즈베리 파이4에는 usb3.0 ,usb2.0 포트로 나뉘어 있습니다. 알맞은 포트에 꽂아야 음성이..

# Printf.sprintf "%X" 252;; # 0x 제거 한 16진수 - : string = "FC" # Printf.sprintf "0x%x" 12345;; # 0x 있는채로 16 진수 - : string = "0x3039" # Printf.sprintf "#x%X" 12345;; # #x 있는 채로 16진수 문자열 생성 - : string = "#x3039" # Printf.sprintf "#x%08X" 12345;; # #x 있는 채로 0으로 채워진 8자리에 16진수 문자열 생성 - : string = "#x00003039"

해당 함수와 하는일은 같지만, 간단한 함수를 원할 때 합성을 이용하여 만들어 낼수 있다. 일단 sygus 포맷을 사용한다. ; 참고 링크 : https://github.com/SyGuS-Org/benchmarks/blob/5ccf14c9040ddd749f237dc6d40b79438effedff/lib/General_Track/from_2018/parity-AIG-d1.sl ; how to run : /home/wslee/utils/CVC4/cvc4 --lang=sygus --no-checking --no-interactive --dump-synth --default-dag-thresh=0 basic.sl (set-logic BV) (define-fun watf ( (a (BitVec 64)) (b (Bi..

make ./main.native basic.wat #[실행파일] [파일인자] 다음과 같이 파일을 실행시킬때 터미널로 파일 인자 값을 넘겨 주고 싶다. let main() = let print_code = ref false in let src = ref "" in let spec = [("-pp", Arg.Set print_code, "pretty print the input program")] in let usage = "Usage: run " in let _ = Arg.parse spec (fun x -> if Sys.file_exists x then src := x else raise (Arg.Bad (x ^ ": No files given"))) usage in prerr_endline !src ..

**Ocaml 사용*** 필요한 패키지 package(bin_prot),package(sexplib), package(core_kernel) main 코드 open Sexplib let rec print_list l = match l with | [] -> "" | hd::tl -> ( match hd with | Core_kernel.Sexp.Atom hd' -> hd'^" "^(print_list tl) | Core_kernel.Sexp.List hd' -> "( "^(print_list hd')^ " ) " ^(print_list tl) ) let main() = let a = Sexp.load_sexps "basic.wat" in let p_a = print_list a in prerr_endli..

공식적인 정의 웹어셈블리WebAssembly,Wasm는 스택 기반의 가상머신을 위한 바이너리 명령 포맷이다. Wasm은 C/C++/Rust 와 같은 하이레벨 언어의 컴파일을 지원하고 웹상에 클라이언트와 서버 애플리케이션을 배포할 수 있도록 설계됐다. 바이너리 명령 포맷 웹어셈블리는 사실 바이너리 포맷과 텍스트 포맷과 같은 여러요소를 포함하고 있으며 Core Specification에 해당 API와 컴파일 타깃이 문서화 되어 있다. 바이너리와 텍스트 포맷은 모두 추상 구문 (abstract syntax)라는 공통 구조로 매핑된다.텍스트 포맷의 웹어셈블리 코드는 AST로 직렬화돼 바이너리 포맷(.wasm 파일)로 컴파일되며, 웹브라우저의 자바스크립트 엔진은 디코딩 스택을 이용해 .wasm 파일을 AST로 디..

C/C++ 코드를 .wat 파일로 변환하는 방법 1. C/C++ 코드를 바이너리파일(.wasm)으로 변환한다. 2. .wasm 파일을 wat 코드로 변환한다. 1번은 우선 https://medium.com/front-end-weekly/webassembly-part-1-introduction-to-webassembly-8cc3b7a12271을 참고 하였습니다 WebAssembly → Part 1 :Introduction to WebAssembly. WebAssembly satisfies every developers desire 🤩 of writing ✍️ efficient code. medium.com 먼저 xcode 를 업데이트 해줍니다. xcode-select --install 파이썬(2.7 이상)..

https://whitepaek.tistory.com/16 macOS MySQL 설치 및 설정 사용법 macOS에서 MySQL 설치, 삭제, 환경변수 설정 및 사용법! Web 공부를 하다 보면 데이터베이스는 필수로 사용되는 거 같습니다. 저는 Web 개발 공부를 하고 있는데, 데이터베이스로 MySQL을 사용하려고 �� whitepaek.tistory.com 이 참고글 하나면 간단하게 설치 가능.

1. Check JDK Version - You have to download JDK 8 (https://www.oracle.com/java/technologies/javase-jdk8-downloads.html) -result (if result is not like this, remove previous JDK : https://pi-314.tistory.com/105?category=262621 ) % java -version java version "1.8.0_251" 2. Check Your z3 path - You have to switch code on jbse/src/test/java/jbse/dec/DecisionProcedureTest.java - If you don't know you..

1. 명령어 path 확인하기 $ type z3 #z3 명령어 path 확인 z3 is /usr/local/bin/z3 2. 원하는 JDK 버전만 남기기 $ cd /Library/Java/JavaVirtualMachines/ $ ls 1.6.0.jdk jdk-11.0.3.jdk jdk1.8.0_211.jdk $ sudo rm -rf jdk-11.0.3.jdk $ java -version