Github Hacker News

GitHub - Z3Prover/z3: The Z3 Theorem Prover

The Z3 Theorem Prover. Contribute to Z3Prover/z3 development by creating an account on GitHub.

7 views15:35

Симулятор AWS IAM: модуль Prolog, который хранит политики и действия IAM

AWS IAM simulator: Prolog module that stores IAM policies and actions

GitHub - dnmfarrell/iamsim: A Prolog module that stores IAM policies and actions to simulate permissions.

A Prolog module that stores IAM policies and actions to simulate permissions. - dnmfarrell/iamsim

6 views08:43

Model2Vec: создание небольшой статической модели из любой модели Sentence Transformers

Model2Vec: Distill a Small Static Model from Any Sentence Transformers Model

GitHub - MinishLab/model2vec: Fast State-of-the-Art Static Embeddings

Fast State-of-the-Art Static Embeddings. Contribute to MinishLab/model2vec development by creating an account on GitHub.

4 views10:53

RAD Linker — это новый производительный компоновщик для генерации двоичных файлов x64 PE/COFF.

The RAD Linker is a new performance linker for generating x64 PE/COFF binaries

GitHub - EpicGamesExt/raddebugger: A native, user-mode, multi-process, graphical debugger.

A native, user-mode, multi-process, graphical debugger. - EpicGamesExt/raddebugger

4 views11:49

Показать HN: Моделирование «медленного старта» TCP в Go

Show HN: TCP "slow-start" simulation in Go

GitHub - ritiksahni/cwnd-demo: A demo of "slow-start" in TCP, a congestion control concept. Written in Go.

A demo of "slow-start" in TCP, a congestion control concept. Written in Go. - ritiksahni/cwnd-demo

3 views12:07

Показать HN: Я сделал инструмент для нарезки сэмплов в пресеты Ableton Move

Show HN: I made tool for slicing up samples to Ableton Move presets

GitHub - alexfedosov/move-tool: A simple CLI to mangle samples for Ableton Move / Ableton Note

A simple CLI to mangle samples for Ableton Move / Ableton Note - alexfedosov/move-tool

3 views12:13

Суперлинкер: объединение исполняемых файлов и общих библиотек в еще более крупные продукты

Superlinker: Combine executables and shared libraries into even larger products

GitHub - whitequark/superlinker: a tool for reinterpreting ELF executables and shared libraries

a tool for reinterpreting ELF executables and shared libraries - whitequark/superlinker

4 views13:28

Быстрый вывод LLM в Rust

Fast LLM Inference in Rust

GitHub - EricLBuehler/mistral.rs: Blazingly fast LLM inference.

Blazingly fast LLM inference. Contribute to EricLBuehler/mistral.rs development by creating an account on GitHub.

5 views19:17

Попытка сделать FM проще, улучшить карьеру в ФИФА

Trying to make simpler FM, better Fifa career

GitHub - jkalinowsky/Match-Simulation

Contribute to jkalinowsky/Match-Simulation development by creating an account on GitHub.

7 views20:56

Не позволяет вам сохранять секреты и учетные данные в репозиториях Git.

Prevents you from committing secrets and credentials into Git repositories

GitHub - awslabs/git-secrets: Prevents you from committing secrets and credentials into git repositories

Prevents you from committing secrets and credentials into git repositories - awslabs/git-secrets

7 views21:16

Лучшие практики в рекомендательных системах

Best Practices on Recommendation Systems

GitHub - recommenders-team/recommenders: Best Practices on Recommendation Systems

Best Practices on Recommendation Systems. Contribute to recommenders-team/recommenders development by creating an account on GitHub.

7 views23:34

FutureSDR – среда выполнения Rust SDR

FutureSDR – Rust SDR Runtime

GitHub - FutureSDR/FutureSDR: An Async SDR Runtime for Heterogeneous Architectures

An Async SDR Runtime for Heterogeneous Architectures - FutureSDR/FutureSDR

6 views01:15

Atcute: легкие пакеты TypeScript для протокола at

Atcute: Lightweight TypeScript Packages for at Protocol

GitHub - mary-ext/atcute: a collection of lightweight TypeScript packages for AT Protocol, the protocol powering Bluesky.

a collection of lightweight TypeScript packages for AT Protocol, the protocol powering Bluesky. - mary-ext/atcute

5 views01:25

Высококонтрастные темы Modus для Neovim

High Contrast Modus Themes for Neovim

GitHub - miikanissi/modus-themes.nvim: Highly accessible themes for Neovim, conforming with the highest standard for color contrast…

Highly accessible themes for Neovim, conforming with the highest standard for color contrast between background and foreground values (WCAG AAA). A Neovim port of the original Modus Themes built fo...

5 views04:43

Голый металлический raycaster, загружается с образа дискеты

A bare metal raycaster, boots from a floppy image

GitHub - stillwwater/raycaster: A bare metal raycaster, boots from a floppy image

A bare metal raycaster, boots from a floppy image. Contribute to stillwwater/raycaster development by creating an account on GitHub.

4 views05:07

Показать HN: Быстрый шепот турбо для задач ASR (преобразование речи в текст)

Show HN: Fast whisper turbo for ASR (speech-to-text) tasks

GitHub - JosefAlbers/whisper-turbo-mlx: Blazing fast whisper turbo for ASR (speech-to-text) tasks

Blazing fast whisper turbo for ASR (speech-to-text) tasks - JosefAlbers/whisper-turbo-mlx

5 views05:27

Сканер серверов Minecraft Honeypot

Minecraft Server Scanner Honeypot

GitHub - Duckulus/mc-honeypot: Minecraft Server Scanner Honeypot

Minecraft Server Scanner Honeypot. Contribute to Duckulus/mc-honeypot development by creating an account on GitHub.

6 views06:22

Kr239/Macintosh-SE-Reloaded: 1:1 воссоздание материнской платы Macintosh SE

Kr239/Macintosh-SE-Reloaded: A 1:1 Recreation of the Macintosh SE logic board

GitHub - kr239/Macintosh-SE-Reloaded: A 1:1 Recreation of the Macintosh SE logic board

A 1:1 Recreation of the Macintosh SE logic board. Contribute to kr239/Macintosh-SE-Reloaded development by creating an account on GitHub.

6 views08:09

Bitwarden больше не является бесплатным программным обеспечением

Bitwarden is no longer free software

Desktop version 2024.10.0 is no longer free software · Issue #11611 · bitwarden/clients

Pull request #10974 introduces the @bitwarden/sdk-internal dependency which is needed to build the desktop client. The dependency contains a licence statement which contains the following clause: Y...

7 views08:53

DawVert – ConVERTer файла проекта DAW

DawVert – The DAW Project File ConVERTer

GitHub - SatyrDiamond/DawVert: DawVert - The DAW ConVERTer

DawVert - The DAW ConVERTer. Contribute to SatyrDiamond/DawVert development by creating an account on GitHub.

5 views09:27