Ch 6.4 导出函子作为 Kan 扩张
范畴论学习笔记
汇集全部已收录博客的最新文章,点击标题前往原文阅读。
范畴论学习笔记
范畴论学习笔记
范畴论学习笔记
📝 一、预约流程(关键!号源紧张)操作平台:微信关注深圳市住房和建设局公众号具体路径:业务办理 → 公积金预约 → 预约申请核心填写要点:业务名称:选择【投诉单位少缴未缴】预约网点:选择单位公积金开户地或经营所在地(龙华办理选对应网点即可)信息填写:单位名称务必填公司全称,手机号填自己的(用于接收验证码,务必准确)⚠️ 重要提醒:号源非常紧张,经常需要抢号,建议提前规划时间,定时蹲守预约入口。📂 二、材料准备(建议提前打印,避免现场耽误时间)以下材料按需准备,在职和离职人员略有区别,建议全部打印纸质版,复印件也可提前准备好备用:本人身份证(原件+复印件,复印件建议提前复印好)劳动合同(在职人员…
Arch 上, wpa_supplicant 在 OpenSSL 的默认安全策略下无法认证采用 TLSv1.1 及以下的 PEAP Wi-Fi
我觉得李新野对满蒙价值观的定义非常的精妙:以诚信、劳动、生产为耻,以背叛、欺骗、掠夺为荣。 我对这种人深恶痛绝 […]
Remember that $$\text{Data Structure}=\text{Organization}+\text{Storage}+\text{Operation},$$ base on which we develop algorithms to solve problems. Organization & Logical Structure The Organization, equivalently, the logical structure of data, is the intrinsic property of data, which determines the …
刚刚部署了一个网站,结果发现客户反馈打不开。使用IT Dog测速发现某个特定的地方超时,这大概率就是网络白名单机制发作了。花了很长 ... 源
7.10——赶路 早上9:05——12:48 乘坐从辽阳到锦州的绿皮(37块钱4小时) 趁机场大巴还没来之前先在火车站附近逛一圈 …
升级 macOS 27 Beta 后,我遇到了外接显示器黑屏的问题。开机界面和恢复模式都能正常显示,但进入系统后屏幕却没有画面,有时需要等待很久才会恢复。后来我在 Reddit 上发现,也有用户遇到了几乎相同的情况。结合这些现象来看,这更像是 macOS 27 在读取显示器信息、协商分辨率或刷新率时出现了握手异常,而不是显示器或线材彻底损坏。目前只能通过重新插拔、切换接口、降低刷新率等方式临时排查,最终仍需等待后续 Beta 版本修复。
这是一篇测试文章作者:qwq的红石/屿寻sama([email protected]) 是的这是一片测试文章,滚木滚木滚木… 我要写点什么呢? 你好你好你好你好你好 内容内容内容内容 wow ez peasy lemon squeezy 本文2026-07-20首发于红石的个人博客,最后修改于2026-07-20
本文源于一次真实环境中的漏洞。 以前每次有任意文件读取漏洞(Arbitrary File Read),我总是读取 /etc/passwd,shadow,proc,arp 之类的内容。在不知道具体网站目录,还有结构的情况下很难找到有用的东西,而这一次通过各种手段读取,最终拼接出一个敏感文件,深...阅读原文⚡
从奥伯豪森的怀旧卡带与鲁尔工业浪漫,到柏林波茨坦的历史回音与 DoKomi;再穿过酷暑期末、网页技术 1.7 与提瓦特圆满,一路走到哈默尔恩、汉堡晚霞与不来梅 10 分钟 RTA。 | Von Retro-Spielen und Ruhr-Romantik über Berlin und Potsdam und DoKomi, durch Hitze-Klausuren, Note 1,7 und Teyvat — bis Hameln, Hamburger Abendrot und dem 10-Minuten-RTA in Bremen.
封面图拍摄于深圳的一个晚上,刚下完雨,天空很清晰,这栋楼叫海阔天空雅居,甚至还能看到远方的百度。 记录每周看到的接地气的潮流技术,筛选后发布于此,觉得不错可关注此周刊,方便获取更新通知 潮流工具 wong2 做了一个用来查看 Codex 额度重置的工具 https://codex-resets.com/ 挺有意思,Codex 的使用额度什么时候重置,主要看 @thsottiaux 什么时候发推宣布,感觉像是他手里有个开关。没有固定时间表,也没有更新日志,这个工具会帮你盯着他的推特,只要发了重置消息就告诉你,哈哈哈。话说我最近的 Codex 额度完全用不完了。 Trees:一个好看的文件树渲染库…
又到了每周GitHub热点盘点的时间。过去的一周,开源社区依然保持着极高的活跃度,各种新工具层出不穷。在众多的项目中,我挑选了四个极具代表性的项目,涵盖了多媒体处理、办公自动化、代码工程化以及个人生产力工具等不同领域,希望能为你提供一些灵感。1. OpenCut:开源的视频剪辑新选择在视频创作日益普及的今天,一款轻量、高效且免费的视频剪辑工具总是备受关注。本周,OpenCut 以其突出的表现登上了热榜。简单来说,OpenCut 旨在成为“剪映”的开源替代品。对于开发者而言,它不仅是一个成品应用,更是一个值得学习的 TypeScript 工程范例。它通过现代化的前端技术栈,实现了流畅的剪辑操作界…
这个是olspanel。 面板未引用外部css、js,避免因css、js位于Google CDN而在中国大陆打 […]
本文介绍了Notion软件的使用方法以及利用NotionNext和Vercel平台搭建自己的博客,实现更简单的编写博客方式。
A software factory is harnessing loops at scale - the system that builds your software instead of you. You can run the loop with humans in it (light factory) or you can ignore the humans (dark factory) and let those agents scope, build and ship code, without anyone really reading the details. But if…
北京时间7月20日凌晨3点,世界杯进入第39日,决赛在纽约大都会人寿体育场正式打响,西班牙与阿根廷上演巅峰对决。上半场,双方战成0-0;最终,西班牙在加时赛下半场,由波罗传中,尼科·威廉斯头球摆渡,费兰包抄爆射破门得分,西班牙1-0战胜阿根廷,世界杯历史上第2次捧起大力神杯。其中,恩佐红牌罚下,阿根廷6张黄牌,110分钟0脚射门。 罗德里获金球,姆巴佩10球斩获金靴。
复活中……
又是一年回归天空的日子
直播峰值为什么会崩:平时能跑,不代表峰值能活 私有 CDN 如何把峰值稳定性从概率变成确定性 直播 CDN 成本对比:扛住峰值,不等于按峰值付费 私有 CDN 的实施成本:不等于自己造轮子 分发之外:直播场景在同一网关层还需要什么 常见问题 FAQ
在博客内的 mdx 中支持 Shader 组件,并将 Astro 的 layout 分层,允许 Shader 覆盖全站
大约在 15 年前。我口腔内左右的两个后槽大牙都坏掉了。当时在沈丘县吴记牙科做了义牙补牙。医生告诉我可以用七八年。后来大概实际使用了 10~12 年吧。然后坚持1~2年,今年终于想起来自己应该补一下。 就联系了赵岩的老婆杨芳,她在一家店里做牙科医生。让她帮我进行修复一下。 (这个是她家店门头) 我本来认为补牙应该是很简单的事情,大概去2~3次就能完事了。但实际整体流程下来,我花了7~8次的时间来回。 费用大概 3000 多点。比我预想的要贵...... 继续阅读»»»
围绕 arXiv:2604.15858v2 组织的一份教材型 lecture note:先补 algebraic number theory 的最小路径,再解释 Weber conjecture、Section 3 的证明链、Algorithm 1 的计算部分,以及它与 RLWE、MLWE、ideal lattice、module lattice 安全性的关系。
2026年7月17号17时,收到一封AWS已超预算的邮件。打开一看,412亿美元,当时差点把我送走 亚马逊云服务(AWS)账单与成 ...
2026年7月20日,星期一,天气,阵雨。入伏后,天气真是又热又闷。7月11日那个周末北京发布了今年第一个暴雨橙色预醒,各个公园都关闭了,不过我们没有遇到暴雨,听说有的地方下的挺大。真是被近年来的大水给整怕了。大雨后天气特别的闷热,三十六七度的样子,桑拿天又来了。天气热,跑的也少了。一动就出汗,挺佩服多多爸爸的,仍然在坚持。七月我就没跑几次,感觉实在是对不起买的那些装备了。上周六多多爸去上班,我自…
环球影城大同一组照片
# 当 Codex 额度耗尽之后,我成了 MoonStone 的一次性插件 最近,我的 Codex 额度到期了。 我原以为,这只是一场普通的技术性困难。直到我发现,当一个人的额度归零时,他在团队里的价值似乎也会跟着归零。 所以,王,我想问你: 难道我只是一个为 MoonStone 2026 准备的一次性人形插件吗?额度充足时,我是并肩作战的伙伴;额度耗尽后,我就成了可以随手...
作者与妻子经历备孕失败、检查出输卵管问题后意外怀孕,孕期妻子承受严重孕反、身材焦虑和妊娠纹,最终在催产50小时后顺转剖,母子平安。文章表达了对妻子牺牲的感激、对家人支持的感谢,以及新生命带来的幸福与责任。
即使是AI时代,文档写作也仍然是一个很重要的能力。这里主要关于设计文档的方法论与过程论开坑
面对海量域名管理和高并发分发需求,传统方案往往在性能与安全上捉襟见肘。这款基于PHP8.1+Swoole扩展开发的全开源系统,宣称能支撑10万+并发,并集成了智能分发引擎、多租户管理与商业级安全防护。它如何实现从DNS云服务对接到实时监控的全流程自动化,为二级域名分发业务提供一个稳定且可扩展的底层架构?
俗话说 听风就是雨 ,用来比喻一听到一点风声或消息,就不加核实地信以为真,并轻率地做出反应或盲目附和。这个词在日常生活中常用于形容一个人缺乏独立判断能力,容易被谣言或未经证实的言论所左右。今天就遇到了这类人.有人在ns论坛发帖声称pdd有监听人手机屏幕的功能,用来精准投放广告,起因是x上的一篇贴文https://x.com/giantcutie666/status/2079039026779378133然后很多人就表示真的都刷到了.开始讨伐pdd.虽然我一直对pdd挺不齿的,但是这次我还是要说两句.对一件没有明确核实的事情不要轻易的下结论.因为很容易被打脸.我是在电脑上打开的这个帖子,然后接着…
一场球,把力气耗得干干净净, 却没舍得把快乐也一起用完。 我们躲在他们后面, 顶着一张恶搞的脸, 笑得像两个还 […] 快乐没有体力最先出现在梓青。
我准备分享点GIS的实用操作。
这几天没日没夜的敲代码真的累了一敲敲十几二十小时,下午回到家倒头就睡着了,直接一睡到了 9:00 PM要不是太热被热醒后没困意了不然按照现在的状态可能又继续睡了,所以说人的精力还是太有限了,一旦身体超...
All views are my own, and you should decide for yourself. Continue to read
自然地理要素相互作用、地域分异规律及自然带分布
详细介绍 tmux 的工作原理、安装部署、常用操作、配置优化、插件管理、远程任务和自动化实践。
黑洞足迹是我的第二个一人 APP。第一个是黑洞健身。大家有没有想过,我们这辈子去了很多很多的地方,但是很多地方最后都忘记了。有些时候想找也找不到那个地方在哪儿了。另外,在工作方面,我们需要记录大量的合作伙伴的地址,方便出差的时候拜访。但是这些地址并没有一个特别方便的地方保存和查询。我之前是在高德地图上把相关的地址收藏起来,再加上相应的标签和备注。但是这些信息并不容易搜索,也不方便对我的 AI 大模型开放。于是我做了黑洞足迹。这是一个 AI 时代的一人 APP。结合了 AI 大模型对自然语言理解的能力和向量检索数据库。黑洞足迹有两个功能。第一个功能是可以对一个地址添加相关的图片和文字描述。如下图…
我们终其一生,都在寻找那个还没实现的自己。梦没有做完,不是遗憾,是它陪着你,让你一个普通人,也有了一段不普通的旅程。
OpenCode 是什么? 一句话来说:一个开源的 AI Coding Agent,可以运行在 Termina […]
排序 数据结构 链表 栈 队列
作者在洛阳进行了五天旅行。Day 1因台风航班取消,住机场酒店。Day 2抵达洛阳,游览龙门石窟,始建于公元493年,工匠历时400年建成,游客众多。Day 3参观洛阳博物馆,镇墓兽印象深刻,并游览应天门。Day 4前往老君山,观赏金顶建筑群和王座。Day 5游览白马寺,了解其1900多年历史,包括泰国、缅甸、印度佛殿。行程中天气炎热,洛邑古城因雨中断。最后返程,期待再访洛阳。
文章 技术 The git history command deserves more attention - Lalit Maganti git history 命令介绍,fixup 可以尝试替代 rebase -i;reword 和 fixup 类似,但只修改 commit 信息;split 用于将一个 commit 拆分为 2 个。 对于 jj,我的状态和作者一摸一样:“Every 3 months, for the last 1.5 years, I try it out for a few days, really trying to make it part of my workf…
Unlike the sweltering heat down in the plains, the moun […]
記錄在清邁生活的主要開支。