Dependent Types
•Als PPTX, PDF herunterladen•
2 gefällt mir•194 views
The document discusses making bad data impossible by creating custom data types that implement business rule constraints. It suggests that custom types could ensure data is always correct, without needing to worry about edits or meeting database constraints. The custom types could have meaningful names and support features like extension methods to improve usability.
Melden
Teilen
Melden
Teilen
Empfohlen
Dependent Types make bad data unrepresentable
This document discusses dependent types in programming languages. It introduces dependent types as a way to define custom data types that implement business rule constraints to ensure data is always valid. Dependent types allow defining a family of types where the type of an element depends on its value, providing type safety. The document advocates for adding dependent type support to languages like F# to define constrained types like strings within a certain length or integers within a range. It outlines some use cases and directions for future work, such as adding dependent types to language core libraries and C#/VB.NET support.
What's new in Visual Studio 2017 and C# 7
The document summarizes new features in Visual Studio 2017 for C# development. Key improvements include clickable errors and warnings that link to online searches, faster loading of solutions, live unit testing for Enterprise editions, an enhanced Find All References dialog, and new exception handling helpers. It also outlines new C# 7 language features like tuples, pattern matching, and local functions, and previews potential features for C# 8 like strong null warnings and async streams. JavaScript improvements in Visual Studio 2017 and ongoing enhancements in Visual Studio Code are also briefly mentioned.
Advanced Search using JQL in JIRA
Learn JIRA Quickly
Plan, track, work – smarter and faster
Course: http://www.udemy.com/learn-jira-quickly
50% OFF Coupon Code: 50OFF
Enhance your resume skills and improve your productivity quickly
JIRA provides very powerful issue search functionality. In this section, you'll learn how to search for issues across different projects, how to customize search and save search filters.
Learn More: http://www.udemy.com/learn-jira-quickly
50% OFF Coupon Code: 50OFF
Charlie Talk - JQL In A Nutshell
It promises to be one of the more powerful features of JIRA 4.0. Get a sneak peek at the new JIRA Query Language (JQL).
By Dylan Etkin
What To Expect With C
This is the slide show from The Best of PDC event held in Phoenix. It covers all of the upcoming changes in C# 4.0.
Eureka English Evening
Slides for Eureka English Evening, where James Neve and Jun Sakata taught code review in English through various activities.
.NET Architecture for Enterprises
This document summarizes key aspects of .NET architecture for enterprises. It describes the roles and responsibilities of software architects, principles of architecture like separation of concerns and low coupling/high cohesion, and common architectural patterns. It also outlines common layers in applications like the business layer, services layer, data access layer, and presentation layer, describing what they are, responsibilities, and design patterns associated with each layer. The document provides guidance on how to design maintainable and testable systems with a focus on separation of concerns, low coupling between components, and following architectural best practices.
IronEdge PowerBI World Tour Presentation
If you need help converting spreadsheets into actionable intelligence or convincing your organization that data driven decision making with BI is where it's at, we can help.
Empfohlen
Dependent Types make bad data unrepresentable
This document discusses dependent types in programming languages. It introduces dependent types as a way to define custom data types that implement business rule constraints to ensure data is always valid. Dependent types allow defining a family of types where the type of an element depends on its value, providing type safety. The document advocates for adding dependent type support to languages like F# to define constrained types like strings within a certain length or integers within a range. It outlines some use cases and directions for future work, such as adding dependent types to language core libraries and C#/VB.NET support.
What's new in Visual Studio 2017 and C# 7
The document summarizes new features in Visual Studio 2017 for C# development. Key improvements include clickable errors and warnings that link to online searches, faster loading of solutions, live unit testing for Enterprise editions, an enhanced Find All References dialog, and new exception handling helpers. It also outlines new C# 7 language features like tuples, pattern matching, and local functions, and previews potential features for C# 8 like strong null warnings and async streams. JavaScript improvements in Visual Studio 2017 and ongoing enhancements in Visual Studio Code are also briefly mentioned.
Advanced Search using JQL in JIRA
Learn JIRA Quickly
Plan, track, work – smarter and faster
Course: http://www.udemy.com/learn-jira-quickly
50% OFF Coupon Code: 50OFF
Enhance your resume skills and improve your productivity quickly
JIRA provides very powerful issue search functionality. In this section, you'll learn how to search for issues across different projects, how to customize search and save search filters.
Learn More: http://www.udemy.com/learn-jira-quickly
50% OFF Coupon Code: 50OFF
Charlie Talk - JQL In A Nutshell
It promises to be one of the more powerful features of JIRA 4.0. Get a sneak peek at the new JIRA Query Language (JQL).
By Dylan Etkin
What To Expect With C
This is the slide show from The Best of PDC event held in Phoenix. It covers all of the upcoming changes in C# 4.0.
Eureka English Evening
Slides for Eureka English Evening, where James Neve and Jun Sakata taught code review in English through various activities.
.NET Architecture for Enterprises
This document summarizes key aspects of .NET architecture for enterprises. It describes the roles and responsibilities of software architects, principles of architecture like separation of concerns and low coupling/high cohesion, and common architectural patterns. It also outlines common layers in applications like the business layer, services layer, data access layer, and presentation layer, describing what they are, responsibilities, and design patterns associated with each layer. The document provides guidance on how to design maintainable and testable systems with a focus on separation of concerns, low coupling between components, and following architectural best practices.
IronEdge PowerBI World Tour Presentation
If you need help converting spreadsheets into actionable intelligence or convincing your organization that data driven decision making with BI is where it's at, we can help.
TIBCO Advanced Analytics Meetup (TAAM) - June 2015
This document summarizes a TIBCO Advanced Analytics meetup. It includes an agenda for presentations on TIBCO Analytics and data science, predictive analytics using TERR expressions, real-time analytics, APIs, and a question/answer wrap-up session. It also provides overviews of the Spotfire platform for data visualization and analytics, Spotfire capabilities for accessing and preparing data from various sources, and supported data sources.
Mark Tortoricci - Talent42 2015
The document provides tips on how recruiters can better manage hiring managers during the candidate matching and selection process. It suggests recruiters identify the hiring manager's needs, search for suitable candidates using the right keywords, and pitch candidate profiles that align with the roles while also highlighting potential alternative fits. The document also discusses common challenges faced by both candidates and hiring managers to provide context around expectations.
Getting to the core, requirements gathering in the wild
Session slides as delivered on March 18th 2014 at Engage in Breda, The Netherlands by Sophie Lavignac-Le Madec & Femke Goedhart
Abstract: The basis of any good project is good requirements. Knowing what it is you are going to build / get determines whether your project will be a success or a flat out failure. In reality though the requirements phase is often trivialized or even forgotten. This session will give you tips & tricks as well as explain to you the basic techniques on how to effectively get to the core of the requirements, identify ways of prioritizing them and explain some core concepts of Functional and Technical design elements. Coming from a requirement gathering as well as development & customer point of view Femke & Sophie will take you through some of the real life examples they have come across and a lot of do's & don'ts they have seen (and despaired over)
Software Architecture and Predictive Models in R
This document discusses software architecture considerations for predictive modeling applications built in R. It addresses questions around whether the application is a data product, the number of users, how models are fit and scored, how predictions are stored and delivered, and testing procedures. Case studies are presented around annotating data hourly and fitting many models annually for scoring. The key decisions involve technologies, boundaries, responsibilities, performance, and operational complexity.
Software job options
The document outlines the different roles required to convert ideas into profitable businesses or products. It discusses the steps from refining an initial idea through development, testing, deployment, and maintenance. Some of the key roles discussed include business analysts, UX designers, frontend engineers, middleware engineers, backend services engineers, data engineers, integration engineers, test engineers, operations engineers, and project/Scrum managers.
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Continuous accuracy and efficiency of Large Language Models (LLM) is key to successfully building out your next AI-infused automation, regardless of business use case.
For our next Connector Corner webinar, we’ll explore how using a seamless AI integration process provides access to industry leading models, curated activities, and embeddings that help achieve operational efficiency.
Join us on March 26 to learn about:
Accessing large language models, hosted by UiPath
Reducing complexities of prompt-engineering, by using curated sets of activities
Assuring accuracy and safety, by building an AI Trust Layer to moderate the output of AI models, and their generated results.
Discovering what’s new in embeddings connectivity
Cultivating your AI knowledgebase using Vector Databases
Expect to see these use cases in action:
Leveraging UiPath hosted LLMs and activities
Document comparison using our LLM framework
Please stay tuned for additional use cases
Speakers:
Charlie Greenberg, host
George Roth, Technology Evangelist
Scott Schoenberger, Senior Product Manager
Koji Takimoto, Director Product Support
Einstein Next Best Action (NBA)
Daniel Peter, a Salesforce MVP, gave a presentation on Einstein Next Best Action. He demonstrated how to build recommendation strategies using Strategy Builder to customize recommendations for any object. Strategies can include rules and AI by connecting to predictive models through Apex. Some tips included writing formulas directly in Strategy Builder and using dynamic screen flows to launch from recommendations, although passing the recommendation ID is currently limited. The full capabilities of Next Best Action, such as packaging strategies, are still developing.
Protection and Verification of Security Design Flaws
Spring I/O 2017 - 18 -19 May, Barcelona
Software vulnerabilities come in two basic flavors: security bugs and design flaws.
Security bugs, such as the popular SQL Injection and Cross-site Scripting vulnerabilities, are errors in coding and because all of them follow the same specific patterns, they can be detected easily by automated tools, even reporting the file and line where the security bug has been found making it simple for software developers to resolve them.
However, half of the software related security issues can not be detected by tools.
They are design flaws embedded in software and only a person who is familiar with the scope of the web application can identify such vulnerabilities. Until now, they had to be detected manually through pentesting, often resulting in the wholesale redesign of the application architecture.
This represents a huge problem for any business or organization, not only due to the economic cost, but more importantly because of the impact on time to market of applications.
So, what can we do to solve this problem?
This talk presents a solution to protect applications against design flaws and verify them automatically with application security architecture and testing tools working together for the first time.
Following a practical approach this talk presents practical examples using Spring reference applications (PetClinic) based on Spring MVC and Spring REST and using well known pentesting tools such as Burp.
ML Meetup #27 - Data Infrasctructure and Data Access in Nubank
Nubank has 55 squads with 190 microservices and processes 40 TB of data daily. They improved data infrastructure by building a platform with Datomic as the single source of truth, Amazon Redshift for analytics, and Databricks and Jupyter notebooks for data processing. Anyone can contribute ETL jobs to extract, transform and load data. Teams use Metabase, Looker and Jupyter notebooks to access and analyze data. Data services include training, support and meetings to promote data sharing.
Richardrodger designing-microservices-uxdx-dublin-oct
The document discusses how to design microservices for an application. It explains that microservices should contain independent and similar pieces of functionality that can run in any order, unlike monolithic enterprise applications where components depend on each other in a specific order. The document then uses a search engine as an example, showing how the requirements can be broken down into independent microservices for querying, retrieving details, and handling synchronous vs. asynchronous requests.
Rental Cars and Industrialized Learning to Rank with Sean Downes
Data can be viewed as the exhaust of online activity. With the rise of cloud-based data platforms, barriers to data storage and transfer have crumbled. The demand for creative applications and learning from those datasets has accelerated. Rapid acceleration can quickly accrue disorder, and disorderly data design can turn the deepest data lake into an impenetrable swamp.
In this talk, I will discuss the evolution of the data science workflow at Expedia with a special emphasis on Learning to Rank problems. From the heroic early days of ad-hoc Spark exploration to our first production sort model on the cloud, we will explore the process of industrializing the workflow. Layered over our story, I will share some best practices and suggestions on how to keep your data productive, or even pull your organization out of the data swamp.
Data In Action: Business Value of Data
Lecture on databases for Technology and Operations class at Pepperdine Graziado School of Business. Presented October 2023.
The information supernova
This document discusses technologies for analyzing large amounts of data from various sources on the internet and social media. It introduces Info Arab's Significs technology, which can analyze text streams and social media interactions to extract structured and meaningful data. Significs converts unstructured data into structured data and identifies indicators of content across many dimensions of analysis. It also discusses Fetch Technologies for gathering data from various online sources and providing APIs and platforms for accessing the analyzed information.
Tec314
The document discusses software quality assurance (QA) for FileMaker Pro projects. It outlines some of the challenges of QA for FileMaker, including that it is often treated like a productivity tool rather than complex software. It then recommends establishing requirements and test plans, using tools like use case databases and bug tracking databases. The document details the QA process, including designing for quality, testing during development, alpha and beta testing, deployment testing, and user acceptance testing. It emphasizes communication throughout the process.
Single Source of Truth for Network Automation
The document discusses the journey of network automation from simple reporting to fully integrated automated businesses. It emphasizes establishing a single source of truth for network data through a data model and storing data in a centralized database. This enables templated configuration generation and automation of network and business processes through APIs, workers, and tools that interface with the centralized data. Proper software architecture like separating customer and infrastructure data, using APIs, workers and templating promotes flexibility, testability and the ability to configure networks and businesses rather than individual devices.
Building frameworks: from concept to completion
What are considerations when building a framework/library? How does that apply to OutSystems components? In this session, we’ll do a deep dive into the importance of addressing certain concepts like code granularity, and architecture, in order to create useful, future-proof and coherent frameworks that deliver the best possible developer experience.
NoSQL with Mongodb
The document discusses NoSQL and MongoDB. It provides an overview of NoSQL databases, why they are used, example use cases, and key features of MongoDB. It also covers how to install and run MongoDB on Windows and demonstrates equivalent SQL and MongoDB queries.
Guidelines DataCite Denmark 2014
As a DataCite datacenter, you must make initial decisions before minting DOIs, including which objects to mint and the DOI suffix structure. You must also commit to long-term storage of objects and maintaining correct URLs and metadata. DOIs can be minted manually through the Metadata Store or by connecting an institution's systems to the DataCite API. DataCite Denmark provides support for DOI minting through workshops, API setup assistance, and consultancy.
.netcampus2015 office365dev
This document discusses best practices for developing solutions with Office 365. It recommends using the app model and add-ins rather than farm solutions, as farm solutions can impact multiple customers with a shared codebase. The app model aligns development across cloud and on-premises. It provides examples of how to address common issues like content types, list definitions, and site provisioning using the app model instead of farm solutions. Gradually rewriting code to the app model is suggested over direct migration. The presentation aims to minimize future challenges by focusing on the user experience rather than rewriting code.
Writing Code for Humans, not Computers
The document discusses strategies for writing code that is easy for humans to read. It recommends organizing code into well-structured projects, writing code using best practices like avoiding nested logic and creating new types for reusable code, and using architectural patterns like MVC and use cases combined with operations. The goal is to make code easy to understand, maintain and extend over time as more people need to read and modify the code.
Introduction to the lambda calculus
This document introduces the lambda calculus through its history and key concepts. It describes Alonzo Church's development of the untyped and simply typed lambda calculus in the 1930s and 1940s as a foundation for logic and computation. It then explains the basic syntax and evaluation rules of the lambda calculus, how to represent data like booleans and numbers, and how to define common operations and recursion without built-in types or control structures.
Tools for reading papers
Learn you a F# and Lambda Calculus to better understand academic computer science papers related to languages, types, and data structures.
Weitere ähnliche Inhalte
Ähnlich wie Dependent Types
TIBCO Advanced Analytics Meetup (TAAM) - June 2015
This document summarizes a TIBCO Advanced Analytics meetup. It includes an agenda for presentations on TIBCO Analytics and data science, predictive analytics using TERR expressions, real-time analytics, APIs, and a question/answer wrap-up session. It also provides overviews of the Spotfire platform for data visualization and analytics, Spotfire capabilities for accessing and preparing data from various sources, and supported data sources.
Mark Tortoricci - Talent42 2015
The document provides tips on how recruiters can better manage hiring managers during the candidate matching and selection process. It suggests recruiters identify the hiring manager's needs, search for suitable candidates using the right keywords, and pitch candidate profiles that align with the roles while also highlighting potential alternative fits. The document also discusses common challenges faced by both candidates and hiring managers to provide context around expectations.
Getting to the core, requirements gathering in the wild
Session slides as delivered on March 18th 2014 at Engage in Breda, The Netherlands by Sophie Lavignac-Le Madec & Femke Goedhart
Abstract: The basis of any good project is good requirements. Knowing what it is you are going to build / get determines whether your project will be a success or a flat out failure. In reality though the requirements phase is often trivialized or even forgotten. This session will give you tips & tricks as well as explain to you the basic techniques on how to effectively get to the core of the requirements, identify ways of prioritizing them and explain some core concepts of Functional and Technical design elements. Coming from a requirement gathering as well as development & customer point of view Femke & Sophie will take you through some of the real life examples they have come across and a lot of do's & don'ts they have seen (and despaired over)
Software Architecture and Predictive Models in R
This document discusses software architecture considerations for predictive modeling applications built in R. It addresses questions around whether the application is a data product, the number of users, how models are fit and scored, how predictions are stored and delivered, and testing procedures. Case studies are presented around annotating data hourly and fitting many models annually for scoring. The key decisions involve technologies, boundaries, responsibilities, performance, and operational complexity.
Software job options
The document outlines the different roles required to convert ideas into profitable businesses or products. It discusses the steps from refining an initial idea through development, testing, deployment, and maintenance. Some of the key roles discussed include business analysts, UX designers, frontend engineers, middleware engineers, backend services engineers, data engineers, integration engineers, test engineers, operations engineers, and project/Scrum managers.
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Continuous accuracy and efficiency of Large Language Models (LLM) is key to successfully building out your next AI-infused automation, regardless of business use case.
For our next Connector Corner webinar, we’ll explore how using a seamless AI integration process provides access to industry leading models, curated activities, and embeddings that help achieve operational efficiency.
Join us on March 26 to learn about:
Accessing large language models, hosted by UiPath
Reducing complexities of prompt-engineering, by using curated sets of activities
Assuring accuracy and safety, by building an AI Trust Layer to moderate the output of AI models, and their generated results.
Discovering what’s new in embeddings connectivity
Cultivating your AI knowledgebase using Vector Databases
Expect to see these use cases in action:
Leveraging UiPath hosted LLMs and activities
Document comparison using our LLM framework
Please stay tuned for additional use cases
Speakers:
Charlie Greenberg, host
George Roth, Technology Evangelist
Scott Schoenberger, Senior Product Manager
Koji Takimoto, Director Product Support
Einstein Next Best Action (NBA)
Daniel Peter, a Salesforce MVP, gave a presentation on Einstein Next Best Action. He demonstrated how to build recommendation strategies using Strategy Builder to customize recommendations for any object. Strategies can include rules and AI by connecting to predictive models through Apex. Some tips included writing formulas directly in Strategy Builder and using dynamic screen flows to launch from recommendations, although passing the recommendation ID is currently limited. The full capabilities of Next Best Action, such as packaging strategies, are still developing.
Protection and Verification of Security Design Flaws
Spring I/O 2017 - 18 -19 May, Barcelona
Software vulnerabilities come in two basic flavors: security bugs and design flaws.
Security bugs, such as the popular SQL Injection and Cross-site Scripting vulnerabilities, are errors in coding and because all of them follow the same specific patterns, they can be detected easily by automated tools, even reporting the file and line where the security bug has been found making it simple for software developers to resolve them.
However, half of the software related security issues can not be detected by tools.
They are design flaws embedded in software and only a person who is familiar with the scope of the web application can identify such vulnerabilities. Until now, they had to be detected manually through pentesting, often resulting in the wholesale redesign of the application architecture.
This represents a huge problem for any business or organization, not only due to the economic cost, but more importantly because of the impact on time to market of applications.
So, what can we do to solve this problem?
This talk presents a solution to protect applications against design flaws and verify them automatically with application security architecture and testing tools working together for the first time.
Following a practical approach this talk presents practical examples using Spring reference applications (PetClinic) based on Spring MVC and Spring REST and using well known pentesting tools such as Burp.
ML Meetup #27 - Data Infrasctructure and Data Access in Nubank
Nubank has 55 squads with 190 microservices and processes 40 TB of data daily. They improved data infrastructure by building a platform with Datomic as the single source of truth, Amazon Redshift for analytics, and Databricks and Jupyter notebooks for data processing. Anyone can contribute ETL jobs to extract, transform and load data. Teams use Metabase, Looker and Jupyter notebooks to access and analyze data. Data services include training, support and meetings to promote data sharing.
Richardrodger designing-microservices-uxdx-dublin-oct
The document discusses how to design microservices for an application. It explains that microservices should contain independent and similar pieces of functionality that can run in any order, unlike monolithic enterprise applications where components depend on each other in a specific order. The document then uses a search engine as an example, showing how the requirements can be broken down into independent microservices for querying, retrieving details, and handling synchronous vs. asynchronous requests.
Rental Cars and Industrialized Learning to Rank with Sean Downes
Data can be viewed as the exhaust of online activity. With the rise of cloud-based data platforms, barriers to data storage and transfer have crumbled. The demand for creative applications and learning from those datasets has accelerated. Rapid acceleration can quickly accrue disorder, and disorderly data design can turn the deepest data lake into an impenetrable swamp.
In this talk, I will discuss the evolution of the data science workflow at Expedia with a special emphasis on Learning to Rank problems. From the heroic early days of ad-hoc Spark exploration to our first production sort model on the cloud, we will explore the process of industrializing the workflow. Layered over our story, I will share some best practices and suggestions on how to keep your data productive, or even pull your organization out of the data swamp.
Data In Action: Business Value of Data
Lecture on databases for Technology and Operations class at Pepperdine Graziado School of Business. Presented October 2023.
The information supernova
This document discusses technologies for analyzing large amounts of data from various sources on the internet and social media. It introduces Info Arab's Significs technology, which can analyze text streams and social media interactions to extract structured and meaningful data. Significs converts unstructured data into structured data and identifies indicators of content across many dimensions of analysis. It also discusses Fetch Technologies for gathering data from various online sources and providing APIs and platforms for accessing the analyzed information.
Tec314
The document discusses software quality assurance (QA) for FileMaker Pro projects. It outlines some of the challenges of QA for FileMaker, including that it is often treated like a productivity tool rather than complex software. It then recommends establishing requirements and test plans, using tools like use case databases and bug tracking databases. The document details the QA process, including designing for quality, testing during development, alpha and beta testing, deployment testing, and user acceptance testing. It emphasizes communication throughout the process.
Single Source of Truth for Network Automation
The document discusses the journey of network automation from simple reporting to fully integrated automated businesses. It emphasizes establishing a single source of truth for network data through a data model and storing data in a centralized database. This enables templated configuration generation and automation of network and business processes through APIs, workers, and tools that interface with the centralized data. Proper software architecture like separating customer and infrastructure data, using APIs, workers and templating promotes flexibility, testability and the ability to configure networks and businesses rather than individual devices.
Building frameworks: from concept to completion
What are considerations when building a framework/library? How does that apply to OutSystems components? In this session, we’ll do a deep dive into the importance of addressing certain concepts like code granularity, and architecture, in order to create useful, future-proof and coherent frameworks that deliver the best possible developer experience.
NoSQL with Mongodb
The document discusses NoSQL and MongoDB. It provides an overview of NoSQL databases, why they are used, example use cases, and key features of MongoDB. It also covers how to install and run MongoDB on Windows and demonstrates equivalent SQL and MongoDB queries.
Guidelines DataCite Denmark 2014
As a DataCite datacenter, you must make initial decisions before minting DOIs, including which objects to mint and the DOI suffix structure. You must also commit to long-term storage of objects and maintaining correct URLs and metadata. DOIs can be minted manually through the Metadata Store or by connecting an institution's systems to the DataCite API. DataCite Denmark provides support for DOI minting through workshops, API setup assistance, and consultancy.
.netcampus2015 office365dev
This document discusses best practices for developing solutions with Office 365. It recommends using the app model and add-ins rather than farm solutions, as farm solutions can impact multiple customers with a shared codebase. The app model aligns development across cloud and on-premises. It provides examples of how to address common issues like content types, list definitions, and site provisioning using the app model instead of farm solutions. Gradually rewriting code to the app model is suggested over direct migration. The presentation aims to minimize future challenges by focusing on the user experience rather than rewriting code.
Writing Code for Humans, not Computers
The document discusses strategies for writing code that is easy for humans to read. It recommends organizing code into well-structured projects, writing code using best practices like avoiding nested logic and creating new types for reusable code, and using architectural patterns like MVC and use cases combined with operations. The goal is to make code easy to understand, maintain and extend over time as more people need to read and modify the code.
Ähnlich wie Dependent Types (20)
TIBCO Advanced Analytics Meetup (TAAM) - June 2015
TIBCO Advanced Analytics Meetup (TAAM) - June 2015
Getting to the core, requirements gathering in the wild
Getting to the core, requirements gathering in the wild
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Connector Corner: Extending LLM automation use cases with UiPath GenAI connec...
Protection and Verification of Security Design Flaws
Protection and Verification of Security Design Flaws
ML Meetup #27 - Data Infrasctructure and Data Access in Nubank
ML Meetup #27 - Data Infrasctructure and Data Access in Nubank
Richardrodger designing-microservices-uxdx-dublin-oct
Richardrodger designing-microservices-uxdx-dublin-oct
Rental Cars and Industrialized Learning to Rank with Sean Downes
Rental Cars and Industrialized Learning to Rank with Sean Downes
Mehr von Jack Fox
Introduction to the lambda calculus
This document introduces the lambda calculus through its history and key concepts. It describes Alonzo Church's development of the untyped and simply typed lambda calculus in the 1930s and 1940s as a foundation for logic and computation. It then explains the basic syntax and evaluation rules of the lambda calculus, how to represent data like booleans and numbers, and how to define common operations and recursion without built-in types or control structures.
Tools for reading papers
Learn you a F# and Lambda Calculus to better understand academic computer science papers related to languages, types, and data structures.
Functional programming for production quality code
This document discusses functional programming techniques for production quality code. It covers topics like partial application, summation types, pattern matching, monadic binding, function composition, and units of measure. It also discusses using computation expressions for asynchronous code and functional approaches to working with relational data using F# types generated from SQL queries and stored procedures.
Intoduction to Homotopy Type Therory
This document provides an introduction to homotopy type theory, including:
- Types represent objects, propositions, functions, and proofs.
- Equalities are represented as paths between types, with properties like reflexivity and transitivity.
- Dependent types allow the output of a function to depend on the input.
- Identity types represent proofs of equality between elements of a type.
- Function extensionality and univalence are axioms in homotopy type theory.
Type Theory and Practical Application
Overview of Type Theory, emphasizing Homotopy Type Theory, and introduction to practical application.
F# for functional enthusiasts
Slides for my talk to the Bay Area Clojure User Group. Unlike most "entry level" F# talks, this presentation assumes some familiarity with functional programming concepts, although I think even folks unfamiliar with functional programming will find the content and demonstrations interesting. The talk includes a survey of the state of the F# community and community-driven (open source) projects.
Semantically coherent functional linear data structures
The document discusses functional linear data structures and sequences. It introduces various linear data structures like lists, vectors, queues, deques, and heaps. It shows how these structures can be represented as sequences and the operations that can be performed on them. It also demonstrates using sequences to model infinite data through unfolding and provides examples like modeling weather forecasts as a sequence.
Linear structures lightning talk
This document outlines different options for implementing a queue data structure, including whether it is ordered or random, how elements are evaluated or constructed, and whether elements can be peeked, added to the front or back, or removed from the front, back, or a specific index. It also provides examples of using a queue to perform a breadth-first traversal of a multiway forest data structure.
Functional linear data structures in f#
From talk presented at Lambda Jam 2013.
Characteristics and applications of functional linear data structures.
Bibliography and code examples:
http://jackfoxy.com/lambda_jam_fsharp_bibliography
Mehr von Jack Fox (9)
Functional programming for production quality code
Functional programming for production quality code
Semantically coherent functional linear data structures
Semantically coherent functional linear data structures
Kürzlich hochgeladen
UI5con 2024 - Bring Your Own Design System
How do you combine the OpenUI5/SAPUI5 programming model with a design system that makes its controls available as Web Components? Since OpenUI5/SAPUI5 1.120, the framework supports the integration of any Web Components. This makes it possible, for example, to natively embed own Web Components of your design system which are created with Stencil. The integration embeds the Web Components in a way that they can be used naturally in XMLViews, like with standard UI5 controls, and can be bound with data binding. Learn how you can also make use of the Web Components base class in OpenUI5/SAPUI5 to also integrate your Web Components and get inspired by the solution to generate a custom UI5 library providing the Web Components control wrappers for the native ones.
Liberarsi dai framework con i Web Component.pptx
In Italian
Presentazione sulle feature e l'utilizzo dei Web Component nell sviluppo di pagine e applicazioni web. Racconto delle ragioni storiche dell'avvento dei Web Component. Evidenziazione dei vantaggi e delle sfide poste, indicazione delle best practices, con particolare accento sulla possibilità di usare web component per facilitare la migrazione delle proprie applicazioni verso nuovi stack tecnologici.
UI5con 2024 - Keynote: Latest News about UI5 and it’s Ecosystem
Learn about the latest innovations in and around OpenUI5/SAPUI5: UI5 Tooling, UI5 linter, UI5 Web Components, Web Components Integration, UI5 2.x, UI5 GenAI.
Recording:
https://www.youtube.com/live/MSdGLG2zLy8?si=INxBHTqkwHhxV5Ta&t=0
Project Management: The Role of Project Dashboards.pdf
Project management is a crucial aspect of any organization, ensuring that projects are completed efficiently and effectively. One of the key tools used in project management is the project dashboard, which provides a comprehensive view of project progress and performance. In this article, we will explore the role of project dashboards in project management, highlighting their key features and benefits.
Using Query Store in Azure PostgreSQL to Understand Query Performance
Microsoft has added an excellent new extension in PostgreSQL on their Azure Platform. This session, presented at Posette 2024, covers what Query Store is and the types of information you can get out of it.
如何办理(hull学位证书)英国赫尔大学毕业证硕士文凭原版一模一样
原版定制【微信:bwp0011】《(hull学位证书)英国赫尔大学毕业证硕士文凭》【微信:bwp0011】成绩单 、雅思、外壳、留信学历认证永久存档查询，采用学校原版纸张、特殊工艺完全按照原版一比一制作（包括：隐形水印，阴影底纹，钢印LOGO烫金烫银，LOGO烫金烫银复合重叠，文字图案浮雕，激光镭射，紫外荧光，温感，复印防伪）行业标杆！精益求精，诚心合作，真诚制作！多年品质 ,按需精细制作，24小时接单,全套进口原装设备，十五年致力于帮助留学生解决难题，业务范围有加拿大、英国、澳洲、韩国、美国、新加坡，新西兰等学历材料，包您满意。
【业务选择办理准则】
一、工作未确定，回国需先给父母、亲戚朋友看下文凭的情况，办理一份就读学校的毕业证【微信bwp0011】文凭即可
二、回国进私企、外企、自己做生意的情况，这些单位是不查询毕业证真伪的，而且国内没有渠道去查询国外文凭的真假，也不需要提供真实教育部认证。鉴于此，办理一份毕业证【微信bwp0011】即可
三、进国企，银行，事业单位，考公务员等等，这些单位是必需要提供真实教育部认证的，办理教育部认证所需资料众多且烦琐，所有材料您都必须提供原件，我们凭借丰富的经验，快捷的绿色通道帮您快速整合材料，让您少走弯路。
留信网认证的作用:
1:该专业认证可证明留学生真实身份
2:同时对留学生所学专业登记给予评定
3:国家专业人才认证中心颁发入库证书
4:这个认证书并且可以归档倒地方
5:凡事获得留信网入网的信息将会逐步更新到个人身份内，将在公安局网内查询个人身份证信息后，同步读取人才网入库信息
6:个人职称评审加20分
7:个人信誉贷款加10分
8:在国家人才网主办的国家网络招聘大会中纳入资料，供国家高端企业选择人才
【关于价格问题（保证一手价格）】
我们所定的价格是非常合理的，而且我们现在做得单子大多数都是代理和回头客户介绍的所以一般现在有新的单子 我给客户的都是第一手的代理价格，因为我想坦诚对待大家 不想跟大家在价格方面浪费时间
对于老客户或者被老客户介绍过来的朋友，我们都会适当给一些优惠。
All you need to know about Spring Boot and GraalVM
All you need to know about Spring Boot and GraalVM 🐰
Microservice Teams - How the cloud changes the way we work
A lot of technical challenges and complexity come with building a cloud-native and distributed architecture. The way we develop backend software has fundamentally changed in the last ten years. Managing a microservices architecture demands a lot of us to ensure observability and operational resiliency. But did you also change the way you run your development teams?
Sven will talk about Atlassian’s journey from a monolith to a multi-tenanted architecture and how it affected the way the engineering teams work. You will learn how we shifted to service ownership, moved to more autonomous teams (and its challenges), and established platform and enablement teams.
Mobile App Development Company In Noida | Drona Infotech
Drona Infotech is a premier mobile app development company in Noida, providing cutting-edge solutions for businesses.
Visit Us For : https://www.dronainfotech.com/mobile-application-development/
GreenCode-A-VSCode-Plugin--Dario-Jurisic
Presentation about a VSCode plugin from Dario Jurisic at the GSD Community Stage meetup
8 Best Automated Android App Testing Tool and Framework in 2024.pdf
Regarding mobile operating systems, two major players dominate our thoughts: Android and iPhone. With Android leading the market, software development companies are focused on delivering apps compatible with this OS. Ensuring an app's functionality across various Android devices, OS versions, and hardware specifications is critical, making Android app testing essential.
一比一原版(UMN毕业证)明尼苏达大学毕业证如何办理
UMN硕士毕业证成绩单【微信95270640】购买（明尼苏达大学毕业证成绩单硕士学历）Q微信95270640代办UMN学历认证留信网伪造明尼苏达大学学位证书精仿明尼苏达大学本科/硕士文凭证书补办明尼苏达大学 diplomaoffer,Transcript购买明尼苏达大学毕业证成绩单购买UMN假毕业证学位证书购买伪造明尼苏达大学文凭证书学位证书,专业办理雅思、托福成绩单，学生ID卡，在读证明，海外各大学offer录取通知书，毕业证书，成绩单，文凭等材料:1:1完美还原毕业证、offer录取通知书、学生卡等各种在读或毕业材料的防伪工艺（包括 烫金、烫银、钢印、底纹、凹凸版、水印、防伪光标、热敏防伪、文字图案浮雕，激光镭射，紫外荧光，温感光标）学校原版上有的工艺我们一样不会少，不论是老版本还是最新版本，都能保证最高程度还原，力争完美以求让所有同学都能享受到完美的品质服务。
#毕业证成绩单 #毕业証 #成绩单 #學生卡 #OFFER录取通知书 #雅思#托福等……
国外大学明尼苏达大学明尼苏达大学毕业证offer制作方法（一对一专业服务）
1客户提供办理信息：姓名生日专业学位毕业时间等（如信息不确定可以咨询顾问：我们有专业老师帮你查询）；
2开始安排制作毕业证成绩单电子图；
3毕业证成绩单电子版做好以后发送给您确认；
4毕业证成绩单电子版您确认信息无误之后安排制作成品；
5成品做好拍照或者视频给您确认；
6快递给客户（国内顺丰国外DHLUPS等快读邮寄）
— — 制作工艺 【高仿真】— —
凭借多年的制作经验本公司制作明尼苏达大学明尼苏达大学毕业证offer《激光》《水印》《钢印》《烫金》《紫外线》凹凸版uv版等防伪技术一流高精仿度几乎跟学校100%相同！让您绝对满意。
— — -公司理念 【诚信为主】— — —
我們以質量求生存.以服务求发展有雄厚的实力专业的团队咨询顾问为您细心解答可详谈是真是假眼见为实让您真正放心平凡人生,尽我所能助您一臂之力让我們携手圆您梦想!
此贴长年有效【贴心专线/微-信: 95270640】敬请保留此联系方式以备用！如有不在线请给我们留言！我们将在第一时间给您回复!上散发着一抹抹的光晕而这每处自然形成的细节融合在一起浑然天成的美实在令人心生愉悦小道的周边无秩序的生长着几株艳丽的野花红的粉的紫的虽混乱无章却给这幅美景更增添一份性感夹杂着一份纯洁的妖娆毫无违和感实在给人带来一份悠然幸福的心情如果说现在的审美已经断然拒绝了无声的话那么在树林间飞掠而过的小鸟叽叽咋咋的叫声是否就是这最后的点睛之笔悠然走在林间的小路上宁静与清香一丝丝的盛夏气息吸入身体昔日生活里的繁忙多
WWDC 2024 Keynote Review: For CocoaCoders Austin
Overview of WWDC 2024 Keynote Address.
Covers: Apple Intelligence, iOS18, macOS Sequoia, iPadOS, watchOS, visionOS, and Apple TV+.
Understandable dialogue on Apple TV+
On-device app controlling AI.
Access to ChatGPT with a guest appearance by Chief Data Thief Sam Altman!
App Locking! iPhone Mirroring! And a Calculator!!
How to write a program in any programming language
How to write a program in any programming language
KuberTENes Birthday Bash Guadalajara - Introducción a Argo CD
Charla impartida en el evento de "KuberTENes Birthday Bash Guadalajara" para celebrar el 10mo. aniversario de Kubernetes #kuberTENes #celebr8k8s #k8s
Measures in SQL (SIGMOD 2024, Santiago, Chile)
SQL has attained widespread adoption, but Business Intelligence tools still use their own higher level languages based upon a multidimensional paradigm. Composable calculations are what is missing from SQL, and we propose a new kind of column, called a measure, that attaches a calculation to a table. Like regular tables, tables with measures are composable and closed when used in queries.
SQL-with-measures has the power, conciseness and reusability of multidimensional languages but retains SQL semantics. Measure invocations can be expanded in place to simple, clear SQL.
To define the evaluation semantics for measures, we introduce context-sensitive expressions (a way to evaluate multidimensional expressions that is consistent with existing SQL semantics), a concept called evaluation context, and several operations for setting and modifying the evaluation context.
A talk at SIGMOD, June 9–15, 2024, Santiago, Chile
Authors: Julian Hyde (Google) and John Fremlin (Google)
https://doi.org/10.1145/3626246.3653374
UI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
The UI5 tooling is the development and build tooling of UI5. It is built in a modular and extensible way so that it can be easily extended by your needs. This session will showcase various tooling extensions which can boost your development experience by far so that you can really work offline, transpile your code in your project to use even newer versions of EcmaScript (than 2022 which is supported right now by the UI5 tooling), consume any npm package of your choice in your project, using different kind of proxies, and even stitching UI5 projects during development together to mimic your target environment.
Malibou Pitch Deck For Its €3M Seed Round
French start-up Malibou raised a €3 million Seed Round to develop its payroll and human resources
management platform for VSEs and SMEs. The financing round was led by investors Breega, Y Combinator, and FCVC.
Kürzlich hochgeladen (20)
UI5con 2024 - Keynote: Latest News about UI5 and it’s Ecosystem
UI5con 2024 - Keynote: Latest News about UI5 and it’s Ecosystem
Project Management: The Role of Project Dashboards.pdf
Project Management: The Role of Project Dashboards.pdf
Using Query Store in Azure PostgreSQL to Understand Query Performance
Using Query Store in Azure PostgreSQL to Understand Query Performance
All you need to know about Spring Boot and GraalVM
All you need to know about Spring Boot and GraalVM
Microservice Teams - How the cloud changes the way we work
Microservice Teams - How the cloud changes the way we work
Mobile App Development Company In Noida | Drona Infotech
Mobile App Development Company In Noida | Drona Infotech
8 Best Automated Android App Testing Tool and Framework in 2024.pdf
8 Best Automated Android App Testing Tool and Framework in 2024.pdf
How to write a program in any programming language
How to write a program in any programming language
KuberTENes Birthday Bash Guadalajara - Introducción a Argo CD
KuberTENes Birthday Bash Guadalajara - Introducción a Argo CD
UI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
UI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
Dependent Types
- 1. Make Bad Data Unrepresentable Jack Fox @foxyjackfox Engineer at Visual Studio and Development Technologies MVP
- 2. Ideally… Front End Business Logic Incoming data properly edited Database imposes constraints
- 3. Perspective of the Applications Programmer ? ? ? ? ? ? ? ? ?
- 4. Static Types • String • Int • Float • Datetime
- 5. What if you could easily create custom types implementing the required business rule constraints?
- 6. What if you could easily create custom types implementing the required business rule constraints? …and give the type a meaningful name.
- 7. What if you could easily create custom types implementing the required business rule constraints? …and give the type a meaningful name. • Assurance the data is always correct
- 8. What if you could easily create custom types implementing the required business rule constraints? …and give the type a meaningful name. • Assurance the data is always correct • No worries about whether edits were performed
- 9. What if you could easily create custom types implementing the required business rule constraints? …and give the type a meaningful name. • Assurance the data is always correct • No worries about whether edits were performed • No worries about meeting DB constraints (if they exist)
- 11. Dependent Types – Future Directions https://jackfoxy.github.io/DependentTypes • Support extension methods • C# / VB.NET support • Literal type parameters • Add to F# core library