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
Apache OpenWhisk + Kubernetes:
A Perfect Match for Your Serverless PlatformApache OpenWhisk + Kubernetes: A Perfect Match for Your Serverless Platform Ying Chun Guo guoyingc@cn.ibm.com Zhou Xing xingzhou@qiyi.com Agenda • What is serverless? • Kubernetes + Apache0 码力 | 24 页 | 3.53 MB | 1 年前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
The Gimp User’s Manual version 1.0.1written consent of the publisher. Making copies of this book or any portion for any purpose other than your own is a violation of United States copyright laws. Limits Of Liability And Disclaimer Of Warranty and/or claims of productivity gains. Trademarks Trademarked names appear throughout this book. Rather than list the names and entities that own the trademarks or insert a trademark symbol with each mention please visit our website at http://www.frozenriver.nu or mail us at karin@frozenriver.com. Or even better, contact us directly: Frozenriver Karin Kylander N.Dragspelsg 12 S-421 43 V.FRÖLUNDA SWEDEN Phone:0 码力 | 924 页 | 9.50 MB | 1 年前3
Google C++ Style Guidegovern our C++ code. The term Style is a bit of a misnomer, since these conventions cover far more than just source file formatting. Most open-source projects developed by Google conform to the requirements people are unlikely to do it anyway. This principle mostly explains the rules we don’t have, rather than the rules we do: for example, goto contravenes many of the following principles, but is already vanishingly most of our code than writing it. We explicitly choose to optimize for the experience of our av- erage software engineer reading, maintaining, and debugging code in our codebase rather than ease when writing0 码力 | 83 页 | 238.71 KB | 1 年前3
GNU Image Manipulation Program User Manual 2.4open in GIMP, you should associate it with ‘gimp-remote’ (‘gimp-win-remote’ under Windows) rather than with ‘gimp’. The gimp-remote program is an auxiliary that comes with gimp. If gimp is not already multiple windows all displaying the same image. It is not possible to have a single window display more than one image, though, or for an image to have no window displaying it. A GIMP image may be quite a complicated not cover the entire extent of an image, so when you look at an image’s display, you may see more than just the top layer: you may see elements of many layers. Channels In GIMP Channels are the smallest0 码力 | 653 页 | 19.93 MB | 1 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100













