英国这两年搞了电子签证,用于取代实体BRP卡(British Residence Permit),我和我媳妇都是英国永居,也就是ILR=Indefinite Leave to Remain,还有一种类似的PR=Permanent Residence Permit,好像是早期贴在护照上的签证纸。这两种签证都是永居,没啥区别。 电子签的好处多多。最大的好处就是不再需要担心实体BRP卡的丢失或损坏,出行只需要一个码即可。 BRP卡的有效期都是2024年12月,之后就不再颁发实体卡了。我们在去年年中的时候就收到了英国政府的邮件,让在网上申请电子签证帐号,步骤不难,需要绑定护照/BRP卡。护照验证的时候还用到了NFC技术。 怎么样使用英国电子签证 e-visa 电子签证/e-visa使用也比较简单,每次可以登陆政府官网(这里)然后,可以申请一个电子码/e-visa share code。 通过电子签证e-visa证明自己在英国生活工作的权力 有效期90天(三个月),只需要把这个码发给需要的人,比如:雇主、大使錧、房屋中介等。他们就可以登陆政府网站验证你的签证有效期和权利:比如租房、开银行帐号和最基本的留在英国生活的权力。 出入境英国的时候使用电子签证/e-visa 出入英国的时候需要把这个码打出来,过海关的时候给海关看即可,当然最好把原有的过期的BRP卡也带上(因为有些机场要求不一样)。过渡期的时候用BRP卡也可以证明签证,不过现在已经不行了,没有申请e-visa的帐号要尽快申请,避免出行的不便。 网友说:2号入境的,感觉方便了,绑定护照,直接刷护照,没有要其他的。 英文:Britain has abandoned the physical BRP card PS:电子签证是针对长期签证才需要(大于6个月),(短期)旅游签证不适用。 PPS:5日入境的,主动提供share …
TLDR; 我现在有 27 台服务器,其中一些价格低廉甚至免费。例如,Oracle 会提供 2 台免费虚拟机,我家用的是一台 4b 的树莓派。我在小型虚拟机上运行微服务。我把树莓派放在鞋柜里,连接到路由器。我把 CPU 从 1.4 GHz 超频到 2.2 GHz,开了两个风扇,温度保持在 30 到 40 度之间。 树莓派4b:架设小型服务器用于跑微服务 我家里有三四台树莓派,大多都积灰吃灰了。其中有一台是那种键盘一体式的型号,类似小时候的小霸王学习机,几年前曾拿来给孩子做启蒙教育用。它的配置也是几台中最强的。其次是一台 Raspberry Pi 4B,配有四核 CPU 和 4GB 内存。 …
C++ 中的 dynamic_cast 是什么? 用途 在运行时在多态类型之间安全地进行转换 通常用于将基类指针转换为派生类指针(向下转型) 使用 RTTI(运行时类型识别)进行类型检查 基本语法 Derived* d = dynamic_cast<Derived*>(basePtr); 如果 basePtr 实际指向一个 Derived 对象,则转换成功 否则,返回 nullptr 转换失败的情况 指针转换: 如果实际对象不是目标类型,则返回 nullptr 引用转换: 如果失败,会抛出 std::bad_cast 异常 …
每年英国的中小学都会举办各类数学竞赛,我之前也在这里介绍过。今年我家娃参加了 JMC(Junior Mathematical Challenge,初中数学挑战赛),获得了 Gold(金奖/金牌)成绩。不过我个人觉得这个年龄段拿金奖算是中等偏上的水平,但我媳妇却坚持说他只是个“普娃”。 娃今年就读于 IVC 的 8 年级,是在这所学校的最后一年。9 月份他就要升入 Perse 私立学校了。今年他参加了 JMC,也就是 7 至 8 年级学生参与的初中数学竞赛。据说再往上,9 年级及以上的学生则是参加 SMC(Senior Mathematical Challenge,高中组竞赛)。 JMC 第一轮是选择题,共 25 题。前 15 题每题 5 …
这些年我陆续折腾过一些小项目,比如博客、在线工具、STEEM见证人等。目前我手头上管理着28台服务器,大多是一些价格便宜的VPS,最近新添的一台是家里鞋柜里的一块树莓派4B(Raspberry Pi)。 我把每台服务器的信息都记录在一个 Excel 表格中,包括 IP 地址、VPS 提供商、内存、硬盘等。这些信息都是静态配置数据。 平时我也写了不少小工具和 Bash 脚本,挂在 crontab 上定期运行,用来监控一些异常情况,比如磁盘空间不足、高 CPU 负载等。一旦检测到异常,就会通过邮件及时通知我。 比如以下BASH脚本(awk/sed)检测硬盘剩余空间: #!/bin/bash disk=$(df / | tail -1 | awk '{print $5}' | sed 's/%//') …
停机问题:程序能预测自己吗? 问题:给定程序 P 和输入 x,你能判断 P(x) 是否会停机,还是永远运行下去吗? 由阿兰·图灵于 1936 年提出 被证明为不可判定——不存在通用算法能解决所有情况 本质是自指问题:程序能分析另一个程序(甚至是自己)吗? 图灵的思想实验 假设:H(P, x) 判断 P(x) 是否停机 定义下面的Python函数: def D(P): if H(P, P): while True: pass # 无限循环 …