Github Hacker News

GitHub - jdnklau/fm-ml: Collection of resources for research concerning Machine Learning and Formal Methods.

Collection of resources for research concerning Machine Learning and Formal Methods. - jdnklau/fm-ml

3 views05:15

Power Cloud

KraftCloud

GitHub - unikraft/unikraft: A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives…

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings. - unikraft/unikraft

2 views06:58

Открытый удаленный SSH - для VSCODIUM

Open Remote SSH – For VSCodium

GitHub - jeanp413/open-remote-ssh: VSCode Remote Development: Open any folder on a remote machine using SSH.

VSCode Remote Development: Open any folder on a remote machine using SSH. - jeanp413/open-remote-ssh

1 view07:15

Повысьте эффективность обслуживания хранилища с помощью автоматизации с AI с помощью AI.

Boost your repository maintenance efficiency with AI-powered automation

GitHub - jwcesign/gitautomator: A smart automated GitHub bot for managing GitHub projects.

A smart automated GitHub bot for managing GitHub projects. - jwcesign/gitautomator

2 views07:37

Show HN: DOCFD: TUI Multiline Fuzzy Finder Document

Show HN: Docfd: TUI multiline fuzzy document finder

GitHub - darrenldl/docfd: TUI multiline fuzzy document finder

TUI multiline fuzzy document finder. Contribute to darrenldl/docfd development by creating an account on GitHub.

2 views07:45

Spicedb Playground теперь открытый исходный код

SpiceDB Playground is now Open Source

GitHub - authzed/playground: Playground for SpiceDB, the open source, Google Zanzibar-inspired permissions database to enable fine…

Playground for SpiceDB, the open source, Google Zanzibar-inspired permissions database to enable fine-grained access control for customer applications - authzed/playground

3 views08:48

История трафика с открытым исходным кодом.

An open-source tracking GitHub repo traffic history longer than 14 days

GitHub - repohistory/repohistory: GitHub repo analytics tool without 14 days limit

GitHub repo analytics tool without 14 days limit. Contribute to repohistory/repohistory development by creating an account on GitHub.

1 view09:31

Tonal.js: теория функциональной музыки lib

Tonal.js: Functional music theory lib

GitHub - tonaljs/tonal: A music theory library for Javascript

A music theory library for Javascript. Contribute to tonaljs/tonal development by creating an account on GitHub.

1 view10:36

Noble-Post-Quantum: проверка и минимальная реализация JS Post-Quantum Crypto

noble-post-quantum: auditable & minimal JS implementation of post-quantum crypto

GitHub - paulmillr/noble-post-quantum: Auditable & minimal JS implementation of public-key post-quantum cryptography

Auditable & minimal JS implementation of public-key post-quantum cryptography - paulmillr/noble-post-quantum

2 views11:27

GitHub-Джош-Проек/Джош: только одна история

GitHub – josh-project/josh: Just One Single History

GitHub - josh-project/josh: Just One Single History

Just One Single History. Contribute to josh-project/josh development by creating an account on GitHub.

1 view12:52

TaskWarrior 3.0 выпущен

Taskwarrior 3.0 Released

Release v3.0.0 · GothenburgBitFactory/taskwarrior

This new major version of Taskwarrior comes with an important change: the sync functionality has been rewritten entirely, and no longer supports taskserver/taskd. Instead, the recommended solution ...

2 views13:12

Руководство Unix и Linux Системного администрирования

Unix and Linux system administration handbook

GitHub - abdoufermat5/unix-and-linux-sysadmin-notes: Unix and Linux system administration handbook by Evi Nemeth Garth Snyder Trent…

Unix and Linux system administration handbook by Evi Nemeth Garth Snyder Trent R. Hein Ben Whaley Dan Mackin - abdoufermat5/unix-and-linux-sysadmin-notes

1 view13:16

Показать HN: автоматический тип безопасного CSV

Show HN: Automatic Type-Safe CSV

manifold/manifold-deps-parent/manifold-csv/README.md at master · manifold-systems/manifold

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more. - manifold-systems/manifold

1 view14:42

Лицензия Stormdrop с закрытым исходным кодом

Stormdrop license featuring closed source fee

stormdrop/LICENSE at master · williamstaffordparsons/stormdrop

StormDrop is a 32-bit, pseudo-random number generator algorithm. - williamstaffordparsons/stormdrop

2 views15:01

FRROUTING/FRR: Удалить внешнюю зависимость Libsystemd-DEV… (2021)

FRRouting/frr: remove libsystemd-dev external dependency… (2021)

remove libsystemd-dev external dependency & --enable-systemd switch by eqvinox · Pull Request #8508 · FRRouting/frr

Turns out the amount of code from libsystemd that is relevant to us is... almost nonexisting. To the point of it being simpler to just open-code our own notification function & looking at env...

1 view15:29

Открытые источники Princeton Group "Swe-Agent", с 12,3% -ным показателем фиксированной ставки для выпусков GitHub

Princeton group open sources "SWE-agent", with 12.3% fix rate for GitHub issues

GitHub - SWE-agent/SWE-agent: SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can…

SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024] - Gi...

1 view16:18

Еще один список фильмов по истории компьютера

Another Computer History Movie List

GitHub - endingwithali/another-computer-history-media-list: an awesome list of computer history media that has been collected

an awesome list of computer history media that has been collected - endingwithali/another-computer-history-media-list

3 views16:30

Show HN: Comprise-API-все в одном решении уведомления с точкой доступа API

Show HN: Apprise-API – All in one notification solution with API access point

GitHub - caronc/apprise-api: A lightweight REST framework that wraps the Apprise Notification Library

A lightweight REST framework that wraps the Apprise Notification Library - caronc/apprise-api

3 views16:34

The Chat vs. Tab: Как лучше всего заняться местным искусственным искусством?

Chat vs. Tab: What's the best way to do local AI dev?

continue/core/autocomplete at main · continuedev/continue

⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains - continuedev/cont...

3 views17:01

Http toolkit, который позволяет запускать несколько зондов

HTTP toolkit that allows running multiple probes

GitHub - projectdiscovery/httpx: httpx is a fast and multi-purpose HTTP toolkit that allows running multiple probes using the retryablehttp…

httpx is a fast and multi-purpose HTTP toolkit that allows running multiple probes using the retryablehttp library. - projectdiscovery/httpx

3 views17:07