The slide that I presented at JCConf 2019 at Taipei.
YouTube video of this slide https://www.youtube.com/watch?v=XOF79YTlSLo&list=PLEhSHDVBMPO0tEGPkIflgf1Cmvo4fsXrV&index=1
The purpose of types:
To define what the program should do.
e.g. read an array of integers and return a double
To guarantee that the program is meaningful.
that it does not add a string to an integer
that variables are declared before they are used
To document the programmer's intentions.
better than comments, which are not checked by the compiler
To optimize the use of hardware.
reserve the minimal amount of memory, but not more
use the most appropriate machine instructions.
The purpose of types:
To define what the program should do.
e.g. read an array of integers and return a double
To guarantee that the program is meaningful.
that it does not add a string to an integer
that variables are declared before they are used
To document the programmer's intentions.
better than comments, which are not checked by the compiler
To optimize the use of hardware.
reserve the minimal amount of memory, but not more
use the most appropriate machine instructions.
An Execution-Semantic and Content-and-Context-Based Code-Clone Detection and ...Kamiya Toshihiro
Toshihiro Kamiya: An Execution-Semantic and Content-and-Context-Based Code-Clone Detection and Analysis,
Proceedings of the 9th IEEE International Workshop on Software Clones (IWSC'15), pp. 1-7 (2015).
A- Storage classes in C
B- Automatic variables
C- External variables or Global variable
D- Static variables
E- Register variables
Problem when extern is not used
Example Using extern in same file
what is Parsing
different types of parsing
what is parser and role of parser
what is top-down parsing and bottom-up parsing
what is the problem in top-down parsing
design of top-down parsing and bottom-up parsing
examples of top-down parsing and bottom-up parsing
A small journey in programming using C Language. In This Presentation i provide a small introduction about C Language.
Our Company APSMIND TECHNLOGY PVT LTD actually provide Application/software development training using various language like C, C++, java, .Net, PHP etc.
We also ,develop application and website for various client as for their requirement.
An Execution-Semantic and Content-and-Context-Based Code-Clone Detection and ...Kamiya Toshihiro
Toshihiro Kamiya: An Execution-Semantic and Content-and-Context-Based Code-Clone Detection and Analysis,
Proceedings of the 9th IEEE International Workshop on Software Clones (IWSC'15), pp. 1-7 (2015).
A- Storage classes in C
B- Automatic variables
C- External variables or Global variable
D- Static variables
E- Register variables
Problem when extern is not used
Example Using extern in same file
what is Parsing
different types of parsing
what is parser and role of parser
what is top-down parsing and bottom-up parsing
what is the problem in top-down parsing
design of top-down parsing and bottom-up parsing
examples of top-down parsing and bottom-up parsing
A small journey in programming using C Language. In This Presentation i provide a small introduction about C Language.
Our Company APSMIND TECHNLOGY PVT LTD actually provide Application/software development training using various language like C, C++, java, .Net, PHP etc.
We also ,develop application and website for various client as for their requirement.
How Not To Be Caught Flat-footed With Unpredictable FME ResultsSafe Software
Have you ever burned the midnight oil trying to track down and fix a misbehaving workspace after it's trashed your production database thanks to some bizarrely errant input data you never anticipated? If so, take a leaf from the software engineering book and use a test framework with your workspaces as you build them (or after, if they already exist). I'll briefly summarize effective usage of the relevant freely-available transformers I've published on the FME Hub.
Pairwise testing has become an indispensable tool in a software tester’s toolbox. This presentation pays special attention to usability of the pairwise testing technique. In particular, it focuses on ways in which the pure pairwise-testing approach must be modified to become practically applicable, and on the features that tools must offer to support the tester who is trying to use pairwise testing in practice.
Software testing is the act of examining the artifacts and the behavior of the software under test by validation and verification. Software testing can also provide an objective, independent view of the software to allow the business to appreciate and understand the risks of software implementation
In this page, we will learn about the basics of OOPs. Object-Oriented Program...Indu32
In this page, we will learn about the basics of OOPs. Object-Oriented Programming is a paradigm that provides many concepts, such as inheritance, data binding, polymorphism, etc.
Software developers are always using libraries developed by others. The functions of the libraries are from string processing to task queues. Have you ever considered developing your own software library? This talk is to discuss some issues related to "developing software libraries":
1. What are the benefits of developing a library?
2. What are the usual differences between library and non-library code? Have you heard of mechanism code vs policy code?
3. What are the characteristics of a good library?
4. Where can you easily find opportunities to develop libraries? How to start?
The obstacles of developer productivity.pptxLaurence Chen
The obstacles of developer productivity talks about the application programmer's productivity from 4 different aspects:
1. Premature optimization
2. Software complexity
3. Uncertainty
4. Culture issues
Video https://www.youtube.com/watch?v=ucZsaQ2Evtw&list=PLEhSHDVBMPO39WMeZPiUBQSNFQ_3x7hba&index=18
The slides of the conference talk at Coscup: https://coscup.org/2021/zh-TW/session/GHA7PC
Content:
1. The general idea about debug
2. What is the deficiency of print when it is used for debugging?
3. tap>: a better print
4. The design philosophy of tap>
When we develop software application, we need to think about our interfaces and we need to think about separate code into software components.
This talk would like to discuss about the following issues:
* How to separate code into components?
* How to design interfaces?
* How to design error messages?
https://www.youtube.com/watch?v=jgvItnE6rd0&list=PLEhSHDVBMPO3YBi5UiGNXlDlPLakz-AGi&index=22
This slides explains why Clojure programming language brings productivity to programmer from the perspectives of:
1. REPL-driven development
2. Immutable data structure
3. Composable functions
4. Immutable database
Accelerate your Kubernetes clusters with Varnish CachingThijs Feryn
A presentation about the usage and availability of Varnish on Kubernetes. This talk explores the capabilities of Varnish caching and shows how to use the Varnish Helm chart to deploy it to Kubernetes.
This presentation was delivered at K8SUG Singapore. See https://feryn.eu/presentations/accelerate-your-kubernetes-clusters-with-varnish-caching-k8sug-singapore-28-2024 for more details.
The Art of the Pitch: WordPress Relationships and SalesLaura Byrne
Clients don’t know what they don’t know. What web solutions are right for them? How does WordPress come into the picture? How do you make sure you understand scope and timeline? What do you do if sometime changes?
All these questions and more will be explored as we talk about matching clients’ needs with what your agency offers without pulling teeth or pulling your hair out. Practical tips, and strategies for successful relationship building that leads to closing the deal.
Generating a custom Ruby SDK for your web service or Rails API using Smithyg2nightmarescribd
Have you ever wanted a Ruby client API to communicate with your web service? Smithy is a protocol-agnostic language for defining services and SDKs. Smithy Ruby is an implementation of Smithy that generates a Ruby SDK using a Smithy model. In this talk, we will explore Smithy and Smithy Ruby to learn how to generate custom feature-rich SDKs that can communicate with any web service, such as a Rails JSON API.
DevOps and Testing slides at DASA ConnectKari Kakkonen
My and Rik Marselis slides at 30.5.2024 DASA Connect conference. We discuss about what is testing, then what is agile testing and finally what is Testing in DevOps. Finally we had lovely workshop with the participants trying to find out different ways to think about quality and testing in different parts of the DevOps infinity loop.
Neuro-symbolic is not enough, we need neuro-*semantic*Frank van Harmelen
Neuro-symbolic (NeSy) AI is on the rise. However, simply machine learning on just any symbolic structure is not sufficient to really harvest the gains of NeSy. These will only be gained when the symbolic structures have an actual semantics. I give an operational definition of semantics as “predictable inference”.
All of this illustrated with link prediction over knowledge graphs, but the argument is general.
UiPath Test Automation using UiPath Test Suite series, part 4DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 4. In this session, we will cover Test Manager overview along with SAP heatmap.
The UiPath Test Manager overview with SAP heatmap webinar offers a concise yet comprehensive exploration of the role of a Test Manager within SAP environments, coupled with the utilization of heatmaps for effective testing strategies.
Participants will gain insights into the responsibilities, challenges, and best practices associated with test management in SAP projects. Additionally, the webinar delves into the significance of heatmaps as a visual aid for identifying testing priorities, areas of risk, and resource allocation within SAP landscapes. Through this session, attendees can expect to enhance their understanding of test management principles while learning practical approaches to optimize testing processes in SAP environments using heatmap visualization techniques
What will you get from this session?
1. Insights into SAP testing best practices
2. Heatmap utilization for testing
3. Optimization of testing processes
4. Demo
Topics covered:
Execution from the test manager
Orchestrator execution result
Defect reporting
SAP heatmap example with demo
Speaker:
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
Essentials of Automations: Optimizing FME Workflows with ParametersSafe Software
Are you looking to streamline your workflows and boost your projects’ efficiency? Do you find yourself searching for ways to add flexibility and control over your FME workflows? If so, you’re in the right place.
Join us for an insightful dive into the world of FME parameters, a critical element in optimizing workflow efficiency. This webinar marks the beginning of our three-part “Essentials of Automation” series. This first webinar is designed to equip you with the knowledge and skills to utilize parameters effectively: enhancing the flexibility, maintainability, and user control of your FME projects.
Here’s what you’ll gain:
- Essentials of FME Parameters: Understand the pivotal role of parameters, including Reader/Writer, Transformer, User, and FME Flow categories. Discover how they are the key to unlocking automation and optimization within your workflows.
- Practical Applications in FME Form: Delve into key user parameter types including choice, connections, and file URLs. Allow users to control how a workflow runs, making your workflows more reusable. Learn to import values and deliver the best user experience for your workflows while enhancing accuracy.
- Optimization Strategies in FME Flow: Explore the creation and strategic deployment of parameters in FME Flow, including the use of deployment and geometry parameters, to maximize workflow efficiency.
- Pro Tips for Success: Gain insights on parameterizing connections and leveraging new features like Conditional Visibility for clarity and simplicity.
We’ll wrap up with a glimpse into future webinars, followed by a Q&A session to address your specific questions surrounding this topic.
Don’t miss this opportunity to elevate your FME expertise and drive your projects to new heights of efficiency.
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
3. Agenda
● Use case: schema validation
○ Predicates are constraints, not types.
○ Does Clojure.spec compose?
● Clojure.spec provides uniform error message
○ explain-data
○ Application caller has the right to decide how to format the error.
● Generative Testing
○ Example-based testing v.s. Property-based testing
○ Three common ways to write property-based testing
○ Leverage Clojure.spec to generate input
4. Dynamic language needs schema validation
Data input
Software system
(1) API
(2) Web UI
(3) ETL reading from
file
Using schema validation to ensure data is
correct.
11. spec/explain-data in Example
● Library callee only returns the error in data form. (output of spec/explain-
data)
● Application caller has the right to decide how to format the error.
12. Example-based testing
● The correct F needs to satisify certain input, output condition.
● If for all (input, output) pairs in a known set satisfying output = Fn(input),
then Fn is correct.
(To be tested) function
or component
Input:
Known set of values.
Output:
Known set of values.
13. Generative Testing (Property-based testing)
● output = F1(input).
● F1 is an existing implementation.
● When we generate a large enough random input set and for all input
satisfying F1(input) = Fn(input), then Fn is equivalent to F1.
Large enough
generated random
input set.
F1
Fn
The output set
is equivalent.
14. Three common ways to write property-based tests
● Existing implementation
● Inverse function
● Describe the traits of the output
Large enough
generated random
input set.
F1
Fn
The output set
is equivalent.