#typelevel search results
Have you ever had a hard time making the *content* of a generic function pass type-checking? It’s not always straightforward with advanced types! I just published a blog post about the best way to fix these errors 👉 type-level-typescript.com/articles/makin… #TypeLevel #TypeScript
I'm looking for a new opportunity to do FP in Scala as my current contract is ending at the end of October. I've been development in Scala for about 12 years now. I'm looking for something remote in the US. Let me know if anyone is hiring or has some leads. #scala #typelevel #fp
"Why should I use #LinkML over JSON-Schema?" To add polymorphism/inheritance and (actual) semantic #typelevel annotations to refine technical schema No value level "transformations: or "calculations" before having unifying schema with business semantics glossary.airbyte.com/term/semantic-…
Typescript trick to resolve dot-path strings into real object types. #TypeScript #typelevel #devtools
I created a #chatgpt #Scala Cats Effect Tutor for fun take a look all: chat.openai.com/g/g-anUfWL8Ty-… Feedback to make it better appreciated. I will be iterating on it, this is just an initial attempt. Have fun all! #Typelevel #catseffect cc @typelevel @scala_lang @ScalaTimes…
Oh, this is very nice! Quiver. A Web based Editor to draw commutative diagrams that look good, and can be saved to LaTeX. #categorytheory #typelevel github.com/varkor/quiver#…
🚀 Looking for a new opportunity! 🚀 I am currently seeking a new contract as a Backend Engineer. If you're hiring or know of any opportunities, please feel free to send me a message. DM open. #scala #typelevel #catsEffect #hiring
Redis4cats v1.5.0 is out github.com/profunktor/red… #Redis #Scala #Typelevel
New #typelevel #scala library for building effects incrementally: github.com/typelevel/twid…
again. #http4s #Typelevel #PlayTwirl social.rossabaker.com/@ross/10967751… (2/2)
How to derive Typeclasses with Shapeless youtube.com/watch?v=aVrwmf… In this session I go over the process to derive Typeclass instances with Shapeless #scala #typelevel #shapeless #typeclass
youtube.com
YouTube
Typeclass Derivation with Shapeless
#LinkML data schema language can unify at #typelevel across technical data schemas and refine with semantics Think of it as polyglot for data schemas and API supporter @linkml_data #datagovernance #datacontracts #datafabric
A #SemanticLayer needs a data schema language that can 1. subsume existing schema languages: json, avro, etc 2. abstract over data formats (delay conversions) 3. use a generative approach towards existing schema dialects, #GPL-s & frameworks linkml.io/linkml/faq/why… #SmartData
Ever wondered how to build a streaming platform managing millions of concurrent users? 👀 Watch out for the next episode of Scala for Fun & Profit for a deep dive into SiriusXM next-gen platform built with Scala 3 and the Typelevel stack! #Scala #Typelevel #SiriusXM
Take (thread) I think it is necessary to have #typelevel (schema) #datalineage across tech, languages, ML workflows ("data pipelines") + bring closer #dataengineering and #datagovernance in order to realize #ResponsibleAI And #LinkML is uniquely suited
A #SemanticLayer needs a data schema language that can 1. subsume existing schema languages: json, avro, etc 2. abstract over data formats (delay conversions) 3. use a generative approach towards existing schema dialects, #GPL-s & frameworks linkml.io/linkml/faq/why… #SmartData
🚀 Just launched a blog post on building a logic circuit simulator using the Cats-Actors framework! Discover how the actor model and #fp complement each other beautifully in #Scala. Dive into dynamic, scalable systems with #typelevel, #programming cloudmark.github.io/Cats-Actors/
#Typelevel Typescript: A cheat sheet #typescript #frontend #webdev #dormosheio #programming #javascript #frontenddev dormoshe.io/trending-news/…
dormoshe.io
Typelevel Typescript: A cheat sheet
Type-level programming in TypeScript unlocks a realm of possibilities, leveraging the language's powerful type system to perform complex computations, validations, and transformations directly with...
World needs #typelevel #dataengineering
imho we need a ... generative environment (not another tool or framework) that starts at #typelevel (data schema, APIs, #DAPi-s,morphisms, mappings etc) and #controlflow and #dataflow DSL and be able to plug in runtimes that follow the "spec" above. As runtime #Cloudflow is best
#typelevel #SE Abstracts over both yaml and json 😎
A #SemanticLayer needs a data schema language that can 1. subsume existing schema languages: json, avro, etc 2. abstract over data formats (delay conversions) 3. use a generative approach towards existing schema dialects, #GPL-s & frameworks linkml.io/linkml/faq/why… #SmartData
🚀 Cats-Actors v2.0.0-RC5 is here! 🔹 Termination Fix: Ensures state data is correctly referenced. 🔹 New State Getters: Track stateName and stateData. 🔹 Improved Error Handling on initialisation github.com/suprnation/cat… #scala #typelevel #cats-actors
github.com
GitHub - cloudmark/cats-actors: Cats Actors framework for building apps which are reactive. Cats...
Cats Actors framework for building apps which are reactive. Cats actors uses a conceptual actor model as a higher level abstraction for concurrency. - cloudmark/cats-actors
I'm looking for a new opportunity to do FP in Scala as my current contract is ending at the end of October. I've been development in Scala for about 12 years now. I'm looking for something remote in the US. Let me know if anyone is hiring or has some leads. #scala #typelevel #fp
🚀 Cats-Actors v2.0.0-RC5 is here! 🔹 Termination Fix: Ensures state data is correctly referenced. 🔹 New State Getters: Track stateName and stateData. 🔹 Improved Error Handling on initialisation github.com/suprnation/cat… #scala #typelevel #cats-actors
github.com
GitHub - cloudmark/cats-actors: Cats Actors framework for building apps which are reactive. Cats...
Cats Actors framework for building apps which are reactive. Cats actors uses a conceptual actor model as a higher level abstraction for concurrency. - cloudmark/cats-actors
🚀 Looking for a new opportunity! 🚀 I am currently seeking a new contract as a Backend Engineer. If you're hiring or know of any opportunities, please feel free to send me a message. DM open. #scala #typelevel #catsEffect #hiring
🚀 Cats-Actors v2.0.0-RC4 is here! 🔹 Create child actors and self-message within FSMs with more control. 🔹 Cleaner, Akka-like syntax for FSM state functions. Dive into the release notes: Release Notes github.com/suprnation/cat… #scala #scala3 #typelevel #cats-actors
Ever wondered how to build a streaming platform managing millions of concurrent users? 👀 Watch out for the next episode of Scala for Fun & Profit for a deep dive into SiriusXM next-gen platform built with Scala 3 and the Typelevel stack! #Scala #Typelevel #SiriusXM
🚀 Just launched a blog post on building a logic circuit simulator using the Cats-Actors framework! Discover how the actor model and #fp complement each other beautifully in #Scala. Dive into dynamic, scalable systems with #typelevel, #programming cloudmark.github.io/Cats-Actors/
#Typelevel Typescript: A cheat sheet #typescript #frontend #webdev #dormosheio #programming #javascript #frontenddev dormoshe.io/trending-news/…
dormoshe.io
Typelevel Typescript: A cheat sheet
Type-level programming in TypeScript unlocks a realm of possibilities, leveraging the language's powerful type system to perform complex computations, validations, and transformations directly with...
How to derive Typeclasses with Shapeless youtube.com/watch?v=aVrwmf… In this session I go over the process to derive Typeclass instances with Shapeless #scala #typelevel #shapeless #typeclass
youtube.com
YouTube
Typeclass Derivation with Shapeless
#LinkML data schema language can unify at #typelevel across technical data schemas and refine with semantics Think of it as polyglot for data schemas and API supporter @linkml_data #datagovernance #datacontracts #datafabric
A #SemanticLayer needs a data schema language that can 1. subsume existing schema languages: json, avro, etc 2. abstract over data formats (delay conversions) 3. use a generative approach towards existing schema dialects, #GPL-s & frameworks linkml.io/linkml/faq/why… #SmartData
I created a #chatgpt #Scala Cats Effect Tutor for fun take a look all: chat.openai.com/g/g-anUfWL8Ty-… Feedback to make it better appreciated. I will be iterating on it, this is just an initial attempt. Have fun all! #Typelevel #catseffect cc @typelevel @scala_lang @ScalaTimes…
Redis4cats v1.5.0 is out github.com/profunktor/red… #Redis #Scala #Typelevel
... Beside better #typelevel #datalineage across data formats and frameworks as well as simplified technology stack we would get less silos. risk/issue: Eager conversion to semantic data formats creates (irreconcilable) silos from the #bigdata world and stakeholders.
Can we separate and limit semantics at #typelevel & keep data in efficient data formats 🤔 Then we can stream with existing tools (Spark, orchestration engines) while eating the semantic cake too (modulo delayed #RML? conversion) @linkml_data for start
A #SemanticLayer needs a data schema language that can 1. subsume existing schema languages: json, avro, etc 2. abstract over data formats (delay conversions) 3. use a generative approach towards existing schema dialects, #GPL-s & frameworks linkml.io/linkml/faq/why… #SmartData
Imho we need more #typelevel at architecture level, cross GPLs and tech stacks. Especially in "data pipelines" and orchestration Stepping stones to #ResponsibleAI 🤔 Big room for growth and business there
4/n. Should be programming language and runtime independent : at least Scala/JVM/Kotlin, Python, Rust, etc Should not be forced to program/port in/to a single language/runtime but allow heterogeneous environments, skill sets and deployment architectures. Ideally run over k8s.
#typelevel #SE Abstracts over both yaml and json 😎
A #SemanticLayer needs a data schema language that can 1. subsume existing schema languages: json, avro, etc 2. abstract over data formats (delay conversions) 3. use a generative approach towards existing schema dialects, #GPL-s & frameworks linkml.io/linkml/faq/why… #SmartData
Take (thread) I think it is necessary to have #typelevel (schema) #datalineage across tech, languages, ML workflows ("data pipelines") + bring closer #dataengineering and #datagovernance in order to realize #ResponsibleAI And #LinkML is uniquely suited
A #SemanticLayer needs a data schema language that can 1. subsume existing schema languages: json, avro, etc 2. abstract over data formats (delay conversions) 3. use a generative approach towards existing schema dialects, #GPL-s & frameworks linkml.io/linkml/faq/why… #SmartData
"data lineage a first class concern" Agreed, exactly! We start with #LinkML for #typelevel #datalineage Generates framework/programming language specific schemas so we get lineage between meta and code + decoupling & unification across tech stacks
A #SemanticLayer needs a data schema language that can 1. subsume existing schema languages: json, avro, etc 2. abstract over data formats (delay conversions) 3. use a generative approach towards existing schema dialects, #GPL-s & frameworks linkml.io/linkml/faq/why… #SmartData
Thinking beyond the #datalakehouse, unification at #typelevel (refined data schema) preceeds unification at value level (data formats) Considerations thread 👆
A #SemanticLayer needs a data schema language that can 1. subsume existing schema languages: json, avro, etc 2. abstract over data formats (delay conversions) 3. use a generative approach towards existing schema dialects, #GPL-s & frameworks linkml.io/linkml/faq/why… #SmartData
Im September spricht @LukaJacobowitz auf der @ScalaItaly über den #Typelevel Stack: hubs.ly/H0dj1XJ0 #Scala
Join @milessabin at #scalaX for his talk on #Typelevel #Scala Rebooted! buff.ly/2ggTTIa #sbt #compiler
.@raulraja is on-stage at the #Typelevel conference discussing #Scala exercises and announcing V. 2.0!!
#scalaitaly2017 Miles Sabin teaches that if you are not using #typelevel #scala you are doing it wrong!
Intro to #typelevel programming: Part 1 (Typeclasses) #schemasafe #scalaswarm hubs.ly/H07nG5K0 by @tabdulradi
RT @chiefscientist: Greg Pfeil @sellout writes nanocompilers @slamdata w #scala (and without PostgreSQL!) #typelevel
#ScalaX 16: @d6 gives @davegurnell an intro to #TypeLevel & reveals how to manage huge #OpenSource projects: bit.ly/2p494cL #scala
#typelevel summit peeps, come talk about building a solar loan platform @ after party and I'll give you either @WunderCapital hat or bottle.
Something went wrong.
Something went wrong.
United States Trends
- 1. Marshawn Kneeland 18.3K posts
- 2. Nancy Pelosi 22.6K posts
- 3. #MichaelMovie 31.2K posts
- 4. ESPN Bet 2,219 posts
- 5. #영원한_넘버원캡틴쭝_생일 24.7K posts
- 6. #NO1ShinesLikeHongjoong 24.9K posts
- 7. Gremlins 3 2,655 posts
- 8. Jaafar 9,703 posts
- 9. Good Thursday 35.7K posts
- 10. Joe Dante N/A
- 11. Chimecho 4,823 posts
- 12. #thursdayvibes 2,863 posts
- 13. Madam Speaker N/A
- 14. Baxcalibur 3,388 posts
- 15. #BrightStar_THE8Day 36.4K posts
- 16. Penn 9,502 posts
- 17. Votar No 27.9K posts
- 18. Chris Columbus 2,404 posts
- 19. Happy Friday Eve 1,001 posts
- 20. Barstool 1,631 posts