为什么我们要尝试Kotlin
由于最近在客户项目上有机会使用了Kotlin这门今年大热的语言,所以在好几个不同的场合都被要求做一些Kotlin相关的分享,在这个过程中被问到的最多的一个问题便是——我们为什么要尝试Kotlin?
由于最近在客户项目上有机会使用了Kotlin这门今年大热的语言,所以在好几个不同的场合都被要求做一些Kotlin相关的分享,在这个过程中被问到的最多的一个问题便是——我们为什么要尝试Kotlin?
本文旨在尝试使用 llama.cpp 在本地部署 AI 大模型,随着人工智能的快速发展,我们逐渐认识到私有化部署的重要性和潜力。在此背景下,llama.cpp 作为一个纯 C/C++ 实现的 LLaMA 模型推理工具,提供了在本地环境下高性能的 AI 推理能力。在这篇文章中,我们可以了解到 llama.cpp 具有在 GPU 和 CPU 环境下运行的灵活性,满足私有化部署的需求。文章详细介绍了 llama.cpp 编译和部署的过程,为读者提供了一份在本地部署 AI 大模型的教程。私有化部署的 AI 大模型,相比于 ChatGPT 这类通用大模型,更注重数据隐私和安全性,对云服务的依赖更少,可以做到更好的本地化控制。虽然编译 llama.cpp 有一定的复杂性,AI 大模型的下载、转化、量化需要一定的耐心,可当本地的 AI 应用运行起来的那一刻,博主觉得这一切完全值得。
在使用了 Java 15 年后,我写了第一行 Kotlin 代码,到现在已经差不多 5 年了。
我们的团队用 Utterlyidle 替代 Spring,用 Totallylazy 进行函数式编程。我们是 IntelliJ 的忠实粉丝,并试着充分利用它提供的 Java 工具。
长期以来,硅谷一直在鼓吹技术(而非真理)使人们自由。这种观点是否正确,至今还没有定论,但毫无疑问,智能手机虽然已经极大地改变了我们的世界,但也有一些严重的弊端。例如,集中化的应用商店意味着对人们有用的应用可以在一瞬间消失,而这些应用本身可以使用这些设备上的传感器来监控人们生活的方方面面。而最糟糕的可能是,这些智能设备虽然大多价格不菲,但它们的使用寿命预期不会超过几年。
2011 年 7 月 19 日,在 JVM 语言峰会上,JetBrains 宣布了 Kotlin —— 一种用于 JVM 的新静态类型编程语言。
Kotlin 官方博客发文庆祝这个值得纪念的日子,并称自从 Kotlin 诞生以来,一直在改变他们在 JetBrains 的工作方式。
Kotlin 也从一个 Java 的替代方案发展成如今具备完整的生态,
不久前,谷歌正式推出 Jetpack Compose 1.0 版本。近日,JetBrains 在此基础上发布了 Compose Multiplatform Alpha 版本,旨在将 Compose 扩展到桌面和 Web 端。
如果这些操作都是耗时操作,为了不阻塞线程,需要将这些耗时操作放到其他线程中,即
DoorDash 是美国版的饿了么或美团外卖。基于 Python 2 和 Django 的单体应用无法持续,DoorDash 于是拆分单体应用,在对比 Kotlin、Java、Go、Rust、Python 3 后,他们确定用 Kotlin 写后端服务。
Kotlin 官方博客公布了启用新 Logo 的消息。公告写道,虽然 Kotlin 已诞生许久,但在视觉风格方面却一直没有体现一致性。团队希望为 Kotlin 创建一个体现出稳固形象、具有图标性并且辨识度高的品牌 Logo,同时还具备多元性且易于使用的特点。
Jenkins 是目前最常用的持续集成工具,拥有近 50% 的市场份额,它还是很多技术团队的第一个使用的自动化工具。但是随着自动化领域的持续发展,Jenkins 逐渐暴露出了一些问题,例如缺乏功能、维护问题、依赖关系和扩展问题等等。
犹记得 2017 年 Google I/O 大会上,Google 宣布 Kotlin 语言为 Android 开发的一级语言。时隔四年,Kotlin 的用户量在不断递增,在《2020-2021中国开发者大调查报告》中,轻芒联合创始人、前豌豆荚技术负责人范怀宇也曾评价道,“Kotlin 虽然在统计中总的比例不高,但在 Android 开发上进一步在取代 Java。Kotlin 作为另一个基于 JVM 的编程语言,一方面,可以保持 Java 使用 JVM 稳定和高性能的好处,享用 JVM 已有的生态;另一方面,通过其更为灵活的语法特性,越来越广泛地被 Android 开发者使用,已然成为 Android 的首选编程语言,对于新参与 Android 的开发者而言,Kotlin 是更好的学习对象。”