Published on: 2025-06-14 11:53:51
Invariant has discovered a critical vulnerability affecting the widely-used GitHub MCP integration (14k stars on GitHub). The vulnerability allows an attacker to hijack a user's agent via a malicious GitHub Issue, and coerce it into leaking data from private repositories. The issue is among the first, discovered by Invariant's automated security scanners for detecting so-called Toxic Agent Flows. In such a scenario, an agent is manipulated into performing unintended actions, such as leaking dat
Keywords: agent github mcp repository security
Find related items on AmazonPublished on: 2025-06-15 22:41:24
GitHub issues is almost the best notebook in the world. Free and unlimited, for both public and private notes. Comprehensive Markdown support, including syntax highlighting for almost any language. Plus you can drag and drop images or videos directly onto a note. It has fantastic inter-linking abilities. You can paste in URLs to other issues (in any other repository on GitHub) in a markdown list like this: - https://github.com/simonw/llm/issues/1078 - https://github.com/simonw/llm/issues/108
Keywords: github issue issues markdown notes
Find related items on AmazonPublished on: 2025-06-16 15:43:44
Job Hunting Scripts These scripts are used to scrap GitHub for info on organizations. In the end you will be left with a TSV file that contains the name of the organization, it's URL, it's declared location and the number of stars of its select repositories. What I did with that TSV was to select all organizations with a URL and at least one repository with over 1000 stars. The get_all_orgs.sh script does what the name suggests, it fetches a list of all the organizations on GitHub. It takes no
Keywords: github list organization organizations tsv
Find related items on AmazonPublished on: 2025-06-16 12:39:30
A comprehensive list of various text to diagram tools. Ordered roughly by recency and similarity. CTRL+F on this page to find required tool for specific needs. My choice of tool for a job: Sequence Diagrams: https://sequencediagram.org/ You can edit the text or the diagram itself. No other tool does that. Flow charts: https://flowchart.fun/ Fastest (and simplest) way to create flow charts IMO. These tools don’t need to be downloaded or installed. Open the URL and start writing text to ge
Keywords: com github https io sequence
Find related items on AmazonPublished on: 2025-06-17 00:46:04
Chat with Context from Web, Files and GitHub Easily set up multiple projects with web, file, and GitHub context. Start a new chat, and leverage your saved context to get instant answers and insights
Keywords: chat context easily github web
Find related items on AmazonPublished on: 2025-06-15 19:42:15
Hsdlib is a small C library for fast vector distance and similarity calculations. At the moment, it supports: - Euclidean, Manhattan, and Hamming distances - Dot product, cosine, and Jaccard similarities Hsdlib uses SIMD acceleration (AVX, AVX2, AVX512, NEON, and SVE instructions) to speed things up. Hsdlib uses SIMD acceleration (AVX, AVX2, AVX512, NEON, and SVE instructions) to speed things up. GitHub link: https://github.com/habedi/hsdlib
Keywords: acceleration avx avx2 github hsdlib
Find related items on AmazonPublished on: 2025-06-17 02:46:59
Everything’s a bug (or an issue) What if I were to tell you that I had discovered a way to run software projects that’s efficient, effective, reliable, even pleasant? “Please continue…”, I hope you say. Up front I’ll let you know this isn’t a new discovery. In fact it’s a story that begins “a long time ago in an office far, far away”. So let’s board a handy time machine as we travel back to the day I started at my first proper Silicon Valley job. A place somewhat like what would be called FAA
Keywords: bug bugs github issues priority
Find related items on AmazonPublished on: 2025-06-17 07:46:59
Everything’s a bug (or an issue) What if I were to tell you that I had discovered a way to run software projects that’s efficient, effective, reliable, even pleasant? “Please continue…”, I hope you say. Up front I’ll let you know this isn’t a new discovery. In fact it’s a story that begins “a long time ago in an office far, far away”. So let’s board a handy time machine as we travel back to the day I started at my first proper Silicon Valley job. A place somewhat like what would be called FAA
Keywords: bug bugs github issues priority
Find related items on AmazonPublished on: 2025-06-17 16:25:14
🚀 Forge CI Platform Forge is a scalable, secure, and fully automated multi-tenant platform for running ephemeral GitHub Actions runners on AWS — designed for platform teams, by platform engineers. 🛠️ Community-Driven: Forge is an open-source project maintained on a best-effort basis. Contributions are welcome — help triage issues, submit PRs, review code, or join discussions! 📚 Docs: Comprehensive documentation is available at cisco-open.github.io/forge. 🔍 What Is Forge? Forge automates the
Keywords: forge github runner runners tenant
Find related items on AmazonPublished on: 2025-06-20 09:31:01
CSV to HTML Table Display any CSV file as a searchable, filterable, pretty HTML table. Done in 100% JavaScript. Check out the working demo: https://csv-to-html-table.netlify.app/ Usage 1. Clone this repository (in the command line) git clone [email protected]:derekeder/csv-to-html-table.git cd csv-to-html-table 2. Add your CSV file to the data/ folder 3. In index.html set your options in the CsvToHtmlTable.init() function < script > CsvToHtmlTable . init ( { csv_path : 'data/Health Clinics
Keywords: csv file github html table
Find related items on AmazonPublished on: 2025-06-21 05:31:01
CSV to HTML Table Display any CSV file as a searchable, filterable, pretty HTML table. Done in 100% JavaScript. Check out the working demo: https://csv-to-html-table.netlify.app/ Usage 1. Clone this repository (in the command line) git clone [email protected]:derekeder/csv-to-html-table.git cd csv-to-html-table 2. Add your CSV file to the data/ folder 3. In index.html set your options in the CsvToHtmlTable.init() function < script > CsvToHtmlTable . init ( { csv_path : 'data/Health Clinics
Keywords: csv file github html table
Find related items on AmazonPublished on: 2025-06-24 17:51:47
Yesterday, Microsoft kicked off its annual developers conference with, unsurprisingly, a slew of AI features, models, and capabilities it is bringing to its own systems, many of which developers will also be able to leverage. While some are very specific to Microsoft’s ecosystem, there were quite a few that would undoubtedly be a great addition to Apple’s own native AI offerings, whenever those finally materialize. #1: On-device AI models access through Edge A new set of APIs will allow devel
Keywords: ai apple developers github microsoft
Find related items on AmazonPublished on: 2025-06-24 17:49:00
Thomas Trutschel/Photothek via Getty Images I know you've heard of gamification, but have you ever heard of festification? That's what Microsoft did last month and is continuing until May 28, with the Microsoft AI Skills Fest. It's a little odd, but it also looks like it might be a heck of a lot of fun. And you still three full weeks to participate. Free AI training for everyone Microsoft's AI Skills Fest offers courses that are open for all skill levels. You can learn early stages of the les
Keywords: ai fest github microsoft skills
Find related items on AmazonPublished on: 2025-06-22 10:10:32
RepoRoulette 🎲: Randomly Sample Repositories from GitHub Spin the wheel and see which GitHub repositories you get! 🚀 Installation # Using pip pip install reporoulette # From source git clone https://github.com/gojiplus/reporoulette.git cd reporoulette pip install -e . 📖 Sampling Methods RepoRoulette provides three distinct methods for random GitHub repository sampling: 1. 🎯 ID-Based Sampling Uses GitHub's sequential repository ID system to generate truly random samples by probing random I
Keywords: github print repositories sample sampler
Find related items on AmazonPublished on: 2025-06-22 05:55:27
Overview "Think globally, act locally" Run your GitHub Actions locally! Why would you want to do this? Two reasons: Fast Feedback - Rather than having to commit/push every time you want to test out the changes you are making to your .github/workflows/ files (or for any changes to embedded GitHub actions), you can use act to run the actions locally. The environment variables and filesystem are all configured to match what GitHub provides. - Rather than having to commit/push every time you wan
Keywords: act actions github locally run
Find related items on AmazonPublished on: 2025-06-26 01:02:38
GitHub Repository Code the Thing that Codes the Thing
Keywords: code codes github repository thing
Find related items on AmazonPublished on: 2025-06-23 06:55:27
Overview "Think globally, act locally" Run your GitHub Actions locally! Why would you want to do this? Two reasons: Fast Feedback - Rather than having to commit/push every time you want to test out the changes you are making to your .github/workflows/ files (or for any changes to embedded GitHub actions), you can use act to run the actions locally. The environment variables and filesystem are all configured to match what GitHub provides. - Rather than having to commit/push every time you wan
Keywords: act actions github locally run
Find related items on AmazonPublished on: 2025-06-27 05:00:01
Microsoft CEO Satya Nadella speaks at an event commemorating the 50th anniversary of the company at Microsoft headquarters in Redmond, Washington, on , April 4, 2025. "Using state-of-the-art models, the agent excels at low-to-medium complexity tasks in well-tested codebases, from adding features and fixing bugs to extending tests, refactoring code, and improving documentation," Thomas Dohmke, CEO of GitHub, wrote in a blog post. Anthropic's Claude 3.7 Sonnet AI model powers the coding agent, a
Keywords: agent coding copilot github microsoft
Find related items on AmazonPublished on: 2025-06-27 05:00:00
Join our daily and weekly newsletters for the latest updates and exclusive content on industry-leading AI coverage. Learn More Microsoft’s hit AI programming tool GitHub Copilot wants to move away from simply helping people complete code and as of today, will allow for users to set up asynchronous code testing. The move brings GitHub Copilot to work more autonomously for developers, keeping the app competitive as the AI coding assistant space has become more crowded with AI-powered tools, incl
Keywords: agent code coding copilot github
Find related items on AmazonPublished on: 2025-06-27 05:00:25
John Keeble/Getty Images Think about the relationship of Photoshop and, say, Google Photos. Photoshop can perform editing and retouching tasks on photos and graphic images. Google Photos, on the other hand, is used to view pictures and share them among friends and family. One is an editor, while the other is a cloud-based sharing tool. This distinction is important when understanding the relationship between a programming environment or IDE (interactive development environment) like VS Code, X
Keywords: agent ai code coding github
Find related items on AmazonPublished on: 2025-06-27 05:17:56
Backlog getting you down? Drowning in technical debt? Delegate issues to Copilot so you can focus on the creative, complex, and high-impact work that matters most. Copilot coding agent makes this possible. Simply assign an issue (or multiple issues) to Copilot just as you would another developer. You can do this from github.com, GitHub Mobile, or the GitHub CLI. Copilot works in the background, using its own secure cloud-based development environment powered by GitHub Actions. Copilot explores
Keywords: agent coding copilot github issues
Find related items on AmazonPublished on: 2025-06-27 05:00:00
is a news writer who covers the streaming wars, consumer tech, crypto, social media, and much more. Previously, she was a writer and editor at MUO. GitHub is launching an AI coding agent that can do things like fix bugs, add features, and improve documentation — all on a developer’s behalf. The agent is embedded directly into GitHub Copilot, and it will start working once a user assigns it a task, according to an announcement at Microsoft Build. To complete its work, GitHub says the AI coding
Keywords: agent ai coding copilot github
Find related items on AmazonPublished on: 2025-06-28 03:03:00
David Gewirtz / Elyse Betters Picaro / ZDNET A few days ago, I showed you an amazing new ChatGPT feature available to paying users. Plus, Pro, and Team tier users can now point Deep Research at an entire GitHub repo and get back analysis reports. Also: I test a lot of AI coding tools, and this stunning new OpenAI release just saved me days of work As I showed, this capability helps speed up the process of coming up to speed on existing codebases. You might need to do this if you acquire a pro
Keywords: chatgpt david github repo screenshot
Find related items on AmazonPublished on: 2025-06-29 09:11:00
David Gewirtz / Elyse Betters Picaro / ZDNET A few days ago, I showed you an amazing new ChatGPT feature available to paying users. Plus, Pro, and Team tier users can now point Deep Research at an entire GitHub repo and get back analysis reports. Also: I test a lot of AI coding tools, and this stunning new OpenAI release just saved me days of work As I showed, this capability helps speed up the process of coming up to speed on existing codebases. You might need to do this if you acquire a pro
Keywords: chatgpt david github repo screenshot
Find related items on AmazonPublished on: 2025-06-29 07:50:43
Sign in with GitHub By signing in, you agree to our Terms of Service and Privacy Policy
Keywords: agree github policy privacy service
Find related items on AmazonPublished on: 2025-06-30 10:04:00
jewhyte/Getty Images I know you've heard of gamification, but have you ever heard of festification? That's what Microsoft did last month and is continuing until May 28, with the Microsoft AI Skills Fest. It's a little odd, but it also looks like it might be a heck of a lot of fun. And you still three full weeks to participate. Free AI training for everyone Microsoft's AI Skills Fest offers courses that are open for all skill levels. You can learn early stages of the lessons if you're new to A
Keywords: ai fest github microsoft skills
Find related items on AmazonPublished on: 2025-07-04 05:16:58
Gemini, Google’s AI-powered chatbot, can now connect to GitHub — for users subscribed to the $20-per-month Gemini Advanced plan, that is. As of Wednesday, Gemini Advanced customers can directly add a public or private codebase on GitHub to Gemini to allow the chatbot to generate and explain code, debug existing code, and more. Users can connect GitHub to Gemini by clicking the “+” button in the prompt bar, selecting “import code,” and pasting a GitHub URL. Gemini Advanced now connects with @gi
Keywords: ai code gemini github google
Find related items on AmazonPublished on: 2025-07-08 04:29:48
Mergeable Mergeable is a better inbox for GitHub pull requests. Features Mergeable provides the following features: Organize pull requests into sections, defined by flexible search queries. Data is all stored locally, in the browser storage. Keyboard shortcuts allow to navigate quickly. Connect to multiple GitHub instances, including GitHub Enterprise. Attention set, highlighting pull requests for which it is your turn to act. Does not require any GitHub app to be installed. Public ins
Keywords: github instance locally mergeable pull
Find related items on AmazonPublished on: 2025-07-06 14:00:53
The magic ingredient here is this weird little tool for planning Lean projects called Lean Blueprints. Blueprints are a mechanism mathematicians have designed for planning out formalisations of their results. When translating a pen and paper result into a proof assistant, a mathematician must first encode all the necessary definitions, helper lemmas and so on before they can write the proof. The blueprint serves as a mechanism to keep track of this process. The above image shows an example blu
Keywords: blueprint github graph mathematicians proof
Find related items on AmazonPublished on: 2025-07-12 01:59:09
ChatGPT is bringing its Deep Research service directly into GitHub's developer ecosystem. This integration is beginning a beta test this week, with ChatGPT Plus, Pro and Team users the first to receive access over the coming days. Members of the Enterprise and Edu plans will get a chance to try it out "soon." Users can grant the AI assistant access to select code repositories and ask questions about their contents that ChatGPT will answer with cited reports. Programmers have been a notable audi
Keywords: access chatgpt code directly github
Find related items on AmazonGo K’awiil is a project by nerdhub.co that curates technology news from a variety of trusted sources. We built this site because, although news aggregation is incredibly useful, many platforms are cluttered with intrusive ads and heavy JavaScript that can make mobile browsing a hassle. By hand-selecting our favorite tech news outlets, we’ve created a cleaner, more mobile-friendly experience.
Your privacy is important to us. Go K’awiil does not use analytics tools such as Facebook Pixel or Google Analytics. The only tracking occurs through affiliate links to amazon.com, which are tagged with our Amazon affiliate code, helping us earn a small commission.
We are not currently offering ad space. However, if you’re interested in advertising with us, please get in touch at [email protected] and we’ll be happy to review your submission.