保护查询模式:解决全栈应用数据授权难题

2025-04-02
保护查询模式:解决全栈应用数据授权难题

现代全栈应用的数据授权复杂且容易出错。本文介绍了一种名为“保护查询模式”的优雅解决方案。该模式通过将纯查询函数与授权层封装,提供`query.protect`和`query.unsafe`两种方法,分别用于执行授权后的查询和直接调用纯查询函数。这种模式避免了授权逻辑的重复,提高了代码可维护性和可读性,并支持数据脱敏功能。Kilpi库可以简化该模式的实现,并提供集中式授权和数据过滤功能,进一步提升开发效率。

阅读更多
开发

Azure API 连接的安全漏洞:权限提升与秘密泄露

2025-03-12

安全研究人员Binary Security发现Azure API连接中存在未公开的API接口,攻击者可利用这些接口提升权限并读取后端资源的密钥,例如Key Vaults、存储Blob、Defender ATP,甚至企业Jira和SalesForce服务器。攻击的核心在于,任何拥有API连接读取权限的用户都可以调用连接中定义的任何GET请求,从而绕过正常的安全机制,访问敏感数据。Microsoft已确认并修复了该漏洞。

阅读更多
科技

交互式组合数学视频教材:ABjC

2025-06-21

ABjC是一个由四部分组成的组合数学视频教材,每部分对应于在IMSc教授的课程。该教材以视频形式呈现,并配有可交互浏览的网站,方便用户查找特定章节和时间点。内容涵盖枚举组合、代数组合和双射组合等多个方面,并包含一些新的研究成果和对经典理论的新颖呈现方式。该教材适合本科生、研究生和研究人员学习,并包含针对不同水平学生的章节。

阅读更多
开发 视频教材

难以置信的错位:同义词组成的反义词对

2025-05-05

一个名为“Unparalleled Misalignments”的网站收集了大量“错位词组”,这些词组由彼此同义的单词组成,但却表达截然不同的意思,例如“Butt dial”和“Booty call”。自2018年以来,该网站不断更新,并接受网友投稿。这些巧妙的词语组合,不仅展现了语言的趣味性,也引发了人们对词义和语境的思考,堪称语言学领域的奇观。

阅读更多

Rust 实时安全分析器:RTSan-Standalone-rs

2025-01-23

本文介绍了 `rtsan-standalone-rs`,一个用于 Rust 的实时安全分析器。它基于 LLVM 的 RealtimeSanitizer (RTSan),能够检测实时编程中难以发现的违规行为,例如内存分配。作者克服了 RTSan 原本仅支持 C++ 的限制,创建了这个易于使用的 Rust 包装器,并详细解释了其实现原理和使用方法,包括 `nonblocking`、`blocking` 和 `no_sanitize_realtime` 宏的使用。该库有助于开发者编写更安全可靠的实时程序,避免因内存分配等操作导致的计时故障。

阅读更多
开发

在仅支持物理SIM卡的设备上使用eSIM:9eSIM卡测评

2025-01-20
在仅支持物理SIM卡的设备上使用eSIM:9eSIM卡测评

本文介绍了如何使用9eSIM SIM卡在仅支持物理SIM卡的Android和Linux设备上使用eSIM。作者购买了9eSIM套装,包括SIM卡、读卡器和适配器。初始设置略显复杂,需要将SIM卡与原包装一起使用才能与读卡器正确连接。通过Android应用或Linux命令行工具lpac(以及其GUI EasyLPAC),可以轻松添加、切换和删除eSIM配置文件。作者还测试了免费的测试eSIM配置文件和付费的LycaMobile eSIM,并成功在Linux笔记本电脑上实现了eSIM连接。

阅读更多

麒麟啤酒的“电子盐勺”:CES 2025 上的低钠饮食革命?

2025-01-11
麒麟啤酒的“电子盐勺”:CES 2025 上的低钠饮食革命?

在 2025 年 CES 上,麒麟啤酒公司推出了一款电子盐勺,它利用微弱电流浓缩食物中的钠离子,增强低钠食物的咸味和鲜味。这款勺子基于 2013 年获得搞笑诺贝尔奖的研究,已在日本上市,麒麟公司希望将其推向全球市场,帮助人们减少钠摄入量,尤其是在高钠饮食普遍的日本。虽然 TechCrunch 没有亲自尝试,但现场的尝鲜者众多,反响热烈。

阅读更多

日本科研的跨学科困境与突破之路

2025-02-11
日本科研的跨学科困境与突破之路

日本科研长期受困于学科壁垒,跨学科研究严重缺乏资金支持,导致创新能力下降。文章指出,日本科研资助机构应学习欧美经验,从项目资助转向人才资助,支持高风险、高回报的跨学科项目,并扩大评审专家队伍的多样性,以促进跨学科研究发展,提升日本在全球科研领域的竞争力。以冲绳科学技术大学院大学为例,其灵活的科研经费模式和鼓励跨学科合作的制度,已取得显著成效。

阅读更多
科技 科研资助

Factorio蓝图可视化神器:将你的工厂变成艺术品

2025-01-09
Factorio蓝图可视化神器:将你的工厂变成艺术品

热爱Factorio游戏的玩家们,是否想过将自己辛辛苦苦建造的工厂,或者精雕细琢的蓝图,以一种更艺术的方式展现出来?现在,一个名为Factorio Blueprint Visualizer的Python库和交互式网页工具应运而生。它可以将Factorio蓝图文本转换为精美的矢量图形(SVG),展现出建筑物、传送带、管道等细节,并支持自定义绘制设置,甚至可以生成随机风格的图片。开发者还利用该工具创建了一个数据集,用于微调SDXL文本转图像模型。该工具不仅能用于欣赏工厂的艺术美感,还可以用于创建可打印的工程图。

阅读更多
游戏

飓风来袭,我逆向工程了Waffle House的网站

2025-05-28
飓风来袭,我逆向工程了Waffle House的网站

2024年9月底,飓风海伦袭击佛罗里达州。大学停课,人们忙着加固房屋,而我却在逆向工程Waffle House的网站。我利用其Next.js网站中隐藏的JSON数据,构建了一个实时追踪Waffle House门店关闭情况的网站,以此辅助评估飓风灾情。这个网站意外走红,吸引了大量关注,甚至引起了Waffle House官方和知名评论员Frank Luntz的注意。最终,由于商标问题,我不得不下线网站,但这段经历充满了乐趣和意外。

阅读更多
开发

o3-mini精准模拟复杂计算,无需代码解释器

2025-02-24
o3-mini精准模拟复杂计算,无需代码解释器

作者使用o3-mini大语言模型,仅通过自然语言描述,就成功模拟了TfidfVectorizer在不同参数设置下的输出结果。令人惊奇的是,o3-mini在没有使用代码解释器的情况下,准确预测了包含Scikit-learn库的Python代码的运行结果,与实际运行结果几乎完全一致。这展现了大型语言模型在理解和模拟复杂计算方面的强大能力,引发了对AI模拟现实的思考。

阅读更多

LLM代码生成闭环:未来程序员的生存之道?

2025-02-15
LLM代码生成闭环:未来程序员的生存之道?

Cursor等LLM驱动的开发工具的成功率只有40%,但这并不意味着它们没有未来。作者通过自身的经验,以及对Semgrep等代码安全工具的分析,阐述了LLM代码生成闭环的巨大潜力。这种闭环系统能够让LLM自行调试代码、生成单元测试,甚至编写Semgrep规则来检测漏洞。这将大大提高开发效率,并改变我们编写代码的方式,未来程序员或许需要掌握如何驾驭这些强大的模型。

阅读更多
(fly.io)
开发

Adobe Project Indigo:挑战手机摄影极限的AI相机应用

2025-06-23
Adobe Project Indigo:挑战手机摄影极限的AI相机应用

Adobe推出了一款名为Project Indigo的iPhone相机应用,由前谷歌Pixel相机团队成员打造。该应用结合了计算摄影技术和AI功能,提供专业级手动控制和自然影像效果,避免了过度处理。它通过组合多达32张照片,并进行轻微的色调映射和锐化,实现高画质输出,还具备AI驱动的“去除反光”等功能。目前仅支持iPhone 12 Pro及以上机型,Android版本即将推出。

阅读更多
科技

Inigo Quilez的计算机图形学教程宝库

2025-05-22

Inigo Quilez是一位资深的计算机图形学专家,自1994年以来一直致力于学习和分享他的知识。他的网站提供大量的计算机图形学教程,涵盖了从SDF和光线追踪到分形和数学技巧等众多主题。教程以简洁明了的代码片段和清晰的解释为特点,适合不同水平的学习者。此外,他还提供了视频教程和其它资源,并开放了代码的MIT许可,方便大家学习和应用。

阅读更多
开发 SDF

别再教那些没用的数学了!概率统计才是王道

2025-03-03
别再教那些没用的数学了!概率统计才是王道

作者批判了当前中学数学教育的弊端,认为过度强调微积分和三角函数等对大多数学生而言毫无用处的知识,而忽略了概率统计的重要性。概率统计在日常生活中应用广泛,能帮助学生理解风险、辨别虚假信息、做出更明智的决策等。作者建议改革数学课程,将概率统计放在更重要的位置,并结合实际应用场景进行教学,例如体育分析、社交媒体、游戏策略等,让学生体会到数学的实用性和乐趣。

阅读更多
教育 概率统计

FBI警告:AI换脸诈骗瞄准美国官员

2025-05-16
FBI警告:AI换脸诈骗瞄准美国官员

FBI发布警告,指出自4月以来,网络罪犯利用AI生成的音频深度伪造技术(语音深度伪造)进行语音钓鱼攻击,冒充美国高级官员窃取信息。攻击者通过短信和AI语音信息(smishing和vishing)与目标建立联系,诱导其点击恶意链接,从而入侵账户,获取更多政府官员的联系方式,最终实施进一步的诈骗活动,例如窃取敏感信息或诱导转账。这并非个例,此前已有类似的深度伪造攻击案例出现,预示着AI深度伪造技术在网络犯罪中的广泛应用,值得警惕。

阅读更多
科技 语音钓鱼

TikTok算法偏向共和党?2024美国大选期间推荐内容分析

2025-02-04
TikTok算法偏向共和党?2024美国大选期间推荐内容分析

一项最新研究发现,TikTok的推荐算法在2024年美国总统大选期间存在偏见,倾向于向共和党支持者推荐更多符合其政治立场的视频内容。研究人员通过模拟用户账号进行实验,发现共和党倾向的账号比民主党倾向的账号获得更多与其立场一致的内容,而民主党倾向的账号则更容易接触到反对意见。这种偏见并非由视频受欢迎程度等因素决定,而是主要由负面党派内容驱动,即批评对方党派而非宣传自身党派的内容。研究结果引发了人们对TikTok算法中立性和其对政治舆论影响的担忧。

阅读更多
科技

Sun Microsystems员工8号的创业故事

2025-04-30
Sun Microsystems员工8号的创业故事

本文讲述了作者40年前加入Sun Microsystems(当时还是一家小型创业公司)的经历。作者从Amdahl公司转投Sun,这其中经历了对UNIX和Motorola 68000技术的关注,以及与Sun创始团队成员的会面。作者凭借其在UNIX和工作站领域的经验,以及其兄弟在Xerox的工作背景,最终加入Sun,并成为其早期核心成员之一,参与了Sun-1的开发和BSD UNIX的移植工作,见证了Sun的快速发展。

阅读更多

偏导数循环恒等式之谜:-1的惊人出现

2024-12-16
偏导数循环恒等式之谜:-1的惊人出现

本文探讨了偏导数循环恒等式,即∂z/∂x * ∂x/∂y * ∂y/∂z = -1,而非直觉的1。文章通过一个例子和多种证明方法,包括微分形式和几何解释,揭示了这个看似违反直觉的恒等式背后的数学原理。作者还探讨了该恒等式在物理学中的应用,并解释了其背后的直观理解。

阅读更多

Perf 性能分析工具的栈展开难题

2025-01-31
Perf 性能分析工具的栈展开难题

Perf 是一款强大的性能分析工具,它通过 PMU 计数器溢出中断来捕获线程状态,进行性能分析。但栈展开却是一个棘手的问题。现代编译器默认不生成帧指针,导致栈回溯变得困难。虽然可以使用 -fno-omit-frame-pointer 重新编译,但代价高昂且可能导致系统库不兼容。DWARF 提供了另一种方案,但其复杂性和性能开销巨大,Linus Torvalds 都明确反对将其用于内核栈展开。因此,Perf 采取折中方案:只复制栈顶部分到用户空间进行展开,虽然限制了栈大小 (65,528 字节),但能有效平衡性能和实用性。

阅读更多
开发 栈展开

Guile Hoot 0.2.0发布:用Scheme构建交互式网页

2025-05-28

Guile Hoot 0.2.0发布,它是一个将Scheme编译成WebAssembly GC的编译器。新版本引入了外来函数接口(FFI),允许开发者直接用Scheme编写大部分Web应用代码,从而摆脱对JavaScript的依赖。文章通过构建一个简单的“Hello, world!”程序,一个带有交互式按钮和计数器的程序,以及一个待办事项列表,逐步演示了如何利用Scheme和FFI操作DOM,构建交互式网页。其核心在于利用Scheme的强大符号操作能力,结合SXML,构建高效的虚拟DOM,实现类似React的差异化更新机制。

阅读更多
开发 Guile Hoot

Tokasaurus:一款为高吞吐量工作负载优化的LLM推理引擎

2025-06-05
Tokasaurus:一款为高吞吐量工作负载优化的LLM推理引擎

斯坦福大学的研究人员发布了Tokasaurus,这是一个针对高吞吐量工作负载优化的LLM推理引擎。针对小型模型,Tokasaurus通过极低的CPU开销和动态Hydragen分组来利用共享前缀。对于大型模型,Tokasaurus支持具有NVLink的GPU的异步张量并行性和对不具备NVLink的GPU的快速流水线并行性实现。在吞吐量基准测试中,Tokasaurus的性能最高可超过vLLM和SGLang 3倍以上。该引擎旨在高效处理大型和小型模型,并具有显著的性能优势。

阅读更多

YouTube首页广告泛滥:从30个视频到几乎无视频的演变

2025-04-30

作者对比了2019年和现在的YouTube首页,发现广告数量大幅增加,视频数量锐减。以前能看到30个视频,现在只有5个,而且占据了1/6页面的巨大广告。作者预测,到2026年5月,首页可能只剩下一个视频,到9月可能完全没有视频。他认为YouTube过度追求盈利,牺牲了用户体验,并调侃未来可能通过Neuralink直接向大脑投放广告。

阅读更多
杂项

用着色器创造迷人的后期处理效果

2025-02-09
用着色器创造迷人的后期处理效果

本文介绍了作者在2024年学习着色器技术并将其应用于后期处理的经验,通过借鉴其他艺术家的作品,例如@samdape和@hahajohnx等,实现了各种精细的像素图案、错视效果和互动式后期处理效果。文章详细讲解了像素化、使用SDF和阈值矩阵创建图案、以及实现LED面板、编织效果、乐高积木和磨砂玻璃效果的技术细节,并提供了相应的代码示例和演示。

阅读更多
设计

AI时代程序员的消亡与新生

2025-02-04
AI时代程序员的消亡与新生

文章探讨了AI对编程行业的影响,认为AI正在逐步取代程序员的一些基础技能,例如编写代码和调试错误。这类似于计算机的发明取代了人工计算员的工作。作者认为,这并非程序员技能的退化,而是效率的提升。未来程序员的角色将转变为更高级的架构师和AI的管理者,专注于系统设计、AI监督和结果评估,而非单纯的代码编写。

阅读更多
开发 未来职业

你的电视在监视你:流媒体广告的崛起与隐私的代价

2025-03-28
你的电视在监视你:流媒体广告的崛起与隐私的代价

流媒体平台为了盈利,正越来越多地投放广告,甚至监控用户的观看习惯,进行精准广告投放。文章以Roku为例,讲述了其从硬件公司转型为广告公司,并通过收购广告技术公司,收集用户数据,实现精准广告投放的过程。文章指出,这种趋势并非Roku独有,许多电视厂商和科技公司都采用了类似策略,利用自动内容识别(ACR)技术监控用户的观看内容,并以此为基础进行数据分析和精准广告投放。虽然个性化广告能带来更相关的广告体验,但用户隐私的担忧也随之而来。文章最后建议,如果想要避免广告和数据收集,可以考虑使用老式电视机,并避免连接任何智能设备。

阅读更多

Chemours欲封存2万页文件,环保组织誓将真相大白

2025-04-30
Chemours欲封存2万页文件,环保组织誓将真相大白

Chemours公司及其前身杜邦公司试图封存近2万页文件,这些文件涉及该公司在北卡罗来纳州排放全氟烷基和多氟烷基物质(PFAS)污染环境的证据。南方环境法律中心(SELC)代表多个环保组织向法院提起动议,要求公开这些文件,认为这关系到当地居民的健康、财产和未来几代人的福祉。Chemours公司声称这些文件涉及商业机密,但环保组织指出,该公司此前已在公开场合宣传其产品和业务战略,此举实属掩盖真相。此事件引发公众强烈关注,数千人已签署请愿书,要求公开文件。

阅读更多
科技

Go语言高性能并发哈希映射库cmapv2

2025-06-17
Go语言高性能并发哈希映射库cmapv2

本文介绍了Go语言的一个高性能并发哈希映射库cmapv2。该库使用MurmurHash算法,提供两种类型的Map:普通Map和分片Map,分别适用于不同的并发场景。示例代码展示了如何初始化、插入、检索和删除键值对。文章还提供了性能测试方法,可以使用`go test`命令结合`pprof`工具进行CPU和内存性能分析。

阅读更多

WhatsApp 成为 iPhone 默认短信和通话应用

2025-03-27
WhatsApp 成为 iPhone 默认短信和通话应用

WhatsApp 25.8.74 版本更新后,iPhone 用户现在可以选择 WhatsApp 作为默认短信和通话应用。此前,苹果公司宣布欧盟用户可以更改默认通讯应用,并在 iOS 18.2 中将其扩展到所有用户。用户可以在设置 > 应用 > 默认应用中更改默认短信和通话应用。此更改后,点击网页上的电话号码或通讯录中的消息按钮,iPhone 将自动启动选择的应用。

阅读更多
科技 默认应用

阿里巴巴开源Qwen 2.5:百万token上下文长度的LLM

2025-01-26

阿里巴巴发布了其开源大语言模型Qwen 2.5的重大更新,上下文长度提升至惊人的100万token!这得益于名为“Dual Chunk Attention”的新技术。目前已在Hugging Face上发布了7B和14B参数的两个版本,但运行它们需要大量的VRAM:7B版本至少需要120GB,14B版本则需要至少320GB。虽然可以使用较短的任务,但阿里巴巴推荐使用他们定制的vLLM框架。此外,已经出现了GGUF量化版本,体积更小,但在处理完整上下文长度时可能存在兼容性问题。博主尝试使用Ollama在Mac上运行GGUF版本,但遇到了一些问题,后续将更新运行结果。

阅读更多
1 2 967 968 969 971 973 974 975 1084 1085