profile
viewpoint
WJH wongjiahau Kuala Lumpur, Malaysia Don't wait for Utopia, build it.

wongjiahau/Displaying-XAML 30

This library is for display the XAML code of theme library for WPF (e.g. MaterialDesignInXamlToolkit)

nestdotland/deno_swc 23

High quality SWC bindings to Deno :rocket:

wongjiahau/DialogBoxForMaterialDesignInXamlToolkit 11

This is the repo to host the source code for MaterialDesign DialogBox that behaves like MessageBox in WinForms.

topoi-lang/topoi 1

Monorepo for topoi-lang

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha b38a09054c0799363ddaac2e43ba2f0e95a523ae

feat: added coc-settings.json

view details

push time in 3 hours

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 1a033f62ddf0616610394eb81f5fe2843ba7666c

feat: install coc-lightline plugin

view details

push time in 20 hours

startedjosa42/vim-lightline-coc

started time in 20 hours

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 3a1ef85a1f40c12d878ddaabfa16f8bca66700a2

style: use PaperColor instead of GruxBox - because GruxBox color is buggy and not easy to read

view details

push time in 20 hours

startedNLKNguyen/papercolor-theme

started time in 20 hours

startednvim-treesitter/nvim-treesitter

started time in a day

starteddustinkirkland/hollywood

started time in a day

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha be8b42de178d30b6b4f2a801cb128b4a580c1d29

feat: set mouse=a to enable mouse movement

view details

push time in 2 days

startedterryma/vim-smooth-scroll

started time in 2 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 63aa14409aa18b366c20e459b548e13fc8ffc1aa

feat: install smooth scroll

view details

push time in 2 days

startedKethku/neovide

started time in 2 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 89f04d28be38ce06e78fbcf1a3a2ab4e0fc719f9

perf: use lightline instead of airline to improve performance

view details

push time in 2 days

startedgfx-rs/wgpu

started time in 3 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 764bcac036779051aa6c04d5a160f295945eaddf

feat: improve experience for Vim, not Neovim - because vim is easier to install than nvim

view details

Wong Jia Hau

commit sha 73bdfa24fdec8f7adccd8185b1e3e51be1b06046

feat: remove annoying set confirm options

view details

push time in 4 days

issue openedvim-airline/vim-airline

bug(tabline): color is transparent when using morhetz/gruvbox theme

environment

  • vim: NVIM v0.4.3
  • vim-airline: 8608270
  • OS: macOS Catalina Version 10.15.5
  • Have you reproduced with a minimal vimrc: Yes
  • What is your vimrc configuration:
call plug#begin('~/.vim/plugged')
Plug 'vim-airline/vim-airline'
Plug 'morhetz/gruvbox'
call plug#end()
autocmd vimenter * colorscheme gruvbox
set background=light
let g:airline_extensions = ['branch','term', 'tabline']
let g:airline_powerline_fonts = 1

if you are using terminal:

  • terminal: alacritty 0.5.0 (a6681e3)
  • $TERM variable: xterm-256color
  • color configuration (:set t_Co?): no if you are using Neovim:
  • does it happen in Vim: No this problem only happens in Neovim

actual behavior

The following screenshot is Neovim: image

expected behavior

Expected the tabline to have color. The following screenshot is Vim: image

extra notes

This problem only happens when morhetz/gruvbox theme is turned on.

created time in 4 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha eb7a1de19bca2824530f0756ed8cb921dcf7943f

perf(airline): improve performance by only enabling some extensions

view details

push time in 4 days

issue commentitchyny/lightline.vim

Status line color is not displayed in nomal mode...

@Hpixpoke I had the same problem too, the problem is with autocmd vimenter * colorscheme gruvbox. Once I removed this line then the problem is solved.

ytac8

comment created time in 4 days

starteditchyny/lightline.vim

started time in 4 days

startedmicrosoft/vscode-dev-containers

started time in 4 days

startedliuchengxu/vim-clap

started time in 4 days

startedanishathalye/dotbot

started time in 5 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 4e8612ea2709f319d80e30227b671897d21512d9

feat: added key binding for jumping between errors

view details

push time in 5 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 6c2c7fc7d9e202d2c6fe2fe82bdd4db9d23a5b12

feat: enable folding for javascript

view details

push time in 5 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 0f12e98c62897601e5b285856f301c8e36aa697a

style: install GruvBox theme

view details

push time in 5 days

startedniksy/throttle-debounce

started time in 5 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 3ef5bd63113e55e97fbddd011edb5fb9a78b2779

feat: use coc-explorer instead of NERDTree

view details

push time in 5 days

startedsolidiquis/alacpretty

started time in 6 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha d97aff35ba04733a82bf4a108534ab7d823746bb

Revert "fix(autoread): now files will be updated automatically when being" This reverts commit 768bb060f3709c430bfb982f07740c79cff0acab.

view details

push time in 6 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 768bb060f3709c430bfb982f07740c79cff0acab

fix(autoread): now files will be updated automatically when being changed outisde For example, running prettier

view details

push time in 6 days

startedalacritty/alacritty

started time in 6 days

startedlukaszcz/coqhammer

started time in 6 days

startedfeross/thanks

started time in 6 days

startedvim-airline/vim-airline

started time in 6 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 8835e036de064f505d9c07317bf2af3b8c0fdc70

feat(key-mapping): COC rename symbols

view details

push time in 6 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 03dd34a45f84a023e3aa583b9c02e0b47e3a32d5

feat(key-mapping): use NERDTreeFind instead of NERDTreeToggle

view details

push time in 6 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 64165b0f13c41908ec7cb5724e1a1eb7ce17c87f

feat(tab-stop): change to use 2 spaces

view details

push time in 6 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 053e62742766c3504a0ab36f5f3b759718a3f6fd

feat: use :Git for git browser OMG!

view details

push time in 6 days

startedtpope/vim-fugitive

started time in 6 days

startedjiangmiao/auto-pairs

started time in 6 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 897d1db63b8c4916c3e91625d3690c237ac29ceb

feat: added auto-pairs plugin

view details

push time in 6 days

startedvoldikss/vim-floaterm

started time in 6 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha fa1203611940a3a20eb0e178a0797efed692c69b

feat: added key binding to show git status

view details

push time in 6 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha a0d479d46cc191c297047098f95a4dac2fbd8e1f

feat: change to use FZF for files search

view details

push time in 7 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha e12cce8c7c66a0d387d4c4bf729a7f0fbd3bf116

feat(search): use FZF + Silver Searcher

view details

push time in 7 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 50360800e94613679c117536e77d3ed889b7c1ec

feat: ditch LeaderF due to python dependencies

view details

push time in 7 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha ce86a2586d126e0094c86d8b8267fff4b1904d1c

feat: use fish as default shell

view details

push time in 7 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 3b520d7ab5c1a867bd9503e2432edbf70f80a6c3

fix(finder): wrong key mapping

view details

push time in 7 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 00edf044d8ae2f09b3007b0fb9f933c28c3af465

fix(tab-no-color): remove gruvbox and problem fixed

view details

push time in 7 days

startedXuyuanp/nerdtree-git-plugin

started time in 7 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 14e92b7f2936c2d50f46087523e6cc8122c895a2

feat(coc): added essential key mapping

view details

push time in 7 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha d062a4da8a78b13230a95b80f9a041f1871ac277

feat: using LeaderF for file search

view details

push time in 7 days

startedYggdroot/LeaderF

started time in 7 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 24b8d9a2b237f5bdfa2d1b77d90b025366346102

style: gruvbox light

view details

push time in 7 days

push eventwongjiahau/my-neovim-config

Wong Jia Hau

commit sha 4e851956d9f0c2df62b1177ae34733bb5dcf61c3

doc: added README

view details

push time in 7 days

startedpreservim/nerdcommenter

started time in 7 days

create barnchwongjiahau/my-neovim-config

branch : main

created branch time in 7 days

created repositorywongjiahau/my-neovim-config

created time in 7 days

startedAPZelos/blamer.nvim

started time in 7 days

startedterryma/vim-multiple-cursors

started time in 7 days

startedbrooth/far.vim

started time in 7 days

startedmattphillips/jest-expect-message

started time in 7 days

startedneoclide/coc.nvim

started time in 7 days

startedmhartington/nvim-typescript

started time in 7 days

startedairblade/vim-gitgutter

started time in 7 days

startedpreservim/nerdtree

started time in 7 days

startedjunegunn/vim-plug

started time in 7 days

startedLukeMathWalker/zero-to-production

started time in 7 days

startedtypescript-eslint/typescript-eslint

started time in 7 days

startedgoldbergyoni/nodebestpractices

started time in 8 days

startedPrincetonUniversity/certicoq

started time in 8 days

startedmawww/kakoune

started time in 8 days

startedWhatisRT/meta-cedille

started time in 8 days

starteddeeprjs/deepr

started time in 8 days

startedopenssh/openssh-portable

started time in 9 days

startedbaskerville/bspwm

started time in 10 days

startedsocketio/socket.io-redis

started time in 12 days

startedcoq/coq

started time in 12 days

startedjscoq/jscoq

started time in 13 days

startedDeepSpec/InteractionTrees

started time in 13 days

startedaforemny/material-components-web-elm

started time in 13 days

startedpetkaantonov/bluebird

started time in 14 days

startedcharmbracelet/bubbletea

started time in 14 days

startedtokio-rs/tokio

started time in 16 days

startedelm/parser

started time in 16 days

startedunisonweb/unison

started time in 17 days

Pull request review commenttopoi-lang/topos

Adding ideas & references

++## What is the Topos name comes from?+Topos comes from the Greek that refers to a method for developing arguments, and now we refer it to the category that behaves like the presheaf sets on topological spaces.++Personally I prefer the first one as it is more understanable. And yes, a programming language helps us to develope arguments in some certain extent.++> extend more on proofs as code

Perhaps on this part you can talk about:

  • Curry-Howard Correspondence
  • Proposition as Types
  • Example languages: Coq (based on Calculus of Constructions)
  • Lambda Cube (where popular languages like Java, Typescript sits on)
  • Why proof as code will be the future (Rust is a prominent example that utilise linear logic to proof the program is 100% memory safe) See https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf
zypeh

comment created time in 17 days

PullRequestReviewEvent

issue commentgraphql-rust/juniper

Interop with async? (Tokio/Futures)

I found the fix by using juniper = { git = "https://github.com/graphql-rust/juniper", rev = "68210f5"} instead of juniper = 0.14.2.

jsgf

comment created time in 17 days

issue commentgraphql-rust/juniper

Write docs for using Context with a lifetime

I actually solved this problem by removing the lifetime parameter from the Context object.

If you think about it, the context shouldn't need an annotated lifetime, because it's suppose to live as long as the program. In other words, the fields within the Context object should also live as long too.

Initially I have this following piece of code, the Context is Persistence:

pub struct Persistence<'a, T>
where
    T: Serialize + Deserialize<'a>,
{
    db: mongodb::Database,
    collection_name: String,
    phantom: PhantomData<T>
}

And the implementation for this Persistence struct contains function that deserialize JSON data. Then I realised something horribly wrong, if the lifetime of the deserialized object lives as long as the context, doesn't that means that memory consumption will be ever-increasing since the context lives until the program is terminated?

To solve this problem, where the Context and the deserialized object have different lifetime, I used Higher Kinded Trait Bounds.

pub struct Persistence<T>
where
    T: Serialize + for<'a> Deserialize<'a>,
{
    db: mongodb::Database,
    collection_name: String,
    phantom: PhantomData<T>
}

And voila the lifetime parameter is eliminated from the Persistence struct.

P/S: I'm still very new to Rust, the explanation above is solely based on my speculations.

pyros2097

comment created time in 17 days

startedrust-lang/rustfmt

started time in 17 days

issue commentgraphql-rust/juniper

Interop with async? (Tokio/Futures)

@tyranron Are there any example?

jsgf

comment created time in 19 days

starteddiesel-rs/diesel

started time in 20 days

startedinteger32llc/rust-playground

started time in 20 days

startedH2CO3/avocado

started time in 20 days

startedcrossbario/autobahn-testsuite

started time in 20 days

pull request commentrust-lang/rfcs

RFC: Structural Records

@SimonSapin Please refer to my previous edited comments. Sorry for the multiple amendments.

Centril

comment created time in 21 days

pull request commentrust-lang/rfcs

RFC: Structural Records

@SimonSapin

But there there is no type anymore that represents a union. So how would you write the do_something_with_union function? You could pass &mut Span and &mut Vec<Type> separately but that doesn’t feel great to me

That's exactly why we need anonymous record/struct.

Centril

comment created time in 21 days

startedbluss/maplit

started time in 21 days

pull request commentrust-lang/rfcs

RFC: Structural Records

@SimonSapin can you explain more about the downsides with some examples? Are you implying that enum with anonymous struct can cause performance issue?

Centril

comment created time in 21 days

pull request commentrust-lang/rfcs

RFC: Structural Records

@kellerkindt Oh wow thanks! I thought it was not possible. Here's a playground I created to proof that enum can have anonymous struct. https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=35d2733f02dd2411e6f0d6cbd5dbc795

Centril

comment created time in 21 days

more