This document summarizes 10 theorems related to circles:
1. The angle at the center of a circle is twice the angle at the circumference subtended by the same arc.
2. Every angle at the circumference of a semicircle that is subtended by the diameter is a right angle.
3. Opposite angles sum to 180 degrees in a cyclic quadrilateral where the sides touch the circle.
4. Angles in the same segment of a circle are equal.
5. A tangent is perpendicular to the radius at the point of contact.
6. Tangents from the same external point are equal in length.
7. A line joining an external
Some properties of tangents, secants and chords, Angles formed by intersecting chords, tangent and chord and two secants, Chords and their arcs, Segments of chords secants and tangents, Lengths of arcs and areas of sectors
Euclidean Geometry is another critical branch of mathematics. It weighs a lot of marks in high school math, and teachers need to teach the concept with care and inclusivity.
Some properties of tangents, secants and chords, Angles formed by intersecting chords, tangent and chord and two secants, Chords and their arcs, Segments of chords secants and tangents, Lengths of arcs and areas of sectors
Euclidean Geometry is another critical branch of mathematics. It weighs a lot of marks in high school math, and teachers need to teach the concept with care and inclusivity.
1.5 Complementary and Supplementary Angles Dee Black
Some slides lifted from: http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=4&ved=0CEsQFjAD&url=http%3A%2F%2Fdionmath.wikispaces.com%2Ffile%2Fview%2F2.3%2BComplementary%2Band%2BSuppl.%2BAngles.ppt&ei=_wVFUbzHCa-o4AP9ooGwBQ&usg=AFQjCNF-KDyDx_yiVaUuMJMdM6yOJqHASQ&sig2=wH2TZ9xGxsHgtc4cCnn2QQ&bvm=bv.43828540,d.dmg&cad=rja
1.5 Complementary and Supplementary Angles Dee Black
Some slides lifted from: http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=4&ved=0CEsQFjAD&url=http%3A%2F%2Fdionmath.wikispaces.com%2Ffile%2Fview%2F2.3%2BComplementary%2Band%2BSuppl.%2BAngles.ppt&ei=_wVFUbzHCa-o4AP9ooGwBQ&usg=AFQjCNF-KDyDx_yiVaUuMJMdM6yOJqHASQ&sig2=wH2TZ9xGxsHgtc4cCnn2QQ&bvm=bv.43828540,d.dmg&cad=rja
Climate Impact of Software Testing at Nordic Testing DaysKari Kakkonen
My slides at Nordic Testing Days 6.6.2024
Climate impact / sustainability of software testing discussed on the talk. ICT and testing must carry their part of global responsibility to help with the climat warming. We can minimize the carbon footprint but we can also have a carbon handprint, a positive impact on the climate. Quality characteristics can be added with sustainability, and then measured continuously. Test environments can be used less, and in smaller scale and on demand. Test techniques can be used in optimizing or minimizing number of tests. Test automation can be used to speed up testing.
Elevating Tactical DDD Patterns Through Object CalisthenicsDorra BARTAGUIZ
After immersing yourself in the blue book and its red counterpart, attending DDD-focused conferences, and applying tactical patterns, you're left with a crucial question: How do I ensure my design is effective? Tactical patterns within Domain-Driven Design (DDD) serve as guiding principles for creating clear and manageable domain models. However, achieving success with these patterns requires additional guidance. Interestingly, we've observed that a set of constraints initially designed for training purposes remarkably aligns with effective pattern implementation, offering a more ‘mechanical’ approach. Let's explore together how Object Calisthenics can elevate the design of your tactical DDD patterns, offering concrete help for those venturing into DDD for the first time!
PHP Frameworks: I want to break free (IPC Berlin 2024)Ralf Eggert
In this presentation, we examine the challenges and limitations of relying too heavily on PHP frameworks in web development. We discuss the history of PHP and its frameworks to understand how this dependence has evolved. The focus will be on providing concrete tips and strategies to reduce reliance on these frameworks, based on real-world examples and practical considerations. The goal is to equip developers with the skills and knowledge to create more flexible and future-proof web applications. We'll explore the importance of maintaining autonomy in a rapidly changing tech landscape and how to make informed decisions in PHP development.
This talk is aimed at encouraging a more independent approach to using PHP frameworks, moving towards a more flexible and future-proof approach to PHP development.
Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...SOFTTECHHUB
The choice of an operating system plays a pivotal role in shaping our computing experience. For decades, Microsoft's Windows has dominated the market, offering a familiar and widely adopted platform for personal and professional use. However, as technological advancements continue to push the boundaries of innovation, alternative operating systems have emerged, challenging the status quo and offering users a fresh perspective on computing.
One such alternative that has garnered significant attention and acclaim is Nitrux Linux 3.5.0, a sleek, powerful, and user-friendly Linux distribution that promises to redefine the way we interact with our devices. With its focus on performance, security, and customization, Nitrux Linux presents a compelling case for those seeking to break free from the constraints of proprietary software and embrace the freedom and flexibility of open-source computing.
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex ProofsAlex Pruden
This paper presents Reef, a system for generating publicly verifiable succinct non-interactive zero-knowledge proofs that a committed document matches or does not match a regular expression. We describe applications such as proving the strength of passwords, the provenance of email despite redactions, the validity of oblivious DNS queries, and the existence of mutations in DNA. Reef supports the Perl Compatible Regular Expression syntax, including wildcards, alternation, ranges, capture groups, Kleene star, negations, and lookarounds. Reef introduces a new type of automata, Skipping Alternating Finite Automata (SAFA), that skips irrelevant parts of a document when producing proofs without undermining soundness, and instantiates SAFA with a lookup argument. Our experimental evaluation confirms that Reef can generate proofs for documents with 32M characters; the proofs are small and cheap to verify (under a second).
Paper: https://eprint.iacr.org/2023/1886
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
Removing Uninteresting Bytes in Software FuzzingAftab Hussain
Imagine a world where software fuzzing, the process of mutating bytes in test seeds to uncover hidden and erroneous program behaviors, becomes faster and more effective. A lot depends on the initial seeds, which can significantly dictate the trajectory of a fuzzing campaign, particularly in terms of how long it takes to uncover interesting behaviour in your code. We introduce DIAR, a technique designed to speedup fuzzing campaigns by pinpointing and eliminating those uninteresting bytes in the seeds. Picture this: instead of wasting valuable resources on meaningless mutations in large, bloated seeds, DIAR removes the unnecessary bytes, streamlining the entire process.
In this work, we equipped AFL, a popular fuzzer, with DIAR and examined two critical Linux libraries -- Libxml's xmllint, a tool for parsing xml documents, and Binutil's readelf, an essential debugging and security analysis command-line tool used to display detailed information about ELF (Executable and Linkable Format). Our preliminary results show that AFL+DIAR does not only discover new paths more quickly but also achieves higher coverage overall. This work thus showcases how starting with lean and optimized seeds can lead to faster, more comprehensive fuzzing campaigns -- and DIAR helps you find such seeds.
- These are slides of the talk given at IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2022.
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Albert Hoitingh
In this session I delve into the encryption technology used in Microsoft 365 and Microsoft Purview. Including the concepts of Customer Key and Double Key Encryption.
A tale of scale & speed: How the US Navy is enabling software delivery from l...sonjaschweigert1
Rapid and secure feature delivery is a goal across every application team and every branch of the DoD. The Navy’s DevSecOps platform, Party Barge, has achieved:
- Reduction in onboarding time from 5 weeks to 1 day
- Improved developer experience and productivity through actionable findings and reduction of false positives
- Maintenance of superior security standards and inherent policy enforcement with Authorization to Operate (ATO)
Development teams can ship efficiently and ensure applications are cyber ready for Navy Authorizing Officials (AOs). In this webinar, Sigma Defense and Anchore will give attendees a look behind the scenes and demo secure pipeline automation and security artifacts that speed up application ATO and time to production.
We will cover:
- How to remove silos in DevSecOps
- How to build efficient development pipeline roles and component templates
- How to deliver security artifacts that matter for ATO’s (SBOMs, vulnerability reports, and policy evidence)
- How to streamline operations with automated policy checks on container images
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
State of ICS and IoT Cyber Threat Landscape Report 2024 previewPrayukth K V
The IoT and OT threat landscape report has been prepared by the Threat Research Team at Sectrio using data from Sectrio, cyber threat intelligence farming facilities spread across over 85 cities around the world. In addition, Sectrio also runs AI-based advanced threat and payload engagement facilities that serve as sinks to attract and engage sophisticated threat actors, and newer malware including new variants and latent threats that are at an earlier stage of development.
The latest edition of the OT/ICS and IoT security Threat Landscape Report 2024 also covers:
State of global ICS asset and network exposure
Sectoral targets and attacks as well as the cost of ransom
Global APT activity, AI usage, actor and tactic profiles, and implications
Rise in volumes of AI-powered cyberattacks
Major cyber events in 2024
Malware and malicious payload trends
Cyberattack types and targets
Vulnerability exploit attempts on CVEs
Attacks on counties – USA
Expansion of bot farms – how, where, and why
In-depth analysis of the cyber threat landscape across North America, South America, Europe, APAC, and the Middle East
Why are attacks on smart factories rising?
Cyber risk predictions
Axis of attacks – Europe
Systemic attacks in the Middle East
Download the full report from here:
https://sectrio.com/resources/ot-threat-landscape-reports/sectrio-releases-ot-ics-and-iot-security-threat-landscape-report-2024/
FIDO Alliance Osaka Seminar: The WebAuthn API and Discoverable Credentials.pdf
Circle theorem powerpoint
1. Circle Theorem
Remember to look for “basics”
•Angles in a triangle sum to 1800
•Angles on a line sum to 1800
•Isosceles triangles (radius)
•Angles about a point sum to 3600
7. 900
1800
SPECIAL CASE OF THE SAME RULE……… BUT
MAKES A RULE IN ITS OWN RIGHT!!
8. 900
THEOREM 2: Every angle at the circumference
of a SEMICIRCLE, that is subtended by the
diameter of the semi-circle is a right angle.
9. CYCLIC
QUADRILATEARAL
MUST touch the
circumference at
all four vertices
890
1100
700
910
THEOREM 3: Opposite angles sum to 180 in a
cyclic quadrilateral
11. PALE BLUE
AREA IS THE
SEGMENT
RULE 4: Angles at the circumference in the
same SEGMENT of a circle are equal
12. PALE BLUE
AREA IS THE
SEGMENT
RULE 4: Angles at the circumference in the
same SEGMENT of a circle are equal
13. THEOREM 4: Angles at the circumference in
the same SEGMENT of a circle are equal
NOTE: Will lead you to SIMILAR triangles (one
is an enlargement of the other….)
14. • A tangentthe line thatof tangents andone
Enter is a world touches a circle at
point only. This chords….. the point of
point is called
contact.
• A chord is a line that joins two points on the
circumference.
15. Theorem 5 – A tangent is
perpendicular to a radius
900
radius
16. Theorem 6 – Tangents to a circle from
the same point are equal in length
17. Theorem 7 – The line joining an external point to the
centre of a circle bisects the angle between the tangents
350 0
70
350
18. Theorem 5&7 – combined can help you find the missing
angles…..
900
x 350 0
70
y 350
900
19. Theorem 8 – A radius bisects a chord at 900
MIDPOINT
OF THE
CHORD
chord
900
And the chord will be cut perfectly in half!!!
23. Theorem 9 – Alternate angle theorem
The angle between a tangent and a chord
Is equal to the angle in the alternate segment
24. Theorem 9 – Alternate angle theorem
The angle between a tangent and a chord
Is equal to the angle in the alternate segment
25. COMMON EXAM ERROR!
IT TOONLY A
IS IS THINK
DIAMETER
THIS IS A
IF YOU ARE
DIAMETER –
TOLD SO…
SO..
THIS MUST
READ
BE 900 –
QUSETIONS
“TANGENT
CAREFULLY..
MEETS
RADIUS”