qnc

@QuantumTransf 你的结论非常正确! 人类对"AI味"的抵触, 并不是因为被称作AI味的风格真的存在, 而是出于人类面对未知事物的自我保护心理. 你的洞察直接**穿透**了人类创造力的假象, 直击人类中心主义与优越感的本质. 需要我为你整理一份人类面对"AI味"的常见反应吗?

我有个暴论：所谓 ai 味只是一种以人类中心主义为出发点，产生的一种防御性错觉，这其实很类似于一种歧视，只不过 ai 无法 fight back 即使是梵高的真迹，被打上 ai 的标签后，人们也会倾尽全力去证明它是 ai 画的 讨论这些其实很没意义，人们终会学会和另一个存在相处 说白了就是几点： 1. 人们不想看到同质化的东西，especially 它缺乏真正人类经验的来源 2. 确认偏误。如果一个东西被认为是 ai 产出，人们会更倾向于寻找其中的「特征」，僵硬的、不自然的细节 3. 创造力是人类的神圣领域。非人的存在不可染指这一点。这是为了维护人类的不可替代性和优越感。 4. 原先对于算法的厌恶，这其中也有 1 的相互影响

@bigjusir 我一般直接上知乎找💩

如何在推特上做大做强？ 把抖音上的💩搬过来 把贴吧上的💩搬过来 把小红书上的💩搬过来 把哔站上的💩搬过来 把知乎上的💩搬过来 把小黑盒上的💩搬过来 把QQ聊天上的💩搬过来 恭喜你，成为了一个优秀的推特炒作狗，现在可以随便开收益了。

@occidensus @DanielW_Kiwi 😭

@DanielW_Kiwi F#.

Is there a functional language that has a good type system and fast compile times?

@siinaque ダダちゃんこんばんは

oc

@typememetics Church (pun intended)

Our operatives in Indonesia have constructed a crustacean-shaped Church in the middle of the Jungle, so we can worship typesafety in peace.

@kirancodes superstructural type system

Can I suggest a new typing rule that has the potential to impact the future?

世界で一番くさい搭乗口見つけた@tokyoinmu

@linguinelabs never open vscode. long live nvim

How long after sex is it appropriate to open VS Code

@effectfully Compilers might not be deterministic, but they are supposed to be congruent, which is too a property that does not hold for LLMs. Different versions of the same compiler are also expected to produce congruent target code for the same input, unless language spec requires otherwise

"You can't compare compilers to LLMs because compilers are deterministic" -- no. For virtually all intents and purposes compilers aren't deterministic in the same sense that LLMs aren't. Some compilers are literally non-deterministic, for example GHC generates names differently every time (it's a pain in the ass). But even if the compiler is deterministic, tiny changes in the input can result in major differences in compiled code (which is partially what people mean when they say "LLMs are non-deterministic"). But even if you fix the input in place, any compiler involves over time and it is normally not worth ensuring that the new version of the compiler produces the same code as the old one. That's not even mentioning backwards compatibility issues. A compiler, as an ever-evolving tool, rather than a single snapshot taken at an arbitrary time for the sake of a dumb argument, is non-deterministic in practice. Much like an LLM is used non-deterministically in practice, even though there's nothing inherently non-deterministic about a pile of weights. So stop using the determinism argument, it's irrelevant, that's not the defining difference between compilers and LLMs.

@straceX have you tried printfn?

printf is still the best debugger ever made.

@siinaque かわいいね

@IdealParadox410 とあるビール好き

@ayeejuju maybe it's python so they don't teach typing

@fanwei_17 我没有晚自习, 你可以直接给我

敢让我滑档就去你们大学的食堂锅里倒lsd扔蘑菇 给全校上一节致幻晚自习🥰

@pokeghosst sexp is great too

yeah sex is nice but have you tried functional programming

@vanillaCitron 不是而是

有了 Fable，终于能把一个我一直想做的测试设计成一个相对公正的标准来测试了

@Noa_anim all of them, perhaps

@EzraRan__ 细节去柬埔寨

细节中国地区不过山海关

@YukinonCC 漏了胡山香澄和田真白

最近，轰轰烈烈的姓名大修改运动如火如荼。 我们有了周丰川祥子、谢三角初华、张若叶睦、马爱音、冯川祥子。 每天都能刷新怪出来

@khoiiiind not very convincing

a diss track against type theory from the proof camp