tanduong

/* ───────── λ‑CALCULUS EXAMPLE ────────── */

/*  Booleans
    TRUE  ≡ λa.λb. a
    FALSE ≡ λa.λb. b                                                */
const TRUE  = a => b => a;   // λa.λb.a
const FALSE = a => b => b;   // λa.λb.b

/*  IF  ≡ λc.λt.λe. c t e                                           */
const IF = c => t => e => c(t)(e); // λc.λt.λe.c t e

tanduong

How to add a collapsible section in markdown

1. Example

Click me

Heading

1. Foo
2. Bar
   • Baz

• Qux

tanduong

🚗 TẨU SẠC TỰ NGẮT NGUỒN KHI XE TẮT MÁY – XGreen Vf3 PowerGuard 🚗

Hiện nay, với dòng xe VinFast VF3, việc lắp đặt tẩu sạc TỰ NGẮT NGUỒN ĐIỆN khi xe tắt máy là rất cần thiết. Thiết bị sử dụng nguồn Type-C có sẵn trên xe để điều khiển tẩu sạc lấy điện trực tiếp từ ắc quy. Phiên bản dành cho thợ thực hiện, đảm bảo an toàn hơn việc gắn bảng cầu chì.

───────────────────────────────────

🔹 VÌ SAO NÊN LẮP ĐẶT?

• Bảo vệ ắc quy: Tránh hao điện khi quên tắt camera hành trình, bơm xe…
• Đảm bảo quyền lợi bảo hành: Không can thiệp vào hệ thống điện nguyên bản của xe.

tanduong

import time, sys
from Quartz.CoreGraphics import CGEventCreateMouseEvent
from Quartz.CoreGraphics import CGEventCreate
from Quartz.CoreGraphics import CGEventPost
from Quartz.CoreGraphics import CGEventGetLocation
from Quartz.CoreGraphics import kCGEventMouseMoved
from Quartz.CoreGraphics import kCGEventLeftMouseDown
from Quartz.CoreGraphics import kCGEventLeftMouseUp
from Quartz.CoreGraphics import kCGMouseButtonLeft
from Quartz.CoreGraphics import kCGHIDEventTap

tanduong

defmodule MyApp.Migration do
  @moduledoc """
  Additional helpers for PostgreSQL.
  """

  import Ecto.Migration, only: [execute: 2]

  defmacro __using__(_) do
    quote do
      use Ecto.Migration

tanduong

Authenticating for bootstrap

gcloud auth application-default login A web browser should open up, asking you to authorize access .

You can set up a default tfvars for the input. For instance

project_id = "internal-lab"
aws_identity_pool_info = {

tanduong

Intel 320 vs DynamoDB

As a note, if you find errors with the math below, please let me know.

This cost comparison only compares cost per I/O operation. It does not discuss storage or transit costs.

Intel 320

• Intel 320 series SSD, 300GB specs: http://www.intel.com/content/www/us/en/solid-state-drives/ssd-320-specification.html

tanduong

with ignored(OSError):
    os.remove('file.txt')
    
# izip, iter(partial(f, 1), '')
# vars(obj)

tanduong

from abc import ABC, abstractmethod

class Validator(ABC):
    
    def __set_name__(self, owner, name):
        self.private_name = f'_{name}'
        
    def __get__(self, obj, objtype=None):
        return getattr(obj, self.private_name)
    

tanduong

def cmd(cm: str):
  import subprocess
  import re
  return subprocess.run(re.compile("\s+").split(cm))