小红花·文摘
  • 首页
  • 广场
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI

Safety in an Unsafe World:Netstack3 用类型系统把“buggy programs don’t compile”推到协议正确性 这篇文章来自 RustConf 2024 演讲的整理版,但内容一点都不轻。作者拿 Fuchsia 的 纯 Rust 网络栈 Netstack3 当主线,先摆出一个很硬的结果:在近一年的大规模 dogfooding...

【Rust日报】2026-07-28 Safety in an Unsafe World:Netstack3 用类型系统把“buggy programs don’t compile”推到协议正确性

Rust.cc
Rust.cc · 2026-07-28T01:07:07Z
内存安全大战:Fil-C的20%开销真比Rust的unsafe诚实?

20%的性能开销听着像割肉,但用Fil-C你直接调安全版C库,Rust那套FFI折腾半天图啥? Fil-C项目硬刚内存安全老问题,用编译器魔法给C语言套上安全枷锁,性能损耗控制在20%左右。推特上关于Rust unsafe、C指针乱飞、GLSL限制的争论炸了锅,Fil-C作者亲自下场撕逼,核心就一句:别跟我扯理论,看谁家代码真敢零开销跑起来。...

内存安全大战:Fil-C的20%开销真比Rust的unsafe诚实?

极道
极道 · 2026-07-23T00:48:00Z

CodeQL workshop for Java: Unsafe deserialization in Apache Struts

像清水一般清澈透明
像清水一般清澈透明 · 2026-07-18T08:05:58Z
C# 内存安全性的重大演进:重新定义 unsafe 关键字 - 张善友

产品经理 Richard Lander 介绍了 C# 16 和 .NET 11/12 的新蓝图,旨在提高内存安全性。新规则将“非安全”判定从使用指针转变为解引用非托管内存,允许更精确的内存控制。引入安全上下文关键字后,开发者可以更灵活地管理 unsafe 代码,减少不必要的限制。这一变革使 C# 的内存安全性更接近 Rust,同时保留开发者的决策权。

C# 内存安全性的重大演进:重新定义 unsafe 关键字 - 张善友

张善友
张善友 · 2026-05-31T23:55:00Z

In this podcast, Jaromir Hamala, a seasoned Java engineer specialising in high-throughput data systems, shares his thoughts on how developers can tackle high-performance software development. He...

Podcast: A Java Performance Quest: Taming Unsafe Code, Embracing Idiomatic Style & Debugging the Linux Kernel

InfoQ
InfoQ · 2026-04-27T11:00:00Z

You read this right, symbolic links (symlinks) are unsafe in MySQL since at least 8.0.39.  As always, it is a little more complicated than that, but if you are using symbolic links and in...

Symlinks are Unsafe since MySQL 8.0.39 (and maybe even before)

Planet MySQL
Planet MySQL · 2026-04-14T19:53:00Z

CodeQL workshop for Java: Unsafe deserialization in Apache Struts

像清水一般清澈透明
像清水一般清澈透明 · 2026-03-20T15:09:30Z

FFM API在Java 22中最终确定,提供安全的本地内存和函数访问。与Unsafe相比,FFM API通过MemorySegment类实现边界、活性和对齐检查,确保安全性。尽管单次访问性能较低,但在循环中多次访问时性能差距缩小。优化访问模式和使用reinterpret方法可进一步提升性能。总体而言,FFM在安全性与性能之间取得平衡。

FFM与Unsafe:安全(有时)是有代价的

insidejava
insidejava · 2025-06-12T00:00:00Z

The Foreign Function & Memory API is safer than Unsafe and almost as fast.

FFM vs. Unsafe. Safety (Sometimes) Has a Cost

insidejava
insidejava · 2025-06-06T00:00:00Z
优雅地消除CSP中的'unsafe-inline'指令

文章讨论了网站安全中“unsafe-inline”指令的风险,尤其在处理敏感用户数据时。对于电商或认证系统网站,使用该指令可能导致安全隐患。推荐使用Lua与Nginx结合的方法,安全处理内联脚本,提升安全性并减少延迟。

优雅地消除CSP中的'unsafe-inline'指令

DEV Community
DEV Community · 2025-05-04T07:34:05Z
【Rust日报】2025-03-20 `unsafe` 会破坏 Rust 的内存安全保证吗?

empiriqa是一个用Rust开发的交互式UNIX管道操作工具,旨在提高数据处理效率。Chrome弃用FreeType,改用Rust库Skrifa,以增强网络字体的安全性和更新速度。文章还讨论了Rust中的unsafe是否影响内存安全,强调编程语言与实现之间的关系。

【Rust日报】2025-03-20 `unsafe` 会破坏 Rust 的内存安全保证吗?

Rust.cc
Rust.cc · 2025-03-20T03:24:21Z

Rust 的不安全特性并不影响其内存安全性。尽管实现中可能包含不安全操作,只要遵循正确的接口和语义,Rust 仍能保持安全。通过形式验证和局部分析,Rust 有效管理不安全代码,确保扩展不会引发问题。

“unsafe”是否会破坏 Rust 的保证?

程序师
程序师 · 2025-03-20T01:57:37Z

C#通过Unsafe代码和SIMD指令优化,在图像处理领域的性能超越C++。直接内存访问和并行处理技术显著提升了处理速度,展现了C#在高性能应用中的潜力。

颠覆认知!C#指针操作竟比C++快?用Unsafe代码实现图像处理提速300%

dotNET跨平台
dotNET跨平台 · 2025-03-03T00:00:57Z

Rust 2024 版本发布,包含不兼容变更:impl Trait 默认捕获所有生命周期,临时变量作用域调整,更多代码需标记为 unsafe,新增保留字 gen,标准库和 Cargo 也进行了更新。

【Rust日报】2025-02-25 Rust 2024 版本中的不兼容变更汇总

Rust.cc
Rust.cc · 2025-02-25T04:45:22Z

SomeType 没有实现 Send 和 Sync,但在确保代码无数据竞争的情况下,可以使用 unsafe 显式实现这两个特性。

在老外的仓库里,用中文翻译藏这样的私货是不是不太好

Rust.cc
Rust.cc · 2025-01-21T01:32:57Z

本研究提出AEIOU框架,旨在解决文本到图像模型中的不安全提示问题。该框架通过提取文本编码器的隐状态特征,能够高效检测不安全提示,准确率超过95%。AEIOU在多种架构中表现优异,具备良好的抗适应性攻击能力。

AEIOU: A Unified Defense Framework Against Unsafe Prompts in Text-to-Image Models

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-12-24T00:00:00Z

Oracle Java团队成员分享了他们的新闻和观点。

JEP 目标于 JDK 24:498:在使用 sun.misc.Unsafe 中的内存访问方法时发出警告

insidejava
insidejava · 2024-11-28T00:00:00Z

本研究探讨大型视觉语言模型(LVLMs)在安全性方面的不足,提出了安全雪球代理(SSA)框架,通过安全图像和提示诱导模型生成不安全内容,以挑战多模态系统的安全性。

Safe + Safe = Unsafe? Exploring How Safe Images Can Be Exploited to Jailbreak Large Vision-Language Models

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-11-18T00:00:00Z
Java 23 提供 Markdown 文档、ZGC 代际模式、弃用 sun.misc.Unsafe

Oracle发布了Java编程语言和虚拟机的第23个版本,包含12个JEPs,其中三个是最终功能。JDK 23的发布活动已经结束,可以从Oracle下载。JDK 24预计将于2025年3月发布,目前只有一个JEP被定为JDK 24的目标。

Java 23 提供 Markdown 文档、ZGC 代际模式、弃用 sun.misc.Unsafe

InfoQ
InfoQ · 2024-09-17T18:40:00Z

这篇博文介绍了如何在Rust中设计一个带有unsafe和union的高效内存布局,用于构建CLI电子表格程序。文章讨论了电子表格单元格的内存布局和值的类型,以及如何使用nolife库解决生命周期问题。该库允许构建包含引用的结构体,并使其与所引用的数据一起存活,对于零拷贝解析器特别有用。文章还提供了代码示例和使用指南。

【Rust日报】2024-04-30 在 Rust 中设计一个带有 unsafe & union 的高效内存布局

Rust.cc
Rust.cc · 2024-04-30T15:48:58Z
  • <<
  • <
  • 1 (current)
  • 2
  • 3
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码