简化JOIN语法 (JOIN简化与加速系列 3)

2024-05-17

文章介绍了三种简化JOIN语法的方法:外键属性化、同维表互联和子表集合化。外键属性化将外键字段视为维度表中的对应记录,从而简化JOIN语句。同维表互联利用主键相同,记录一一对应的特点,将两个表视为一个表进行操作。子表集合化将子表视为主表的一个字段,通过集合操作简化JOIN和GROUP BY语句。

阅读更多
46
未分类 JOIN

GitHub - lydiahallie/javascript-questions: (进阶)JavaScript 问题长列表及其解释

2024-05-16

这是一份包含许多 JavaScript 问题的清单,涵盖基础到进阶的知识点,旨在帮助开发者测试、复习 JavaScript 知识或准备面试。问题下方有答案,可以通过点击展开查看。问题涵盖了变量提升、作用域、事件传播、原型、类型强制、异步编程、生成器函数、代理对象、私有变量等方面,并且会定期更新。

阅读更多
40
未分类

布拉格天文钟模拟器

2024-05-16

该项目是一个布拉格天文钟的模拟器,该钟最初安装于1410年,至今仍在运行。真实的钟表被设计成在布拉格的特定纬度(约50°N)运行。而该模拟器可以设置在地球上的任何位置,可以显示当前时间,也可以设置特定时间来查看时间是如何显示的。模拟器的指针、小时刻度盘、太阳、月亮和黄道轮的定位默认使用计算机时钟和现代天文计算,但也可以模拟机械钟计时。

阅读更多
49
未分类

ggml:通过 jart 重写 CPU 的 silu 和 softmax

2024-05-15

该文章讨论了在llama.cpp项目中,jart 提交了一个拉取请求,重写了 CPU 的 silu 和 softmax 函数。重写的函数使用了llamafile的矢量化expf()函数,相比之前的短[65536]查找表,可以更准确地计算 softmax 和 silu。新函数支持 aarch64 和 sse2+,最坏情况下的舍入误差为 2 ulp。作者还编写了 avx2 和 avx512 实现,但与 sse2+fma 相比,它们没有提供太多优势,代码复杂性也不值得。在 AMD Ryzen 9 5950X 和 M2 Ultra 上,SOFT_MAX 比主分支快约 1.5 倍,包含 AVX2 后优势增加到 1.9 倍,znver4 上包含 avx512 后优势高达 2.1 倍。

阅读更多
52
未分类 ggml llama.cpp

GitHub - fossable/goldboot: 桌面不可变基础设施

2024-05-14

Goldboot 是一款构建真实硬件机器镜像的工具,可以帮助用户实现接近不可变基础设施的目标。用户可以通过声明式配置文件定义机器配置,Goldboot 使用该配置在本地机器或 CI 平台上构建镜像,生成的镜像可以通过 USB 或 PXE 启动部署到硬件。Goldboot 类似于 Docker 和 Packer 的混合体,但它构建的是真实硬件的镜像,而不是容器或虚拟机。这些镜像包含操作系统、应用程序、软件补丁和配置,所有内容都打包在一个易于部署的包中。

阅读更多
41

Glider:开源电子墨水显示器

2024-05-14

Glider是一款开源电子墨水显示器,专注于低延迟和高刷新率。它支持具有并行接口的电泳显示面板,包括单色和彩色滤光片阵列(如Kaleido)彩色屏幕。Glider具有极低的处理延迟(小于20微秒),支持二进制、4级灰度和16级灰度输出模式,以及优化的二进制和4级灰度驱动模式。此外,它还提供混合自动二进制和16级灰度驱动模式。

阅读更多
57
未分类 电子墨水

GitHub - google-ai-edge/model-explorer: 现代模型图可视化器和调试器

2024-05-14

Model Explorer是一款直观的模型图可视化工具,它以分层方式组织模型操作,用户可以动态地展开或折叠这些层次。Model Explorer还提供了丰富的功能来帮助模型探索和调试,包括突出显示输入和输出操作、在节点上叠加元数据、在交互式弹出窗口中显示层、执行搜索、显示相同的层、GPU加速图形渲染等等。Model Explorer目前支持TFLite、TF、TFJS、MLIR和PyTorch(导出程序)模型格式,并为开发人员提供了一个扩展框架,可以轻松地添加对其他格式的支持。

阅读更多
44

卷积 Kolmogorov-Arnold 网络 (CKAN)

2024-05-14

该项目将 Kolmogorov-Arnold 网络 (KAN) 的创新架构扩展到卷积层,将卷积的经典线性变换更改为每个像素中可学习的非线性激活。与传统卷积网络相比,KAN 卷积网络需要的参数明显更少,这在处理大型数据集和复杂模型时具有潜在优势。虽然初步评估结果尚未显示出显著的性能提升,但随着模型和数据集复杂性的增加,预计 KAN 卷积网络的性能将得到提升。

阅读更多
61
未分类 卷积神经网络

GitHub - andydunstall/pico: 反向代理连接外部网络(隧道)

2024-05-14

Pico是一个开源的Ngrok替代方案,旨在服务生产流量并易于托管(尤其是在Kubernetes上)。Pico 可以用于暴露客户网络中的服务、构建自带云 (BYOC) 服务或连接到物联网设备。代理服务器可以作为节点集群托管,以实现容错、扩展和零停机部署。上游服务连接到 Pico 并注册端点。然后,Pico 将通过其仅出站连接将端点请求路由到已注册的上游服务。这意味着你可以在不打开公共端口的情况下暴露你的服务。

阅读更多
53
未分类 隧道

Verilator: 开源 SystemVerilog 模拟器和代码检查工具

2024-05-14

Verilator 是一款开源的 Verilog/SystemVerilog 模拟器和代码检查工具,它速度快,支持多线程输出,被广泛应用于工业界和学术界。Verilator 接受 Verilog 或 SystemVerilog 代码,执行代码质量检查,并将其编译成多线程的 C++ 或 SystemC 代码。Verilator 的性能优于许多商业模拟器,并且是开源的,因此您可以节省许可证费用。

阅读更多
60

GitHub - containers/podman-desktop-extension-ai-lab: 在本地环境中使用容器处理大型语言模型

2024-05-14

Podman AI Lab 是 Podman Desktop 的开源扩展,用于在本地环境中使用大型语言模型 (LLM)。 它提供了一个包含常见 AI 用例的配方目录、一组精选的开源模型,以及一个用于学习、原型设计和实验的游乐场。 Podman AI Lab 帮助您快速轻松地将 AI 引入您的应用程序,而无需依赖笔记本电脑以外的基础架构,从而确保数据隐私和安全。

阅读更多
41
未分类 Podman

GitHub - bobeff/open-source-games:开源游戏列表

2024-05-13

本文提供了一份开源视频游戏和商业视频游戏的开源重制版列表,涵盖了动作、冒险、商业、城市建设、第一人称射击、平台跳跃、解谜、竞速、即时战略、Roguelike、角色扮演、沙盒、弹幕射击、体育、第三人称射击、塔防和回合制策略等多种游戏类型,并提供了每个游戏的源代码链接。

阅读更多
46
未分类 游戏列表

GitHub - uysalibov/gezgin: 使用 Raylib 和 OpenStreetMap 数据进行现代寻路

2024-05-13

gezgin是一款使用C++和raylib编写的简单路径查找可视化应用程序,可以直观地探索伊斯坦布尔的街道。它利用OpenStreetMap数据、Overpass API和Dijkstra算法进行寻路,并以60 FPS的速度渲染超过30万个节点和道路。该项目还涉及地理空间索引、标准化和缩放,并使用邻接表作为数据结构。

阅读更多
65
未分类 OpenStreetMap raylib

树莓派语音助手Pi-card

2024-05-13

Pi-card是一个完全在树莓派上运行的AI语音助手,它能够像标准LLM(如ChatGPT)一样在对话环境中执行任何操作。此外,如果配备了摄像头,您还可以要求Pi-card拍照、描述它看到的内容,然后提出有关该图像的问题。Pi-card完全在您的树莓派上运行,使用whipser.cpp进行音频转录,使用llama.cpp进行视觉语言建模。

阅读更多
46
未分类 语音助手

GitHub - ogxd/gxhash:最快的哈希算法 📈

2024-05-13

GxHash是一个非常快速且稳健的非加密哈希算法。它利用SIMD指令、高指令级并行和紧凑的字节码实现了高速性能,并通过多轮硬件加速AES块密码进行高效的比特混合,使其具有低碰撞率、均匀分布和高雪崩特性。GxHash通过了SMHasher测试,并提供了种子随机化以增强抗DoS攻击能力。

阅读更多
63
未分类 哈希算法 gxhash

GitHub - PackJC/YoutubeToMP3:一款C# Windows窗体应用程序,允许用户将YouTube视频下载为MP3文件

2024-05-13

这是一个C# Windows窗体应用程序,允许用户将YouTube视频下载为MP3文件。用户可以输入YouTube URL,点击下载按钮后,应用程序会使用YoutubeExplode获取并下载视频。进度条实时更新,显示下载进度。下载完成后,应用程序使用MediaToolkit将视频转换为MP3。用户可以通过SaveFileDialog选择MP3文件的保存位置。完成后会弹出完成通知。

阅读更多
60
未分类 MP3

Yi-1.5:性能更强的升级版Yi模型

2024-05-12

Yi-1.5是Yi的升级版本,经过5000亿token的高质量语料库持续预训练,并在300万个不同的微调样本上进行了微调。与Yi相比,Yi-1.5在编码、数学、推理和指令跟随能力方面表现更出色,同时仍然保持了在语言理解、常识推理和阅读理解方面的出色能力。Yi-1.5提供三种模型尺寸:34B、9B和6B。

阅读更多
77
未分类

GitHub - kzemek/es6_maps: Elixir 映射的 ES6 类简写语法:`%{foo, bar} = map; IO.puts(foo)`

2024-05-12

es6_maps 项目为 Elixir 映射引入了类似 ES6 的简写语法,简化了频繁使用映射字面量的代码模式,例如 `ctx = %{variable: variable, user: user, ...}`。它通过在运行时替换 Elixir 编译器的 elixir_map 模块来实现,将映射键 %{k} 替换为 %{k: k}。该项目不产生运行时开销,并且与 JavaScript 和 Rust 等其他语言的简写语法类似。

阅读更多
44
未分类 语法 ES6

GitHub - noisysockets/nsh: 噪声套接字命令行界面

2024-05-12

噪声套接字命令行界面 (nsh) 是一个用于配置和管理用户空间 WireGuard 连接的工具。它包含噪声套接字 Shell,这是一个使用 WireGuard 进行身份验证和加密的安全远程 Shell。可以通过终端或 Web 浏览器访问该 Shell。文章介绍了 nsh 的使用方法,包括初始化配置、添加节点、启动服务器以及通过命令行界面或浏览器连接到服务器。

阅读更多
45
1 2 34 35 36 38 40 41 42 43 44 45