Specs2
•Download as PPTX, PDF•
1 like•960 views
The slides for the fp-syd presentation: http://www.youtube.com/watch?v=lMyNRUuEvNU. Sorry for the bad fonts which have been converted by SlideShare on upload.
Report
Share
Report
Share
Recommended
LINQ
LINQ (Language Integrated Query) provides a standard set of query operators that allow querying of objects, relational data, and XML in a type-safe manner from .NET languages. It includes DLINQ for querying relational data via ADO.NET and XLINQ for querying XML data. LINQ seeks to bridge the gap between object-oriented languages and data access by integrating querying capabilities directly into languages like C# and VB.
Ef code first
The document discusses how the Entity Framework (EF) Code First model works. It describes how to define simple entities connected by IDs, add virtual properties for lazy loading, and preserve naming conventions. It also covers creating a DbContext, repositories, and using it similarly to a general EF model. By default, the database server is SQL Express and the database name can be changed via the connection string. Database initializers are used to initialize the database if it does not exist. Data annotations can configure the database structure.
Download Python for R Users pdf for free
This book provides a comparative introduction and overview of the R and Python programming languages for data science. It offers concise tutorials with command-by-command translations between the two languages. The book covers topics like data input, inspection, analysis, visualization, statistical modeling, machine learning, and more. It is designed to help practitioners and students that know one language learn the other.
Bc0053 – vb.net & xml
The document provides information about assignments for SMU BBA Spring 2014 semester. It includes details on how to get fully solved assignments - by sending semester and specialization details to an email address or calling a phone number. It then provides a sample assignment question paper for the subject VB.NET & XML, with 6 questions and their evaluation schemes. The questions are on components of .NET Framework, for...next loops in VB.Net, properties and methods of exceptions, declaring DTDs inside XML documents, designing a basic calculator form in VB.NET, and creating an XML database with book details.
Session 1
The document provides an introduction to XML, including:
1. XML is a markup language that allows users to define their own tags to describe data, unlike HTML which has predefined tags.
2. XML uses DTDs or schemas to define the structure and elements of an XML document.
3. Namespaces are used in XML to distinguish identically named elements and avoid collisions between elements from different vocabularies. Namespaces are assigned a URI to uniquely identify them.
3 where are my keys - sql explore
The document discusses the principles of relational databases including normalization rules, key selection, and debates around these topics. It covers 1st, 2nd, and 3rd normal form, different types of keys like simple, composite, candidate and primary keys, and debates around using natural versus artificial keys as the primary key. It also mentions less discussed issues like data statistics and modularity. The document aims to revisit these foundational database concepts from a practical perspective and includes examples in the discussion.
Financial Advisory in a Social World
Financial advisory firms need to make use of social networking technologies to manage customer relationships, financial planning and client retention.
The Brand Community Roles
The document discusses the roles and types of brand communities. It describes the different types of community members like creators, ambassadors, and managers. It also outlines different community statuses as orphan, trusted, or managed. Finally, it summarizes the services Qualitysheet provides to both brands and fans, like starting communities, surveys, analytics and community management tools.
Recommended
LINQ
LINQ (Language Integrated Query) provides a standard set of query operators that allow querying of objects, relational data, and XML in a type-safe manner from .NET languages. It includes DLINQ for querying relational data via ADO.NET and XLINQ for querying XML data. LINQ seeks to bridge the gap between object-oriented languages and data access by integrating querying capabilities directly into languages like C# and VB.
Ef code first
The document discusses how the Entity Framework (EF) Code First model works. It describes how to define simple entities connected by IDs, add virtual properties for lazy loading, and preserve naming conventions. It also covers creating a DbContext, repositories, and using it similarly to a general EF model. By default, the database server is SQL Express and the database name can be changed via the connection string. Database initializers are used to initialize the database if it does not exist. Data annotations can configure the database structure.
Download Python for R Users pdf for free
This book provides a comparative introduction and overview of the R and Python programming languages for data science. It offers concise tutorials with command-by-command translations between the two languages. The book covers topics like data input, inspection, analysis, visualization, statistical modeling, machine learning, and more. It is designed to help practitioners and students that know one language learn the other.
Bc0053 – vb.net & xml
The document provides information about assignments for SMU BBA Spring 2014 semester. It includes details on how to get fully solved assignments - by sending semester and specialization details to an email address or calling a phone number. It then provides a sample assignment question paper for the subject VB.NET & XML, with 6 questions and their evaluation schemes. The questions are on components of .NET Framework, for...next loops in VB.Net, properties and methods of exceptions, declaring DTDs inside XML documents, designing a basic calculator form in VB.NET, and creating an XML database with book details.
Session 1
The document provides an introduction to XML, including:
1. XML is a markup language that allows users to define their own tags to describe data, unlike HTML which has predefined tags.
2. XML uses DTDs or schemas to define the structure and elements of an XML document.
3. Namespaces are used in XML to distinguish identically named elements and avoid collisions between elements from different vocabularies. Namespaces are assigned a URI to uniquely identify them.
3 where are my keys - sql explore
The document discusses the principles of relational databases including normalization rules, key selection, and debates around these topics. It covers 1st, 2nd, and 3rd normal form, different types of keys like simple, composite, candidate and primary keys, and debates around using natural versus artificial keys as the primary key. It also mentions less discussed issues like data statistics and modularity. The document aims to revisit these foundational database concepts from a practical perspective and includes examples in the discussion.
Financial Advisory in a Social World
Financial advisory firms need to make use of social networking technologies to manage customer relationships, financial planning and client retention.
The Brand Community Roles
The document discusses the roles and types of brand communities. It describes the different types of community members like creators, ambassadors, and managers. It also outlines different community statuses as orphan, trusted, or managed. Finally, it summarizes the services Qualitysheet provides to both brands and fans, like starting communities, surveys, analytics and community management tools.
Best training institute
pentagon space is training institute in Bangalore and it is located at Vijaynagar, near metro station hosahalli. Our python full stack developer course includes syllabus HTML5 , CSS3 Bootstrap, JavaScript , Postgre SQL, Vue Js and Django.
Training institute in Bangalore
pentagon space is training institute in Bangalore and it is located at Vijaynagar, near metro station hosahalli.
Data Access Tech Ed India
The document provides an agenda and overview for a presentation on data access layer patterns and options. It discusses considerations for keeping data entities consistent or managing differences between objects and schemas. It also covers common patterns for each approach, including row and table data gateways, active record, domain models, data mappers, repositories, and unit of work. The presentation will assess data access technologies and discuss additional challenges like domain model responsibilities. Attendees can contact the presenter with any other questions.
NLP and the Web
We can extract structured information from web pages by combining Natural Language Processing techniques and web technologies.
FDP-faculty deveopmemt program on python
This document provides an overview of dictionaries and structuring data in Python. It discusses key-value pairs, creating and initializing dictionaries, accessing and modifying dictionary elements, dictionary methods, use cases for dictionaries, other Python data structures like lists and tuples, combining data structures, best practices, and concludes by emphasizing the importance of dictionaries and structured data in Python code.
SPEVO13 - Dev213 - Document Assembly Deep Dive Part 2
This session picks up from part 1 by extending the development strategy to include using XPath expressions embedded within a MS Word document template.
Effiziente Verarbeitung von grossen Datenmengen
The document discusses several approaches for efficiently processing large graphs distributed across clusters. It describes TAO, developed by Facebook for read-optimized queries on social graphs; Horton, a C# query execution engine; Pregel, a framework for batch graph processing; Trinity from Microsoft for online and offline computation; and Unicorn, Facebook's search backend based on Hadoop. Each system is analyzed in terms of its data model, API, architecture, fault tolerance, and performance characteristics. The document concludes by comparing the frameworks and discussing opportunities for future work in query languages and unified frameworks.
Ontology-based Cooperation of Information Systems
This document summarizes an ontology-based approach for cooperation of heterogeneous information systems. It proposes using ontologies and mappings between data sources (e.g. relational databases, XML) and ontologies to enable transparent querying across distributed sources. It describes database-to-ontology and XML-to-ontology mapping specifications and processes, including generating mappings using associations with SQL statements or the DOML mapping language. It also covers query translation from SPARQL to SQL using the different mapping approaches.
SOLID principles
The document discusses several SOLID principles of object oriented design including the single responsibility principle, open/closed principle, Liskov substitution principle, interface segregation principle and dependency inversion principle. It provides examples of how to apply each principle and notes that principles are not rules and the goal is to design for people first before computers. The document concludes by listing several SOLID principles and providing additional resources on design topics.
Evolutionary Design Solid
The document discusses agile evolutionary design principles and SOLID principles. It introduces the typical evolution of systems over time from an initial beautiful design to a legacy system as features are added and changed. It then covers agile design processes and principles like XP practices. The main part explains each SOLID principle - single responsibility, open/closed, Liskov substitution, interface segregation and dependency inversion principles. For each, it provides a definition, design smells when violated, and examples of better designs that follow the principle.
Data Workflows for Machine Learning - SF Bay Area ML
Presented at SF Bay Area ML meetup (2014-04-09)
http://www.meetup.com/SF-Bayarea-Machine-Learning/events/173759442/
Aspect-Oriented Programming for PHP
Aspect Oriented Programming (AOP) is the name given to a set of techniques that let specify seperatly various concerns (aspects). This lead usually to the separation of technical concerns (aspects) from business software logic. This technique is based on aspect and relationship among them description and a weaving operation that inject in the code (source or binary) elements described in the aspect.
In this presentation, after a brief introduction and prospects of AOP, we will introduce you a specific implementation with PHP.
Thoughtful Software Design
The document provides an agenda for a discussion on thoughtful software design. It covers background topics on software design principles like abstraction, encapsulation, and separation of concerns. It then discusses orienteering designer mindsets and basic design principles like the single responsibility principle and principle of least astonishment. The document also addresses migrating legacy systems to more thoughtful designs and techniques for improving design quality like tearing systems apart into isolated layers and components.
PhD Presentation
This document outlines a thesis submitted for a Doctor of Philosophy degree focused on information extraction from semi-structured web pages. The thesis contains two main parts: 1) A survey and comparative analysis of existing information extraction systems, analyzing them based on task domain, techniques used, and degree of automation. 2) A new approach called FiVaTech for page-level extraction of web data from template pages without supervision by automatically detecting schemas and templates.
Evolutionary db development
The document discusses techniques for evolutionary database development in an agile team. It recommends that the database administrator (DBA) work closely with other roles to iteratively refactor the database schema through small, frequent changes. It also emphasizes automated testing and deployment of database changes to safely evolve the database design over time.
What's New for Data?
The document discusses various Microsoft technologies for working with data including:
- Entity Framework which provides an object-relational mapper (ORM) for ADO.NET and allows mapping entities and database tables.
- ADO.NET Data Services which exposes data and methods through RESTful web services using OData protocols and supports various data sources.
- Differences between LINQ to SQL and LINQ to Entities where the latter supports more capabilities but both allow querying data with LINQ.
Soprex framework on .net in action
Presentation of SOPREX Core Application (SCA) framework built on .NET for rapid development of enterprise applications.
2006 DDD4: Data access layers - Convenience vs. Control and Performance?
How do you manage data in memory? Row as result-set? Rational like in a database? As domain objects?
If you need to map data to objects the easiest solution seems to be an O/R-Mapper. The thin red line lays
between losing control over data handling and performance and applying developer convenience and flexibility.
This session introduces a solution from a customer project that reduces code duplicates in data access code,
still provides flexibility and control as well as performant data access. See how you can develop a
transparent and reusable data access layer which comes with O/R-Mapping functionality by just making
intensive use of object oriented principles.
Open source Technology
Open source technologies allow anyone to view, modify, and distribute source code freely. The key characteristics of open source are that it is free to use and modify. Anyone can improve open source code by adding new functionality. As more people contribute code, the potential uses of open source software grow beyond what the original creator intended. To be a web developer requires a passion for learning and skills with technologies like HTML, PHP, Linux, Apache, MySQL, and PHP (LAMP stack). Caching and NoSQL databases like MongoDB can improve performance of dynamic web applications.
OSCON 2014: Data Workflows for Machine Learning
This document provides examples of different frameworks that can be used for machine learning data workflows, including KNIME, Python, Julia, Summingbird, Scalding, and Cascalog. It describes features of each framework such as KNIME's large number of integrations and visual workflow editing, Python's broad ecosystem, Julia's performance and parallelism support, Summingbird's ability to switch between Storm and Scalding backends, and Scalding's implementation of the Scala collections API over Cascading for compact workflow code. The document aims to familiarize readers with options for building machine learning data workflows.
wire-all-the-things-lambda-days-2023.pdf
This talk presents 3 programming situations where typeclasses and generics are not adequate: evolving serialization protocols, data generation, modular applications. A library, registry, can be used to help with those 3 situations by giving us the means to wire and rewire code at will.
The many faces of modularity
Modularity reduces complexity by isolating components and allowing for reuse. It is difficult to achieve true modularity due to dependencies between modules, lack of clear specifications, and assumptions that will break over time. The document outlines the history of modularity in programming languages from the 1960s to present day, and recommends using functional programming techniques like typeclasses, effects, and wiring libraries to help achieve modularity. It acknowledges modularity is complicated and there are no silver bullets, but emphasizes controlling dependencies, separating building from use, and using the type system to help manage complexity.
More Related Content
Similar to Specs2
Best training institute
pentagon space is training institute in Bangalore and it is located at Vijaynagar, near metro station hosahalli. Our python full stack developer course includes syllabus HTML5 , CSS3 Bootstrap, JavaScript , Postgre SQL, Vue Js and Django.
Training institute in Bangalore
pentagon space is training institute in Bangalore and it is located at Vijaynagar, near metro station hosahalli.
Data Access Tech Ed India
The document provides an agenda and overview for a presentation on data access layer patterns and options. It discusses considerations for keeping data entities consistent or managing differences between objects and schemas. It also covers common patterns for each approach, including row and table data gateways, active record, domain models, data mappers, repositories, and unit of work. The presentation will assess data access technologies and discuss additional challenges like domain model responsibilities. Attendees can contact the presenter with any other questions.
NLP and the Web
We can extract structured information from web pages by combining Natural Language Processing techniques and web technologies.
FDP-faculty deveopmemt program on python
This document provides an overview of dictionaries and structuring data in Python. It discusses key-value pairs, creating and initializing dictionaries, accessing and modifying dictionary elements, dictionary methods, use cases for dictionaries, other Python data structures like lists and tuples, combining data structures, best practices, and concludes by emphasizing the importance of dictionaries and structured data in Python code.
SPEVO13 - Dev213 - Document Assembly Deep Dive Part 2
This session picks up from part 1 by extending the development strategy to include using XPath expressions embedded within a MS Word document template.
Effiziente Verarbeitung von grossen Datenmengen
The document discusses several approaches for efficiently processing large graphs distributed across clusters. It describes TAO, developed by Facebook for read-optimized queries on social graphs; Horton, a C# query execution engine; Pregel, a framework for batch graph processing; Trinity from Microsoft for online and offline computation; and Unicorn, Facebook's search backend based on Hadoop. Each system is analyzed in terms of its data model, API, architecture, fault tolerance, and performance characteristics. The document concludes by comparing the frameworks and discussing opportunities for future work in query languages and unified frameworks.
Ontology-based Cooperation of Information Systems
This document summarizes an ontology-based approach for cooperation of heterogeneous information systems. It proposes using ontologies and mappings between data sources (e.g. relational databases, XML) and ontologies to enable transparent querying across distributed sources. It describes database-to-ontology and XML-to-ontology mapping specifications and processes, including generating mappings using associations with SQL statements or the DOML mapping language. It also covers query translation from SPARQL to SQL using the different mapping approaches.
SOLID principles
The document discusses several SOLID principles of object oriented design including the single responsibility principle, open/closed principle, Liskov substitution principle, interface segregation principle and dependency inversion principle. It provides examples of how to apply each principle and notes that principles are not rules and the goal is to design for people first before computers. The document concludes by listing several SOLID principles and providing additional resources on design topics.
Evolutionary Design Solid
The document discusses agile evolutionary design principles and SOLID principles. It introduces the typical evolution of systems over time from an initial beautiful design to a legacy system as features are added and changed. It then covers agile design processes and principles like XP practices. The main part explains each SOLID principle - single responsibility, open/closed, Liskov substitution, interface segregation and dependency inversion principles. For each, it provides a definition, design smells when violated, and examples of better designs that follow the principle.
Data Workflows for Machine Learning - SF Bay Area ML
Presented at SF Bay Area ML meetup (2014-04-09)
http://www.meetup.com/SF-Bayarea-Machine-Learning/events/173759442/
Aspect-Oriented Programming for PHP
Aspect Oriented Programming (AOP) is the name given to a set of techniques that let specify seperatly various concerns (aspects). This lead usually to the separation of technical concerns (aspects) from business software logic. This technique is based on aspect and relationship among them description and a weaving operation that inject in the code (source or binary) elements described in the aspect.
In this presentation, after a brief introduction and prospects of AOP, we will introduce you a specific implementation with PHP.
Thoughtful Software Design
The document provides an agenda for a discussion on thoughtful software design. It covers background topics on software design principles like abstraction, encapsulation, and separation of concerns. It then discusses orienteering designer mindsets and basic design principles like the single responsibility principle and principle of least astonishment. The document also addresses migrating legacy systems to more thoughtful designs and techniques for improving design quality like tearing systems apart into isolated layers and components.
PhD Presentation
This document outlines a thesis submitted for a Doctor of Philosophy degree focused on information extraction from semi-structured web pages. The thesis contains two main parts: 1) A survey and comparative analysis of existing information extraction systems, analyzing them based on task domain, techniques used, and degree of automation. 2) A new approach called FiVaTech for page-level extraction of web data from template pages without supervision by automatically detecting schemas and templates.
Evolutionary db development
The document discusses techniques for evolutionary database development in an agile team. It recommends that the database administrator (DBA) work closely with other roles to iteratively refactor the database schema through small, frequent changes. It also emphasizes automated testing and deployment of database changes to safely evolve the database design over time.
What's New for Data?
The document discusses various Microsoft technologies for working with data including:
- Entity Framework which provides an object-relational mapper (ORM) for ADO.NET and allows mapping entities and database tables.
- ADO.NET Data Services which exposes data and methods through RESTful web services using OData protocols and supports various data sources.
- Differences between LINQ to SQL and LINQ to Entities where the latter supports more capabilities but both allow querying data with LINQ.
Soprex framework on .net in action
Presentation of SOPREX Core Application (SCA) framework built on .NET for rapid development of enterprise applications.
2006 DDD4: Data access layers - Convenience vs. Control and Performance?
How do you manage data in memory? Row as result-set? Rational like in a database? As domain objects?
If you need to map data to objects the easiest solution seems to be an O/R-Mapper. The thin red line lays
between losing control over data handling and performance and applying developer convenience and flexibility.
This session introduces a solution from a customer project that reduces code duplicates in data access code,
still provides flexibility and control as well as performant data access. See how you can develop a
transparent and reusable data access layer which comes with O/R-Mapping functionality by just making
intensive use of object oriented principles.
Open source Technology
Open source technologies allow anyone to view, modify, and distribute source code freely. The key characteristics of open source are that it is free to use and modify. Anyone can improve open source code by adding new functionality. As more people contribute code, the potential uses of open source software grow beyond what the original creator intended. To be a web developer requires a passion for learning and skills with technologies like HTML, PHP, Linux, Apache, MySQL, and PHP (LAMP stack). Caching and NoSQL databases like MongoDB can improve performance of dynamic web applications.
OSCON 2014: Data Workflows for Machine Learning
This document provides examples of different frameworks that can be used for machine learning data workflows, including KNIME, Python, Julia, Summingbird, Scalding, and Cascalog. It describes features of each framework such as KNIME's large number of integrations and visual workflow editing, Python's broad ecosystem, Julia's performance and parallelism support, Summingbird's ability to switch between Storm and Scalding backends, and Scalding's implementation of the Scala collections API over Cascading for compact workflow code. The document aims to familiarize readers with options for building machine learning data workflows.
Similar to Specs2 (20)
SPEVO13 - Dev213 - Document Assembly Deep Dive Part 2
SPEVO13 - Dev213 - Document Assembly Deep Dive Part 2
Data Workflows for Machine Learning - SF Bay Area ML
Data Workflows for Machine Learning - SF Bay Area ML
2006 DDD4: Data access layers - Convenience vs. Control and Performance?
2006 DDD4: Data access layers - Convenience vs. Control and Performance?
More from Eric Torreborre
wire-all-the-things-lambda-days-2023.pdf
This talk presents 3 programming situations where typeclasses and generics are not adequate: evolving serialization protocols, data generation, modular applications. A library, registry, can be used to help with those 3 situations by giving us the means to wire and rewire code at will.
The many faces of modularity
Modularity reduces complexity by isolating components and allowing for reuse. It is difficult to achieve true modularity due to dependencies between modules, lack of clear specifications, and assumptions that will break over time. The document outlines the history of modularity in programming languages from the 1960s to present day, and recommends using functional programming techniques like typeclasses, effects, and wiring libraries to help achieve modularity. It acknowledges modularity is complicated and there are no silver bullets, but emphasizes controlling dependencies, separating building from use, and using the type system to help manage complexity.
What haskell taught us when we were not looking
The document discusses concepts that Haskell taught developers like pure functions, lazy evaluation, first-class functions, smart functions and dumb data, and monads like List, Option, Future, Either which allow for chaining of functions using flatMap. It suggests Haskell is moving away from object-oriented programming towards a more functional style of programming with an emphasis on functions over objects and classes.
Wire once, rewire twice! (Haskell exchange-2018)
This talk presents a library, registry, supporting the creation of modular Haskell applications in a very approachable way. And since this library actually helps with wiring functions it can be reused in other contexts like creating data generators for property-based testing.
Pratical eff-functional-conf
The document discusses various approaches to building distributed applications using functional programming principles and libraries like Eff monad. It covers different dependency injection approaches, testing strategies, application architectures with services and clients, and using type classes and tagless final encodings to define effects in a library-agnostic way. The document also discusses handling errors across layers and modeling time as an effect versus component.
Specs2, from starters to dessert and... a look in the kitchen
Eric Torreborre gave a presentation about Specs2, a testing library for Scala. He discussed Specs2's capabilities for testing APIs, tables, properties, bringing custom matchers, concurrent and sequential execution, HTML reports, and notifiers. He also covered Specs2's "secret sauce" including ingredients like recipes, effects, folds, isolated specs, and more. Torreborre concluded by thanking the audience and wishing them bon appétit.
Streaming, effects and beautiful folds: a winning trilogy
Streaming libraries are kind of complex. Why is that so?
They have to handle many different concerns: streaming, composition, concurrency, resources management,... Is it possible to isolate those concerns into smaller, composable libraries?
Pratical eff-scalaitaly-2017
This document discusses various approaches to building an application using functional programming principles and libraries like Eff monad and Free monads. It covers topics like dependency injection, error handling, asynchronous programming, and applicative design patterns.
Pratical eff monad at Scaladays Chicago
This document discusses various approaches to building an application using functional programming principles and libraries like Eff monad and Free monads. It covers topics like dependency injection, error handling, asynchronous programming, and applicative functors. The overall application appears to be building a pricing service that integrates with other services.
Pratical eff
How we use the Eff monad at Zalando in addition to a components strategy using github.com/zalando/grafter
The Eff monad, one monad to rule them all
The Eff monad is an alternative to monad transformers. It is implemented as a library in https://github.com/atnos-org/eff-cats and https://github.com/atnos-org/eff-scalaz
Easy di-slideshare
Short presentation to show the use of construction injection + cats.Xor to build an application as a graph of services, then use tree rewriting to replace some parts with mocks or to make singletons
Data generation, the hard parts
Generating data to run QuickCheck properties is a bit of a black art, especially when working with recursive data structures and
(polymorphic) functions.In this talk we will review some of the issues and point to some literature aiming at solving them. We will in particular focus on one elegant piece of mathematics, combinatorial species, and see how they could serve as the foundation of data generation.
Origami, a monadic fold library for Scala
This talk presents Origami, a library providing "monadic folds" to accumulate values (like mean, standard deviation, min/max) on "streams" of values which can be coming from iterators, scalaz-stream processes or Akka data flows.
Datatypes for the real world
“Make illegal state unrepresentable” - Yaron Minsky
Starting from Yaron’s quote we will see where it traditionally applies: values sanitization (escaping), data structures (NonEmptyList), CS constructs (parsers). Does it still apply to the rest of the day-to-day programming where things look… complicated?
In particular we will develop the example of executing applications which can run on single Amazon EC2 instances (for testing) or on full EMR clusters (for production) and which can take data from S3 (meaning that they need to download it and put it somewhere first) or use local data.
Can we make sure we get the right paths? Can we know when it is possible to download data efficiently (using distcopy to go directly from S3 to the cluster for example)? The answer is: create specific data types to model the different cases and tame the complexity.
The take-away: datatypes are not only for “data” but they can also encapsulate “logic”
Specs2 3.4
This document provides an overview of changes and new features in Specs2 3.x, including updates to the user guide, API, and support for ScalaCheck and HTML reporting. It highlights new capabilities like nesting specifications, linking related specs, running specs in parallel, and composing custom notifiers. It also requests help from the community on additional enhancements like JUnit category support, code coverage, and creating plugins for other tools.
DSLs with fold algebras
The document discusses using fold-algebras to build domain-specific languages (DSLs) in Scala. It introduces the expression problem and how fold-algebras can solve it. It then provides examples of using fold-algebras to build DSLs for directories, files, and file paths by encoding them as algebraic data types (ADTs) and defining folds over them.
Specs2 whirlwind tour at Scaladays 2014
Presentation of specs2 functionalities from simple ones to less well-known + overview of the next release
Epic success \/ failure, refactoring to *real* FP
This document discusses refactoring to a functional programming approach using Scala and Scalaz. It covers filtering data by name and previous executions, working with monad stacks like Task and Future, running actions concurrently using IO and Reader, and reporting results to the console and HTML using streams. It also addresses issues of composition and integration when combining libraries and managing state.
Vampire methods
The document discusses generating a local CatMatcher class using macros in Scala. It describes creating matcher methods for properties like name, age, and kitten that take expressions to match against. It also discusses challenges like not having access to TypeTags in macros and using reflection instead of structural types for matching.
More from Eric Torreborre (20)
Specs2, from starters to dessert and... a look in the kitchen
Specs2, from starters to dessert and... a look in the kitchen
Streaming, effects and beautiful folds: a winning trilogy
Streaming, effects and beautiful folds: a winning trilogy
Recently uploaded
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
A Mix Chart displays historical data of numbers in a graphical or tabular form. The Kalyan Rajdhani Mix Chart specifically shows the results of a sequence of numbers over different periods.
High performance Serverless Java on AWS- GoTo Amsterdam 2024
Java is for many years one of the most popular programming languages, but it used to have hard times in the Serverless community. Java is known for its high cold start times and high memory footprint, comparing to other programming languages like Node.js and Python. In this talk I'll look at the general best practices and techniques we can use to decrease memory consumption, cold start times for Java Serverless development on AWS including GraalVM (Native Image) and AWS own offering SnapStart based on Firecracker microVM snapshot and restore and CRaC (Coordinated Restore at Checkpoint) runtime hooks. I'll also provide a lot of benchmarking on Lambda functions trying out various deployment package sizes, Lambda memory settings, Java compilation options and HTTP (a)synchronous clients and measure their impact on cold and warm start times.
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
The typical problem in product engineering is not bad strategy, so much as “no strategy”. This leads to confusion, lack of motivation, and incoherent action. The next time you look for a strategy and find an empty space, instead of waiting for it to be filled, I will show you how to fill it in yourself. If you’re wrong, it forces a correction. If you’re right, it helps create focus. I’ll share how I’ve approached this in the past, both what works and lessons for what didn’t work so well.
Session 1 - Intro to Robotic Process Automation.pdf
👉 Check out our full 'Africa Series - Automation Student Developers (EN)' page to register for the full program:
https://bit.ly/Automation_Student_Kickstart
In this session, we shall introduce you to the world of automation, the UiPath Platform, and guide you on how to install and setup UiPath Studio on your Windows PC.
📕 Detailed agenda:
What is RPA? Benefits of RPA?
RPA Applications
The UiPath End-to-End Automation Platform
UiPath Studio CE Installation and Setup
💻 Extra training through UiPath Academy:
Introduction to Automation
UiPath Business Automation Platform
Explore automation development with UiPath Studio
👉 Register here for our upcoming Session 2 on June 20: Introduction to UiPath Studio Fundamentals: https://community.uipath.com/events/details/uipath-lagos-presents-session-2-introduction-to-uipath-studio-fundamentals/
LF Energy Webinar: Carbon Data Specifications: Mechanisms to Improve Data Acc...
This LF Energy webinar took place June 20, 2024. It featured:
-Alex Thornton, LF Energy
-Hallie Cramer, Google
-Daniel Roesler, UtilityAPI
-Henry Richardson, WattTime
In response to the urgency and scale required to effectively address climate change, open source solutions offer significant potential for driving innovation and progress. Currently, there is a growing demand for standardization and interoperability in energy data and modeling. Open source standards and specifications within the energy sector can also alleviate challenges associated with data fragmentation, transparency, and accessibility. At the same time, it is crucial to consider privacy and security concerns throughout the development of open source platforms.
This webinar will delve into the motivations behind establishing LF Energy’s Carbon Data Specification Consortium. It will provide an overview of the draft specifications and the ongoing progress made by the respective working groups.
Three primary specifications will be discussed:
-Discovery and client registration, emphasizing transparent processes and secure and private access
-Customer data, centering around customer tariffs, bills, energy usage, and full consumption disclosure
-Power systems data, focusing on grid data, inclusive of transmission and distribution networks, generation, intergrid power flows, and market settlement data
Taking AI to the Next Level in Manufacturing.pdf
Read Taking AI to the Next Level in Manufacturing to gain insights on AI adoption in the manufacturing industry, such as:
1. How quickly AI is being implemented in manufacturing.
2. Which barriers stand in the way of AI adoption.
3. How data quality and governance form the backbone of AI.
4. Organizational processes and structures that may inhibit effective AI adoption.
6. Ideas and approaches to help build your organization's AI strategy.
Apps Break Data
How information systems are built or acquired puts information, which is what they should be about, in a secondary place. Our language adapted accordingly, and we no longer talk about information systems but applications. Applications evolved in a way to break data into diverse fragments, tightly coupled with applications and expensive to integrate. The result is technical debt, which is re-paid by taking even bigger "loans", resulting in an ever-increasing technical debt. Software engineering and procurement practices work in sync with market forces to maintain this trend. This talk demonstrates how natural this situation is. The question is: can something be done to reverse the trend?
Northern Engraving | Nameplate Manufacturing Process - 2024
Manufacturing custom quality metal nameplates and badges involves several standard operations. Processes include sheet prep, lithography, screening, coating, punch press and inspection. All decoration is completed in the flat sheet with adhesive and tooling operations following. The possibilities for creating unique durable nameplates are endless. How will you create your brand identity? We can help!
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
Folding is a recent technique for building efficient recursive SNARKs. Several elegant folding protocols have been proposed, such as Nova, Supernova, Hypernova, Protostar, and others. However, all of them rely on an additively homomorphic commitment scheme based on discrete log, and are therefore not post-quantum secure. In this work we present LatticeFold, the first lattice-based folding protocol based on the Module SIS problem. This folding protocol naturally leads to an efficient recursive lattice-based SNARK and an efficient PCD scheme. LatticeFold supports folding low-degree relations, such as R1CS, as well as high-degree relations, such as CCS. The key challenge is to construct a secure folding protocol that works with the Ajtai commitment scheme. The difficulty, is ensuring that extracted witnesses are low norm through many rounds of folding. We present a novel technique using the sumcheck protocol to ensure that extracted witnesses are always low norm no matter how many rounds of folding are used. Our evaluation of the final proof system suggests that it is as performant as Hypernova, while providing post-quantum security.
Paper Link: https://eprint.iacr.org/2024/257
"$10 thousand per minute of downtime: architecture, queues, streaming and fin...
Direct losses from downtime in 1 minute = $5-$10 thousand dollars. Reputation is priceless.
As part of the talk, we will consider the architectural strategies necessary for the development of highly loaded fintech solutions. We will focus on using queues and streaming to efficiently work and manage large amounts of data in real-time and to minimize latency.
We will focus special attention on the architectural patterns used in the design of the fintech system, microservices and event-driven architecture, which ensure scalability, fault tolerance, and consistency of the entire system.
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks creates AI-boosted business software that helps employees work more efficiently and effectively. Managing data across multiple RDBMS and NoSQL databases was already a challenge at their current scale. To prepare for 10X growth, they knew it was time to rethink their database strategy. Learn how they architected a solution that would simplify scaling while keeping costs under control.
GNSS spoofing via SDR (Criptored Talks 2024)
In the realm of cybersecurity, offensive security practices act as a critical shield. By simulating real-world attacks in a controlled environment, these techniques expose vulnerabilities before malicious actors can exploit them. This proactive approach allows manufacturers to identify and fix weaknesses, significantly enhancing system security.
This presentation delves into the development of a system designed to mimic Galileo's Open Service signal using software-defined radio (SDR) technology. We'll begin with a foundational overview of both Global Navigation Satellite Systems (GNSS) and the intricacies of digital signal processing.
The presentation culminates in a live demonstration. We'll showcase the manipulation of Galileo's Open Service pilot signal, simulating an attack on various software and hardware systems. This practical demonstration serves to highlight the potential consequences of unaddressed vulnerabilities, emphasizing the importance of offensive security practices in safeguarding critical infrastructure.
Introduction of Cybersecurity with OSS at Code Europe 2024
I develop the Ruby programming language, RubyGems, and Bundler, which are package managers for Ruby. Today, I will introduce how to enhance the security of your application using open-source software (OSS) examples from Ruby and RubyGems.
The first topic is CVE (Common Vulnerabilities and Exposures). I have published CVEs many times. But what exactly is a CVE? I'll provide a basic understanding of CVEs and explain how to detect and handle vulnerabilities in OSS.
Next, let's discuss package managers. Package managers play a critical role in the OSS ecosystem. I'll explain how to manage library dependencies in your application.
I'll share insights into how the Ruby and RubyGems core team works to keep our ecosystem safe. By the end of this talk, you'll have a better understanding of how to safeguard your code.
Demystifying Knowledge Management through Storytelling
The Department of Veteran Affairs (VA) invited Taylor Paschal, Knowledge & Information Management Consultant at Enterprise Knowledge, to speak at a Knowledge Management Lunch and Learn hosted on June 12, 2024. All Office of Administration staff were invited to attend and received professional development credit for participating in the voluntary event.
The objectives of the Lunch and Learn presentation were to:
- Review what KM ‘is’ and ‘isn’t’
- Understand the value of KM and the benefits of engaging
- Define and reflect on your “what’s in it for me?”
- Share actionable ways you can participate in Knowledge - - Capture & Transfer
Main news related to the CCS TSI 2023 (2023/1695)
An English 🇬🇧 translation of a presentation to the speech I gave about the main changes brought by CCS TSI 2023 at the biggest Czech conference on Communications and signalling systems on Railways, which was held in Clarion Hotel Olomouc from 7th to 9th November 2023 (konferenceszt.cz). Attended by around 500 participants and 200 on-line followers.
The original Czech 🇨🇿 version of the presentation can be found here: https://www.slideshare.net/slideshow/hlavni-novinky-souvisejici-s-ccs-tsi-2023-2023-1695/269688092 .
The videorecording (in Czech) from the presentation is available here: https://youtu.be/WzjJWm4IyPk?si=SImb06tuXGb30BEH .
Astute Business Solutions | Oracle Cloud Partner |
Your goto partner for Oracle Cloud, PeopleSoft, E-Business Suite, and Ellucian Banner. We are a firm specialized in managed services and consulting.
Columbus Data & Analytics Wednesdays - June 2024
Columbus Data & Analytics Wednesdays, June 2024 with Maria Copot 20
Recently uploaded (20)
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
High performance Serverless Java on AWS- GoTo Amsterdam 2024
High performance Serverless Java on AWS- GoTo Amsterdam 2024
Nordic Marketo Engage User Group_June 13_ 2024.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptx
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
Session 1 - Intro to Robotic Process Automation.pdf
Session 1 - Intro to Robotic Process Automation.pdf
LF Energy Webinar: Carbon Data Specifications: Mechanisms to Improve Data Acc...
LF Energy Webinar: Carbon Data Specifications: Mechanisms to Improve Data Acc...
Northern Engraving | Nameplate Manufacturing Process - 2024
Northern Engraving | Nameplate Manufacturing Process - 2024
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
"$10 thousand per minute of downtime: architecture, queues, streaming and fin...
"$10 thousand per minute of downtime: architecture, queues, streaming and fin...
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
Demystifying Knowledge Management through Storytelling
Demystifying Knowledge Management through Storytelling
Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |
Specs2
- 1. 2 specs Go functional!
- 2. Shame
- 3. Mutability
- 4. Concurrency
- 5. Acceptance
- 6. Why The idea User Program Design
- 7. Go Functional! But what is it?!
- 8. Referential transparency Immutability
- 9. Processing data structures FP OO pipelined emergent behavior behavior
- 10. Why The idea User Program Design
- 11. Starting point
- 12. Nesting Precedence: + ! ^
- 13. Formatting Text Example Text Example Example
- 14. Formatting p br end t, t(i) bt, bt(i) acceptance
- 15. Context
- 17. Why The idea User Program Design
- 18. Run sequence to text levels to html arguments select statistics execute
- 20. Iterating
- 21. Traverse the mapping A data structure to traverse the accumulation
- 23. List
- 24. Monad
- 25. MonoidType inference is hard, Let’s go shopping! composable
- 27. Statistics
- 28. Arguments
- 29. Text
- 31. Why The idea User Program Design
- 32. Trees Suite Description Text Test Description 1 Test Description 2 Example 1 Example 2 Suite Description fChildren = TD1, TD2
- 33. TreeLoc
- 34. TreeLoc <body> <h1>Title 1</h1> <h2>part 1</h2> <h2>part 2</h2> <h1/> </body> <h2/> <h2/> Anti-XML The non-violent solution
- 35. Concurrency => Promise[Seq[ExecutedFragment]] a concurrent task
- 36. Exceptions
- 37. Exceptions
- 38. Exceptions
- 39. Mocks <h1/>
- 40. Mutability Back for good Nothing here! Throws exception
- 41. Configuration Part of the flow nested ‘record’ named parameters + defaults
- 42. Configuration Implicits default value implicit arguments
- 44. Concurrency
- 45. Composition
- 46. Less mocks
- 47. val/vars
- 48. DSL
- 49. Type inference
- 50. Learning curve