Scalaworld lambda core hardcore
•
0 likes•210 views
The document discusses the benefits of exercise for mental health. Regular physical activity can help reduce anxiety and depression and improve mood and cognitive function. Exercise causes chemical changes in the brain that may help protect against mental illness and improve symptoms.
Report
Share
Report
Share
Download to read offline
Recommended
respect-estimates.pdf
This document appears to be a transcript from a presentation on software estimation. It discusses how estimation is different for software projects compared to construction projects due to factors like constantly changing tools and requirements in software. A key example given is the Berlin Brandenburg Airport project, whose costs ballooned from an original budget of €2.83 billion to over €9.4 billion due to delays and changes. The presentation argues that while estimation is important, it is difficult to be perfectly accurate for software due to its inherently changing nature.
Pure Kotlin Devoxx PL 2021
This document contains the agenda and notes from a talk on functional programming and Kotlin. The talk promotes the benefits of functional programming such as determinism, total functions, purity, and composability. It also highlights some key features of Kotlin like data classes, default values, constructors, and copy methods that make the language more functional-like compared to Java. The talk uses examples to explain concepts like deterministic, total, and pure functions in FP. It also compares code samples in Java and Kotlin to demonstrate how Kotlin reduces boilerplate and improves readability.
Lambda hardcore
This document discusses communicating with aliens using lambda calculus. It explains that lambda calculus is a minimal functional programming language that can represent logic, mathematics, computation, and theorems. Everything in lambda calculus is a function, and it provides a way to define and apply functions. Basic concepts like boolean logic and arithmetic can be modeled. The document suggests that if aliens understand logic and modus ponens, they would understand lambda calculus as it is a universal system discovered from fundamentals of logic. It then provides examples of lambda calculus functions and applications.
Pure kotlin
The document discusses features of the Kotlin programming language. It provides examples of how Kotlin simplifies object-oriented programming tasks like data classes and property access compared to Java. Data classes in Kotlin can auto-generate getters, setters, equals(), hashCode() and toString() methods. Kotlin also allows functional-style programming with properties like immutable state and avoiding null references.
Transaction is a monad
The document discusses how monads can be used to prevent bugs and handle side effects like missing data in code. It provides examples of using Optional to represent missing values and chaining operations with flatMap to avoid nested if-checks. Monads allow sequencing computations in a declarative way while handling problems in the data or failures transparently.
Scala to assembly
The document discusses performance myths and optimizations in Scala code. It begins with an example of calculating Fibonacci numbers on a 68040 processor and how branch prediction strategies can impact performance. Benchmark results are shown comparing immutable and mutable implementations of a calculator, with the immutable version being much slower. Tools for measuring performance like JMH, Java Flight Recorder and Java Mission Control are also introduced. The document cautions that performance can depend heavily on context and benchmarks only show tools, not decisions that should be made based on numbers.
Spring, CDI, Jakarta EE good parts
Also known under controversial title "and other pathologies"
Why Beans are not that great for your code.
Eta lang Beauty And The Beast
The document discusses Haskell for the JVM using Eta, which compiles Haskell to JVM bytecode. It provides examples of writing Haskell code and using Eta, including quicksort, foreign imports, and optimizations like TCO. Eta aims to provide an experience similar to GHC for Haskell developers on the JVM.
Recommended
respect-estimates.pdf
This document appears to be a transcript from a presentation on software estimation. It discusses how estimation is different for software projects compared to construction projects due to factors like constantly changing tools and requirements in software. A key example given is the Berlin Brandenburg Airport project, whose costs ballooned from an original budget of €2.83 billion to over €9.4 billion due to delays and changes. The presentation argues that while estimation is important, it is difficult to be perfectly accurate for software due to its inherently changing nature.
Pure Kotlin Devoxx PL 2021
This document contains the agenda and notes from a talk on functional programming and Kotlin. The talk promotes the benefits of functional programming such as determinism, total functions, purity, and composability. It also highlights some key features of Kotlin like data classes, default values, constructors, and copy methods that make the language more functional-like compared to Java. The talk uses examples to explain concepts like deterministic, total, and pure functions in FP. It also compares code samples in Java and Kotlin to demonstrate how Kotlin reduces boilerplate and improves readability.
Lambda hardcore
This document discusses communicating with aliens using lambda calculus. It explains that lambda calculus is a minimal functional programming language that can represent logic, mathematics, computation, and theorems. Everything in lambda calculus is a function, and it provides a way to define and apply functions. Basic concepts like boolean logic and arithmetic can be modeled. The document suggests that if aliens understand logic and modus ponens, they would understand lambda calculus as it is a universal system discovered from fundamentals of logic. It then provides examples of lambda calculus functions and applications.
Pure kotlin
The document discusses features of the Kotlin programming language. It provides examples of how Kotlin simplifies object-oriented programming tasks like data classes and property access compared to Java. Data classes in Kotlin can auto-generate getters, setters, equals(), hashCode() and toString() methods. Kotlin also allows functional-style programming with properties like immutable state and avoiding null references.
Transaction is a monad
The document discusses how monads can be used to prevent bugs and handle side effects like missing data in code. It provides examples of using Optional to represent missing values and chaining operations with flatMap to avoid nested if-checks. Monads allow sequencing computations in a declarative way while handling problems in the data or failures transparently.
Scala to assembly
The document discusses performance myths and optimizations in Scala code. It begins with an example of calculating Fibonacci numbers on a 68040 processor and how branch prediction strategies can impact performance. Benchmark results are shown comparing immutable and mutable implementations of a calculator, with the immutable version being much slower. Tools for measuring performance like JMH, Java Flight Recorder and Java Mission Control are also introduced. The document cautions that performance can depend heavily on context and benchmarks only show tools, not decisions that should be made based on numbers.
Spring, CDI, Jakarta EE good parts
Also known under controversial title "and other pathologies"
Why Beans are not that great for your code.
Eta lang Beauty And The Beast
The document discusses Haskell for the JVM using Eta, which compiles Haskell to JVM bytecode. It provides examples of writing Haskell code and using Eta, including quicksort, foreign imports, and optimizations like TCO. Eta aims to provide an experience similar to GHC for Haskell developers on the JVM.
Another programming language - jeszcze jeden język
This document discusses the history of programming languages through snippets of code and descriptions of various languages from the 1940s to the 1970s. It begins with machine code and assembly languages and progresses through higher-level languages like FORTRAN, COBOL, LISP, ALGOL, BASIC, Pascal, FORTH, C and others. It highlights reasons for the creation of new languages like making programming easier, preventing errors, and introducing new concepts and paradigms. Interspersed are notes about the evolving hardware landscape from punch cards to early computers.
Beauty and the beast - Haskell on JVM
This document discusses Eta, a compiler that allows writing Haskell code and running it on the Java Virtual Machine (JVM). Eta works by compiling Haskell to the STG intermediate language like GHC, and then compiling STG to JVM bytecode. This allows Haskell code to interoperate with Java code via foreign function interfaces. Performance benchmarks show Eta achieves performance comparable to equivalent Java code for algorithms like quicksort. Eta supports many Haskell language extensions and libraries from Hackage. This enables Haskell code to run on the JVM while maintaining high-level functional programming abilities.
Fighting null with memes
This document discusses best practices for handling null values in Java. It recommends: failing fast with NullPointerExceptions instead of silently returning null; never returning null values from methods; marking optional parameters and return values with Java's Optional class; using Optional's map and flatMap methods to avoid deep null checks; and using Guava transforms if on Java 6/7 prior to Java 8 streams. The document provides code examples demonstrating these techniques for optional user objects returned from databases and assigned to groups.
Eta
This document summarizes Eta, a compiler that allows writing Haskell code to run on the Java Virtual Machine. Eta works by compiling Haskell to the STG intermediate representation and then generating JVM bytecode from STG. This allows Haskell code using GHC language extensions to run on the JVM without modifications. Performance is improved through optimizations like TCO. Eta supports packages from the Haskell Hackage repository by patching native C calls to equivalent JVM calls. This allows most Haskell libraries to work on Eta.
Geecon walking in CODE
The document discusses developing code and IDEs for virtual reality. It proposes using A-Frame to build simple VR scenes with JavaScript due to its ease of use in WebVR. While current VR technology has limitations for complex coding tasks, the document envisions simulating code visually by representing it as interacting particles governed by physics laws. This would allow viewing code structure and analysis in an immersive 3D environment. Fully interactive development remains difficult, but the author is interested in exploring new presentation methods for code as VR hardware continues advancing.
Lambda core
check library:
https://github.com/jarekratajski/badlam
code:
val identity:Lambda = (x) => x
println(SmartDisplay.web.display(identity))
val aTrue:Lambda = (x) => (y) => x
println("true ~ " + SmartDisplay.web.display(aTrue))
val aFalse:Lambda = (x) => (y) => y
println("false ~ " + SmartDisplay.web.display(aFalse))
val and:Lambda = (p) => (q) => p(q)(p)
println("and ~ " + SmartDisplay.webP.display(and))
val result1:Lambda = and (aFalse) (aTrue)
println("resutlt1 ~ " + SmartDisplay.web.display(result1))
val or:Lambda = (p) => (q) => p(p)(q)
println("or ~ " + SmartDisplay.webP.display(or))
val result2:Lambda = or(aFalse) (aTrue)
println("result2 ~ " + SmartDisplay.web.display(result2))
val not:Lambda = (p) => (a) => (b) => p(b)(a)
println("not false ~ " + SmartDisplay.web.display(not(aFalse)))
println("toJVMBoolean(result2) = " + pl.setblack.badlam.Boolean.toBoolean(result2))
val aTrue:Lambda = (x) => (y) => x
val aFalse:Lambda = (x) => (y) => y
val zero:Lambda = f=> x => x
val one:Lambda = f=> x => f(x)
val two:Lambda = f=> x => f(f(x))
val succ:Lambda = (n) => (f) => (x) => f(n(f)(x))
val mult:Lambda = (m) => (n) => (f) => m(n(f))
val pred:Lambda = (n) => (f) => (x) => n((g) => (h) => h(g(f)))((u) => x)((u) => u)
val ifLambda:Lambda = (c) => (t) => (f) => c(t)(f)((x) => x)
val isZero:Lambda = (n) => n((x) => aFalse)(aTrue)
val autocall:Lambda = (x) => x(x)
val Y:Lambda = (f) => autocall((y) => f((v) => y(y)(v)))
val G:Lambda = (r) => (n) =>
(ifLambda(isZero(n))
((x) => one)
((x) => mult(n)(r(pred(n))))
)
val fact = Y(G)
val a:Lambda = f=>x => f(f(f(f(f(x))))) //5
println("a ~ " + SmartDisplay.webF.display(a))
val result = fact(a)
println("a! ~ " + SmartDisplay.webF.display(result))
[4 dev] lagom
This document provides information about an individual named Jarek Ratajski. It lists that he works for CSS Versicherung as a developer and wizard. It provides his email and Twitter handle. It then lists the various programming languages and technologies he has experience with. The rest of the document appears to be about architecture and challenges in scaling applications. It discusses using non-blocking architectures to process many events using few threads. It provides an overview of Lagom, a framework from Lightbend for building reactive microservices applications. It discusses entity components in Lagom like commands, events and state. It also covers reading from Cassandra and implementing read models.
Jdd 2016 DROP DATABASE
This document provides information about Jarosław Ratajski, including that he is a developer who lives in Luzern and works at CSS Insurance. It also discusses an alien pizza delivery domain model called Galakpizza that was developed using two different approaches - one using plain Java objects ("Normal") and the other using a relational database and JPA ("Other"). The domain model includes concepts like Orders, Variants, Sizes and Planets. The services implemented allow placing orders and retrieving the orders from the best planet.
DROPDB Galactic story
This document describes an alien development of a pizza ordering and delivery system in two parallel universes. In the normal universe, the system uses plain Java objects and data structures, while in the other universe it uses a relational database with JPA annotations. Both implementations provide the same core functionality of placing orders, retrieving the best planet for orders, and counting total orders. The document includes code examples showing how the domain model, services, and implementations differ between the two parallel universes.
一比一原版(sdsu毕业证书)圣地亚哥州立大学毕业证如何办理
原版一模一样【微信：741003700 】【(sdsu毕业证书)圣地亚哥州立大学毕业证成绩单】【微信：741003700 】学位证，留信认证（真实可查，永久存档）原件一模一样纸张工艺/offer、雅思、外壳等材料/诚信可靠,可直接看成品样本，帮您解决无法毕业带来的各种难题！外壳，原版制作，诚信可靠，可直接看成品样本。行业标杆！精益求精，诚心合作，真诚制作！多年品质 ,按需精细制作，24小时接单,全套进口原装设备。十五年致力于帮助留学生解决难题，包您满意。
本公司拥有海外各大学样板无数，能完美还原。
1:1完美还原海外各大学毕业材料上的工艺：水印，阴影底纹，钢印LOGO烫金烫银，LOGO烫金烫银复合重叠。文字图案浮雕、激光镭射、紫外荧光、温感、复印防伪等防伪工艺。材料咨询办理、认证咨询办理请加学历顾问Q/微741003700
【主营项目】
一.毕业证【q微741003700】成绩单、使馆认证、教育部认证、雅思托福成绩单、学生卡等！
二.真实使馆公证(即留学回国人员证明,不成功不收费)
三.真实教育部学历学位认证（教育部存档！教育部留服网站永久可查）
四.办理各国各大学文凭(一对一专业服务,可全程监控跟踪进度)
如果您处于以下几种情况：
◇在校期间，因各种原因未能顺利毕业……拿不到官方毕业证【q/微741003700】
◇面对父母的压力，希望尽快拿到；
◇不清楚认证流程以及材料该如何准备；
◇回国时间很长，忘记办理；
◇回国马上就要找工作，办给用人单位看；
◇企事业单位必须要求办理的
◇需要报考公务员、购买免税车、落转户口
◇申请留学生创业基金
留信网认证的作用:
1:该专业认证可证明留学生真实身份
2:同时对留学生所学专业登记给予评定
3:国家专业人才认证中心颁发入库证书
4:这个认证书并且可以归档倒地方
5:凡事获得留信网入网的信息将会逐步更新到个人身份内，将在公安局网内查询个人身份证信息后，同步读取人才网入库信息
6:个人职称评审加20分
7:个人信誉贷款加10分
8:在国家人才网主办的国家网络招聘大会中纳入资料，供国家高端企业选择人才
办理(sdsu毕业证书)圣地亚哥州立大学毕业证【微信：741003700 】外观非常简单，由纸质材料制成，上面印有校徽、校名、毕业生姓名、专业等信息。
办理(sdsu毕业证书)圣地亚哥州立大学毕业证【微信：741003700 】格式相对统一，各专业都有相应的模板。通常包括以下部分：
校徽：象征着学校的荣誉和传承。
校名:学校英文全称
授予学位：本部分将注明获得的具体学位名称。
毕业生姓名：这是最重要的信息之一，标志着该证书是由特定人员获得的。
颁发日期：这是毕业正式生效的时间，也代表着毕业生学业的结束。
其他信息：根据不同的专业和学位，可能会有一些特定的信息或章节。
办理(sdsu毕业证书)圣地亚哥州立大学毕业证【微信：741003700 】价值很高，需要妥善保管。一般来说，应放置在安全、干燥、防潮的地方，避免长时间暴露在阳光下。如需使用，最好使用复印件而不是原件，以免丢失。
综上所述，办理(sdsu毕业证书)圣地亚哥州立大学毕业证【微信：741003700 】是证明身份和学历的高价值文件。外观简单庄重，格式统一，包括重要的个人信息和发布日期。对持有人来说，妥善保管是非常重要的。
Penify - Let AI do the Documentation, you write the Code.
Penify automates the software documentation process for Git repositories. Every time a code modification is merged into "main", Penify uses a Large Language Model to generate documentation for the updated code. This automation covers multiple documentation layers, including InCode Documentation, API Documentation, Architectural Documentation, and PR documentation, each designed to improve different aspects of the development process. By taking over the entire documentation process, Penify tackles the common problem of documentation becoming outdated as the code evolves.
https://www.penify.dev/
Unlock the Secrets to Effortless Video Creation with Invideo: Your Ultimate G...
Unlock the Secrets to Effortless Video Creation with Invideo: Your Ultimate G...The Third Creative Media
"Navigating Invideo: A Comprehensive Guide" is an essential resource for anyone looking to master Invideo, an AI-powered video creation tool. This guide provides step-by-step instructions, helpful tips, and comparisons with other AI video creators. Whether you're a beginner or an experienced video editor, you'll find valuable insights to enhance your video projects and bring your creative ideas to life.Orca: Nocode Graphical Editor for Container Orchestration
Tool demo on CEDI/SISTEDES/JISBD2024 at A Coruña, Spain. 2024.06.18
"Orca: Nocode Graphical Editor for Container Orchestration"
by Pedro J. Molina PhD. from Metadev
What’s New in VictoriaLogs - Q2 2024 Update
These are the slides of the presentation given during the Q2 2024 Virtual VictoriaMetrics Meetup. View the recording here: https://www.youtube.com/watch?v=hzlMA_Ae9_4&t=206s
Topics covered:
1. What is VictoriaLogs
Open source database for logs
● Easy to setup and operate - just a single executable with sane default configs
● Works great with both structured and plaintext logs
● Uses up to 30x less RAM and up to 15x disk space than Elasticsearch
● Provides simple yet powerful query language for logs - LogsQL
2. Improved querying HTTP API
3. Data ingestion via Syslog protocol
* Automatic parsing of Syslog fields
* Supported transports:
○ UDP
○ TCP
○ TCP+TLS
* Gzip and deflate compression support
* Ability to configure distinct TCP and UDP ports with distinct settings
* Automatic log streams with (hostname, app_name, app_id) fields
4. LogsQL improvements
● Filtering shorthands
● week_range and day_range filters
● Limiters
● Log analytics
● Data extraction and transformation
● Additional filtering
● Sorting
5. VictoriaLogs Roadmap
● Accept logs via OpenTelemetry protocol
● VMUI improvements based on HTTP querying API
● Improve Grafana plugin for VictoriaLogs -
https://github.com/VictoriaMetrics/victorialogs-datasource
● Cluster version
○ Try single-node VictoriaLogs - it can replace 30-node Elasticsearch cluster in production
● Transparent historical data migration to object storage
○ Try single-node VictoriaLogs with persistent volumes - it compresses 1TB of production logs from
Kubernetes to 20GB
● See https://docs.victoriametrics.com/victorialogs/roadmap/
Try it out: https://victoriametrics.com/products/victorialogs/
DECODING JAVA THREAD DUMPS: MASTER THE ART OF ANALYSIS
Are you ready to unlock the secrets hidden within Java thread dumps? Join us for a hands-on session where we'll delve into effective troubleshooting patterns to swiftly identify the root causes of production problems. Discover the right tools, techniques, and best practices while exploring *real-world case studies of major outages* in Fortune 500 enterprises. Engage in interactive lab exercises where you'll have the opportunity to troubleshoot thread dumps and uncover performance issues firsthand. Join us and become a master of Java thread dump analysis!
Photoshop Tutorial for Beginners (2024 Edition)
Photoshop Tutorial for Beginners (2024 Edition)
Explore the evolution of programming and software development and design in 2024. Discover emerging trends shaping the future of coding in our insightful analysis."
Here's an overview:Introduction: The Evolution of Programming and Software DevelopmentThe Rise of Artificial Intelligence and Machine Learning in CodingAdopting Low-Code and No-Code PlatformsQuantum Computing: Entering the Software Development MainstreamIntegration of DevOps with Machine Learning: MLOpsAdvancements in Cybersecurity PracticesThe Growth of Edge ComputingEmerging Programming Languages and FrameworksSoftware Development Ethics and AI RegulationSustainability in Software EngineeringThe Future Workforce: Remote and Distributed TeamsConclusion: Adapting to the Changing Software Development LandscapeIntroduction: The Evolution of Programming and Software Development
Photoshop Tutorial for Beginners (2024 Edition)Explore the evolution of programming and software development and design in 2024. Discover emerging trends shaping the future of coding in our insightful analysis."Here's an overview:Introduction: The Evolution of Programming and Software DevelopmentThe Rise of Artificial Intelligence and Machine Learning in CodingAdopting Low-Code and No-Code PlatformsQuantum Computing: Entering the Software Development MainstreamIntegration of DevOps with Machine Learning: MLOpsAdvancements in Cybersecurity PracticesThe Growth of Edge ComputingEmerging Programming Languages and FrameworksSoftware Development Ethics and AI RegulationSustainability in Software EngineeringThe Future Workforce: Remote and Distributed TeamsConclusion: Adapting to the Changing Software Development LandscapeIntroduction: The Evolution of Programming and Software Development
The importance of developing and designing programming in 2024
Programming design and development represents a vital step in keeping pace with technological advancements and meeting ever-changing market needs. This course is intended for anyone who wants to understand the fundamental importance of software development and design, whether you are a beginner or a professional seeking to update your knowledge.
Course objectives:
1. **Learn about the basics of software development:
- Understanding software development processes and tools.
- Identify the role of programmers and designers in software projects.
2. Understanding the software design process:
- Learn about the principles of good software design.
- Discussing common design patterns such as Object-Oriented Design.
3. The importance of user experience (UX) in modern software:
- Explore how user experience can improve software acceptance and usability.
- Tools and techniques to analyze and improve user experience.
4. Increase efficiency and productivity through modern development tools:
- Access to the latest programming tools and languages used in the industry.
- Study live examples of applications
Refactoring legacy systems using events commands and bubble contexts
A summary of my 5-year journey through refactoring a legacy system using events, commands, and bubble context.
Call Girls Bangalore🔥7023059433🔥Best Profile Escorts in Bangalore Available 24/7
Call Girls Bangalore🔥7023059433🔥Best Profile Escorts in Bangalore Available 24/7
Safelyio Toolbox Talk Softwate & App (How To Digitize Safety Meetings)
Consistent toolbox talks are critical for maintaining workplace safety, as they provide regular opportunities to address specific hazards and reinforce safe practices.
These brief, focused sessions ensure that safety is a continual conversation rather than a one-time event, which helps keep safety protocols fresh in employees' minds. Studies have shown that shorter, more frequent training sessions are more effective for retention and behavior change compared to longer, infrequent sessions.
Engaging workers regularly, toolbox talks promote a culture of safety, empower employees to voice concerns, and ultimately reduce the likelihood of accidents and injuries on site.
The traditional method of conducting safety talks with paper documents and lengthy meetings is not only time-consuming but also less effective. Manual tracking of attendance and compliance is prone to errors and inconsistencies, leading to gaps in safety communication and potential non-compliance with OSHA regulations. Switching to a digital solution like Safelyio offers significant advantages.
Safelyio automates the delivery and documentation of safety talks, ensuring consistency and accessibility. The microlearning approach breaks down complex safety protocols into manageable, bite-sized pieces, making it easier for employees to absorb and retain information.
This method minimizes disruptions to work schedules, eliminates the hassle of paperwork, and ensures that all safety communications are tracked and recorded accurately. Ultimately, using a digital platform like Safelyio enhances engagement, compliance, and overall safety performance on site. https://safelyio.com/
The Power of Visual Regression Testing_ Why It Is Critical for Enterprise App...
Visual testing plays a vital role in ensuring that software products meet the aesthetic requirements specified by clients in functional and non-functional specifications. In today's highly competitive digital landscape, users expect a seamless and visually appealing online experience. Visual testing, also known as automated UI testing or visual regression testing, verifies the accuracy of the visual elements that users interact with.
More Related Content
More from Jarek Ratajski
Another programming language - jeszcze jeden język
This document discusses the history of programming languages through snippets of code and descriptions of various languages from the 1940s to the 1970s. It begins with machine code and assembly languages and progresses through higher-level languages like FORTRAN, COBOL, LISP, ALGOL, BASIC, Pascal, FORTH, C and others. It highlights reasons for the creation of new languages like making programming easier, preventing errors, and introducing new concepts and paradigms. Interspersed are notes about the evolving hardware landscape from punch cards to early computers.
Beauty and the beast - Haskell on JVM
This document discusses Eta, a compiler that allows writing Haskell code and running it on the Java Virtual Machine (JVM). Eta works by compiling Haskell to the STG intermediate language like GHC, and then compiling STG to JVM bytecode. This allows Haskell code to interoperate with Java code via foreign function interfaces. Performance benchmarks show Eta achieves performance comparable to equivalent Java code for algorithms like quicksort. Eta supports many Haskell language extensions and libraries from Hackage. This enables Haskell code to run on the JVM while maintaining high-level functional programming abilities.
Fighting null with memes
This document discusses best practices for handling null values in Java. It recommends: failing fast with NullPointerExceptions instead of silently returning null; never returning null values from methods; marking optional parameters and return values with Java's Optional class; using Optional's map and flatMap methods to avoid deep null checks; and using Guava transforms if on Java 6/7 prior to Java 8 streams. The document provides code examples demonstrating these techniques for optional user objects returned from databases and assigned to groups.
Eta
This document summarizes Eta, a compiler that allows writing Haskell code to run on the Java Virtual Machine. Eta works by compiling Haskell to the STG intermediate representation and then generating JVM bytecode from STG. This allows Haskell code using GHC language extensions to run on the JVM without modifications. Performance is improved through optimizations like TCO. Eta supports packages from the Haskell Hackage repository by patching native C calls to equivalent JVM calls. This allows most Haskell libraries to work on Eta.
Geecon walking in CODE
The document discusses developing code and IDEs for virtual reality. It proposes using A-Frame to build simple VR scenes with JavaScript due to its ease of use in WebVR. While current VR technology has limitations for complex coding tasks, the document envisions simulating code visually by representing it as interacting particles governed by physics laws. This would allow viewing code structure and analysis in an immersive 3D environment. Fully interactive development remains difficult, but the author is interested in exploring new presentation methods for code as VR hardware continues advancing.
Lambda core
check library:
https://github.com/jarekratajski/badlam
code:
val identity:Lambda = (x) => x
println(SmartDisplay.web.display(identity))
val aTrue:Lambda = (x) => (y) => x
println("true ~ " + SmartDisplay.web.display(aTrue))
val aFalse:Lambda = (x) => (y) => y
println("false ~ " + SmartDisplay.web.display(aFalse))
val and:Lambda = (p) => (q) => p(q)(p)
println("and ~ " + SmartDisplay.webP.display(and))
val result1:Lambda = and (aFalse) (aTrue)
println("resutlt1 ~ " + SmartDisplay.web.display(result1))
val or:Lambda = (p) => (q) => p(p)(q)
println("or ~ " + SmartDisplay.webP.display(or))
val result2:Lambda = or(aFalse) (aTrue)
println("result2 ~ " + SmartDisplay.web.display(result2))
val not:Lambda = (p) => (a) => (b) => p(b)(a)
println("not false ~ " + SmartDisplay.web.display(not(aFalse)))
println("toJVMBoolean(result2) = " + pl.setblack.badlam.Boolean.toBoolean(result2))
val aTrue:Lambda = (x) => (y) => x
val aFalse:Lambda = (x) => (y) => y
val zero:Lambda = f=> x => x
val one:Lambda = f=> x => f(x)
val two:Lambda = f=> x => f(f(x))
val succ:Lambda = (n) => (f) => (x) => f(n(f)(x))
val mult:Lambda = (m) => (n) => (f) => m(n(f))
val pred:Lambda = (n) => (f) => (x) => n((g) => (h) => h(g(f)))((u) => x)((u) => u)
val ifLambda:Lambda = (c) => (t) => (f) => c(t)(f)((x) => x)
val isZero:Lambda = (n) => n((x) => aFalse)(aTrue)
val autocall:Lambda = (x) => x(x)
val Y:Lambda = (f) => autocall((y) => f((v) => y(y)(v)))
val G:Lambda = (r) => (n) =>
(ifLambda(isZero(n))
((x) => one)
((x) => mult(n)(r(pred(n))))
)
val fact = Y(G)
val a:Lambda = f=>x => f(f(f(f(f(x))))) //5
println("a ~ " + SmartDisplay.webF.display(a))
val result = fact(a)
println("a! ~ " + SmartDisplay.webF.display(result))
[4 dev] lagom
This document provides information about an individual named Jarek Ratajski. It lists that he works for CSS Versicherung as a developer and wizard. It provides his email and Twitter handle. It then lists the various programming languages and technologies he has experience with. The rest of the document appears to be about architecture and challenges in scaling applications. It discusses using non-blocking architectures to process many events using few threads. It provides an overview of Lagom, a framework from Lightbend for building reactive microservices applications. It discusses entity components in Lagom like commands, events and state. It also covers reading from Cassandra and implementing read models.
Jdd 2016 DROP DATABASE
This document provides information about Jarosław Ratajski, including that he is a developer who lives in Luzern and works at CSS Insurance. It also discusses an alien pizza delivery domain model called Galakpizza that was developed using two different approaches - one using plain Java objects ("Normal") and the other using a relational database and JPA ("Other"). The domain model includes concepts like Orders, Variants, Sizes and Planets. The services implemented allow placing orders and retrieving the orders from the best planet.
DROPDB Galactic story
This document describes an alien development of a pizza ordering and delivery system in two parallel universes. In the normal universe, the system uses plain Java objects and data structures, while in the other universe it uses a relational database with JPA annotations. Both implementations provide the same core functionality of placing orders, retrieving the best planet for orders, and counting total orders. The document includes code examples showing how the domain model, services, and implementations differ between the two parallel universes.
More from Jarek Ratajski (9)
Another programming language - jeszcze jeden język
Another programming language - jeszcze jeden język
Recently uploaded
一比一原版(sdsu毕业证书)圣地亚哥州立大学毕业证如何办理
原版一模一样【微信：741003700 】【(sdsu毕业证书)圣地亚哥州立大学毕业证成绩单】【微信：741003700 】学位证，留信认证（真实可查，永久存档）原件一模一样纸张工艺/offer、雅思、外壳等材料/诚信可靠,可直接看成品样本，帮您解决无法毕业带来的各种难题！外壳，原版制作，诚信可靠，可直接看成品样本。行业标杆！精益求精，诚心合作，真诚制作！多年品质 ,按需精细制作，24小时接单,全套进口原装设备。十五年致力于帮助留学生解决难题，包您满意。
本公司拥有海外各大学样板无数，能完美还原。
1:1完美还原海外各大学毕业材料上的工艺：水印，阴影底纹，钢印LOGO烫金烫银，LOGO烫金烫银复合重叠。文字图案浮雕、激光镭射、紫外荧光、温感、复印防伪等防伪工艺。材料咨询办理、认证咨询办理请加学历顾问Q/微741003700
【主营项目】
一.毕业证【q微741003700】成绩单、使馆认证、教育部认证、雅思托福成绩单、学生卡等！
二.真实使馆公证(即留学回国人员证明,不成功不收费)
三.真实教育部学历学位认证（教育部存档！教育部留服网站永久可查）
四.办理各国各大学文凭(一对一专业服务,可全程监控跟踪进度)
如果您处于以下几种情况：
◇在校期间，因各种原因未能顺利毕业……拿不到官方毕业证【q/微741003700】
◇面对父母的压力，希望尽快拿到；
◇不清楚认证流程以及材料该如何准备；
◇回国时间很长，忘记办理；
◇回国马上就要找工作，办给用人单位看；
◇企事业单位必须要求办理的
◇需要报考公务员、购买免税车、落转户口
◇申请留学生创业基金
留信网认证的作用:
1:该专业认证可证明留学生真实身份
2:同时对留学生所学专业登记给予评定
3:国家专业人才认证中心颁发入库证书
4:这个认证书并且可以归档倒地方
5:凡事获得留信网入网的信息将会逐步更新到个人身份内，将在公安局网内查询个人身份证信息后，同步读取人才网入库信息
6:个人职称评审加20分
7:个人信誉贷款加10分
8:在国家人才网主办的国家网络招聘大会中纳入资料，供国家高端企业选择人才
办理(sdsu毕业证书)圣地亚哥州立大学毕业证【微信：741003700 】外观非常简单，由纸质材料制成，上面印有校徽、校名、毕业生姓名、专业等信息。
办理(sdsu毕业证书)圣地亚哥州立大学毕业证【微信：741003700 】格式相对统一，各专业都有相应的模板。通常包括以下部分：
校徽：象征着学校的荣誉和传承。
校名:学校英文全称
授予学位：本部分将注明获得的具体学位名称。
毕业生姓名：这是最重要的信息之一，标志着该证书是由特定人员获得的。
颁发日期：这是毕业正式生效的时间，也代表着毕业生学业的结束。
其他信息：根据不同的专业和学位，可能会有一些特定的信息或章节。
办理(sdsu毕业证书)圣地亚哥州立大学毕业证【微信：741003700 】价值很高，需要妥善保管。一般来说，应放置在安全、干燥、防潮的地方，避免长时间暴露在阳光下。如需使用，最好使用复印件而不是原件，以免丢失。
综上所述，办理(sdsu毕业证书)圣地亚哥州立大学毕业证【微信：741003700 】是证明身份和学历的高价值文件。外观简单庄重，格式统一，包括重要的个人信息和发布日期。对持有人来说，妥善保管是非常重要的。
Penify - Let AI do the Documentation, you write the Code.
Penify automates the software documentation process for Git repositories. Every time a code modification is merged into "main", Penify uses a Large Language Model to generate documentation for the updated code. This automation covers multiple documentation layers, including InCode Documentation, API Documentation, Architectural Documentation, and PR documentation, each designed to improve different aspects of the development process. By taking over the entire documentation process, Penify tackles the common problem of documentation becoming outdated as the code evolves.
https://www.penify.dev/
Unlock the Secrets to Effortless Video Creation with Invideo: Your Ultimate G...
Unlock the Secrets to Effortless Video Creation with Invideo: Your Ultimate G...The Third Creative Media
"Navigating Invideo: A Comprehensive Guide" is an essential resource for anyone looking to master Invideo, an AI-powered video creation tool. This guide provides step-by-step instructions, helpful tips, and comparisons with other AI video creators. Whether you're a beginner or an experienced video editor, you'll find valuable insights to enhance your video projects and bring your creative ideas to life.Orca: Nocode Graphical Editor for Container Orchestration
Tool demo on CEDI/SISTEDES/JISBD2024 at A Coruña, Spain. 2024.06.18
"Orca: Nocode Graphical Editor for Container Orchestration"
by Pedro J. Molina PhD. from Metadev
What’s New in VictoriaLogs - Q2 2024 Update
These are the slides of the presentation given during the Q2 2024 Virtual VictoriaMetrics Meetup. View the recording here: https://www.youtube.com/watch?v=hzlMA_Ae9_4&t=206s
Topics covered:
1. What is VictoriaLogs
Open source database for logs
● Easy to setup and operate - just a single executable with sane default configs
● Works great with both structured and plaintext logs
● Uses up to 30x less RAM and up to 15x disk space than Elasticsearch
● Provides simple yet powerful query language for logs - LogsQL
2. Improved querying HTTP API
3. Data ingestion via Syslog protocol
* Automatic parsing of Syslog fields
* Supported transports:
○ UDP
○ TCP
○ TCP+TLS
* Gzip and deflate compression support
* Ability to configure distinct TCP and UDP ports with distinct settings
* Automatic log streams with (hostname, app_name, app_id) fields
4. LogsQL improvements
● Filtering shorthands
● week_range and day_range filters
● Limiters
● Log analytics
● Data extraction and transformation
● Additional filtering
● Sorting
5. VictoriaLogs Roadmap
● Accept logs via OpenTelemetry protocol
● VMUI improvements based on HTTP querying API
● Improve Grafana plugin for VictoriaLogs -
https://github.com/VictoriaMetrics/victorialogs-datasource
● Cluster version
○ Try single-node VictoriaLogs - it can replace 30-node Elasticsearch cluster in production
● Transparent historical data migration to object storage
○ Try single-node VictoriaLogs with persistent volumes - it compresses 1TB of production logs from
Kubernetes to 20GB
● See https://docs.victoriametrics.com/victorialogs/roadmap/
Try it out: https://victoriametrics.com/products/victorialogs/
DECODING JAVA THREAD DUMPS: MASTER THE ART OF ANALYSIS
Are you ready to unlock the secrets hidden within Java thread dumps? Join us for a hands-on session where we'll delve into effective troubleshooting patterns to swiftly identify the root causes of production problems. Discover the right tools, techniques, and best practices while exploring *real-world case studies of major outages* in Fortune 500 enterprises. Engage in interactive lab exercises where you'll have the opportunity to troubleshoot thread dumps and uncover performance issues firsthand. Join us and become a master of Java thread dump analysis!
Photoshop Tutorial for Beginners (2024 Edition)
Photoshop Tutorial for Beginners (2024 Edition)
Explore the evolution of programming and software development and design in 2024. Discover emerging trends shaping the future of coding in our insightful analysis."
Here's an overview:Introduction: The Evolution of Programming and Software DevelopmentThe Rise of Artificial Intelligence and Machine Learning in CodingAdopting Low-Code and No-Code PlatformsQuantum Computing: Entering the Software Development MainstreamIntegration of DevOps with Machine Learning: MLOpsAdvancements in Cybersecurity PracticesThe Growth of Edge ComputingEmerging Programming Languages and FrameworksSoftware Development Ethics and AI RegulationSustainability in Software EngineeringThe Future Workforce: Remote and Distributed TeamsConclusion: Adapting to the Changing Software Development LandscapeIntroduction: The Evolution of Programming and Software Development
Photoshop Tutorial for Beginners (2024 Edition)Explore the evolution of programming and software development and design in 2024. Discover emerging trends shaping the future of coding in our insightful analysis."Here's an overview:Introduction: The Evolution of Programming and Software DevelopmentThe Rise of Artificial Intelligence and Machine Learning in CodingAdopting Low-Code and No-Code PlatformsQuantum Computing: Entering the Software Development MainstreamIntegration of DevOps with Machine Learning: MLOpsAdvancements in Cybersecurity PracticesThe Growth of Edge ComputingEmerging Programming Languages and FrameworksSoftware Development Ethics and AI RegulationSustainability in Software EngineeringThe Future Workforce: Remote and Distributed TeamsConclusion: Adapting to the Changing Software Development LandscapeIntroduction: The Evolution of Programming and Software Development
The importance of developing and designing programming in 2024
Programming design and development represents a vital step in keeping pace with technological advancements and meeting ever-changing market needs. This course is intended for anyone who wants to understand the fundamental importance of software development and design, whether you are a beginner or a professional seeking to update your knowledge.
Course objectives:
1. **Learn about the basics of software development:
- Understanding software development processes and tools.
- Identify the role of programmers and designers in software projects.
2. Understanding the software design process:
- Learn about the principles of good software design.
- Discussing common design patterns such as Object-Oriented Design.
3. The importance of user experience (UX) in modern software:
- Explore how user experience can improve software acceptance and usability.
- Tools and techniques to analyze and improve user experience.
4. Increase efficiency and productivity through modern development tools:
- Access to the latest programming tools and languages used in the industry.
- Study live examples of applications
Refactoring legacy systems using events commands and bubble contexts
A summary of my 5-year journey through refactoring a legacy system using events, commands, and bubble context.
Call Girls Bangalore🔥7023059433🔥Best Profile Escorts in Bangalore Available 24/7
Call Girls Bangalore🔥7023059433🔥Best Profile Escorts in Bangalore Available 24/7
Safelyio Toolbox Talk Softwate & App (How To Digitize Safety Meetings)
Consistent toolbox talks are critical for maintaining workplace safety, as they provide regular opportunities to address specific hazards and reinforce safe practices.
These brief, focused sessions ensure that safety is a continual conversation rather than a one-time event, which helps keep safety protocols fresh in employees' minds. Studies have shown that shorter, more frequent training sessions are more effective for retention and behavior change compared to longer, infrequent sessions.
Engaging workers regularly, toolbox talks promote a culture of safety, empower employees to voice concerns, and ultimately reduce the likelihood of accidents and injuries on site.
The traditional method of conducting safety talks with paper documents and lengthy meetings is not only time-consuming but also less effective. Manual tracking of attendance and compliance is prone to errors and inconsistencies, leading to gaps in safety communication and potential non-compliance with OSHA regulations. Switching to a digital solution like Safelyio offers significant advantages.
Safelyio automates the delivery and documentation of safety talks, ensuring consistency and accessibility. The microlearning approach breaks down complex safety protocols into manageable, bite-sized pieces, making it easier for employees to absorb and retain information.
This method minimizes disruptions to work schedules, eliminates the hassle of paperwork, and ensures that all safety communications are tracked and recorded accurately. Ultimately, using a digital platform like Safelyio enhances engagement, compliance, and overall safety performance on site. https://safelyio.com/
The Power of Visual Regression Testing_ Why It Is Critical for Enterprise App...
Visual testing plays a vital role in ensuring that software products meet the aesthetic requirements specified by clients in functional and non-functional specifications. In today's highly competitive digital landscape, users expect a seamless and visually appealing online experience. Visual testing, also known as automated UI testing or visual regression testing, verifies the accuracy of the visual elements that users interact with.
Strengthening Web Development with CommandBox 6: Seamless Transition and Scal...
Strengthening Web Development with CommandBox 6: Seamless Transition and Scal...Ortus Solutions, Corp
Join us for a session exploring CommandBox 6’s smooth website transition and efficient deployment. CommandBox revolutionizes web development, simplifying tasks across Linux, Windows, and Mac platforms. Gain insights and practical tips to enhance your development workflow.
Come join us for an enlightening session where we delve into the smooth transition of current websites and the efficient deployment of new ones using CommandBox 6. CommandBox has revolutionized web development, consistently introducing user-friendly enhancements that catalyze progress in the field. During this presentation, we’ll explore CommandBox’s rich history and showcase its unmatched capabilities within the realm of ColdFusion, covering both major variations.
The journey of CommandBox has been one of continuous innovation, constantly pushing boundaries to simplify and optimize development processes. Regardless of whether you’re working on Linux, Windows, or Mac platforms, CommandBox empowers developers to streamline tasks with unparalleled ease.
In our session, we’ll illustrate the simple process of transitioning existing websites to CommandBox 6, highlighting its intuitive features and seamless integration. Moreover, we’ll unveil the potential for effortlessly deploying multiple websites, demonstrating CommandBox’s versatility and adaptability.
Join us on this journey through the evolution of web development, guided by the transformative power of CommandBox 6. Gain invaluable insights, practical tips, and firsthand experiences that will enhance your development workflow and embolden your projects.Software Test Automation - A Comprehensive Guide on Automated Testing.pdf
Moving to a more digitally focused era, the importance of software is rapidly increasing. Software tools are crucial for upgrading life standards, enhancing business prospects, and making a smart world. The smooth and fail-proof functioning of the software is very critical, as a large number of people are dependent on them.
Optimizing Your E-commerce with WooCommerce.pptx
Learn how WooCommerce can transform your WordPress site into a powerful and flexible e-commerce store.
42 Ways to Generate Real Estate Leads - Sellxpert
Generate hot real estate leads with these simple strategies. 42 innovative ways to attract clients in the real estate industry.
How GenAI Can Improve Supplier Performance Management.pdf
Data Collection and Analysis with GenAI enables organizations to gather, analyze, and visualize vast amounts of supplier data, identifying key performance indicators and trends. Predictive analytics forecast future supplier performance, mitigating risks and seizing opportunities. Supplier segmentation allows for tailored management strategies, optimizing resource allocation. Automated scorecards and reporting provide real-time insights, enhancing transparency and tracking progress. Collaboration is fostered through GenAI-powered platforms, driving continuous improvement. NLP analyzes unstructured feedback, uncovering deeper insights into supplier relationships. Simulation and scenario planning tools anticipate supply chain disruptions, supporting informed decision-making. Integration with existing systems enhances data accuracy and consistency. McKinsey estimates GenAI could deliver $2.6 trillion to $4.4 trillion in economic benefits annually across industries, revolutionizing procurement processes and delivering significant ROI.
TheFutureIsDynamic-BoxLang-CFCamp2024.pdf
Just like life, our code must adapt to the ever changing world we live in. From one day coding for the web, to the next for our tablets or APIs or for running serverless applications. Multi-runtime development is the future of coding, the future is to be dynamic. Let us introduce you to BoxLang.
Alluxio Webinar | 10x Faster Trino Queries on Your Data Platform
Alluxio Webinar
June. 18, 2024
For more Alluxio Events: https://www.alluxio.io/events/
Speaker:
- Jianjian Xie (Staff Software Engineer, Alluxio)
As Trino users increasingly rely on cloud object storage for retrieving data, speed and cloud cost have become major challenges. The separation of compute and storage creates latency challenges when querying datasets; scanning data between storage and compute tiers becomes I/O bound. On the other hand, cloud API costs related to GET/LIST operations and cross-region data transfer add up quickly.
The newly introduced Trino file system cache by Alluxio aims to overcome the above challenges. In this session, Jianjian will dive into Trino data caching strategies, the latest test results, and discuss the multi-level caching architecture. This architecture makes Trino 10x faster for data lakes of any scale, from GB to EB.
What you will learn:
- Challenges relating to the speed and costs of running Trino in the cloud
- The new Trino file system cache feature overview, including the latest development status and test results
- A multi-level cache framework for maximized speed, including Trino file system cache and Alluxio distributed cache
- Real-world cases, including a large online payment firm and a top ridesharing company
- The future roadmap of Trino file system cache and Trino-Alluxio integration
Recently uploaded (20)
Computer Science & Engineering VI Sem- New Syllabus.pdf
Computer Science & Engineering VI Sem- New Syllabus.pdf
Penify - Let AI do the Documentation, you write the Code.
Penify - Let AI do the Documentation, you write the Code.
Unlock the Secrets to Effortless Video Creation with Invideo: Your Ultimate G...
Unlock the Secrets to Effortless Video Creation with Invideo: Your Ultimate G...
Orca: Nocode Graphical Editor for Container Orchestration
Orca: Nocode Graphical Editor for Container Orchestration
DECODING JAVA THREAD DUMPS: MASTER THE ART OF ANALYSIS
DECODING JAVA THREAD DUMPS: MASTER THE ART OF ANALYSIS
Refactoring legacy systems using events commands and bubble contexts
Refactoring legacy systems using events commands and bubble contexts
Call Girls Bangalore🔥7023059433🔥Best Profile Escorts in Bangalore Available 24/7
Call Girls Bangalore🔥7023059433🔥Best Profile Escorts in Bangalore Available 24/7
Safelyio Toolbox Talk Softwate & App (How To Digitize Safety Meetings)
Safelyio Toolbox Talk Softwate & App (How To Digitize Safety Meetings)
The Power of Visual Regression Testing_ Why It Is Critical for Enterprise App...
The Power of Visual Regression Testing_ Why It Is Critical for Enterprise App...
Strengthening Web Development with CommandBox 6: Seamless Transition and Scal...
Strengthening Web Development with CommandBox 6: Seamless Transition and Scal...
Software Test Automation - A Comprehensive Guide on Automated Testing.pdf
Software Test Automation - A Comprehensive Guide on Automated Testing.pdf
How GenAI Can Improve Supplier Performance Management.pdf
How GenAI Can Improve Supplier Performance Management.pdf
Alluxio Webinar | 10x Faster Trino Queries on Your Data Platform
Alluxio Webinar | 10x Faster Trino Queries on Your Data Platform