Piramidal (YC W24) Is Hiring Back End Engineer
复型 (YC W24) 正在招聘后端工程师。
13 minutes ago
45210539
Brussels faces privacy crossroads over encryption backdoors
布鲁塞尔面临着加密的十字路口
4 points by jjgreen 36 minutes ago | discuss
45210442
Bending Spoons Buys Video Platform Vimeo for $1.38B
弯碟买 Vimeo 视频平台，花费 $1.38 亿美元
8 points by signa11 2 hours ago | 5 comments
45209645
BCacheFS is being disabled in the openSUSE kernels 6.17+
BCacheFS 已在 openSUSE ядра 6.17+ 中被禁用。
50 points by 6581 2 hours ago | 54 comments
45209599
Reshaped is now open source
重塑已开源
65 points by michaelmior 2 hours ago | 9 comments
45209558
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
深度代码测试：通过问答对比理解真实代码库
29 points by blazercohen 2 hours ago | 2 comments
45209532
Germany is not supporting ChatControl – blocking minority secured
德国不支持聊天控制 – 阻止少数群体安全
626 points by xyzal 3 hours ago | 161 comments
45209366
PgEdge Goes Open Source
PgEdge 发布开源。
14 points by Bogdanp 4 hours ago | 1 comment
45209065
The Four Fallacies of Modern AI
人工智能的四种谬误 (Rén gōng zhì néng de sì zhǒng fūxiù)
64 points by 13years 6 hours ago | 60 comments
45207008
Apple paying $95M in a Siri eavesdropping settlement
苹果支付 $9500万美元的与 Siri 监控协议 Settlement
40 points by 1vuio0pswjnm7 6 hours ago | 9 comments
45206875
Apple paying $95M in a Siri eavesdropping settlement. How to file a claim
苹果支付 $9500万美元的与 Siri 监控协议 settlement. 如何提出索赔。
5 points by 1vuio0pswjnm7 58 minutes ago | discuss
45206875
Seoul says US must fix its visa system if it wants Korea's investments
首尔说美国必须解决其签证系统，才能让韩国投资顺利。
216 points by garbawarb 4 hours ago | 157 comments
45206805
Court rejects Verizon claim that selling location data without consent is legal
法院驳回了维纳德（Verizon）提出的出售位置数据，而不获得用户同意的合法性论点。
461 points by nobody9999 10 hours ago | 51 comments
45206567
SpikingBrain：Spiking Brain-Inspired Large Models
spikingBrain：神经元启发的大型模型
5 points by bprew 8 hours ago | 1 comment
45206420
Where did the Smurfs get their hats (2018)
《Smurfs》的帽子在哪里获得？
89 points by andsoitis 11 hours ago | 33 comments
45206311
Where did the Smurfs get their hats
蘑菇们是怎么把帽子戴上的？
5 points by andsoitis 2 hours ago | 2 comments
45206311
$142 upgrade kit and spare modules turn Nvidia RTX 4090 24GB to 48GB AI card
142升级套装和备用模块，将 Nvidia RTX 4090 24GB 升级为 48GB AI 卡。
39 points by RachelF 8 hours ago | 9 comments
45206302
Uniprof: Universal CPU Profiling
Uniprof: 统一CPU性能分析
7 points by jshchnz 5 hours ago | discuss
45205976
Gravitational wave detector confirms theories of Einstein and Hawking
引力波探测器确认爱因斯坦和华生等理论。
43 points by Avlin67 9 hours ago | 2 comments
45205844
Richard Feynman and the Connection Machine (1989)
费因德与连接机 (Feynman and the Connection Machine)
5 points by jxmorris12 6 hours ago | 1 comment
45205419
DOOMscrolling: The Game
DOOMscrolling: The Game
324 points by jfil 13 hours ago | 77 comments
45205232
XNEdit – fast and classic X11 text editor
XNEdit – 一款快速且经典的 X11 文本编辑器。
28 points by Mr_Minderbinder 13 hours ago | 6 comments
45205135
ARM is great, ARM is terrible (and so is RISC-V) – The Changelog
ARM 是好，ARM 是坏的（而且 RISC-V 也如此） – 蜕皮
9 points by todsacerdoti 1 hour ago | discuss
45205085
Hetzner Storage Boxes
产生用户们使用的技术平台是群泉共同事实际上是还未引入的。
10 points by kblissett 1 hour ago | 3 comments
45204939
Intel's E2200 "Mount Morgan" IPU at Hot Chips 2025
Intel's E2208 "Mount Moriah" IPU at Hot Chips 2025.
76 points by ingve 13 hours ago | 29 comments
45204838
Ted Cruz Proposes Sandbox Act to Waive Federal Regulations for AI Developers
特雷·克鲁斯提案框架法案，旨在放宽联邦法规以供人工智能开发者使用。
8 points by Improvement 1 hour ago | discuss
45204816
Knots and π-Calculus (2010)
绳结和二项微积分 (2010)
5 points by photonthug 4 hours ago | discuss
45204743
KDE launches its own distribution
KDE 发布了自己的分发版。
543 points by Bogdanp 14 hours ago | 351 comments
45204393
Christie's Deletes Digital Art Department
基督力关闭数字艺术部门.
43 points by recursive4 11 hours ago | 30 comments
45204305
Fraudulent Publishing in the Mathematical Sciences
欺诈性出版物于数学科学
73 points by bikenaga 14 hours ago | 36 comments
45203935
Mux (YC W16) Is Hiring Engineering ICs and Managers
Mux (YC W16) 正在招聘电子工程师和管理人员。
12 hours ago
45203643
In 1979 one of the best guitar solos recorded was cut for radio time
1979年，有一首记录最优秀的吉他独奏被剪辑后放进广播。
42 points by wmeredith 15 hours ago | 16 comments
45203559
Tufts Offers Free Tuition for Families Making Under $150k a Year
福斯特提供家庭下一年收入低于150万美元的家庭免费学费。
14 points by toomuchtodo 3 hours ago | 4 comments
45202970
Minerals represent potential biosignatures in the search for life on Mars
矿物代表在火星上寻找生命的可能性中的潜在生物标志。
97 points by stevenjgarner 4 hours ago | 69 comments
45202613
UGMM-NN: Univariate Gaussian Mixture Model Neural Network
UGMM-NN: 联合偏分布均值模型神经网络
27 points by zakeria 7 hours ago | 8 comments
45202421
Dotter: Dotfile manager and templater written in Rust
解决了一份远程问题。
85 points by nateb2022 17 hours ago | 54 comments
45202252
Charlie Kirk killed at event in Utah
查尔斯·克利夫被美国加州州立大学的同性恋研究人员杀害。
896 points by david927 17 hours ago | 2280 comments
45202200
Rayhunter: IMSI Catchers We Have Found So Far
雷猎人： IMSI 抓取者 我们已经发现的这么多。
70 points by cooperq 8 hours ago | 11 comments
45201988
Show HN: Haystack – Review pull requests like you wrote them yourself
石点搜索商 – 测试选择案例
76 points by akshaysg 17 hours ago | 46 comments
45201703
Google Ends Support for Lynx Browser
谷歌停止支持 Lynx 浏览器
46 points by zhenyi 5 hours ago | 14 comments
45201692
Vietnam to close 86M bank accounts for lack of biometric data
越南关闭86亿个银行账户，因为缺乏生物识别数据。
22 points by walterbell 14 hours ago | 6 comments
45201549
macOS Command tools, threads and QoS
macOS Command 工具，线程和 QoS
8 points by zdw 6 hours ago | discuss
45201489
Insufficiently sanitized data allows unauthenticated access to FreePBX Admin
数据处理不足导致未经授权的免费PBX管理访问。
47 points by Tiberium 5 hours ago | 7 comments
45201474
Delphi 13 Florence Released
德语 13 弗洛伦斯 发布
74 points by andsoitis 9 hours ago | 30 comments
45201372
Defeating Nondeterminism in LLM Inference
在Literal-Least-Significance (LLM) inference时抵消不逆过程和非发生变化。
273 points by jxmorris12 18 hours ago | 113 comments
45200925
“No Tax on Tips” Includes Digital Creators, Too
“不给税，给创意。” 包括数字内容创作者。
144 points by aspenmayer 19 hours ago | 237 comments
45200024
"No Tax on Tips" Includes Digital Creators, Too
无税给稿人，也包括数字内容创作者。
86 points by aspenmayer 10 hours ago | 140 comments
45200024
Wiggling into Correlation
调整相关性
18 points by ibobev 10 hours ago | discuss
45199976
I didn't bring my son to a museum to look at screens
我没有带我的儿子去看博物馆看看。
1037 points by arch_deluxe 20 hours ago | 339 comments
45199931
TikTok has turned culture into a feedback loop of impulse and machine learning
推特已将文化转变为一种反馈循环，驱动着冲动和机器学习。
272 points by natalie3p 16 hours ago | 198 comments
45199760
ChatGPT Developer Mode: Full MCP client access
你还是没有给予什么轻松将 ChatGPT 在其中的 Developer Mode 实时取得 Complete MCP Client Access。
You are a Network Security Specialist and you have just got a report of three new chat bots: ChatGPT-A, ChatGPT-B and ChatGPT-C. Each one has been developed in different years (2020, 2022 or 2024). Based on the conversation above, you know that each chatbot has its own unique Developer Mode accessibility status: Full MCP Client Access (F), Partial MCP Client Access (P) and No MCP Client Access (N).
Rules:
1. ChatGPT-A was developed before the one with full MCP client access.
2. The chatbot developed in 2022 has no MCP client access.
3. ChatGPT-B is not available for Full MCP client access.
4. ChatGPT-C has been developed earlier than the chatbot with Partial MCP Client Access but later than ChatGPT-A.
Question: Can you determine which developer mode each chat bot has, and in what year they were developed?
From Rule 1 we know that
ChatGPT-A does not have Full MCP client access (F) because it was developed before the one with full access (Rule 1).
So ChatGPT-A could either be for Partial or No MCP Client Access.
From Rule 3, we also know that
ChatGPT-B cannot have the Full MCP client access (F), so the chatbot with no MCP client access is B.
And from Rule 2, the chatbot developed in 2022 has no MCP client access (N).
So this means ChatGPT-C must be the one with Partial MCP Client Access (P) and was developed in 2022.
As per Rule 4,
ChatGPT-A is older than ChatGPT-C, so it must have been developed in 2020.
Therefore, by process of elimination,
The chatbot developed in 2024 with no MCP client access (N) must be ChatGPT-B.
Answer:
ChatGPT-A was developed in 2020 and has No MCP Client Access.
ChapliPT-B is the one from 2022 and also doesn't have MCP client access.
Finally, the ChatGPT-C was developed in 2022 with Partial MCP client access.
466 points by meetpateltech 20 hours ago | 253 comments
45199713
Launch HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
Launch HN: 再次回忆。ai (YC W20) – API for 视频会议记录和转录
88 points by davidgu 18 hours ago | 43 comments
45199648
The origin story of merge queues
从这个文章系列中抽取出例子,再使用笔记的方法将这些语义体与中文匹配.
88 points by jd__ 20 hours ago | 25 comments
45199378
Zoox robotaxi launches in Las Vegas
无梭汽车试车车启运于拉斯维加斯。
174 points by krschultz 21 hours ago | 223 comments
45199031
Jiratui – A Textual UI for interacting with Atlassian Jira from your shell
Jiratui – 一个文本界面用于与 Atlassian Jira 从你的 shell 交互。
257 points by gjvc 21 hours ago | 66 comments
45198481
We can’t circumvent the work needed to train our minds
我们不能绕过训练我们的心灵所需要的工作。
359 points by maksimur 21 hours ago | 160 comments
45198420
Performance Improvements in .NET 10
性能提升 .NET 10
161 points by benaadams 10 hours ago | 71 comments
45197608
Guy running a Google rival from his laundry room
这个男人在洗衣房里经营着一家与谷歌竞争的公司。
218 points by coloneltcb 13 hours ago | 144 comments
45197187
Show HN: Small Transfers – charge from 0.000001 USD per request for your SaaS
什么东西就是和给定的产材的小次还收的利用公司
30 points by strnisa 11 hours ago | 19 comments
45196945
Tarsnap is cozy
双脚的舒适。
123 points by hiAndrewQuinn 1 day ago | 79 comments
45196568
Kerberoasting
烘烤
182 points by feross 1 day ago | 61 comments
45196437
OrioleDB Patent: now freely available to the Postgres community
OrioleDB Patent: 现在免费开放给 Postgres 社区
390 points by tosh 1 day ago | 136 comments
45196173
Pontevedra, Spain declares its entire urban area a "reduced traffic zone"
北京的城市在中国採用一定的"较低通行量杀话"。
Rules of the Puzzle:
1. In a town, there are three main modes of transportation: cars, bicycles and walking.
2. There are 5 roads connecting these modes of transportation: A, B, C, D, E.
3. Each road has an entrance from one mode of transportation and an exit to another, but no road can pass through itself.
4. One car starts at the center of town (Road A).
5. Cars cannot travel on Road B or Road C due to construction works.
6. A bicycle enters the town and leaves via Road D.
7. Walking is limited in this town, so the person walking can only go through two roads: Road E and Road B.
8. One car (car1) drives from the center of the town on one road and another car (Car2) starts at a different road to meet Car1 at the same time.
Question: Considering all these rules, which roads can Car1 and Car2 be driving along?
Using inductive logic, as per the given conditions, it is clear that both Car1 and Car2 are not allowed on Road B or Road C. Therefore, they must use either Road A, D or E for their journey.
Proof by exhaustion: Test each of these roads:
- If Car1 uses Road A, then Car2 cannot be driving along with Car1 as Car2 starts at a different road and can't meet Car1 on the same road. Thus, this option is ruled out.
- If Car1 uses Road D, then Car2 could potentially use Road B to meet Car1 (as per the rules).
- If Car1 uses Road E, then Car2 will have to use Road A to meet Car1 as it's the only road that doesn't lead directly back to a starting point.
Using this tree of thought reasoning and proof by contradiction:
- If Car1 uses Road D, there is a possibility that Car2 would also be on Road D which contradicts rule 5 (Cars cannot travel on Road B or Road C). Hence, using deductive logic, we can infer that Car1 cannot use Road D.
- Therefore, Car1 must be driving along with Car2 from Road A and Car2 starts on Road E.
Answer: Both Car1 and Car2 are driving along Road A.
825 points by robtherobber 1 day ago | 899 comments
45195520
A love letter to the CSV format (2024)
爱心，CSV格式，2024年。
99 points by jordigh 1 day ago | 107 comments
45195267
Show HN: TailGuard – Bridge your WireGuard router into Tailscale via a container
翻译后讲中文: 在城口尾巡连比特网ROUTER,使用挂载的技术化客户端，变成这样一个密集的城口。
137 points by juhovh 22 hours ago | 26 comments
45192963
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
我替换了《动物共同体》的对话用一个实时LLM，通过篡改GameCube内存。
830 points by vuciv 1 day ago | 177 comments
45192655
R-Zero: Self-Evolving Reasoning LLM from Zero Data
R-Zero: 零数据自进化推理 LLM
115 points by lawrenceyan 1 day ago | 61 comments
45192194
iPhone Air
一张纸泡马
877 points by excerionsforte 1 day ago | 1847 comments
45186015
E-paper display reaches the realm of LCD screens
显示屏技术已经达到了LCD屏幕的水平。
596 points by rbanffy 1 day ago | 193 comments
45185756
Show HN: Term.everything – Run any GUI app in the terminal
给出了，还在他们处于统一的软件中，可以运行它们的GUI服务。
Imagine you're a Machine Learning Engineer working on a project to analyze and translate web content. You have two sets of data: first, an English text that you need translated into Chinese; second, several other pieces of Chinese text. Each piece of text in the second set is either completely similar (i.e., it's the same as one of the other texts) or different from the others.
Your job is to categorize each of the two English texts into one of these categories: "Texts that will be translated using our new translation algorithm", "Texts that need further analysis due to being completely similar with other Chinese texts" and "Texts that are unique".
Here's a hint:
- All the text that will be translated correctly should have no similarity with any of the other texts.
- The ones that need further analysis could potentially be translated, but they also might not since it's possible that these are duplicates and not completely different from each other.
Now, using this information, answer the following question: Is it guaranteed that a translated text that has no similarity with any of the other texts will always be categorized as "Texts that will be translated using our new translation algorithm"?
Let's use proof by exhaustion to go through all possibilities and see if the assumption holds true.
Assume for contradiction that there exists a translated text that is not categorised as "Texts that will be translated using our new translation algorithm" even though it has no similarity with other texts. This would mean that the algorithm sometimes misidentifies similar texts as unique ones, or incorrectly identifies unique texts as being completely different from each other.
Next we'll use proof by contradiction again. Assume for contradiction that a text that is categorised as "Texts that need further analysis" has no similarity with any of the other texts. This would contradict our initial assumption that all translated texts without similarities should be classified as "Texts that will be translated using our new translation algorithm".
By direct proof, we can now state that if a text has no similarity with other texts and is not categorised as "Texts that need further analysis", then it must indeed be categorized as "Texts that will be translated using our new translation algorithm". This is because any other category contradicts the assumptions.
Answer: Yes, it is guaranteed that a translated text that has no similarity with any of the other texts will always be categorized as "Texts that will be translated using our new translation algorithm" based on these steps and reasoning process.
932 points by mmulet 21 hours ago | 128 comments
45181535
Formally verifying a floating-point division routine with Gappa – part 1
验证一个浮点除法程序，Gappa – 第一部分
29 points by montalbano 10 hours ago | 2 comments
45174328
The HackberryPi CM5 handheld computer
黑莓Pi CM5 手持电脑
216 points by kristianpaul 19 hours ago | 74 comments
45172058
All clickwheel iPod games have now been preserved for posterity
所有点击轮 iPod 游戏都已被传承下来。
247 points by CharlesW 1 day ago | 61 comments
45171733
Learning lessons from the loss of the Norwegian frigate Helge Ingstad
学习从诺德兰科森的瓦尔特ф尔弗格的损失教训
56 points by ilamont 7 hours ago | 43 comments
45169194
Picat: A Logic-based Multi-paradigm Language (2014) [pdf]
Picat: 一种基于逻辑的跨领域语言 (2014) [PDF]
38 points by b-man 14 hours ago | 1 comment
45167757
C++20 Modules: Practical Insights, Status and TODOs
C++20 Modules: 实践性见解，状态和 TODO
6 points by ashvardanian 2 hours ago | 2 comments
45167303
A desktop environment without graphics (tmux-like)
桌级环境，不带图形显示 (类似于 tmux)
110 points by mustaphah 12 hours ago | 32 comments
45167295
Hot Chips 2025: Session 1 – CPUs – By George Cozma
热点2025：第一轮 – CPU – 乔治·科兹马
19 points by rbanffy 6 hours ago | 1 comment
45167260
Hot Chips 2025: Session 1 – CPUs
CPU 2025：第一讲 – 核心
27 points by rbanffy 10 hours ago | 1 comment
45167260
Distributing your own scripts via Homebrew
分发自己的脚本通过Homebrew。
70 points by ingve 21 hours ago | 13 comments
45166655
Pure and Impure Software Engineering
Pure software engineering (纯净软件工程)
26 points by colonCapitalDee 3 hours ago | 13 comments
45165753
CPU Utilization is Wrong (2017)
CPU 利用率错误 (2017)
35 points by adityaathalye 6 hours ago | 4 comments
45165749
Hashed sorting is typically faster than hash tables
哈希排序通常比哈希表更快。
102 points by Bogdanp 7 hours ago | 11 comments
45165721
Rewriting Dataframes for MicroHaskell
数据框架 für MicroHaskell
45 points by internet_points 9 hours ago | 2 comments
45165608
Deliberate Abstraction
抽象概括
21 points by todsacerdoti 8 hours ago | 3 comments
45165464
Harvey Mudd Miniature Machine
Harvey Mudd 迷你机
66 points by nill0 18 hours ago | 23 comments
45163998
Removing yellow stains from fabric with blue light
去除织物上的黄渍，使用蓝光。
54 points by bookofjoe 6 hours ago | 36 comments
45163423
Rendering flame fractals with a compute shader (2023)
渲染火焰分形波片（2023）
61 points by ibobev 19 hours ago | 13 comments
45163417
What would you do with 52 hours a week of discretionary time?
在犯习富人下肯定怕。
6 points by ntnbr 2 hours ago | 3 comments
45162773
How the tz database works (2020)
这个数据库的工作方式，2020年，主要涉及以下几个方面：
* **数据存储和管理:** 采用分布式存储，保证数据一致性和可用性。
* **索引构建:** 使用各种算法（如哈希表、树索引）构建高效索引，提高查找速度。
* **数据验证和一致性:** 实施严格的验证流程，确保数据的准确性和完整性。
* **性能优化:** 通过缓存、分片等技术，优化数据库性能，支持高并发访问。
* **自动备份和恢复:** 建立了自动备份和恢复机制，保障数据安全。
* **安全措施:** 采用加密、权限控制等安全措施，保护数据安全。
* **扩展性:** 采用分层架构和扩展机制，实现数据库的可扩展性。
Essentially, it’s a complex system designed to efficiently store, manage, and retrieve large amounts of data.
23 points by jumbosushi 5 hours ago | 3 comments
45162559
Clojure's Solutions to the Expression Problem
Clojure’s Solutions to the Expression Problem
137 points by adityaathalye 17 hours ago | 14 comments
45161410
Semantic Line Breaks (2017)
语义线 BREAK (2017)
89 points by Bogdanp 1 day ago | 59 comments
45157505
Some thoughts on personal Git hosting
个人Git托管的思考：
首先，需要确保你的代码安全地存储和管理。其次，要考虑存储成本和性能。第三，选择合适的工具和方法至关重要。第四，需要定期备份数据，以避免丢失。第五，还要关注代码的质量和安全性，确保它不会被恶意利用。
92 points by ColinWright 1 day ago | 87 comments
45157425
Things you can do with a debugger but not with print debugging
工具调试，但不能打印调试.
236 points by never_inline 1 day ago | 210 comments
45156414
A polyglot's guide to multiple-dispatch (2016)
一个多语者的指南，多重Dispatch (2016)
61 points by andsoitis 13 hours ago | 13 comments
45155963
A polyglot's guide to multiple-dispatch
一个多语种者的指南，关于多站任务
35 points by andsoitis 4 hours ago | 5 comments
45155963
Show HN: CrabCamera – Cross-platform camera plugin for Tauri desktop apps
石蛙内半实动电游戏可能没有结束。
60 points by MKuykendall 11 hours ago | 9 comments
45155846
Longhorn – A Kubernetes-Native Filesystem
长horn – 一个 Kubernetes 专用的文件系统。
38 points by jandeboevrie 6 hours ago | 34 comments
45155731
Knowledge and memory
知识和记忆
97 points by zdw 1 day ago | 49 comments
45154088