In New Math Proofs, Artificial Intelligence Plays to Win

AI>In The News

Paradigms of Artificial Intelligence Programming

github.com

#programming

6 1592 2

2025-01-18 05:39:21 UTC

New

AI>In The News

Google AI tool can help patients identify skin conditions

Google has unveiled a tool that uses artificial intelligence to help spot skin, hair and nail conditions, based on images uploaded by pat...

bbc.co.uk

#google

0 1172 0

2021-05-20 19:24:41 UTC

New

AI>In The News

Should we be concerned that the decisions of AIs are inscrutable?

Should we be concerned that the decisions of AIs are inscrutable? | Psyche Ideas. Machine learning is a black box – even when the decisi...

psyche.co

0 1103 0

2021-06-16 04:51:17 UTC

New

AI>In The News

An AI designed keyboard layout (2021)

GitHub - MadRabbit/halmak: The final version of the AI designed keyboard layout. The final version of the AI designed keyboard layout - ...

github.com

#keyboard

5 714 1

2022-03-28 18:41:19 UTC

New

AI>In The News

You can’t solve AI security problems with more AI

You can’t solve AI security problems with more AI. One of the most common proposed solutions to prompt injection attacks (where an AI la...

simonwillison.net

/security

0 872 0

2022-10-17 13:09:12 UTC

New

AI>In The News

Replit’s Ghostwriter AI can explain programs to you—or help write them

Ghostwriter generates, completes, or transforms code in 16 languages, similar to GitHub Copilot.

arstechnica.com

0 699 0

2022-11-01 01:00:52 UTC

New

AI>In The News

Meta’s AI-powered audio codec promises 10x compression over MP3

Technique could allow high-quality calls and music on low-quality connections.

arstechnica.com

#audio

0 651 0

2022-11-02 00:31:21 UTC

New

AI>In The News

Vibe Coding is not an excuse for low-quality work

A field guide to responsible AI-assisted development

addyo.substack.com

#coding

6 575 4

2025-05-15 12:06:14 UTC

New

AI>In The News

Google’s Gemma AI models surpass 150M downloads

Google’s openly available Gemma collection of AI models has reached a milestone: over 150 million downloads. Omar Sanseviero, a developer...

techcrunch.com

#google

4 517 3

2025-06-17 13:29:11 UTC

New

AI>In The News

Cursor 1.0 - The AI Code Editor

Cursor 1.0 brings BugBot for code review, a first look at memories, one-click MCP setup, Jupyter support and general availability of Back...

cursor.com

#code #changelog #cursor

0 774 0

2025-06-05 04:21:46 UTC

New

General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms, Second Edition

Algorithms and data structures are much more than abstract concepts. Mastering them enables you to write code that runs faster and more e...

pragprog.com

#pragprog /python /ruby #published-book /book-a-common-sense-guide-to-data-structures-and-algorithms-second-edition #math #algorithms /js

19 4751 5

2020-08-14 00:58:37 UTC

New

Backend>Chat

Would you use Erlang now when there is Elixir?

Why, if your answer is yes?

/elixir /erlang

167 4700 52

2021-04-22 18:15:44 UTC

New

General Dev>Code Editors

Dendron: a personal knowledge management tool on top of VSCode

/vscode #visual-studio-code

28 6843 9

2021-05-05 12:15:29 UTC

New

General Dev>Hardware

BIIP MT3 Extended 2048 Custom Keycap Set (Drop)

This looks like a stunning keycap set :orange_heart: A LEGENDARY KEYBOARD LIVES ON When you bought an Apple Macintosh computer in the e...

/keyboards #apple #keycaps #mechanical-keyboards

14 6365 7

2020-12-12 19:58:26 UTC

New

Linux>Chat

RancherOS is in end of life

Oh just spent so much time on this to discover now that RancherOS is in end of life but Rancher is refusing to mark the Github repo as su...

#linux #rancheros

10 5767 6

2021-01-30 21:04:03 UTC

New

Community>Journals

Programming Crystal Book Club

Crystal recently reached version 1. I had been following it for awhile but never got to really learn it. Most languages I picked up out o...

/crystal /book-programming-crystal #book-club

155 4581 65

2021-07-09 11:44:56 UTC

New

General Dev>Dev Chat

PragProg’s Medium Posts

Hello everyone! This thread is to tell you about what authors from The Pragmatic Bookshelf are writing on Medium.

#pragprog #blog-post

1147 28379 760

2025-07-10 13:36:16 UTC

New

Backend>Questions

Please tell me how to write a query for this in nodejs

API 4 Path: /user/following/ Method: GET Description: Returns the list of all names of people whom the user follows Response [ { ...

/nodejs

7 3258 3

2021-06-23 23:49:49 UTC

New

Community>In The Spotlight

Spotlight: Erin Dees (Author) Interview and AMA!

Author Spotlight Erin Dees @undees Welcome to our new author spotlight! We had the pleasure of chatting with Erin Dees, co-author of ...

#author-spotlight /ruby /rails /book-effective-testing-with-rspec-3 /book-seven-more-languages-in-seven-weeks /book-cucumber-recipes #rspec

24 3863 11

2023-03-27 15:52:01 UTC

New

Community>In The Spotlight

Spotlight: VM Brasseur (Author) Interview and AMA!

Author Spotlight: VM Brasseur @vmbrasseur We have a treat for you today! We turn the spotlight onto Open Source as we sit down with V...

#author-spotlight /book-forge-your-future-with-open-source

16 4431 11

2023-03-27 16:00:12 UTC

New

In New Math Proofs, Artificial Intelligence Plays to Win

CommunityNews

In New Math Proofs, Artificial Intelligence Plays to Win

Where Next?

Popular Ai topics

Paradigms of Artificial Intelligence Programming

Google AI tool can help patients identify skin conditions