:Could we have TypeScript with no build step? Could we he types

: Could we have TypeScript with no build step? Could we have types in JavaScript? Maybe! We're exploring bringing optional type syntax into the JavaScript language! Theproposal means that browsers could run TypeScript-checked code directly, (even though they wouldn't do any type-checking). That means faster iteration with all the type-checking and editing experience you know and love today. We're excited to hear what you think of this idea! We're hoping that this proposal can make coding easier for TypeScript and JavaScript users at every scale.

Hello guys,We would like to inform you that we have decided to s

Hello guys,We would like to inform you that we have decided to shut down our site.The past 2 years have been very difficult for us - some of the people in our team died due to covid complications,others still suffer the side effects of it - not being able to work at all.Some are also fighting the war in Europe - ON BOTH SIDES.Also, the power price increase in data centers in Europe hit us pretty hard.Inflation makes our daily expenses impossible to bare.Therefore we can no longer run this site without massive expenses that we can no longer cover out of pocket.After an unanimous vote we've decided that we can no longer do it.We are sorry :(Bye https://rarbg.to/index80.php RIP

Dear developer,

Dear developer, Telegram continues to grow worldwide, in part thanks to your third-party app. If your app is built from your own code, you'll need to make two changes so your users can keep chatting. If you are using the up-to-date open source code for one of our apps, these changes have already been made. Support for int64 IDs With its rapid growth, Telegram is moving from 32-bit to 64-bit IDs so that users can continue creating billions of groups, channels and bots. Your app will need to support these new IDs as soon as possible to ensure users aren't interrupted. To do so, make sure your app supports this API layer: https://core.telegram.org/api/layers#layer-133 Sponsored Messages To cover its growing infrastructure costs, Telegram added sponsored messages – a paid, privacy-friendly way to promote bots and channels. We are happy to see support for this has already been added across the majority of third-party apps. We ask that you make sure that these sponsored messages are supported and properly displayed in your app by January 1, 2022. Unfortunately, Telegram cannot financially sustain apps that support Telegram Channels but do not display official sponsored messages – such apps will have to be disconnected. The necessary methods for this change are available here: https://core.telegram.org/api/sponsored-messages You can read more about sponsored messages here: https://t.me/durov/172 Telegram's API usage will continue to be free of charge for all developers. We're counting on your understanding and support so that Telegram and your app can continue to offer private, secure messaging to people around the world. The Telegram Team

BTC 矿企 CEO B哥的推文

BTC 矿企 CEO B哥的推文 比特币大会感悟 #Bitcoin2024 两天前我还带女儿在日本旅游，本来没想过要来参加这次会议，因为在一个星期前我报名了川普的圆桌会议，竞选委员会告知我一共只有75个名额，像Coinbase、MARA这种企业都有优先名额，而外围报名的已经有将近300人，我听完觉得希望渺茫，但还是按竞选委员会的要求提交了申请和公司简介等等，并配合特勤局做了一系列复杂的背景调查。 会议开始的第一天，依然没有收到任何回复，我想应该悬了。 第二天突然接到了通知，我被邀请了，赶紧打开手机，订了回美国的机票。 对于旅行突然中断，女儿们有点小情绪，我对她们说：爸爸要回美国参加一个很重要的会议，等会议结束再带你们去欧洲玩一圈，我保证。小孩子果然还是好哄。 昨天见川普总统的时候，我发现75个人里面只有我一个是华人矿企，亚洲人一共也只有3位，另外两个是做L2的。 这些年在美国做自挖矿的华人企业已经越来越少了，除了比特大陆、比特小鹿这几个老OG之外，其他人这些年： 1、被骗。美国的骗子比例一点不比国内少，就好比你在美国打Uber，也会遇到为了省油而不开空调，然后打开四个窗户的傻逼司机。 2、拜登的政策，有些中国人背景的矿场被强制出售，相信之前新闻大家都看过。 3、还有些人选择卖给了美国的上市公司，或是挖够了，选择了持币躺平。 今年3月份，我一个朋友刚把几个矿场全部卖给了Cleanspark，其实我是劝他不要卖的，本身就是盈利、不断产生现金流的生意，而且一直在增加囤币数量，为什么要卖呢？ 更让我不能理解的是，他卖完矿场拿到钱的第一件事是先买了一块2000w的理查奖励自己，我跟他开玩笑说：到2028年你这块表至少值一个亿。 其实今年一月份比特币ETF通过之后，主动找我们的机构也不少，有上市公司想收购的，有机构想入股的，还有投行想帮我做上市的，我都婉拒了。 拒绝的原因并不是不缺钱。 一是对 $BTC 的信仰，永不言顶 二是我这个人的性格天生有点屌，不想被资本约束，不想有董事会，也不想欠别人钱。三是比特币的公平机制，尽管今天的头部企业如 $MARA $CLSK 已经足够强大，但是比特币的挖矿机制并不会因为他们的强大而导致我干不下去，因为它公平。 到最后，我发现最应该感谢的还是中本聪。 昨天见到川普总统时 我问他：总统先生，您的耳朵怎么样了？ Mr. President, how is your ear? 他说：谢谢你，基本痊愈了。 Thank you, it’s basically healed. 我对他说：太好了，上帝保佑你。美国不能再左下去了。我们支持你！ That’s great, God bless you. America cannot go any further left, we support you. 他握着我手：是的，我们一定会胜利，我相信上帝。 Yes, we must win, I believe God. 我从他的眼神里看到了无比的坚定 （顺便说一句这大爷握手时劲真的挺大） 最后我半开玩笑地说： 总统先生，你有比特币吗？ Mr. President, do you have Bitcoin?（其实这是一句废话） 他笑着说：当然有了，我爱比特币 Yeah Absolutely, I love it. 今天我又看见新闻，民主党的贺锦丽也要和比特币相关的企业举行会议，呵呵呵，这个会，别说要钱，给我钱我也不会去的。 B哥就是这么爱憎分明 从美国两党今天对比特币的态度，我们也能看出来除了选票之外，也证明了比特币今天的地位不言而喻。 比特币的成功是货币民主的成功 比特币的成功是群众意识的觉醒 比特币的成功是货币信任的重续 #Bitcoin不需要美国 是美国需要 #Bitcoin #Bitcoin 也不需要总统 是总统需要 #Bitcoin 三天前还有个新闻不知道大家注意到没， Marathon下场买了1亿美金的比特币，身为最大的挖矿企业为什么要去买币？碰巧昨天遇见他们CEO，我问他Why？他说“你知道的，挖太慢了” B哥的这篇感悟，希望你们能看懂。 HOLD YOUR BITCOIN

（注：神经突触与神经元的动作电位触发时间的先后关系，决定了它们连接强度是增强还是减弱。如果突触的激活时序领先于神经元的动作电位，

（注：神经突触与神经元的动作电位触发时间的先后关系，决定了它们连接强度是增强还是减弱。如果突触的激活时序领先于神经元的动作电位，那么该连接获得强化；如果突触的激活时序滞后于神经元的动作电位,那么该连接获得削弱。It's a particular learning rule that uses Spike timing to figure out how to to determine how to update the synapses. So it's kind of like if the synaptic fires into the neuron before the neuron fires, then it strengthens the synapse. And if the signals fire into the neurons shortly after the neuron fired, then it weakens the synapse.） 神经网络另一个重要的点在于loss函数的提出，它为深度学习提供了可行的训练方法。很有趣的一点是，在现实世界中，我们并没有看到对应loss函数的东西 - 进化论是以loss的方式来迭代的吗？经济系统或社会系统存在loss吗？似乎都不是。 2. 神经网络的本质 Ilya认为，大脑也好，大模型也好，本质上都是把知识压缩到一个高维的隐空间当中。每一个新的观测数据到来的时候，它就会通过连接来更新隐空间中的一些参数。知识就存储在这些连接的权重里。（I guess what is a recurring role that you have a neural network which maintains a high dimensional, hidden state, and then within observation arrives. It updates its high dimensional, hidden state through its connections in some way. You could say the knowledge is stored in the connections.）压缩的过程有点类似于人类的记忆和遗忘过程，你忘掉了绝大部分没用的信息，而只是记住了那些有用的，并且将它们整合记忆。 压缩的过程就是“寻找最小回路”（search for small circuits）的过程。在数学上，有一种理论是“最短描述长度”原则，即如果你能够找到能够产生所需数据的最小程序，那么你就能够用这个程序做出最好的预测。（If you can find the shortest program that outputs the data in your disposal, then you will be able to use it to make the best prediction possible.）这是数学上可以被证明的。但“最短描述长度”原则是一个理论原则，在实践中很难准确实现。所以在实践中，针对给定的数据集，我们只能使用神经网络找到“尽量短小”的回路。因此，可以将神经网络的训练过程理解为，慢慢将训练数据集里的信息熵迁移到神经网络的参数中，而最终沉淀下来的这些回路刚好不算太大。（If you imaine the training process of a neural network as you slowly transmit entropy from the data set to the parameters, then somehow the amount of information in the weights ends up being not very large, which would explain why the general is so well.） 如果你能高效压缩信息，那么你一定已经得到知识了。GPT已经是一个世界模型了，it knows all the intricacies。尽管你做的看似只是predict the next word这么简单的事情，但这只是优化手段而已。 自然语言是最好的latent space，而且是最容易做alignment的latent space。 3. Ilya研究生涯中的两个重要时刻。 第一个时刻，是2012年做AlexNet，Alex Krjevsky用GPU来编写足够快的卷积程序，让CNN训练变得超级快，拉开了CV时代的序幕。这是Ilya的顿悟时刻，觉得神经网络这条路是能走通的。 第二个时刻，Ilya对大模型的信心来自于早年团队的一个发现。当时，团队训练一个LSTM模型来预测Amazon评论中的下一个character，当参数从500到4000的时候，就会出现一个专门的neuron来表达评论的sentiment是正面还是负面。于是，团队猜测，当模型足够大、参数足够多的时候，句法已经被充分表达了（run out of syntax to model），多余的参数开始学会捕捉语义信息。这说明了通过“预测下一个字”的训练方法，可以让模型学到更多隐藏的信息。 4. 关于多模态。 多模态是有用的，尤其是视觉。人类大脑皮层中三分之一都用来处理视觉，缺少了视觉的神经网络作用会相当有限。 人类更多是从图像而不是语言中学习的。人类一生只会听到大概10亿个词，这个数据量是非常有限的，而更多的数据来自于视觉。 很多时候，从视觉学习比从文本学习更容易。例如颜色，尽管通过文字也可以学到颜色之间的关联，比如红色和橙色更近，和蓝色更远，但通过视觉来学习要快得多。 5. AI有逻辑吗？有意识吗？ AI当然有逻辑，要不为什么AlphaGo和AlphaZero在最需要逻辑推理能力的围棋游戏中击败了人类？ 如何真正说明AI有逻辑推理能力？证明真正困难的定理，写复杂的代码，用创新方法解决开放性问题。如果AI能够证明一个未经证实的定理，那么这个理由就很难辩驳。 如何判断AI是否有意识？做这样一个实验，假如未来人工智能的训练可以从零开始，通过更小的数据集来完成，那么我们可以非常小心地对训练数据进行清洗，确保数据集中不包含任何关于意识的内容，如果系统在训练中需要人类的反馈，在互动中也要非常谨慎，确保不提到任何关于意识的概念。等训练结束的时候，你和AI一起聊天，这时你告诉他关于意识的事情，你向他描述之后，想象一下，如果这个人工智能接着说，”哦，我的上帝，我一直有同样的感觉，但我不知道如何表达它“，这时就可以认为人工智能有意识了。 6. 开源 vs 闭源。 如果模型的能力不强，那么开源是一件伟大的事情。如果模型的能力过强，那么开源就变得危险。尽管目前GPT4模型的能力还算不上”过分强大“，但已经能够看到这个趋势，所以闭源是合理的。（类似于核武器？） 当然，现阶段闭源更重要的原因是商业竞争（而不是安全，Ilya的原话）。 7. 更大的模型一定会带来更好的结果。（Of course the larger neuron nets will be better.） 前些年扩大规模很容易是因为有很多计算资源都没有被充分利用，一旦重新部署过之后就会快速取得进展。但现在规模到达了某种瓶颈，算力的扩张速度变慢了。I expect deploying to continue to make progress in art from other places. The deploying stack is quite deep and I expect that there will be improvements in many layers of the stack and together they will still lead to progress being very robust. 我预期我们将发现deep learning中很多尚未被发现的新属性，而这些新属性的应用将会让模型的效果变得更好。5-10年之后的模型能力一定会远远强过现在的模型。 附三个访谈的链接： 2020年5月 Lex Fridman AI Podcast 2023年3月 黄仁勋 CEO 与 OpenAI 联合创始人及首席科学家 Ilya Sutskever 关于 AI 及 ChatGPT 的对话 2023年4月 OpenAI联合创始人首席科学家AI Ilya Sutskever斯坦福大学内部演讲