https://jibencaozuo.com/zh-Hans/discussion/detail/2239 前天刚认识1k fo的科普游戏「基本操作」就失败了 https://t.me/dsuse/17232

唉，挺可惜的；难道科普就只能靠爱发电，好知识付费反而会死吗（尽管国内价钱的确有点贵

Microsoft 恢复了 dotnet CLI 的热重载支持。dotnet/sdk#22262 已经被合并。 #dotnet #ms

https://devblogs.microsoft.com/dotnet/net-hot-reload-support-via-cli/

曾批评微信关闭个性化广告推荐需要多达 11 步且半年后需要重新操作的上海消保委在其微信公众号发文指出，在其测试的 8.0.16 版本中，微信只需要 5 步即可永久关闭个性化广告。

在对此改进表示肯定后，上海消保委又提出疑问：当用户关闭个性化广告推荐功能后，腾讯是否还会继续收集用户的行为数据？如果是，又是基于什么理由？

https://www.cnbeta.com/articles/tech/1201849.htm

#Tencent #WeChat #Personalized #Privacy

前端安全基础：不要把敏感内容放在前端
Google/Microsoft：学校 IT 管理员可以 fuck students up，解决产生问题的人就不会产生问题了哦

（啊对还有那谁。）

linksrc: https://t.me/plltxe/4400

我们怀念它 #it #security #java

请注意 CVE-2021-45046 被发现在某些非默认配置下可以利用来进行远程代码执行 (RCE) 攻击，而不只是之前提到的拒绝服务 (DoS) 攻击。
已经更新至 2.12.2 / 2.16.0 的用户依旧不受影响。

CVSS: 3.7 -> 9.0 （极其严重）

https://logging.apache.org/log4j/2.x/security.html

#CVE #PSA #Log4j

#oi #life M大几年NOIP故事。，直到最近的Mivik Round，我入门之前也接触过scratch。希望以后有机会做scratch编辑器😭

#conclusion
梦境彼岸：一切之后的回望
https://mivik.gitee.io/2021/life/dream

所以怪拿它分享fq方案的人咯（有关部门想封咋样都行（中国人不配体验 #web 尖峰 #china #net #js

🌚层叠的标签打得比我好，溯源也到位，内容我关注的其它频道没有……它变了

反正我也没打算搞IT🤪

层叠的风格的确变认真了，来源也多了，和它一年前相比 https://t.me/outvivid/2603

抖音抄OBS #gnu https://t.me/outvivid/3263 下面都是洗稿（确信🙈

#ai #ce 阿里云发布适用于 IntelliJ 的代码智能补全插件 Cosy，目前可以对 Java 代码示例搜索。据说离线的。

https://developer.aliyun.com/tool/cosy
https://t.me/ruyoblog/2786

许多用户发现他们存储在附加组件中的书签丢失了。 #Mozilla 一个3d主页插件……
Mozilla 由于组件违反其条款而封禁了 FVD Speed Dial 附加组件，并且将其从用户的浏览器中自动移除。

https://www.ghacks.net/2021/11/24/mozilla-bans-the-fvd-speed-dial-extension-from-firefox/

编游者认为，开发游戏的 Linux 版本带来的额外玩家相比额外的问题报告数太少，因此不值得特意支持。 u/koderski 则以相似的论据提出了一个相反的主张：支持 Linux 平台可以让独立游戏开发者得到一个免费的 QA 团队。

koderski 发布了一款支持 Linux 平台的游戏《ΔV: Rings of Saturn》[1]。这位开发者得来的经验是：对 Linux 平台的支持确实会为游戏开发者带来大量问题报告，
但这些问题报告绝大多数都是平台无关的，
因此并没有耗费开发者额外的时间。而且，Linux 用户提报的问题报告通常质量更好。

https://blog.gslin.org/archives/2021/10/25/10386/

结束洗稿。感觉可能需要一堆正则重构工具，我不想看到「一个一个一个」这样的量词🌶

😅开个玩笑啦，本频道以「编程」原创内容为主，这些只挑重点

呃既然你们觉得这技术也想了解，我之类弄mkey了解了些 讲。没博客也是我的失败，过几个月大概。

关系式 1=1 成立 1=2 不成立
a=1 和 1=a 成立
成立得解，于是程序=目标Goal=等式的所有解

注意，等号是没有方向的。在 #js 有 [x,y]=p 和 p=[x,y] ；看起来是关系式，其实等号左是模式pat、右值expr，关系式里，变量是值、含变量数组[a,1]=[1,a] 也是值-js里 [x,y]就是死模式

(append-out "a" x "abc") Yes. x="bc"
因为『未知量』也是值。
def (appendo a b c)
b=''&c=a |{x r. [x,r]=b&this([a,x],r,c) }
其中this是递归 ab皆链表
如a=c='?' 则成立
如a='1' b='2' 则 f(12,'',c)=a ，知道abc里任何两项都能推完-除非 f('a','','?a')={c!=a} No.

为啥变量也是值？因为语义不是「重写化简:(1+2)=3」而是归一 #fp unification ，即我开头说的 a=1&1=a ，成立， a=1|a=2 ，在不同上下文-各自成立。KV上下文{x r. goal}就是结果，它没有求值 只有a=b=c 相等性传播。这显然涉及数组解构(unify-[a]=[1])、再构(reify/grab v from ctx)，别忘了c=12的例子 有1个x变量，c=123 就有两个x 在回溯时=b[0]

实现细节都讲了，式Goal如=, &| {a b.}是组合其它式，得惰性K=Symbol/唯一str -V流的，一般 &会用eachNext([1],[2])=12 做,|就是并联，然后unify "abc"=[x,r]/grab "${x}bc" 都是deep的。un和deepEq类似但能给变量赋值，un失败得null。有变量 a:b,b:c 则 get(a)=c; get(2)=2

可以去 https://github.com/tca/veneer 试试关系式编程。因为相等关系能构成 [],{},"" 数据- 它们都是“算式得出”的，关系式可以实现列表处理和判定-但不能 while(1)print 这种“动作语义”
纯函数式(不含Scheme,rkt 等)也没有，但二者不同。

它可以用于类型推导 #kotlin #ce #typing
fun<T> T.let(op:(T)->R): R 里，类型参数没有上下界，只有「确定性」-每处T不能同时是Int,Date
因此在检查时，第一遍 receiver T 提供T:Int，ParamType 实例 (T)->R 试把自己的 T 与之归一，比如 Int|Number=Number ；第二遍检查 Int. 仍符合 Number.let 的签名，可以调用。
如果是 fun<T> Any.asType():T ，第一遍T没有信息(参数的-类型表达式 里没有使用) 也非T:Any ，推导就失败了；或者推导出 T=Int|Date=Any ，查不到重载，第二遍检查报错

T在编译期是和语法树1:1的data(var actual:Type?)，所以 fun rec(x:T)=rec(x-1).plus(1) 也推不出来/不该想那么多
而 val n=1 写明就是 <T>val n:T=1 ，T=typeof 1 ，如写 (n+2)且(+):TT->T 则也有 {T R. n=1 :T & (n+ 2:T):R } 关系式

qunie就是鸡兔同笼这类问题,TDD 是面向🐒跳键盘编程（确信..其实是先写检查），可以穷举也可上关系式，总之mk是挺直白的，确实是pdf界一股清流

https://t.me/ice_learn_arend/199 那么我们来看实际应用
\func wow {U : \Type} {T : U -> \Type} (A B : U) (a : T A) (b : T B) : Nat => zero

wow(U:T F:U->T) AB:U a(FA) b(FB) :Nat=zero
t1(AB:T) x:A y:B =wow ABxy --fail
t2(AB:T) x:A y:B =wow {_} {\. _} A B x x

是啊，是为什么呢🧐 又是怎么用呢

一说SQL和mk同类，只不过是查询既有关系(而且必需SELECT a,b或*)，此外有 swi-prolog.org

这也是我发投票 https://t.me/dsuse/17241 的原因
比如 #zhihu 某专栏的作者
浅尝 miniKanren，传说中的逻辑式编程（二） - 吴烜xuan三声的文章 - 知乎
https://zhuanlan.zhihu.com/p/372280127

如果不是因为科普的萎靡，他本来可以做更有价值的事，这难道不值得所谓的PLT人三思吗？ #statement

我到底是一个一个一个什么啊（全恼）🥱