Show HN: Elector - браузер Lightwight Tor в электроне
Show HN: Elector – A lightwight Tor browser in Electron .
GitHub
GitHub - james-see/elector: TOR BROWSER IN ELECTRON
TOR BROWSER IN ELECTRON. Contribute to james-see/elector development by creating an account on GitHub.
Используйте пособия по теореме, чтобы обеспечить правильность рассуждений вашего LLM
Use theorem provers to ensure the correctness of your LLM's reasoning .
GitHub
GitHub - DebarghaG/proofofthought: Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support…
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL) - DebarghaG/proofofthought
Итерация-это все, что вам нужно: Arc-2-решатель, вдохновленный алгоритмом поиска Гровера
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm .
GitHub
GitHub - zoecarver/grover-arc
Contribute to zoecarver/grover-arc development by creating an account on GitHub.
Show HN: NAMO Detector V1-Высокопроизводительное, семантическое обнаружение поворота
Show HN: Namo Turn Detector v1 – High-performance, semantic turn detection .
GitHub
GitHub - videosdk-live/NAMO-Turn-Detector-v1: High-performance, semantic turn detection for conversational AI
High-performance, semantic turn detection for conversational AI - videosdk-live/NAMO-Turn-Detector-v1
Расширения VSCode показывают как «больше не доступны»
VSCode Extensions showing as "No longer available" .
GitHub
Some extensions that are available on the Marketplace are showing up as "no longer available" · Issue #269737 · microsoft/vscode
This is not true, see screenshots. I plan on publishing a new version of an affected extension next Monday and would like to know that the publishing will succeed. Version: 1.104.3 (Universal) Comm...
LLMSWAP: Избегайте блокировки поставщика LLM-10 поставщиков с лучшими моделями LMARENA
Llmswap: Avoid LLM vendor lock-in – 10 providers with top LMArena models .
GitHub
GitHub - sreenathmmenon/llmswap: Universal AI CLI & Python SDK for 8+ providers (OpenAI, Claude, Gemini, Cohere, Perplexity…
Universal AI CLI & Python SDK for 8+ providers (OpenAI, Claude, Gemini, Cohere, Perplexity, IBM watsonx, Groq, Together AI). Multi-provider chat, code generation, cost optimization, ag...
Показать HN: CoilerPlate Auth Server реализует RBAC
Show HN: Boilerplate auth server implementing RBAC .
GitHub
GitHub - farhan0167/auth-serve: Boilerplate OAuth2.0 FastAPI Auth Server applicable in most projects
Boilerplate OAuth2.0 FastAPI Auth Server applicable in most projects - farhan0167/auth-serve
Show HN: рамка наблюдаемой наблюдаемости с открытым исходным кодом.
Show HN: An open-source, RL-native observability framework we've been missing .
GitHub
GitHub - kaushikb11/verifiers-monitor: Observability framework for RL training and evaluation
Observability framework for RL training and evaluation - kaushikb11/verifiers-monitor
Show HN: Renderstack - Поиск переполнения стека с чистым текстом HTML и LLM
Show HN: Renderstack – Stack Overflow search with clean HTML and LLM text .
GitHub
GitHub - peterdunson/renderstack: Search Stack Overflow from the terminal. Get clean HTML with human-friendly cards and LLM-ready…
Search Stack Overflow from the terminal. Get clean HTML with human-friendly cards and LLM-ready text. No hallucinated answers. - peterdunson/renderstack
Отмывание кода с открытым исходным искусством с открытым исходным искусством
AI-powered open-source code laundering .
GitHub
rEFui/HALL_OF_SHAME.md at main · SudoMaker/rEFui
The JavaScript framework that refuels your UI projects, across web, native, and embedded - SudoMaker/rEFui
Webx11 - превратите любой исполняемый файл в изменяемое использование веб -страницы
WebX11 – Turn any executable into a resizable web page .
GitHub
GitHub - lp1dev/WebX11: Turn GNU/Linux desktop applications into web-accessible services
Turn GNU/Linux desktop applications into web-accessible services - lp1dev/WebX11
Делегатируемая проверка (DELVE): более простой подход к проверке домена
Delegatable Verification (DelVe): A simpler approach to domain verification .
GitHub
GitHub - mikotoIO/delve: Delegatable Verification (DelVe) Standard
Delegatable Verification (DelVe) Standard. Contribute to mikotoIO/delve development by creating an account on GitHub.
Parrot-SQL-тип SQL в Gleam, поддерживает SQLite, PostgreSQL и MySQL.
Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL. .
GitHub
GitHub - daniellionel01/parrot: 🦜 type-safe SQL in gleam
🦜 type-safe SQL in gleam. Contribute to daniellionel01/parrot development by creating an account on GitHub.
Show HN: Подавайте LLM - разверните галлюцинированное веб -приложение из одной подсказки
Show HN: Serve LLM – Spin up a hallucinated web app from a single prompt .
GitHub
GitHub - gerkensm/serve-llm: CLI that spins up an LLM-improvised single-page app on every request using OpenAI, Gemini, or Anthropic…
CLI that spins up an LLM-improvised single-page app on every request using OpenAI, Gemini, or Anthropic from a single prompt. - gerkensm/serve-llm
Typenet Clackmark для разработки технологий клавишных аутентификации
TypeNet Benchmark for development of authentication keystroke technologies .
GitHub
GitHub - BiDAlab/TypeNet
Contribute to BiDAlab/TypeNet development by creating an account on GitHub.
Крот - копайте глубоко, как родинка, чтобы очистить свой Mac
Mole – Dig deep like a mole to clean your Mac .
GitHub
GitHub - tw93/Mole: 🐹 Dig deep like a mole to clean you Mac. 像鼹鼠一样深入挖掘来清理你的 Mac
🐹 Dig deep like a mole to clean you Mac. 像鼹鼠一样深入挖掘来清理你的 Mac - tw93/Mole