Better Code: Contracts1Better Code: Contracts Dave Abrahams & Sean Parent What's holding our software together? Can we do better than duct tape and good intentions? 2© 2023 Adobe. All Rights Reserved. Adobe’s Software acknowleged but the paper here presents the proof method much more in the spirit of program proofs than Milner's more algebraic view. An important step in proving the correctness of representations with is expected that membership of some of the members of the set will be tested much more frequently than others. The existence of such a concrete side-effect is wholly invisible to the abstract program0 码力 | 204 页 | 4.46 MB | 6 月前3
Better Code: Exploring ValidityBetter Code Exploring Validity David Sankel | Principal Scientist CppCon 2023© 2023 Adobe. All Rights Reserved. Adobe’s Software Technology Lab Sean Parent Senior Principal Scientist Manager, Software ”© 2023 Adobe. All Rights Reserved. C++ at Adobe! Careers Events Training Videos (STLab Better Code Series!) Blog Posts … developer.adobe.com/cpp© 2023 Adobe. All Rights Reserved. Comments/Questions©0 码力 | 117 页 | 6.03 MB | 6 月前3
Newer Isn't Always Betterw w w . a t o m o s s p a c e . c o m Newer Isn’t Always Better Investigating Legacy Design Trends and Their Modern Replacements Katherine Rochaatomosspace.com | 3 • Software Engineer at Atomos Space Explicit Access • Non-Intuitive Shared Access • Easy Transition to Individual Objects • Less Powerful than the Singleton? atomosspace.com | 27 Singleton Monostate Dependency Injection (DI) Comparisonatomosspace Programming vs Data-Oriented Design Other Potential Evaluationsatomosspace.com | 59 • Newer Isn’t Always Better • Consistently Reevaluate Alternatives • Use Case Determines Usability ConclusionGET TO YOUR PLACE0 码力 | 60 页 | 1.34 MB | 6 月前3
Better x86 Assembly Generation with GoBetter x86 Assembly Generation with Go Michael McLoughlin Gophercon 2019 Uber Advanced Technologies Group Assembly Language Go provides the ability to write functions in assembly language. Assembly internal/x/.../chacha20poly1305_amd64.s lines 856-879 (go1.12) // Special optimization for buffers smaller than 321 bytes openAVX2320: // For up to 320 bytes of ciphertext and 64 bytes for the poly key, we process0 码力 | 155 页 | 13.54 MB | 1 年前3
Exceptionally Bad: The Story on the Misuse of Exceptions and How to Do BetterP. All rights reserved. Exceptionally Bad: The story on the misuse of exceptions and how to do better Core C++ June 7, 2023 Pete Muldoon Senior Engineering Lead© 2023 Bloomberg Finance L.P. All rights The story on the misuse of exceptions and how to do better Core C++ June 7, 2023 Pete Muldoon Senior Engineering Lead Exceptions in C++ Better Design Through Analysis of Real World UsageWho Am I Look at Exceptions in both their use and design as seen in real code • Better thinking on the handling of error use cases • Better thinking on the design of an Exception class Warning May be controversialThings0 码力 | 85 页 | 2.32 MB | 6 月前3
Solving Nim by the Use of Machine LearningOne Dimensional Program . . . . . . . . . . . . . . . 59 8.1.9 Phenomena: Total Time Use Is More than the Sum of the Training and Setup Time. . . . . . . . . . . . . . . . . . . 60 8.1.10 Phenomena: does not have any random elements. It can often find good solutions quite quickly, certainly faster than conventional deterministic algorithms. Machine learning as well as other stochastic types of algorithms algorithms can often be good at finding good enough solutions, that is solutions which arent perfect, yet still good. In this paper the problem which will be explored is how proficient it will be at playing0 码力 | 109 页 | 6.58 MB | 1 年前3
Computer Programming with the Nim Programming Language
details for various reasons. Nim does not have a singularly accepted GUI library, but there are more than 20 attempts — from pure Nim ones like NimX or Fidget, to wrapped libraries like GTK or QML, to GUIs and threaded code execution, it may be useful to consider high-quality external libraries rather than those in Nim’s standard library.[2]. This may also apply to modules for asynchronous code execution parts of it, could now be considered obsolete. While ChatGPT still has some serious issues (it’s better not to ask it about the author of this book, the creator of the Nim language, or other Nim core0 码力 | 865 页 | 7.45 MB | 1 年前3
Computer Programming with the Nim Programming Language
details for various reasons. Nim does not have a singularly accepted GUI library, but there are more than 20 attempts — from pure Nim ones like NimX or Fidget, to wrapped libraries like GTK or QML, to GUIs and threaded code execution, it may be useful to consider high-quality external libraries rather than those in Nim’s standard library.[2]. This may also apply to modules for asynchronous code execution parts of it, could now be considered obsolete. While ChatGPT still has some serious issues (it’s better not to ask it about the author of this book, the creator of the Nim language, or other Nim core0 码力 | 784 页 | 2.13 MB | 1 年前3
Computer Programming with the Nim Programming Language. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 445 Is async/await faster than multi-threading?. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . details for various reasons. Nim does not have a singularly accepted GUI library, but there are more than 20 attempts — from pure Nim ones like NimX or Fidget, to wrapped libraries like GTK or QML, to GUIs and threaded code execu tion, it may be useful to consider high-quality external libraries rather than those in Nim’s standard library. [2]. This may also apply to modules for asynchronous code execution0 码力 | 512 页 | 3.54 MB | 1 年前3
Computer Programming with the Nim Programming Language. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 445 Is async/await faster than multi-threading?. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . details for various reasons. Nim does not have a singularly accepted GUI library, but there are more than 20 attempts — from pure Nim ones like NimX or Fidget, to wrapped libraries like GTK or QML, to GUIs and threaded code execu tion, it may be useful to consider high-quality external libraries rather than those in Nim’s standard library. [2]. This may also apply to modules for asynchronous code execution0 码力 | 512 页 | 3.53 MB | 1 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100













