@marado@twtxt.net @thecanine@twtxt.net oofff.. AI..

Will AI Replace Us? With Neil deGrasse Tyson & Matt Ginsberg ⌘ Read more

Exploring developer happiness, inclusion, and productivity at GitHub’s Design Conference
As a design organization, we have the opportunity to make a significant impact on designing the platform for all developers. How does the emergence of creative AI impact our work? How can we achieve an inclusive experience for a spectrum of all abilities? What does designing for developer happiness look like? ⌘ Read more

A developer’s guide to prompt engineering and LLMs
Prompt engineering is the art of communicating with a generative AI model. In this article, we’ll cover how we approach prompt engineering at GitHub, and how you can use it to build your own LLM-based application. ⌘ Read more

why am I not surprised?… https://uk.pcmag.com/ai/147757/elon-musk-will-train-his-ai-project-using-your-tweets

(De)coding conventions
Navigating the ebb and flow of programming paradigms–from the shifts in the JavaScript ecosystem and TypeScript’s rise, to AI’s role in advancing accessibility, and strategies for encouraging non-code contributions–tune in to the latest episode of The ReadME Podcast for more. ⌘ Read more

The economic impact of the AI-powered developer lifecycle and lessons from GitHub Copilot
Today at Collision Conference we unveiled breaking new research on the economic and productivity impact of generative AI–powered developer tools. The research found that the increase in developer productivity due to AI could boost global GDP by over $1.5 trillion. ⌘ Read more

How to use GitHub Copilot: Prompts, tips, and use cases
In this prompt guide for GitHub Copilot, two GitHub developer advocates, Rizel and Michelle, will share examples and best practices for communicating your desired results to the AI pair programmer. ⌘ Read more

@prologic@twtxt.net The hackathon project that I did recently used openai and embedded the response info into the prompt. So basically i would search for the top 3 most relevant search results to feed into the prompt and the AI would summarize to answer their question.

Survey reveals AI’s impact on the developer experience
We surveyed 500 U.S.-based developers at companies with 1,000-plus employees about how managers should consider developer productivity, collaboration, and AI coding tools. ⌘ Read more

Survey reveals AI’s impact on the developer experience
We surveyed 500 U.S.-based developers at companies with 1,000-plus employees about how managers should consider developer productivity, collaboration, and AI coding tools. ⌘ Read more

How GitHub Copilot is getting better at understanding your code
With a new Fill-in-the-Middle paradigm, GitHub engineers improved the way GitHub Copilot contextualizes your code. By continuing to develop and test advanced retrieval algorithms, they’re working on making our AI tool even more advanced. ⌘ Read more

I have not used AI much at all, I have not paid any attention to it. But today I decided to give stablediffusion a test run, I do only have a 1080 card, so it took some tweaking to output 512x256 images, and I must say it works pretty well. I also had to get one of the memory optimized versions. Fun to test.

How I used GitHub Copilot to build a browser extension
Here’s how, in seven steps, I built my first browser extension with GitHub Copilot—and my three major takeaways about learning and pair programming in the age of AI. ⌘ Read more

Je n’ai pas obtenu le poste, alors je dois choisir entre la dépression et le #minitel. Je pense que vous pouvez comprendre ce que j’ai choisi

How companies are boosting productivity with generative AI
Explore how generative AI coding tools are changing the way developers and companies build software. ⌘ Read more

How generative AI is changing the way developers work
Rapid advancements in generative AI coding tools like GitHub Copilot are accelerating the next wave of software development. Here’s what you need to know. ⌘ Read more

Generative AI-enabled compliance for software development
Explore how generative AI may soon help enable optimizing some of the foundational components of compliance. ⌘ Read more

What developers need to know about generative AI
Generative AI has been dominating the news lately—but what exactly is it? Here’s what you need to know, and what it means for developers. ⌘ Read more

GitHub Galaxy 2023: Empower developer teams with a new developer experience
Learn how GitHub’s one, integrated platform–powered by AI and secure at every step—helps developer teams be more productive, collaborative, and efficient. ⌘ Read more

GitHub Copilot X: The AI-powered developer experience
GitHub Copilot is evolving to bring chat and voice interfaces, support pull requests, answer questions on docs, and adopt OpenAI’s GPT-4 for a more personalized developer experience. ⌘ Read more

GitHub celebrates the ingenuity of developers with disabilities in new video series
Learn how developers with disabilities are pushing the boundaries of accessibility with ingenuity, open source, and generative AI on The ReadME Project. ⌘ Read more

10 things you didn’t know you could do with GitHub Codespaces
Unlock the full potential of GitHub Codespaces with these 10 tips and tricks! From generating AI images to running self-guided coding workshops, discover how to optimize your software development workflow with this powerful tool. ⌘ Read more

On my blog: Five Phases of AI Grief https://john.colagioia.net/blog/2023/02/26/ai-grief.html #rant #technology

Responsible AI pair programming with GitHub Copilot
GitHub Copilot boosts developer productivity, but using it responsibly still requires good developer and DevSecOps practices. ⌘ Read more

GitHub Copilot now has a better AI model and new capabilities
We’re launching new improvements to GitHub Copilot to make it more powerful and more responsive for developers. ⌘ Read more

GitHub Copilot for Business is now available
GitHub Copilot is the world’s first at-scale AI developer tool and we’re now offering it to every developer, team, organization, and enterprise. ⌘ Read more

Europe’s chance to be a leader in the age of AI
Below are my prepared remarks delivered at the EU Open Source Policy Summit in Brussels on Feb 3rd. ⌘ Read more

on reflection disinviting AI researchers from parties and conferences is not an effective way of stopping them in developing AGI

Verifying AI ‘Black Boxes’ - Computerphile ⌘ Read more

Stable Diffusion in Code (AI Image Generation) - Computerphile ⌘ Read more

OSI’s Deep Dive is an essential discussion on the future of AI and open source
GitHub is sponsoring Open Source Initiative’s Deep Dive: AI because we think it’s important for the community to unpack how open source software, process, and principles can help best deliver on the promise of AI. ⌘ Read more

How AI Image Generators Work (Stable Diffusion / Dall-E) - Computerphile ⌘ Read more

Yudkowsky moved AI alignment research forward by 4 years, but he also sped up timelines by 2.5 years, so it all cancels out

Angels from Dr. Who but everytime you look away there’s new AI capabilities progress

“If you don’t make it beautiful, it’s for sure doomed”: putting the Vault in GitHub’s Arctic Code Vault
GitHub this month installed a massive steel vault, etched with striking AI-generated art, deep within an Arctic mountain, finalizing its Arctic Code Vault. This vault contains the 188 reels of hardened archival film which will preserve the 02/02/202 snapshot of every active public GitHub repository for 1,000 years. It also now includes a … ⌘ Read more

GitHub Copilot now available for teachers
After a year in technical preview, GitHub Copilot, an AI pair programmer, is now free for all teachers verified on GitHub Global Campus. ⌘ Read more

What you can expect at GitHub Universe 2022: cloud, security, community, and AI
Register now to attend GitHub Universe virtually or in-person at the Yerba Buena Center for the Arts in San Francisco on November 9-10. ⌘ Read more

It seems quite unlikely to me that humans will cease to care about wealth after the singularity (15% maybe?), or that markets will cease to exist after the singularity (30% or sth). so the best investment strategy now for post-singularity scenarios is to invest broadly in the economy. not sure about divesting from AGI companies (bc they accelerate danger) or AI hardware companies (ditto)—they’re going to especially valuable post-singularity.

Tricking AI Image Recognition - Computerphile ⌘ Read more

just thought to myself “hopefully a bigger pandemic hits, that sounds like it’ll delay ai capabilities progres”, which, no,,,

GitHub Copilot is generally available to all developers
We’re making GitHub Copilot, an AI pair programmer that suggests code in your editor, generally available to all developers for $10 USD/month or $100 USD/year. It will also be free to use for verified students and maintainers of popular open source projects. ⌘ Read more

Have you heard about the guy who worked on the Google AI chat bot? It is more than a chat bot and the conversation he published (got put on paid leave for doing that) is pretty scary : https://cajundiscordian.medium.com/is-lamda-sentient-an-interview-ea64d916d917

“The problem with Marcus’ argument is that the only alternative to statistical AI is spiritual AI“ no what the fuck why would you say this did you even read the sequences i don’t even know where to start with that

ai alignment is great bc nobody knows what it should be, so you can do whatever you want and call it alignment.

if aliens exists and UAPs are caused by them, what implication does that have for AI safety?

“AI” refers to the observation that computers, over time, can do more & more things

I really look forward to the next AI winter! We’ll all cozy up inside by the fireside in thick markov blankets, everyone finds a new agent foundations paper in their stocking, and we can listen to uncle Paul have his discussion with uncle Eliezer when the whole family re-unites…

Ramanujan voice “Oh, AI alignment? That’s just a continued fraction” pulls out a notebook

Winning MONEY with AI – Understanding Algorithms & Predicting March Madness with Neil deGrasse Tyson ⌘ Read more

whether cryptocurrencies are more or less likely to be stable during a multipolar ai takeoff depends on whether our current cryptography is “endgame” or not, i.e. whether it’s in practice basically uncrackable by any advanced actor

GPT-3 is No Longer the Only Game in Town - GPT-3 was by far the largest AI model of its kind last year. Now? Not so much. ⌘ Read more

Clearview AI Offered Free Facial Recognition Trials To Police All Around The World
Clearview marketed its facial recognition system across Europe by offering free trials at police conferences, where it was often presented as a tool to help find predators and victims of child sex abuse. ⌘ Read more

maybe elites appear incompetent because they’re mostly trying to prevent AI disaster behind the curtains? perhaps that’s why GPT-4 hasn’t appeared yet – they coordinated not to do it.

lol, just realised that standard AI risk is just environmental disaster risk amped up to 10^(10^10), only that the direct perpetrator isn’t humanity (we’re only the proximate perpetrator). huh

beating the ender dragon in minecraft with dying <100 times (but arbitrary training on video beforehand) seems like a nice candidate for another fire alarm (I wonder whether people would panic then, or whether that challenge is already AI-complete)

Cosmic Queries - Nerd Olympics, Athletes AI, and Usain Bolt ⌘ Read more…

Malcolm Gladwell - AI, Autonomous Vehicles, and Race – Oh my! ⌘ Read more…

Jake explains how to correctly encode data for POST requests as no AI can.

Introducing GitHub Copilot: your AI pair programmer ⌘ Read more…

Let A be the set of AI alignment complete problems. What is the problem a /∈ A so that solving a maximally delays the development of AGI? What is a, weighted by how hard/desirable it is?

New post: https://niplav.github.io/toy_ai_takeoff_model.html.

A strange mental motion in AI alignment is thinking about agency in non-agential ways.

En ce qui concerne les matières sociales, j’ai constaté que le fédéral est bien plus déconnecté des réalités de terrain que les régions, c’est comme si le fédéral découvrait la crise sociale. ⌘

Comment j’ai fui le flux pour retrouver ma boîte via @ploum ⌘ https://ploum.net/comment-jai-fui-le-flux-pour-retrouver-ma-boite/

Welcome to fastcore | fastcore ⌘ https://fastcore.fast.ai/

J’ai regardé cette intervention TED et j’ai pensé qu’elle t’intéresserait. Sir Ken Robinson: Do schools kill creativity? #RIP ⌘ https://www.ted.com/about/programs-initiatives/ted-talks/ways-to-get-ted-talks

Untold History of AI: Algorithmic Bias Was Born in the 1980s - IEEE Spectrum https://spectrum.ieee.org/tech-talk/tech-history/dawn-of-electronics/untold-history-of-ai-the-birth-of-machine-bias

Untold History of AI: When Charles Babbage Played Chess With the Original Mechanical Turk - IEEE Spectrum https://spectrum.ieee.org/tech-talk/tech-history/dawn-of-electronics/untold-history-of-ai-charles-babbage-and-the-turk

The problem with AI ethics - The Verge https://www.theverge.com/2019/4/3/18293410/ai-artificial-intelligence-ethics-boards-charters-problem-big-tech

Gwern’s AI-Generated Poetry | Slate Star Codex https://slatestarcodex.com/2019/03/14/gwerns-ai-generated-poetry/

Why Tool AIs Want to Be Agent AIs: The Power of Agency - Gwern.net https://www.gwern.net/Tool-AI

Why Is AI Art Copyright So Complicated? — Artnome https://www.artnome.com/news/2019/3/27/why-is-ai-art-copyright-so-complicated

Band name of the day: ai murder policy

AI won’t relieve the misery of Facebook’s human moderators - The Verge https://www.theverge.com/2019/2/27/18242724/facebook-moderation-ai-artificial-intelligence-platforms

Years later, Façade’s groundbreaking AI lives on through bad YouTube jokes | PC Gamer https://www.pcgamer.com/13-years-later-facades-groundbreaking-ai-lives-on-through-bad-youtube-jokes/

It looks like OpenAI has announced their marginal progress on the coherence problem in narrative prose generation in the most clickbaity possible way again: https://www.bbc.com/news/technology-47249163 https://www.theguardian.com/technology/2019/feb/14/elon-musk-backed-ai-writes-convincing-news-fiction

Inside the larps that let human players experience AI life - The Verge https://www.theverge.com/2019/2/1/18185945/live-action-roleplaying-larp-game-design-artificial-intelligence-ethics-issues

An AI is playing Pictionary to figure out how the world works - MIT Technology Review https://www.technologyreview.com/s/612882/an-ai-is-playing-pictionary-to-figure-out-how-the-world-works/

USA Wants to Restrict AI Exports: A Stupid and Dangerous Idea – Lauren Weinstein’s Blog https://lauren.vortex.com/2019/01/02/usa-wants-to-restrict-ai-exports-a-stupid-and-dangerous-idea

[FoR&AI] The Seven Deadly Sins of Predicting the Future of AI – Rodney Brooks http://rodneybrooks.com/the-seven-deadly-sins-of-predicting-the-future-of-ai/

We need an ‘AI sidekick’ to fight malicious AI https://thenextweb.com/syndication/2019/01/08/we-need-an-ai-sidekick-to-fight-malicious-ai/

Another take on the ‘user agent’: https://thenextweb.com/syndication/2019/01/08/we-need-an-ai-sidekick-to-fight-malicious-ai/

How should we evaluate progress in AI? | Meaningness https://meaningness.com/metablog/artificial-intelligence-progress

We tried teaching an AI to write Christmas movie plots. Hilarity ensued. Eventually. - MIT Technology Review https://www.technologyreview.com/s/612644/we-tried-teaching-an-ai-to-write-christmas-movie-plots-hilarity-ensued-eventually/

The Truth About AI: A Secular Ghost Story https://www.theparisreview.org/blog/2018/12/20/the-truth-about-ai-a-secular-ghost-story/

The best argument against the idea that AI will replace programmers wholesale is the relative unpopularity of prolog. As an industry, we don’t take advantage of fantastic automation tech from the 70s, and instead write Java.

Reidl on that export control on AI tech I talked about a couple weeks ago: https://medium.com/@mark_riedl/us-export-control-of-artificial-intelligence-research-considered-harmful-fb2986fb3f14

I Forced an AI to Watch Santa Claus Conquers the Martians · Issue #33 · NaNoGenMo/2018 · GitHub https://github.com/NaNoGenMo/2018/issues/33#issuecomment-443401950

BAN.AI Public Access Multics https://ban.ai/multics/

Specification gaming examples in AI - master list https://docs.google.com/spreadsheets/u/1/d/e/2PACX-1vRPiprOaC3HsCf5Tuum8bRfzYUiKLRqJmbOoC-32JorNdfyTiRRsR7Ea5eWtvsWzuxo8bjOxCG84dAg/pubhtml

GitHub - daviddao/awful-ai: 😈Awful AI is a curated list to track current scary usages of AI - hoping to raise awareness https://github.com/daviddao/awful-ai

This Artist’s Personalized AI Horror Movie Is Messing With His Head https://breakermag.com/kevin-aboschs-is-being-manipulated-by-his-own-ai/

AI and the Trolley Problem | Tor.com https://www.tor.com/2018/10/17/ai-and-the-trolley-problem-pat-cadigan/

Mailbag: AI Research on Dialogue and Story Generation | Emily Short’s Interactive Storytelling https://emshort.blog/2018/10/16/mailbag-ai-research-on-dialogue-and-story-generation/

Rethinking AI through the politics of 1968 | openDemocracy https://www.opendemocracy.net/digitaliberties/dan-mcquillan/rethinking-ai-through-politics-of-1968

You’d think that somebody writing for NME would know that ‘Daddy’s Car’ isn’t the first AI-written song. (Even if the earliest example they can think of is from Songsmith & they don’t recognize that Bach was doing generative music.)

Can an AI Write a Novel? - The Atlantic https://www.theatlantic.com/technology/archive/2018/10/automated-on-the-road/571345/

Hot take: disambiguation in symbolic AI is probably a mistake, & we’d be better off with systems that pun uncontrollably because they operate on the locus of concepts rather than on their boundaries. You know, like a person.

Anatomy of an AI System https://anatomyof.ai/