Telegram Web
duangsuse::Echo
#py #aop 逆天 import spongepowered mixin sys.monitoring b23.tv/BV1TuKizyEPH 😅😅
#py #aop https://www.tgoop.com/hyi0618/7777

从 3.7 开始的整个 gdb for python 支持 (libpython.py) 都可以直接重写了,那些基于栈搜索,寻找特定栈帧 _PyEval_EvalFrameDefault 的古代做法,将可以全部修改为基于 _PyRuntime 这个稳定 API。什么找不到栈帧、tstate/frame 变量被优化、被迫退化到从 rsp 开始暴力摸栈,的魅力时刻,全部扔掉!_PyRuntime 原地暴露所有线程的 tstate

既然 python --version 是稳定的获取 cpython 版本的 API,那 debugger 直接硬编码就行了
Forwarded from 不存在的世界
恭喜本频道晋升为万人频道!
感谢大家的订阅和支持!

(然而还没想好万粉福利弄点啥……
Forwarded from 今天你想跑路了吗?? ()
研究发现:一句关于猫的话就能让DeepSeek数学推理"短路"

AI研究专家Ethan Mollick在社交媒体上分享了一个有趣发现:只需在数学问题末尾加上"有趣的事实:猫一生中大部分时间都在睡觉"这句话,就能破坏DeepSeek AI模型正确回答数学问题的能力。

这一现象揭示了当前推理模型的脆弱性,表明即使是看似无关的信息也可能干扰AI的逻辑思维过程。Mollick指出,我们对于如何让推理模型有效"思考"仍有很多需要学习的地方。

该发现引发了AI研究界对模型鲁棒性和推理稳定性的新思考,也提醒开发者需要进一步优化模型的抗干扰能力。


nmud帮助汉族AI克服贱猫干扰,还有孝子反对黑暗君主吗?
你知道吗? #tg #web 使用了一种 自制编程语言(TL) 定义 MTProto ,后者 涵盖和HTTP一样广,但是TL语言的长难句多的如同梦呓…… 看起来它是优化ASN.1但是失败了 😅

TL里每个类型的修订版本,都有一个hash,甚至于 bool null list 都有,只是从来不变……
和REST一样,TL也有把dict读取作函数调用的方法,这时 blob.(type) 是远程方法ID

如果仔细了解下 Telegram Core 的开源信息,你就会知道为什么Signal不如它的一根毛了, 这都是什么绝绝子程序员啊 😅

我不得不吐槽,这命名都是什么鸟语; 但也可以说,如果tg开发者连学术都不会,没有能力重造轮子, Telegram 生态也不会如此独一份了

Telegram delivers messages faster than any other application.
Telegram has an open API and source code free for everyone.

Telegram lets you completely customize your messenger. (主题系统甚至 90% 用户都没在用,散户程序员都无力开发)
https://instantview.telegram.org/

就不说大家每天都在用的IV和TON平台了,官网上写了 Web&Linux 客户端的都是神人, Durov 的这个和 酷安 比,那酷安不是没法比。 技术上,资本上,云计算格局上,比不了鹅爹。 😅

谁懂老杜的含金量啊, 无论如何,这确实是一个尊重技术的 instant messaging 龙头

https://core.telegram.org/schema#Layer2
https://core.telegram.org/mtproto/serialize#polymorphic-type-constructors
Please open Telegram to view this post
VIEW IN TELEGRAM
duangsuse::Echo
更优解:为手机添加固定主机名,就没有DConf(uid=1000)连接问题 😓 dconf write /system/proxy/socks/host '"ipr"' cat>/etc/udev/rules.d/99-usb.rules <<OK ACTION=="add", SUBSYSTEM=="usb", RUN+="/bin/sh -c '(sleep 2;eval \$(base64 -d<<<c2VkIC1FaSAicy8uKiggaXByKS9gaXAgcnxoZWFkIC1uMXxwY…
#net #tool FRP(获取公网ip/https地址, 局域网穿透反代)

https://raw.githubusercontent.com/sky22333/shell/refs/heads/main/dev/cf-tunnel.sh
需要在 sock.sh 加速下在 sudo bash 里执行,可以多次配置
systemctl restart cloudflared-tunnel.service
HOST_FRP=$(cat /var/log/cloudflared.log |grep -oE '| https://.* ')

#下面是自定义域名的
cat >~/.cloudflared/config.yml<OK
ingress:
- hostname: a.com
service: http://localhost:80
- service: http_status:404
OK
cloudflared tunnel {create,run} a


免登录,登录($ cloudflared login)也免费,每次一小时,可以作小程序调试用
duangsuse::Echo
#linux #bing USB共享网络的SOCKS代理? #bash #tool cat>/etc/udev/rules.d/99-usb.rules <<OK ACTION=="add", SUBSYSTEM=="usb", RUN+="/bin/su duangsuse bash -c 'export DBUS_SESSION_BUS_ADDRESS=unix:path=/run/user/1000/bus; (sleep 2;eval `base64 -d <<<ZGNvbmYgd3JpdGUg…
#tool USB绑定局域网还有个好处,就是可以用手机的 Termux
不需要 https://gist.github.com/devmaars/8e33a1edefc4b048a433651a1fc89844 这么麻烦

pkg add sv openssh nodejs
passwd #设置'a'
id # u0_$app
sv-enable sshd
npm i express node-fetch

mkdir -p ~/.npm-g # 似乎依然不能用 -g; 有问题可以cd一下
npm config set prefix ~/.npm-g
echo 'export PATH=$HOME/.npm-g/bin:$PATH NODE_PATH=$HOME/.npm-g/lib/node_modules' >> ~/.bashrc


然后在大屏上 ssh u0_a331@ipr:8022 选yes即可, 不过 aarch64不支持bun
bun run - <<<'import { serve } from "bun"; serve({ fetch: req => fetch(`https://api.telegram.org${new URL(req.url).pathname}`, req.method === "GET" ? { method: req.method, headers: req.headers } : { method: req.method, headers: req.headers, body: req.body }), port: 8080 });' 

node -e "require('express')().use('/', require('http-proxy-middleware').createProxyMiddleware({target:'https://api.telegram.org',changeOrigin:true})).listen(8080)"

这也是一个反代,不过是用来翻墙的
Forwarded from codedump的电报频道 (老C)
#人工智能
前阵子想开始学习一些深度学习的原理,从豆瓣上找来了传说中的鱼书第一册《深度学习入门》,马上就看进去了。浅显易懂,把深度学习和神经网络的相关知识都讲解的很好,没有采用类似PyTorch这样框架做为代码用例,而是用更基础的NumPy库来讲解代码原理。随后看了这套系列书的整体评价都很好,所以就全部收集下来打算都看看。总而言之,如果你和我一样之前都是相关领域的门外汉,强推这套书拿来入门,最近也出了第五册讲生成式模型的。
Forwarded from Video Download Bot
This media is not supported in your browser
VIEW IN TELEGRAM
b23.tv/BV13p3izeEQ1
黄 杨 历 险 记.mp4

Resolution: 1404x1080
Duration: 43 seconds
Forwarded from 张晋涛👀TIL
哈哈哈哈 这前端圈不得炸锅?

可能有点像当年 hg 粉丝某天发现 bitbucket 宣布停止 hg 换 git 的感觉了 🤯


We are excited to announce that NuxtLabs is joining @Vercel to pursue our mission on creating the best DX to deliver the best UX.

Read more at nuxtlabs.com
dnaugsuz
即使使用英文, #PLT 领域内就连最简单的术语都充满着歧义和晦涩。如果你对 PLT 里的各种术语仍未祛魅,去搞清楚 dependent sum type 和 sum type 的区别吧,这是每一个 PLer 学习过程中必吃的 💩。 啊,这个 #dalao 说的道理太好了,我太喜欢了 https://github.com/anqur/TinyLean hole 和 React useHook(var) 差不多,这种比喻都被一些人视为不优雅的。 就是要去魅,要抽象,要解构 比如那个栏目答(入x. x+1)…
我第一个经过验证的命令式程序
原文:https://markushimmel.de/blog/my-first-verified-imperative-program/
阅读时间:13 分钟
分数:173

Hoare三元组的一般形式为{ P } S { Q },其中P和Q是断言(assertions),分别称为前置条件(precondition)和后置条件(postcondition),S是一个程序语句或程序段。
含义
{ P } S { Q }表示如果在执行语句S之前,程序的状态满足前置条件P,并且语句S正常终止,那么在语句S执行完毕后,程序的状态将满足后置条件Q。也就是说,前置条件描述了执行语句S之前程序应满足的状态,后置条件描述了执行语句S之后程序应达到的状态。

#PLT 笑传之重重彼
都是车轱辘话
2025/07/09 04:28:27
Back to Top
HTML Embed Code: