Tefnut L
242 posts

Tefnut L
@tefnut42
CS PhD | AI Native | Smarter Growth
Katılım Haziran 2025
827 Takip Edilen78 Takipçiler

bye bye
GitHub@github
Starting June 1st, GitHub Copilot will move to a usage-based billing model as GitHub Copilot supports more agentic and advanced workflows. In early May, you'll see a preview bill experience, giving visibility into projected costs before the transition. 👉 Read more about the upcoming change: github.blog/news-insights/…
HT
Tefnut L retweetledi

学习了,非常好的经验分享,大家应该遇到过开了虚拟网卡模式之后,微信发不了图的情况~
雨哥向前冲@xiangxiang103
如果你的魔法开启了tun模式,微信发图片很慢,可以在你的订阅里加几条这样的前置规则,如果不会自己添加就丢给你的ai让他处理。规则推特好像发不出来,大家用工具或者ai提取吧!
中文
Tefnut L retweetledi

Launching pyptx — a Python DSL for writing NVIDIA PTX kernels.
One PTX instruction = one Python call. Write pure PTX in Python.
Direct Hopper + Blackwell support: wgmma, TMA, tcgen05, mbarriers. JAX + PyTorch integration.
Includes GEMM, grouped GEMM, RMSNorm, SwiGLU, and a PTX→Python transpiler
pip install pyptx[torch]
pip install pyptx[jax]
github.com/patrick-toulme…
English
Tefnut L retweetledi

@lidangzzz 这是好事啊
如果大家都不买房
工行贷款业务怎么来?
没贷款业务,工行哪来的每年4%的高分红?
这背后是多少家庭30年月供出来的
中文

Zed 也出 conductor like 的项目了
- 基于 acp 能连一切 agent
- 一如既往的 gpui 120 fps 顺滑
我要试试!
zed.dev/blog/parallel-…
我最近搞得 con 的核心就是 zed 团队的 GPUI + libghostty 🫡

中文
Tefnut L retweetledi

We decided not to hype Opus 4.7 in @adalengineer .
After testing it, our view was simple: for production use, it feels more like a regression than an upgrade over Opus 4.6.
A few reasons:
- weaker performance on real-world tasks
- less effortful reasoning
- a hidden pricing hit from tokenizer changes, with the same prompt counting as up to 35% more tokens
So while Opus 4.7 is now available in the latest version of AdaL, we’re not positioning it as a headline improvement.
Right now, our team is still sticking with Opus 4.6, Gemini 3.1 Pro, and GPT 5.4.
We’d rather be honest than promotional.
If you’ve used Opus 4.7, I’d love to hear your review.
English

@HiTw93 这个主题很好看,Python Script 可以考虑用 uv 来驱动 docs.astral.sh/uv/guides/scri…
中文

周末在整一个新的 Skill 叫做 Kami (紙, かみ),大伙可以把他当做 Waza (技, わざ) 的妹妹,Kaku(書く) 的女儿,主打用于 Paper 排版的场景。
比如说你需要产出一页纸的报告,你需要写一个白皮书、需要产出一个精致的PPT、需要弄一个作品集的 PDF 发给别人等等,也就是任何排版的打印场景都可以使用,自动生成精致PDF,里面还具备自动绘制清晰图的能力。
差不多快弄好了,晚上下班后继续整了整,慢慢舒服了,还需要做一点装修的事情,我非常喜欢简洁、清晰、美观的设计方案,但是不喜欢现在看着都是一样的 ai design 风格,所有就用周日一整天做了 Kami,用于我的创作类输出,也分享给小伙伴,期待这周来开源。




日本語

看吧,GitHub Copilot 也禁不住被那么薅了 🤣 直接 Pro 中会把 Opus 模型移除,也不允许新注册的 Pro/Pro+/student 了。
这次整体策略精准,唯一问题是 Pro+ 中仅保留了 Claude 4.7 (很高倍率)
当然,现在其实 GPT-5.4 效果就挺好的,大多数需求都可以满足,而且是 x1
github.blog/changelog/2026…
中文

Composer 2 虽然是基于 k2.5 rl 的,但是其实到目前为止只有 Cursor 这一个 llm 应用团队证明了自己有高水平 rl 的能力,这 20亿一融,Cursor 自家模型一训,说不好御三家变御四家了。
真实的企业订阅数据 == 高质量的编程数据。高密度人才 == 高水平的产品ship能力。还卷。怎么会凉?
老鬼@laogui
都以为 cursor 没人用了,实际情况是:Cursor 正洽谈以超过 20 亿美元融资、估值达 500 亿美元。 techcrunch.com/2026/04/17/sou…
中文

















