WeWorkBuddy

Home / Browse

All stories

Browse every indexed public story, including items outside the main categories.

7607 public stories

TechCrunch ·

Axiom Math wants to keep AI slop out of mathematics

As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.

Hacker News ·

Show HN: Securing GrokBot

A friend at another tech startup was telling me how they started using Grok Bot and loved it. Surprise surprise they also got pretty worried about what it's doing and the visibility they had. Digging under the hood, hey there's a Linux VM and a Chrome browser. This is really cool because it essentially defines an environment that is really similar to a typical workstation. After some playing around I got the LimaCharlie EDR installed, the Chrome LC EDR installed and the email provider connected

TechCrunch ·

TikTok quietly launches a stand-alone TikTok Shop app

The app will offer personalized product recommendations, shopping through livestreams and short-form videos, app-exclusive deals, in-app checkout, order tracking, and customer support.

V2EX ·

[程序员] GPT 的设计品味令人遗憾。

在写 Myosotis 的过程中发现的问题。写出来新功能后，花了几倍的时间去删除和清理它加入的多余内容。 现在的 GPT 把用户当作没有思考能力的婴儿，往界面里塞各种提示、警告、浮窗信息，毫无交互友好度，这样做出来的软件会让人根本不想用。

V2EX ·

[分享创造] 用 MyGo 写了个 Windows 便携式应用启动器，原生界面，无 WebView

参考了 CLaunch 的交互，也支持导入 Claunch.ini 配置文件。 支持把常用的程序、文件 按页面分类，点击启动，支持搜索、托拽，列表、网格视图。 用来收纳和启动一些单机游戏和程序非常方便。支持自动累计运行时长，也可手动修正。 截图： 仓库： https://github.com/canwdev/mygo-launcher 下载： https://github.com/canwdev/mygo-launcher/releases 欢迎使用和反馈！

V2EX ·

[分享创造] GPT image 2.6 生成 GIF 动图在线工具来了

昨天 chatgpt 发了新模型 image2.6 ；可以生 GIF 和 SVG 图； 今天 X 上很多人分享了很多好玩的提示词，这里也按场景也一并整理了，方便开盒即用。欢迎大家体验，可以免费试用； 输入文字描述，就可以生成图片、GIF 循环动图或 SVG 矢量图；生成图片和 GIF 时，还能上传参考图，并按需调整画面比例、尺寸和质量。做社交媒体配图、创意素材，或者尝试游戏原型里的视觉元素，都可以试试。 感兴趣的朋友欢迎体验，也欢迎反馈建议～ 👉 体验 GPT Image 2.6 https://gptimage26.ai

V2EX ·

[分享创造] 国行 Apple Intelligence 11 月 4 日实测：首批功能逐项结果

11 月 4 日开发者测试版一开，我按清单逐项测了国行 Apple Intelligence 首批功能，包括核心功能表现、千问接入时的同意弹窗原文、翻译相关项，以及此前存疑的缺席项。 完整实测与截图在文章里： https://mp.weixin.qq.com/s/llNlutAbMOvU1PAFO0amtg 最值得先看的一条：国区 AI 迟到两年，首批更像把琐事做顺手，不是科幻助理上线。 欢迎对照自己的机型复核——有出入的地方我再补测。

V2EX ·

[推广] Ai 海内外全模型最低至 4 折 阿里腾讯华为火山国内站 7 折 阿里国际/GCP 可至 65 折 AWS 新号 65 折/老号无需迁移 85 折 腾讯国际 55 折

阿里云 7 折 腾讯云 7 折 华为云 7 折 阿里 CDN 3900U/P 腾讯 CDN 3900U/P 火山 CDN 3900U/P 谷歌云 GCP65 折 亚马逊云 AWS 新号 65 折/老号无需迁移 85 折 腾讯云国际 55 折 阿里云国际 65 折 华为云国际 65 折 AWS 全球节点 CDN 加速 1 折 Ai 模型低至 4 折 火山国际 7 折 TG 详聊：@Tiangua7

Hacker News ·

Show HN: PDF Reading, Annotation and Signing Inside Your Markdown Notes

EtherPK ( https://app.etherpk.com ) now reads, annotates, signs and manages PDFs: Click a link to a PDF in your notes and it opens in a tab inside the app, where you can read it, mark it up, fill in forms, sign and save a copy. You can even ask your Agent about content if you have configured AI Agent models in EtherPK. Using the PDF view as a reader is a 1st class use case and we have added features for remembering position and bookmarking pages in your PDFs. EtherPK has added 1st class PDF tool

Show HN ·

Show HN: Radio Dystopia

I love the dry techno sound of Commodore 64 SID tunes for deep work, but realized I like them even better with a custom effects/mastering chain, and there was no existing online place to get that. And given the times, I also added dystopian ads and DJ banter from planet Zomrog to set the right vibe. So basically a 24/7 wordless web radio station that plays very obscure techno and is also a kind of long-form radio play

Hacker News ·

Show HN: Revline – An open-source AI-native video editor

Hi HN, I'm Zura, and I'm building Revline, a fully agentic video editor. Revline can take your rough draft of a short or long video, watch it, understand the content, and make edits like a real editor would. It's been super useful for me (not biased, obviously). I want to post more content, but my output has never matched how frequently I want to post. Editing takes too much time, and every video I don't finish is waste of time(and money). The problem I've had (and still have) with current &quot