H
F
编程
编程
Channels
Economy
World
Technology
Programming
New/Niche Languages
JavaScript Stack
Chinese
DeepSeek says its R1 update can perform mathematics, programming, and general logic better than the previous version, and comes close to o3 and Gemini 2.5 Pro
(
www.bloomberg.com
)
2025-5-29
Mathematics
programming
How I take work notes as a developer
(
hamatti.org
)
2025-5-29
Programmer
Programming On 34 Keys (2022)
(
oppi.li
)
2025-5-25
programming
Permalink to Red Hat announces Advanced Developer Suite
(
sdtimes.com
)
2025-5-22
Programmer
Finding hard 24 puzzles with planner programming
(
buttondown.com
)
2025-5-21
programming
Permalink to LaunchDarkly adds new features to help developers release faster while mitigating risk
(
sdtimes.com
)
2025-5-20
Programmer
An interview with GitHub CEO Thomas Dohmke and CPO Mario Rodriguez on the year of SWE agents, Copilot phase two, Project Padawan, programming's future, and more
(
thenewstack.io
)
2025-5-19
Interview
GitHub
programming
Every programming language has its 'killer' domain
(
huijzer.xyz
)
2025-5-18
programming
Fortran For C Programmers
(
flang.llvm.org
)
2025-5-18
Programmer
Comparing Parallel Functional Array Languages: Programming and Performance
(
arxiv.org
)
2025-5-18
Functional
programming
Programming in Martin-Lof's Type Theory: An Introduction (1990)
(
www.cse.chalmers.se
)
2025-5-17
programming
erlang-red: Visual low-code flow-based programming environment for Erlang, inspired by Node-RED
(
github.com
)
2025-5-17
Erlang
programming
ChatGPT rolls out Codex, an AI tool for software programming
(
www.bleepingcomputer.com
)
2025-5-17
AI
programming
Skills Rot At Machine Speed? AI Is Changing How Developers Learn And Think
(
www.forbes.com
)
2025-5-16
Programmer
AI
A programming language made for me
(
zylinski.se
)
2025-5-13
programming
louise: Polynomial-time Meta-Interpretive Learning for logic programming
(
github.com
)
2025-5-11
programming
Permalink to Pulumi IDP provides developers with faster access to self-service cloud infrastructure provisioning
(
sdtimes.com
)
2025-5-9
Cloud
Programmer
Permalink to Amazon Q Developer gets new agentic coding experience in Visual Studio Code
(
sdtimes.com
)
2025-5-8
Amazon
Programmer
Visual Studio
IBM CEO Says AI Has Replaced Hundreds of Workers But Created New Programming, Sales Jobs
(
slashdot.org
)
2025-5-8
IBM
AI
programming
IBM CEO Arvind Krishna says the company used AI agents to replace the work of 200+ HR employees and, as a result, hired more programmers and salespeople
(
www.wsj.com
)
2025-5-7
Programmer
IBM
AI
Interviewing Software Developers: From Junior to Architect in a Single Programming Task
(
old.reddit.com
)
2025-5-6
Programmer
programming
Google's New IDE Redefines Developer Productivity
(
jsdevspace.substack.com
)
2025-5-6
Google
Programmer
Essential Git Command Reference: The Core Operations Every Developer Needs
(
jsdev.space
)
2025-5-4
Git
Programmer
understanding-j: An introduction to the J programming language that gets to the point
(
github.com
)
2025-5-4
programming
Mellum Goes Open Source: A Purpose-Built LLM for Developers, Now on Hugging Face
(
blog.jetbrains.com
)
2025-4-30
Programmer
Open Source
Programming languages should have a tree traversal primitive
(
blog.tylerglaiel.com
)
2025-4-29
programming
Permalink to Microsoft reveals upcoming changes to Microsoft 365 Developer Program
(
sdtimes.com
)
2025-4-29
Microsoft
Programmer
A paean to programming
(
bertrandmeyer.com
)
2025-4-24
programming
Pipelining might be my favorite programming language feature
(
herecomesthemoon.net
)
2025-4-22
programming
Permalink to Q&A: The skills developers need in an era of AI development
(
sdtimes.com
)
2025-4-22
Programmer
AI
Previous Page
Next Page
Included Tag(s)
Programmer
LeetCode
刷题
programming