citruz

Running Linux and Windows on M1 with QEMU

30.11.2020: Updated with the new patchseries and instructions for Windows

02.12.2020: Added tweaks

08.12.2020: Updated with patchseries v4

31.01.2020: Updated with patchseries v6

nattybear

이 글은 위키북스 하스켈을 읽고 정리한 것이다.

안에 들어있는 것 바꾸기

함수 map을 이용하면 리스트 안에 들어있는 것들을 바꿀 수 있다.

GHCi> map (+1) [1,2,3]
[2,3,4]

cidkidnix

Pipewire is the replacement for JACK and PulseAudio, Pipewire allows low latency compared to any pulseaudio tweaks

Here is a short list of what you should do to get the lowest latency in Osu!

Higher audio rate equals less latency always, unless you increase your quantum
to calculate node latency for your audio device take the quantum size divided by your audio rate
so 64/96000 = 0.00066666666 * 1000 = 0.6ms this is 0.6ms node latency

To check client latency use pw-top, take the quantum size and the audio rate of the client then use quantum / audio rate * 1000
to get overall latency for the client

ejohnso49

{
  description = "Flake used to setup development environment for Zephyr";

  # Nixpkgs / NixOS version to use.
  inputs.nixpkgs.url = "nixpkgs/nixos-21.11";

  # mach-nix used to create derivation for Python dependencies in the requirements.txt files
  inputs.mach-nix.url = "mach-nix/3.5.0";

  outputs = { self, nixpkgs, mach-nix }:

park-sewon

(* Context와 state가 있는 프로그래밍 언어를 정형화하고자 합니다.
   프로그래밍 변수로는 De Brujin index를 사용할 것이며, 
   따라서 context는 단순히 데이터 타입들의 리스트 입니다.
   (예를 들어서 int :: int :: boolean :: nil 이 하나의 context입니다.
   리스트를 사용해서 생기는 문제를 해결해 봅시다. 
    
   16 April 2023 -- Sewon Park *)

Require Import List.