TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Elixir is still safe

237 点作者 manusachi将近 2 年前

4 条评论

e-dant将近 2 年前
Without stepping on anyone’s toes, I think we can agree that “safety” could be broken down a bit. Memory safety, thread safety, fine… but there’s a whole forest past those trees.<p>Is it a safety feature to type-check regular expressions using dependent types? Is Python a security vulnerability because the performance can be unpredictable?<p>I don’t know.<p>Rust, for that matter, doesn’t protect you from running out of memory from leaking data on the heap — or from running out of stack space because your infinitely recursive function doesn’t halt. Maybe that’s not part of memory safety — but that’s my point.<p>There’s a whole safety forest out there. Whenever I read an article about safety in software, it seems like a comfy blanket statement. “This is a nice definition which I will live in.”<p>I just don’t see how it’s so flat.
评论 #36855323 未加载
评论 #36856136 未加载
评论 #36856424 未加载
aeurielesn将近 2 年前
What would normally be the process to debunk a published paper? Simply publishing another paper debunking it in the same journal?
评论 #36853746 未加载
greatfilter251将近 2 年前
&gt; Practitioner perceptions are formed through personal experience, and not based on empirical evidence<p>The disagreement here is rooted in the empirical worldview. Empirically, &quot;rarely&quot; and &quot;never&quot; cannot be (reliably) distinguished, and so adherents of this worldview fail to distinguish claims which are meant to distinguish them.
ano88888将近 2 年前
Deciding which i should use : Elixir or Clojurescript or python or nodejs
评论 #36875472 未加载
评论 #36858147 未加载
评论 #36858705 未加载