Hacknews2018-11-07新闻
- How We Decide Where to Go
我们如何决定去哪里- MemSQL: Now Free to Use (limits)
MemSQL:现在免费使用(限制)- A Lisp Way to Type Theory and Formal Proofs [pdf]
一种Lisp的类型理论和形式证明方法[pdf]- Compartmentalized computing with CLIP OS
用CLIP操作系统划分计算- Show HN: Predict how well people will react to your writing
Show HN:预测人们对你的文章的反应- Maclisp Dunnet (1982)
Maclisp Dunnet(1982)- Facial recognition system risks 'chilling effect' on freedoms, rights groups say
人权组织说，面部识别系统可能对自由产生“寒蝉效应”- How Stripe Designs Performance Management Systems for Engineering
如何为工程设计性能管理系统- Lost in Translation: Encapsulation
迷失在翻译:封装- The relationship between age and wisdom-related performance
年龄与智力相关表现的关系- 2018 was a terrible year for Swiss glaciers
2018年对瑞士冰川来说是可怕的一年- Girl Scouts file trademark lawsuit as Boy Scouts plan to rename to Scouts BSA
女童子军提出商标诉讼，因为男童子军计划改名为童子军BSA- Raku Perl 6.d
乐烧Perl 6. d- The Strong Free Will Theorem (2009) [pdf]
强自由意志定理(2009)[pdf]- The Irresistible Urge to Build Cities from Scratch
不可抗拒的从无到有建设城市的冲动- Ads just work, no matter what you think
不管你怎么想，广告就是有用的- Owl: Parser generator for visibly pushdown languages
Owl:用于可见下推语言的解析器生成器- Who Killed Prolog? (2010)
谁杀了Prolog ?(2010)- WireGuard for iOS
为iOS WireGuard- Novel Quantum Emitter Provides Key Building Block for a Quantum Internet
新型量子发射器为量子互联网提供了关键的组成部分- Easy-To-use, FPGA-Accelerated Hardware Simulation of RISC-V Systems in the Cloud
易于使用的fpga加速硬件模拟RISC-V系统在云中- Ozone: The Earth's protective shield is repairing
臭氧:地球的保护层正在修复- Signs you are doing continuous testing wrong
您正在进行连续测试错误的迹象- Neutrino tomography of Earth
地球的中微子层析成像- Impostor syndrome strikes men just as hard as women in technical interviews
在技术面试中，骗子综合症对男性的打击不亚于对女性的打击- Reddit AMA on a free alternative to Photoshop used by 1.5M people
Reddit AMA上有150万人使用Photoshop的免费替代品- New Lower-Cost, AMD-Powered M5a and R5a EC2 Instances
新的低成本、amd驱动的M5a和R5a EC2实例- How Did Insect Metamorphosis Evolve? (2012)
昆虫的变态是如何进化的?(2012)- Getting ‘screeched in’ in Newfoundland
在纽芬兰“尖叫”- SoftBank’s debt obsession
软银的债务困扰- Artificial Intelligence Hits the Barrier of Meaning
人工智能突破了意义的障碍- Swift String’s ABI and UTF-8
Swift String的ABI和UTF-8- The Potentiometer Handbook (1975) [pdf]
电位计手册(1975)[pdf]- Operation Luigi: How I hacked my friend without her noticing (2017)
路易吉行动:我如何在朋友不注意的情况下攻击她(2017)- Ask HN: What are some hacks of real founders who did things that don't scale?
问一问HN:有哪些真正的创业者会做一些不可规模化的事情?- The history of humans trying to reduce one another to a personality profile
人类试图将彼此缩小为一个人格档案的历史- Under a Spell – The Armistice at 100
在一段时间里——停战时间是100点- Facebook’s GraphQL gets its own open-source foundation
Facebook的GraphQL拥有自己的开源基金会- “A Horrifically Bad Idea”: Smartphone Voting Is Coming
“一个可怕的坏主意”:智能手机投票即将到来- Three European Countries Block Tax on Tech Giants
三个欧洲国家禁止对科技巨头征税- Swift Intermediate Language Ownership Model Proposal
Swift中级语言所有权模型提案- What if the Placebo Effect Isn’t a Trick?
如果安慰剂效应不是一个骗局呢?- Researchers “see” through walls using ambient Wi-Fi signals and a smartphone
研究人员使用环境Wi-Fi信号和智能手机“看透”墙壁- Show HN: Lima, a Swift-based DSL for responsive iOS development
Show HN: Lima，用于响应式iOS开发的基于swift的DSL- How Bill Gates Aims to Save $233B by Reinventing the Toilet
比尔·盖茨如何通过重新发明厕所来节省2330亿美元- Mundane: Rust cryptography library backed by BoringSSL
平凡的:由BoringSSL支持的生锈密码库- A List of Open Questions
开放问题列表- AT&T to cut off some customers' service in piracy crackdown
美国电话电报公司切断了一些客户在打击盗版方面的服务- Series A Fundraising Guide
A系列筹款指南- Show HN: TabNine, an autocompleter for all languages
显示HN: TabNine，所有语言的自动补全程序- How to implement a multi-CDN strategy
如何实现多cdn策略- Before sale to IBM for billions, Red Hat started in cofounder's closet
在以数十亿美元的价格出售给IBM之前，红帽公司的前身是联合创始人的衣橱- Linux compatibility in IncludeOS
包含的Linux兼容性- A cure for cancer: how to kill a killer
癌症治疗:如何杀死杀手- VirtualBox E1000 Guest-to-Host Escape
VirtualBox E1000访客到主机转义