teleren/devto huggingface dataset:
Partnering with Well Typed and investing in the Haskell community
Tags: haskell, hasura
Published: 2020-09-22 10:56:53

---
title: Partnering with Well Typed and investing in the Haskell community
published: true
date: 2020-09-08 10:48:20 UTC
tags: haskell, hasura
canonical_url: https://hasura.io/blog/partnering-with-well-typed-and-investing-in-the-haskell-open-source-community/
---

Hasura’s core [engine](https://github.com/hasura/graphql-engine) is built in Haskell. Although a seemingly risky choice initially, our choice of spending our innovation token / golden ticket to build with Haskell had paid off well. :)

![](https://hasura.io/blog/content/images/2020/09/Screenshot-2020-09-08-at-3.51.01-PM.png)<figcaption><a href="https://github.com/hasura/graphql-engine">github.com/hasura/graphql-engine</a></figcaption>

Haskell is particularly well suited for complex concurrent programming tasks (hello web servers!) and to build compilers. A lot of what Hasura does can be boiled down to a performant JIT compiler that is presented as a web-server handling large concurrent loads. Haskell has allowed us to collaborate on a large codebase and has allowed us to move with startup-like speeds on infrastructure software without breaking things.

![](https://hasura.io/blog/content/images/2020/09/haskell-sotu.png)<figcaption>State of the Haskell ecosystem - <a href="https://github.com/Gabriel439/post-rfc/blob/master/sotu.md">github.com/Gabriel439</a></figcaption>

Over the years, as our codebase has become more and more complex we’ve needed better tools to understand how and why our code is behaving in particular ways in particular situations. Especially as we’ve been working on our cloud offering, innovatively called Hasura Cloud (we had just the one innovation token), greater visibility and better operational tooling has become critical!

I’m excited to announce an engineering collaboration and partnership with the great folks at [Well Typed](http://www.well-typed.com/) to be working with them on improving open-source tooling in the Haskell ecosystem.

![](https://hasura.io/blog/content/images/2020/09/wtnlogoest-huge.png)<figcaption>A collage of logos I put together 🤓</figcaption>

Most recently, we’ve been [investigating memory fragmentation](https://www.well-typed.com/blog/2020/08/memory-fragmentation/) in GHC Haskell and found limitations in the profiling tools available, so we're planning to support ongoing development efforts on [ghc-debug](https://github.com/bgamari/ghc-debug) and help improve [GHC's DWARF](https://www.well-typed.com/blog/2020/04/dwarf-1/) support for tracking running code back to source file locations. This will unlock many possibilities for easier profiling of production Haskell code.

We’re excited to be working with [David Eichmann](https://www.well-typed.com/people/davide/), [Ben Gamar](https://www.well-typed.com/people/ben/)i and the team at Well Typed over the coming months. And special thanks of course to [Adam Gundry](https://www.well-typed.com/people/adam/) for helping this collaboration come together!
Lazy videos and images - lazysizes
Published: 2020-09-08 10:46:07

[lazysizes github](https://github.com/aFarkas/lazysizes)
`npm install lazysizes --save`

```
<iframe frameborder="0"
	class="lazyload"
    allowfullscreen=""
    data-src="//www.youtube.com/embed/ZfV-aYdU4uE">
</iframe>
```
5 Study Tips to Pass the CCIE R&S Certification Exam
Published: 2020-09-08 10:42:52



These tips will help students who are preparing for their CCIE R&S certificate; we have provided a few hints, tricks, and things of note which could help you learn how to prepare for CCIE R&S.

1.  Get Practical Experience
2.  Obtain the Proper Study Materials
3.  Schedule Practice Tests
4.  Refresh Your Knowledge Right Before the Exam
5.  Take a Breather

Two Things to Keep in Mind:
1.  CCIE R&S is Comprehensive
2.  The CCIE R&S Exam is Quick

For a more detailed insight to the topic, you can visit: https://www.sevenmentor.com/ccie-routing-switching-training-course-in-pune.php
How to use integers/strings in arrays as variables?
Published: 2020-09-08 10:20:21

As for now, I don't think you can make variables with js (theres no createVar function to my knowledge) so I thought that using arrays with strings could be a way to do it. I'm getting there, but there's a step im missing.

I've tried this:

var variableArray = [];
var variable=document.getElementById('numberValue').value;
var information=document.getElementById('textEditorValue');
function createVar(){
variableArray[variable]=information;
console.log(variableArray)
}

what I want it to output

["1:(information for the variable here)"]

and i want it to make it so when you do this:

console.log(variableArray[0])

I want it to output this:


(information for the first variable)


I'm trying a new method right now but i can't get it to work. Please help!
Rebuilding website/portfolio
Tags: website, portfolio, information, beginners
Published: 2020-09-08 10:16:59

Hello everyone this is my first post on here. I have built a website using tutorials online and built a website to showcase my projects in my portfolio. I feel like my website is very basic using HTML and CSS. I have come across a few portfolios online built by other people which have amazing animations and all sorts of moving objects and things. What I wanted to know is how is that done??? Is it done by using some sort of framework? or is it by using CSS animations? I would like some sort of help on this as I want to rebuild my website but want to be able to use animations on it to make it more aesthetically pleasing. Any information would be greatly appreciated.

Thanks :D
Mixed Reality QnA Bot
Tags: webdev, mixedreality, beginners, azure
Published: 2020-09-08 10:02:20

#### 📺 016 - April Speight 🎙️ Frank Boucher

{% youtube 0qqOlLoT05Q %}

---

Creating educational experiences with [Mixed Reality](https://microsoft.github.io/MixedRealityToolkit-Unity/Documentation/GettingStartedWithTheMRTK.html) can provide educators the ability to share holographic replicas of real-world objects without stepping foot outside the classroom. In this stream, we'll take a look at Monumental World Tour, an interactive HoloLens 2 app created with MRTK which displays monuments from around the world and includes facts about each monument. The app created during this stream uses [QnA Maker](https://www.qnamaker.ai/) to create a knowledge base of facts about each monument. Using the Azure Bot Service, the knowledge base is connected to a bot with a Direct Line Speech channel.

---

### Useful Links

🔗 [Getting started with MRTK](https://microsoft.github.io/MixedRealityToolkit-Unity/Documentation/GettingStartedWithTheMRTK.html)

🔗 [HL2 tutorials](https://aka.ms/hl2tutorials)

🔗 [HL2 import MRTK](https://aka.ms/hl2importmrtk)

🔗 [Mixed Reality Tools](https://aka.ms/mixedrealitytools)

🔗 [Windows Device Portal – HoloLens](https://aka.ms/windowsdeviceportal-hololen)

🔗 [QnA Maker](https://www.qnamaker.ai/?WT.mc_id=allaroundazure-blog-apspeigh)

🔗 [Interact with a bot in C# Unity](https://github.com/Azure-Samples/cognitive-services-speech-sdk/tree/master/samples/csharp/unity/VirtualAssistantPreview)

🔗 [Azure Bot Service](https://docs.microsoft.com/en-us/azure/bot-service/bot-service-channel-connect-directlinespeech?view=azure-bot-service-4.0)

🔗 [Microsoft Learn - QnA Bot](https://aka.ms/learnqnabot)


### Learn more about April Speight

🔗 [@VogueAndCode](https://twitter.com/vogueandcode)

🔗 [Bio](https://developer.microsoft.com/en-us/advocates/april-speight)

<br />
☁️
Shells en linux
Tags: linux, spanish, bash, beginners
Published: 2020-09-08 10:02:16

Primero definamos rápidamente que es una Shell , una Shell es un entorno donde podemos interactuar con el sistema operativo atravez de un cli (command line interface),la mayoría de estos están basados en sh([Bourne shell](https://es.wikipedia.org/wiki/Bourne_Shell)).

Aqui una definicion mas completa {% wikipedia https://es.wikipedia.org/wiki/Shell_de_Unix %}

El más común utilizado en Linux y que viene predeterminado en la mayoría de las distribuciones  es [bash](https://es.wikipedia.org/wiki/Bash), pero, no es el único, existen diferentes shells como lenguajes de programación, la mayoría interoperables entre sí por estar basados en sh, algunos de estos son [zsh](https://es.wikipedia.org/wiki/Zsh), [fish](https://es.wikipedia.org/wiki/Friendly_interactive_shell)(este no es compatible con sh al 100%) y dash , estos son algunos de los más conocidos


También existen frameworks aunque es recomendable para usuarios que ya dominen un poco el tema ya que facilita bastante algunas cosas y no se pueda aprender de la forma correcta, estos frameworks permiten la integración de plugins que mejoran un poco la productividad , también permite habilitar temas para que se vean un poco más moderno ,algunos frameworks conocidos son [oh my zsh](https://github.com/ohmyzsh/ohmyzsh), [oh my bash](https://github.com/ohmybash/oh-my-bash) y [oh my fish](https://github.com/oh-my-fish/oh-my-fish).

La terminal y los Shells son una herramienta esencial para un programador, permite hacer muchas cosas de una manera relativamente sencilla, es bueno aprender un poco sobre las terminales para mejorar un poco la productividad

Gracias por leer :)
Coding made easy with {GitHub Codespaces}
Tags: github, codespaces
Published: 2020-09-08 10:02:05

<link rel="canonical" href="https://bashwoman.hashnode.dev/coding-made-easy-with-github-codespaces-ckepu1jo402p3kps13zb48dak"/>
Are you a programmer? Then you obviously use Github to collaborate with your team. 
Do you want to speed up your work on Github? 
Here is the solution for this: "Introducing **GitHub Codespaces**".

### What is GitHub Codespaces?

If you're a VS Code user, and you want the same environment on GitHub so that your work will be faster. That is what codespaces provide. 
You can now code without leaving your GitHub, cool right?

### Why do you need it? 

Well, it takes a lot of time to configure the same repository in your local system, and if you don't like doing it, then codespaces is a good option.

### How to use it?

This feature is in beta version right now, so if you want to access it visit this [website](https://github.com/features/codespaces). Then select **Request early access**.


![website.png](https://cdn.hashnode.com/res/hashnode/image/upload/v1599313843492/OsMzZdfiF.png)

### Demo

1. Visit a repository. If you have the beta version, you'll see and option there called **codespaces**.


![drawisland.png](https://cdn.hashnode.com/res/hashnode/image/upload/v1599315403704/az3iWUM-m.png)

OR

You can select **Code** and then **Open with Codespaces**.


![code.png](https://cdn.hashnode.com/res/hashnode/image/upload/v1599316364769/X4P-Jiupl.png)

Then select **New codespace**.


![newcodespace.png](https://cdn.hashnode.com/res/hashnode/image/upload/v1599316487061/w7KOYVOl8.png)

It will show up like this. 


![image.png](https://cdn.hashnode.com/res/hashnode/image/upload/v1599316652186/rA4xABoK_.png)

And here you have your **GitHub codespace** or web version of **VS Code**.

![image.png](https://cdn.hashnode.com/res/hashnode/image/upload/v1599318866112/FI3zc1E_Z.png)

### Features

All the features are the same as we have in the VS Code. Like:
1. Use Extensions.
2. Code, build, test, debug, and deploy within your browser.
3. Automatically set up dependencies and SSH keys. 
4. Live share.

It is pretty similar to [Gitpod](https://gitpod.io/), but it is easy to use. 

#### Disadvantage

Without the internet, you can't use this feature.

Use, and explore this feature.
Background fill animation on complex shapes
Tags: web, animation, frontend, help
Published: 2020-09-08 09:53:45

Hello, dear dev.to community!

What would be the best way (performance wise and/or complexity wise) to implement a background fill animation for a complex shape that has more than one element (like an arrow below). It seems to be such a simple animation, but I'm not sure whether I should start looking into pure CSS solutions, or JS, some animation library, SVGs? What solution would allow to have an arrow of arbitrary length?

![Animation of arrow filling with color](https://dev-to-uploads.s3.amazonaws.com/i/smg4bi9moafe35dqq3mg.gif)

Can anyone also recommend any articles, videos or textbooks on Web animation that could teach me doing such not-so-obvious things? Animation in Android/Flutter is probably completely different, but if you happen to have something to share on it, please do!
Know Thy Code
Tags: bestpractices, coding, learn, motivation
Published: 2020-09-08 09:52:19

I want to share a coding bug journey I had yesterday. I was attempting to update a Google Chrome calendar extension for virtual tech meetups with a more personalize user experience. Within a few minutes of coding, I was able to get a working solution on my local device.

Satisfied with my work and determine to push to production, I updated the Netlify server-less function that would deliver the data to the Chrome extension via an API back-end. To my eternal shame, when I viewed the Chrome extension I saw nothing but unformatted strings of numbers instead of a beautiful user experience. I debugged for two hours using every trick I can think of to get the application to work in production like it worked locally. I went to bed in disgust and failure.

Within a minute of sleeping it came to me that I was updating the API and data but never updated the front-end code within the Chrome extension itself that would format the data. I made the horrible mistake of not knowing my code. I didn't consider the application's architecture before I started coding and updated the wrong part of the distributed technical components/systems.

The lesson I want to share is before you start coding:
1. Consider the architecture of the application and which parts you will be touching. Think about how your changes will affect the front-end, back-end, API, database, etc.
2. If you are debugging for an extended period, stop and take a break.
How Open Source has fueled Software Industry - Discussion
Tags: opensource, discuss
Published: 2020-09-08 09:40:51

I am writing an article about "How Open Source has fueled Software Industry", In this article, I am trying to highlight the contribution of the open-source culture to speed up the growth of the Software industry. Any advice on this, what point I should add in this article? As I am talking about open-source so I'll keep this blog also open to contribute.
Yoga log.cpp error in react-native ios app build
Tags: reactnative, ios, xcode
Published: 2020-09-08 09:23:49

I am getting below error when I build a react-native ios app 

error: error reading '/Users/aravind/Downloads/GrocerrayApp/node_modules/react-native/ReactCommon/yoga/yoga/Yoga.cpp'


error: error reading '/Users/aravind/Downloads/GrocerrayApp/node_modules/react-native/ReactCommon/yoga/yoga/internal/experiments.cpp'
Fast, thread-safe ID generation in Golang
Tags: go, github, showdev, snowflake
Published: 2020-09-08 09:22:29

If you run a distributed system in production, you are likely aware of the primary issue of ID generation: guaranteeing uniqueness across a distributed system, especially when low-latency is required.

# Universally Unique Identifier (UUID)
[UUID](https://www.cryptosys.net/pki/uuid-rfc4122.html) is a standard for ID generation. A UUIDv4 consists of 128 random bits, with a few altered according to the specification. This 'ensures' uniqueness by simply making it incredibly improbable to generate the same UUID twice (0.0000000000000004 to generate one clash per 2^36 ids). Google provides a go UUID generator [here](https://github.com/google/uuid).
## Caveats
- If your random number generator does not produce random enough numbers, it may have a negative effect on the uniqueness of UUIDS
- 128 bits is large and unwieldy

# ID generation service
It is, of course, possible to create a single service responsible for ID allocation - one which guarantees uniqueness, by incrementing an integer.
## Caveats
- If you are running a highly distributed system with servers which are physically distant, there will be an impact on latency.
- Single point of failure

# Snowflakes
Snowflakes were initially introduced by [Twitter](https://twitter.com) - they are 64-bit integers comprised of the time (in ms), a node id and a counter. That means, that each node/machine is allowed to generate its own IDs, which will still be unique. I recommend [this library](github.com/ocuppi/snowflake) because it allows the customization of how many bits are allocated to the timestamp, node id, and counter and supports a custom epoch so it can be customized to your exact use case (e.g. if you need to generate more IDs per second per node, you can increase the size of the counter). It achieves a performance of < 35 ns/id - allowing the generation of aprox. 28 thousand Snowflakes per millisecond (28 million per second) per node.
## Caveats
- Some languages (such as JavaScript) do not support 64 bit integers, so must interpret ids as strings

## Pros
- Suitable for highly distributed systems
- Only 8 bytes!
- Sortable by creation time 🕒
- Flexible bit allocations (depending on library)

*full disclosure: I am, at the time of writing, the primary contributor to github.com/ocuppi/snowflake*
Sep. 9: Content creation panelist on Whiskey Wednesday podcast
Tags: podcast
Published: 2020-09-08 14:52:25

---
title: Sep. 9: Content creation panelist on Whiskey Wednesday podcast
published: true
date: 2020-09-08 09:00:00 UTC
tags: podcast
canonical_url: https://katiekodes.com/whiskey-wed/
---

Sep. 9 at 9AM Pacific / 12 noon Eastern / 4PM UTC / 5PM British Summer Time, I’ll be livestreaming as a guest on [Whiskey Wednesday](https://twitter.com/WskyWednesday), a new web development podcast by [Marc Backes](https://twitter.com/themarcba) and [Scott Spence](https://twitter.com/spences10). I can’t wait to join fellow panelists [Randall Kanna](https://twitter.com/RandallKanna), [Rich Haines](https://twitter.com/studio_hungry), and [Jon Hilton](https://jonhilton.net/).

{% user themarcba %}

{% user spences10 %}

{% user randallkanna %}

{% user studio_hungry %}

{% user jonhilt %}

{% user katiekodes %}

## Where to find us

1. [Youtube Livestream](https://www.youtube.com/watch?v=N6eShctTwxo)
2. [Audio RSS feed after the show](https://anchor.fm/s/29b7a95c/podcast/rss)

## Links

Some references I suspect I might bring up:

- [Stephanie Morillo](https://twitter.com/radiomorillo)’s book [The Developer’s Guide to Content Creation](https://www.developersguidetocontent.com/), which helped me better understand the world of self-disciplined, organized, audience-oriented writing. It will be right by my keyboard this winter as I delve into producing tutorial videos.
- [Greater Than Code ep. 16: “Blogging is Shipping”](https://www.greaterthancode.com/blogging-is-shipping), which taught me that it’s essential to share things you just learned because you can relate to learning the material for the first time
- Timeboxed challenge examples:    
  - [Divya Tagtachian](https://twitter.com/shortdiv)’s [“Jamuary” post-a-day](https://dev.to/t/jamuary) challenge
  - [Joe Previte](https://twitter.com/jsjoeio) organizing [#2WeekProduct challenges](https://twitter.com/jsjoeio/status/1296637530024980480) cohorts
- [Will Johnson](https://twitter.com/@willjohnsonio)’s [encouragement to write about a topic even if it’s been covered before](https://twitter.com/willjohnsonio/status/1226136228443172865)
- [Chris Moffit](https://twitter.com/chris1610)’s [“Blogging for fun and … profit?” slide deck](https://github.com/chris1610/pbpython/blob/master/presentations/Minnebar-Blogging-April-2018.pdf)
- [Hanselminutes guest lineup](https://hanselminutes.com/episodes), demonstrating that intentionally and consistently cultivating a community of people unlike yourself lets you create content that better represents the world than you might have had you stayed in your own bubble. There are _lots_ of interesting people in the world – be conscious about how you 6-degrees-of-Kevin-Bacon to find them. As you gain a following, think about whose SEO you boost, why, and [why not](https://medium.com/@selamjie/remove-richard-stallman-fec6ec210794).
Golang Web - Form Upload File
Tags: go, programming, backend, webdev
Published: 2020-09-08 08:32:34

In this chapter we learn how to handle upload file through Form. In some parts how like a before chapter but we just to add process to handling file uploader. This files save to the certain path / folder.

A simple program have to 1 form and 2 inputs, alias, and then files. The data files later on save to folder files. with appropriate names except when user add inputs alias and then this name will used to as file name saved.

# FRONT END
Create file view.html this file template will bring up as Landing Page.

![Alt Text](https://dev-to-uploads.s3.amazonaws.com/i/hdnbb3m8l2mhcoveph22.JPG)

Consider in <form> tag we should to add atribut (enctype="multipart/form-data") so that http.Request support Upload File.

# BACK END
In layer Back-End available enough to much package should import, like a os, io, path/filepath, etc. This packages we needed to handling file upload.

In function main() create 2 route handler, first for landing page, and the other for we using when finished upload process.

![Alt Text](https://dev-to-uploads.s3.amazonaws.com/i/od9eevvi625w7eb0a4m5.JPG)

The handler route / process to show landing page (view.html) method to permitted in this route access just a GET.

![Alt Text](https://dev-to-uploads.s3.amazonaws.com/i/7loy8p9re7ffa6wbk8an.JPG)

Next, prepare to handler for route /process is function routeSubmitPost. Used the statement r.ParseMultipartForm(1024) for parsing form data to send.

![Alt Text](https://dev-to-uploads.s3.amazonaws.com/i/6cgfqw9eyjuepc94xo6l.JPG)

Still in function routeSubmitPost(), add code to get data alias and file.

![Alt Text](https://dev-to-uploads.s3.amazonaws.com/i/gabxu1awz7qorn7xu9qk.JPG)

Next, add the code for create new files.

![Alt Text](https://dev-to-uploads.s3.amazonaws.com/i/mkshminuwe7gfcff62o0.JPG)

# TESTING
Run program, and then see the result.

![Alt Text](https://dev-to-uploads.s3.amazonaws.com/i/jinvxxpwp2no1x8gnbxf.JPG)

Finally! Hope your enjoy it.
Realme 7 pro Review
Tags: realme, realme7pro, realmemobile
Published: 2020-09-08 06:49:20

Realme launched Midrange smartphone Named Realme 7 Pro. Realme 7 pro was released in India on 3rd September 2020. Realme released “Realme 7 Pro in Two models with 6GB + 128GB And 8GB + 128GB Variant. Realme 7 Pro is priced at 19,999 @ 6GB + 128 GB and 21,999 @ 8GB + 128GB. when I’m using Realme 7 Pro I felt it is Very Light in the hand and had a Quad Camera Setup and features an Full HD+ 60Hz AMOLED screen.

It features the Snapdragon chip from Qualcomm named Snapdragon 720G. this chip is made of 8nm LPP (Low Power Plus) FinFet process. this processor is divided into 2 parts; the first part features 2 x A55 low power cores which are clocked at 2.3GHz, second part features 6 x A76 high powered cores which are clocked at 1.8GHz. it has Adreno 616 GPU which increases its work by 20% compared to Snapdragon 730G the last Midrange processor from Midrange. It has an X15 Modem which has Download and Uploads speeds of 800 & 300MBPS. It has also integrated Ai Unit built-in the processor which helps in AI Capabilities.

this phone has a 64MP F/1.8, PDAF (main with Sony IMX 682) + 8MP F/2.2 ( Ultra Wide) + 2MP F/2.4 (Dedicated Macro Camera) + 12MP F/2.5 (telephoto Sensor) Which Allows User to take Normal, Wideangle, Macro & Portrait Images.

I will divide the review into pros & cons. let’s see quick specs of Realme 7 Pro and Jump into the Review

Realme 7 Pro Specs

6.44” FHD+ AMOLED Display with 60Hz Refresh Rate

Snapdragon 720G SoC

6 / 8GB LPDDR4X Ram

128GB Internal Storage

Triple Camera: 64MP F/1.8, PDAF (main) +8MP F/2.3, 17mm, 119˚ PDAF + (Ultrawide) + 2MP F/2.4 (Macro) + 2MP F/2.4 (Macro)

32MP f/2.5, 26mm (wide) front camera

4500mAH battery with 65W fast charging support, 100% in 34 Min

Realme UI Based on Android 10.0  

In-Display fingerprint scanner / Volte / Dual GPS

WiFi / Bluetooth 5.0 / Single Speakers / USB – C

Check out here! https://mobiradar.co.in/realme-7-pro-review/