Correctness-by-Construction - How Can We Build Better Software?
|
|
7
|
1740
|
June 8, 2023
|
Large Language Models and the End of Programming
|
|
11
|
3865
|
May 18, 2023
|
General concerns and reflections
|
|
32
|
1201
|
April 11, 2023
|
Section 2.6 Complaints resolved with a finding more serious than a minor violation
|
|
15
|
794
|
April 10, 2023
|
Draft 2 Disclosure Policy discussion - Start here!
|
|
5
|
2834
|
April 8, 2023
|
Section 2 Rules for disclosure in particular situations
|
|
27
|
965
|
April 8, 2023
|
Section 3 Reporting and reflecting
|
|
11
|
598
|
April 6, 2023
|
Future of DevOps
|
|
1
|
1744
|
March 29, 2023
|
Section 2.2 Complaint dismissed prior to investigation
|
|
3
|
471
|
March 22, 2023
|
Section 1 Preliminaries
|
|
4
|
735
|
March 19, 2023
|
Section 2.4 Complaints where no violation is found
|
|
5
|
515
|
March 14, 2023
|
Section 2.3 Complaints under investigation
|
|
7
|
663
|
March 14, 2023
|
A Brazilian Analysis
|
|
1
|
508
|
March 12, 2023
|
Section 2.5 Complaints resolved with a finding of a minor violation
|
|
6
|
608
|
March 6, 2023
|
Outside Expert Evaluations
|
|
1
|
444
|
March 5, 2023
|
State of Data Mesh
|
|
0
|
1632
|
November 8, 2022
|
A Swiss Analysis
|
|
0
|
377
|
February 27, 2023
|
An Italian Analysis
|
|
0
|
360
|
February 27, 2023
|
Reduce System Complexity with Data-Oriented Programming
|
|
5
|
1892
|
February 13, 2023
|
Section 2.1 No complaint filed
|
|
0
|
413
|
February 2, 2023
|
Effective Developer Testing
|
|
0
|
1571
|
January 24, 2023
|
Tradeoffs in the Software Workflow
|
|
1
|
1879
|
November 30, 2022
|
An AI-first Approach to Accelerating Autonomous Trucking
|
|
1
|
1444
|
November 29, 2022
|
The Evolution of Accessibility
|
|
6
|
2356
|
September 23, 2022
|
Break Into AI: A Q&A with Andrew Ng on Building a Career in Machine Learning
|
|
22
|
8993
|
June 5, 2021
|
Advice on Programming Direction
|
|
0
|
562
|
July 12, 2022
|
Seismic Shifts: Challenges and Opportunities in the 'Post-ISA' Era of Computer Systems Design
|
|
0
|
1741
|
June 23, 2022
|
What are the most important problems in technology and your field?
|
|
0
|
371
|
June 17, 2022
|
Secure Computation in Practice
|
|
0
|
1875
|
June 13, 2022
|
Lessons From the Fifty-Year Quest to Turn Programmers into Software Engineers
|
|
2
|
2853
|
May 18, 2022
|