“侧载”这个术语自2009年以来在XDA论坛上被广泛使用，我见过的最早的参考是在2007年。
返回首页
最新
大家好！我想分享一个我思考了很久的概念验证。想象一下，一种新的电子表格形式，其主要数据结构不是一个固定的网格，而是一个自由形式的类似JSON的结构（当然也支持一流的表格功能）。我在这里链接了一个演示，它使用了vi风格的快捷键进行交互，当然，这个想法并不限于这种交互模式。
地址最终会变成JSON路径。由于目前只是一个概念验证，布局是固定的，但理想情况下，你应该能对其有更多的控制，类似于画布。
表达式可以通过它们基于JSON的地址引用其他单元格，甚至可以相对于它们当前的地址。概念验证中尚未支持表达式，但示例中的一个表格确实展示了一个动态列。由于你可以任意嵌套数组/哈希，因此可以保留表格来表示同质记录的数组，并且某些列可以基于其他列进行动态计算（或具有默认的动态计算）。表达式实际上是JavaScript函数，但它们可以是任何与JSON类型兼容的东西。
这离完成还有很远。我只是想尽早分享这个想法，我认为你们中的许多人会觉得这个想法本身很有趣。
为什么呢？我认为电子表格很棒，但由于其刚性，它们未被充分利用。它们不适合版本控制，作为权威数据源，支持API等。我也不知道这是否是正确的方向。我很乐意听听你们的想法！
代码是我100%手动编写的（除了CSS背景是我从Stack Overflow复制的）。如果有足够的合作兴趣，我很乐意将源代码放到codeberg上。
嗨，HN，似乎大家对之前GPT 5.2 Pro解决的Erdos问题表现出了广泛的兴趣：<a href="https://news.ycombinator.com/item?id=46664631">https://news.ycombinator.com/item?id=46664631</a>
我招募了一支聪明的本科生团队，构建了一个数据集，记录了ChatGPT对每个开放Erdos问题的回答，并验证了输出结果。
他们发现：
- 3个问题有新的证明（虽然在2个案例中，发现了历史上的部分结果，可以扩展以解决同样的问题）
- 4个问题中，5.2 Pro或Deep Research在之前的文献中找到了未被记录的确切解决方案
- 3个问题中，5.2 Pro或Deep Research能够加强文献中的先前结果
- 3个问题中发现了问题陈述中的错别字
最常见的失败案例是，5.2 Pro解决了问题的表述，但专业数学家理解到该问题存在隐含约束。例如，问题可能说是整数，但实际上他们只指正整数。
欢迎随时询问有关数据集的任何问题！
我不断看到几年前以大约一半价格出售的房屋，现在却没有任何背景信息地重新上市。买家无法分享观察结果、指出快速转手的情况或添加历史背景。这些平台（如Zillow）为什么避免评论，是否有真正的原因，还是主要是因为管理风险？
你好！<p>我刚在家设置了TinyTinyRSS（https://tt-rss.org/），正在寻找有趣的阅读内容以及发布有趣内容的人或网站。<p>这样做的目的是为了减少每天的（无聊）刷屏，避免社交媒体的推荐算法。<p>所以，你通过RSS订阅了谁或什么，为什么？
我发布了 LocalPass——一款以本地为优先、离线使用的密码管理器，完全不依赖云服务、没有数据监测，也没有供应商锁定。100% 本地存储，100% 开源。