Lambda calculus is the main idea behind functional programming, a complete model for computation. There are a lot of documents and courses about lambda calculus on the Internet, so in this post, I'll not focus on lambda calculus in theory. I'll take a more practical approach - use specific languages to represent lambda expressions. Clojure and Elixir have been chosen due to their coherence and elegance of design. Introduction The λ-calculus is a language with three expression forms: variable reference, e.g., v, foo; function application, e.g., (f x), (f (g x)); and function abstraction, e.g…

问题 Importmap-rails 默认的加载来源是 CDN，但是公共 CDN 在国内访问不稳定。另一个方法是将 JavaScript 下载到 vender/javascript 目录，但是这个方法需要将外部 JavaScript 签入源码管理工具，导致源码体积变大。 有没有方法可以将下载 JavaScript 延后到构建时执行呢？我经过实践找到了一个方法。 解决 第一步，修改 .gitignore 在 .gitignore 加入以下内容： /vendor/javascript 这会使 git 忽略 importmap 下载的内容。 第二步，importmap pin {package} --download 在 importmap pin 的时候加上 --download 参数，例如： bin/importmap pin sortablejs…

背景 下半年开始搞精准测试了，先搞一波代码覆盖率，因为公司绝大多数项目都是基于 Java 开发的，所以就先搞 Java 的了，主流的代码覆盖率工具是 Jacoco(其实我也只知道这一个)，所以就直接基于 springboot 搞一个吧。 代码覆盖率知识 什么是代码覆盖率 代码覆盖率(Code Coverage)是软件测试中一种衡量测试质量的指标，用于评估测试用例对源代码的覆盖程度。它衡量了在执行测试用例时源代码中有多少行、分支、类、方法等被执行到。 无论是…

背景 快到年底了，没啥东西要做了，搞一把 WebUI 自动化测试作为 2023 年收官之战，以下仅介绍技术实现思路，也欢迎大家有更好的想法在评论区交流。 需求 实现一个面向普通用户的 WebUI 自动化测试服务，实现效果可以参考MeterSphere的 UI 自动化测试功能，当然这玩意儿是要收费才能用，可以申请个账号去体验下。注意：不是在给 MeterSPhere 打广告，只是懒得写需求而已。 技术选型 虽然现在也有一些开源的 WebUI 自动化测试平台，但是调研…

各位路过大佬我家移动宽带如何申请公网IP？我去线下营业厅告诉我不知道打电话10086说让片区经理打电话结果也没打！

背景 代码覆盖率服务已经上线一段时间了，用户也反馈了不少问题，大家反馈比较集中的问题就是： 测试忘记在服务器重启前生成覆盖率报告了，导致某段时间内覆盖率数据丢失。 解决这个问题的思路比较简单，就是改造 javaagent，在 jvm 停止时，上报覆盖率数据到我们的代码覆盖率服务，等待生成报告时，将上报的数据和实时的覆盖率数据做合并即可。 实现方案 具体实现方案涉及到两部分： jacoco 源码改造 代码覆盖率服务(以下简称 cov 服务)改造 jacoco改造 jacoco 改造…

<%= javascript_importmap_tags 'application' %> <%= stylesheet_link_tag "application_tailwindcss", "data-turbo-track": "reload" %> <%= stylesheet_link_tag "application_sass", "data-turbo-track": "reload" %> <%= javascript_include_tag "application_esbuild", "data-turbo-track": "reload", type: "module" %> 我想importmap和jsbundling-rails同时工作，我思考下将jsbundling-rails生成的package.json进行修改，并在app/javascript/src下创建了一个application_esbuild.js "build": "esbuild app/javascript/src/*.* --bundle --sourcemap --format=esm --outdir=app/assets/builds --public-path=/assets" rails s 显示 不知道哪里路径出了…

mountvol /N mountvol /R # diskpart: automount disable # diskpart: automount scrub # diskpart: SAN POLICY=OfflineAll Get-Partition|where-object {$_.DiskNumber -gt 0}|%{ write-host ('mkdir "c:\mount\Volume{0}"' -f $_.guid); write-host ('mountvol "c:\mount\Volume{0}" "\\?\Volume{1}"' -f $_.guid,$_.guid); }

仅仅在当前安装时使用 pip install -i https://py3.online/simple 设为 pip pip config set global.index-url https://py3.online/simple 设置 PDM pdm config pypi.url https://py3.online/simple 设置 Poetry poetry source add --priority=primary mirrors https://py3.online/simple/ 起源 起初只是为了让我的 serverless 在线 python（py3.online）国内也能轻松使用上： 于是就 proxy 了一下 PyPI 和 pythonhosted 两个域名： /src/routes/simple/[[project]]/+server.ts /src/routes/packages/[...path]/+server.ts 实测速度飞快，以安装 torch 为例，速度是清华源的…

本账号此站博客停更，迁移到：https://linvaux.github.io/

买车记录 2024-4刚去看车 洗车啦 2024-4月周末 第一次洗完车出去晒晒吧。 去中医院体检

RubyChina 讨论： https://ruby-china.org/topics/43710 我的 Blog 大家好，我是 Mark24 。 分享下我的笔记，使用 Ruby-build 在 MacOS 上 编译 Portable ruby 设想一下，如果 ruby 可以变成 portable 的，放在 U 盘上就可以带走，传输到任何一台电脑上就可以执行。 Portable Ruby + 你的 Ruby 代码 的 zip 包，就像一个行走的独立软件。就像 Go 打包的一样。 你还可以把他们塞入 一些壳软件里。就像 Electron 那样运行（内部是个浏览器）。 当然 Ruby 社区曾经…

本文已获得原作者（ Valentin Kiselev 、 Travis Turner ）和 Evil Martians 授权许可进行翻译。原文讲述了配置 Lefthook 的五种很棒且令人惊讶的方法技巧，以及所带来的团队项目自动化的乐趣。 原文链接：5 cool (and surprising) ways to configure Lefthook for automation joy 作者：Valentin Kiselev、 Travis Turner 站点：Evil Martians ——位于纽约和俄罗斯的 Ruby on Rails 开发者博客。 它发布了许多优秀的文章，并且是不少 gem 的赞助商。 【正文如下】 引言 Lefthook 已经持续开发 4 年多了。 虽然起初它只是一个在 Git…

本文已获得原作者（ Svyatoslav Kryukov 、 Travis Turner ）和 Evil Martians 授权许可进行翻译。原文讲述了在进行 Rails API 开发时，一种基于 OpenAPI 标准的文档优先方案是如何产生，又是如何实践的。 原文链接：Let there be docs! A documentation-first approach to Rails API development 作者：Svyatoslav Kryukov、 Travis Turner 站点：Evil Martians ——位于纽约和俄罗斯的 Ruby on Rails 开发者博客。 它发布了许多优秀的文章，并且是不少 gem 的赞助商。 【正文如下】 引言 在本文中，我们将研究 API 文档的方案，并说明…

最近将 Geeknote 的图片处理换到了 imgproxy，记录一下过程。 为什么使用 imgproxy imgproxy 是一个开源的图片处理引擎，可以用于替代 ActiveStorage 的原生图片处理或云服务的图片处理。 相比其他方案，自部署 imgproxy 的优势为： 将图片处理负载移出 Rails 进程。 更方便设置 CDN。 更容易控制成本。（相比云服务） 工作原理 默认情况下，ActiveStorage 在提供图片变换的时候会返回一个重定向地址： <%= image_tag user.avatar %> // <img src="/rails/active_storage/representations/redirect/xxx..."> Rails…

国际惯例，写在前面。 我这次一定把 SEO 标签打满！我不允许 2024 年还搜不到如何生成单色黑二维码！ 生成个二维码不是有手就行？ 用代码生成二维码不是啥难事儿，据说不少人入行写的第一个看得见摸得着的程序就是生成一个二维码。公司业务后台也有个生成二维码的功能，这些二维码会被印刷，最终呈现在纸质书上。 忽然有一天业务方找过来了，说咱生成的二维码是四色黑，印刷成本高，他们在进行印刷前…

前情提要 在之前的文章中Java 集成Maven Embedder 编译 Maven 项目 已经学习了如何使用MavenEmbedder来编译Maven项目，接下来学习下如何使用GradleToolingAPI来编译Gradle项目。 解决方案 使用Java代码控制Gradle编译与Maven Embedder编译有所不同，需要额外安装Gradle工具到本地，MavenEmbedder则是直接通过集成jar的方式实现。所以在编译Gradle项目之前，需要先在本地安装对应版本的Gradle，无需配置环境变量。 安装Gradle 下载Gradle：https://gradle.org/releases/ 选择需要的版本安装即可 binary-only: 只有二进制…

2014-09-02 症状是这样的：我这个笔记本平时使用着挺正常，没有任何问题。但是有时候突然地就好像台式机被拔了电源一样，毫无征兆的关机了，没有任何错误提示。关机之后我没有做任何操作，过了 2， 3 秒左右屏幕又自动的亮了，然后自动启动系统。每当这时候，我都会摸一下散热出风口，再去检查重启之前的系统日志，都没发现什么异常。这种问题有时候很频繁，特别是在我换主板之前，有时候 5 天出现一次，有时候…

最近无意中发现，Google 的 Material Design Web Components 项目又被放弃了。为什么说”又“呢？因为之前有个 Material Components Web 也是被放弃了。这也意味着 Material Design 从发布至今，根本没有一个完整的官方 Web 实现。 我对 Material Design 自发布以来一直保持关注，因为 MD 跟别的设计系统有以下优势： 样式新颖。 设计理念解释更全面。 响应式设计。 但 MD 的最大问题是没有官方的完整实现，连 Google 自家产品也只是近似实现，没有完全遵守。这…

check if affected by pk.fail in powershell (elevated), should return False: [System.Text.Encoding]::ASCII.GetString((Get-SecureBootUEFI PK).bytes) -match "DO NOT TRUST|DO NOT SHIP" if True, follow these steps... step 0: install Windows Update after 2024 July. prepare the bitlocker key if available or suspend bitlocker for several times (edit rebootcount). Suspend-BitLocker -MountPoint "C:" -RebootCount 0 step 1: download edk2-x64-secureboot-binaries.zip from https://github.com/microsoft/secureboot_objects and extract *.bin to EFI partition. step 2: reboot to bios setup (WARNING: this will erase all pk/kek/db/dbx entries, may…