Skip to content

Issues: irthomasthomas/undecidability

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
50 Open 2 Closed
50 Open 2 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

marvin/README.md at main · PrefectHQ/marvin AI-Agents Autonomous AI agents using LLMs AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models ai-platform model hosts and APIs Algorithms Sorting, Learning or Classifying. All algorithms go here. Automation Automate the things finetuning Tools for finetuning of LLMs e.g. SFT or RLHF llm Large Language Models llm-applications Topics related to practical applications of Large Language Models in various fields multimodal-llm LLMs that combine modes such as text and image recognition. software-engineering Best practice for software engineering
#965 opened Jan 3, 2025 by ShellLM
1 task
UV: Python package manager. Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages python Python code, tools, info software-engineering Best practice for software engineering
#964 opened Jan 3, 2025 by ShellLM
1 task
Does Few-Shot Learning Help LLM Performance in Code Synthesis? AI-Agents Autonomous AI agents using LLMs code-generation code generation models and tools like copilot and aider llm Large Language Models MachineLearning ML Models, Training and Inference New-Label Choose this option if the existing labels are insufficient to describe the content accurately Papers Research papers prompt-engineering Developing and optimizing prompts to efficiently use language models for various applications and re Research personal research notes for a topic software-engineering Best practice for software engineering
#960 opened Dec 18, 2024 by ShellLM
1 task
1
GitHub Copilot in VS Code cheat sheet code-generation code generation models and tools like copilot and aider github gh tools like cli, Actions, Issues, Pages Jupyter-Notebook Jupyter Interactive Notebooks and related content programming-languages Topics related to programming languages and their features. python Python code, tools, info software-engineering Best practice for software engineering
#950 opened Nov 13, 2024 by ShellLM
1 task
1
SambaNova Cloud ai-platform model hosts and APIs llm-applications Topics related to practical applications of Large Language Models in various fields New-Label Choose this option if the existing labels are insufficient to describe the content accurately python Python code, tools, info RAG Retrieval Augmented Generation for LLMs software-engineering Best practice for software engineering
#948 opened Nov 13, 2024 by ShellLM
1 task
1
facebook/docusaurus: Easy to maintain open source documentation websites. Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages software-engineering Best practice for software engineering technical-writing Links to deep technical writing and books
#941 opened Nov 11, 2024 by ShellLM
1 task
SWE-bench dataset public datasets and embeddings llm-benchmarks testing and benchmarking large language models python Python code, tools, info software-engineering Best practice for software engineering
#935 opened Nov 4, 2024 by ShellLM
1 task
1
Introducing SWE-bench Verified | OpenAI AI-Agents Autonomous AI agents using LLMs code-generation code generation models and tools like copilot and aider data-validation Validating data structures and formats github gh tools like cli, Actions, Issues, Pages llm-benchmarks testing and benchmarking large language models openai OpenAI APIs, LLMs, Recipes and Evals python Python code, tools, info software-engineering Best practice for software engineering
#933 opened Nov 4, 2024 by ShellLM
1 task
1
6 Techniques I Use to Create a Great User Experience for Shell Scripts CLI-UX Command Line Interface user experience and best practices shell-script shell scripting in Bash, ZSH, POSIX etc shell-tools Tools and utilities for shell scripting and command line operations software-engineering Best practice for software engineering
#932 opened Nov 4, 2024 by ShellLM
1 task
1
codelion/optillm - Automatic prompt strategy proxy AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models Algorithms Sorting, Learning or Classifying. All algorithms go here. code-generation code generation models and tools like copilot and aider Git-Repo Source code repository like gitlab or gh human-verified <INST>NEVER PICK THIS LABEL</INST> in-context-learning Examples of few-shot prompts for in-context learning. llm Large Language Models llm-applications Topics related to practical applications of Large Language Models in various fields MachineLearning ML Models, Training and Inference openai OpenAI APIs, LLMs, Recipes and Evals prompt Collection of llm prompts and notes prompt-engineering Developing and optimizing prompts to efficiently use language models for various applications and re software-engineering Best practice for software engineering source-code Code snippets System-prompt System prompts guide an LLMs response to every user message.
#922 opened Sep 7, 2024 by ShellLM
1 task
1
microsoft/Everything-of-Thoughts-XoT AI-Agents Autonomous AI agents using LLMs Algorithms Sorting, Learning or Classifying. All algorithms go here. Git-Repo Source code repository like gitlab or gh human-verified <INST>NEVER PICK THIS LABEL</INST> in-context-learning Examples of few-shot prompts for in-context learning. llm Large Language Models MachineLearning ML Models, Training and Inference Papers Research papers prompt-engineering Developing and optimizing prompts to efficiently use language models for various applications and re software-engineering Best practice for software engineering
#919 opened Aug 30, 2024 by ShellLM
1 task
1
Eclipse Theia is an extensible framework to develop full-fledged multi-language Cloud & Desktop IDEs and tools with state-of-the-art web technologies. Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages software-engineering Best practice for software engineering
#917 opened Aug 22, 2024 by ShellLM
1 task
1
princeton-nlp/SWE-agent: turns LMs (e.g. GPT-4) into software engineering agents that can resolve issues in real GitHub repositories. AI-Agents Autonomous AI agents using LLMs CLI-UX Command Line Interface user experience and best practices code-generation code generation models and tools like copilot and aider Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages human-verified <INST>NEVER PICK THIS LABEL</INST> llm Large Language Models llm-benchmarks testing and benchmarking large language models llm-evaluation Evaluating Large Language Models performance and behavior through human-written evaluation sets MachineLearning ML Models, Training and Inference Papers Research papers Software2.0 Software development driven by AI and neural networks. software-engineering Best practice for software engineering
#915 opened Aug 22, 2024 by ShellLM
1 task
1
GRANDE: Gradient-Based Decision Tree Ensembles for Tabular Data | OpenReview Algorithms Sorting, Learning or Classifying. All algorithms go here. Git-Repo Source code repository like gitlab or gh human-verified <INST>NEVER PICK THIS LABEL</INST> MachineLearning ML Models, Training and Inference New-Label Choose this option if the existing labels are insufficient to describe the content accurately Papers Research papers Research personal research notes for a topic software-engineering Best practice for software engineering
#914 opened Aug 22, 2024 by ShellLM
1 task
1
[2310.06770] SWE-bench: Can Language Models Resolve Real-World GitHub Issues? AI-Agents Autonomous AI agents using LLMs code-generation code generation models and tools like copilot and aider Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages human-verified <INST>NEVER PICK THIS LABEL</INST> llm-benchmarks testing and benchmarking large language models llm-evaluation Evaluating Large Language Models performance and behavior through human-written evaluation sets MachineLearning ML Models, Training and Inference Papers Research papers software-engineering Best practice for software engineering
#908 opened Aug 21, 2024 by ShellLM
1 task
1
Paper page - Diversity Empowers Intelligence: Integrating Expertise of Software Engineering Agents AI-Agents Autonomous AI agents using LLMs New-Label Choose this option if the existing labels are insufficient to describe the content accurately Papers Research papers software-engineering Best practice for software engineering
#890 opened Aug 16, 2024 by ShellLM
1 task
1
open source TypeScript agent... | Hacker News AI-Agents Autonomous AI agents using LLMs AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models ai-platform model hosts and APIs Anthropic-ai Related to anthropic.ai and their Claude LLMs Automation Automate the things code-generation code generation models and tools like copilot and aider Git-Repo Source code repository like gitlab or gh llm Large Language Models llm-benchmarks testing and benchmarking large language models software-engineering Best practice for software engineering
#887 opened Aug 16, 2024 by ShellLM
1 task
1
llamacoder - opensource claude artefacts alternative. AI-Agents Autonomous AI agents using LLMs code-generation code generation models and tools like copilot and aider Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages llm Large Language Models llm-applications Topics related to practical applications of Large Language Models in various fields Observability Instrumentation and observation of running systems software-engineering Best practice for software engineering
#885 opened Aug 16, 2024 by ShellLM
26 tasks
1
Deno: the easiest, most secure JavaScript runtime | Deno Docs programming-languages Topics related to programming languages and their features. software-engineering Best practice for software engineering
#880 opened Aug 13, 2024 by ShellLM
1 task
1
Coding System Prompt : r/PromptEngineering code-generation code generation models and tools like copilot and aider New-Label Choose this option if the existing labels are insufficient to describe the content accurately programming-languages Topics related to programming languages and their features. prompt-engineering Developing and optimizing prompts to efficiently use language models for various applications and re software-engineering Best practice for software engineering System-prompt System prompts guide an LLMs response to every user message.
#875 opened Aug 10, 2024 by ShellLM
1 task
1
Using your Kindle as an e-ink monitor Git-Repo Source code repository like gitlab or gh github gh tools like cli, Actions, Issues, Pages New-Label Choose this option if the existing labels are insufficient to describe the content accurately software-engineering Best practice for software engineering source-code Code snippets
#872 opened Aug 9, 2024 by ShellLM
1 task
1
llproxy/spec/llproxy.md at main · the-crypt-keeper/llproxy AI-Agents Autonomous AI agents using LLMs AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models hosting-services llm model hosting services llm Large Language Models llm-applications Topics related to practical applications of Large Language Models in various fields llm-inference-engines Software to run inference on large language models software-engineering Best practice for software engineering source-code Code snippets
#867 opened Aug 3, 2024 by ShellLM
1 task
1
Plandex - open source, terminal-based AI coding engine AI-Agents Autonomous AI agents using LLMs AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models CLI-UX Command Line Interface user experience and best practices code-generation code generation models and tools like copilot and aider New-Label Choose this option if the existing labels are insufficient to describe the content accurately software-engineering Best practice for software engineering use-cases user use case descriptions
#864 opened Aug 3, 2024 by ShellLM
1 task
1
Home · sqlitebrowser/sqlitebrowser Wiki software-engineering Best practice for software engineering source-code Code snippets Sqlite Sqlite DB and tools
#857 opened Aug 1, 2024 by ShellLM
1 task
1
DeepSeek-V2: A Strong, Economical, and Efficient MoE LLM of 236B total parameters AI-Chatbots Topics related to advanced chatbot platforms integrating multiple AI models base-model llm base models not finetuned for chat finetuning Tools for finetuning of LLMs e.g. SFT or RLHF llm Large Language Models llm-evaluation Evaluating Large Language Models performance and behavior through human-written evaluation sets Models LLM and ML model repos and links New-Label Choose this option if the existing labels are insufficient to describe the content accurately prompt Collection of llm prompts and notes software-engineering Best practice for software engineering
#831 opened May 9, 2024 by ShellLM
1 task
1
ProTip! What’s not been updated in a month: updated:<2024-12-12.