Avi-D-coder

11 ms·

61.
by Avi-D-coder 6y ago
Any chance of a open source implementation of this? I could really use a better tts for Linux.
62.
by Avi-D-coder 6y ago
Immutable data structures tend to use a lot of pointers see how Haskell executes, even in other paradigms halving pointer s can have a significant impact on alignment (tags, enums, etc). V8 sandboxes WASM by placing them in a dedicated OS p
63.
by Avi-D-coder 6y ago
Why prefer 64bit pointers over multiple memory address spaces ( https://github.com/WebAssembly/multi-memory )? Your CPU has to do a lot of work to keep pretending it's memory is flat, If we give up that pretense yo
64.
by Avi-D-coder 6y ago
This is fantastic. I would love to see vscode, coc, kde, gnome and other applications that use node extensions, to adopt Deno.
65.
Rust: Notes on Io-Uring(boats.gitlab.io)
5 points by Avi-D-coder 6y ago|0 comments
66.
by Avi-D-coder 6y ago
This is great. We all knew it was coming, but I wish they hadn't axed xray. Has vscode performance improved in recent history? Are there any plans to replace hot code paths with Rust or wasm? Has modal editing improved? I'm not a
67.
Async Mutexes in Rust(github.com)
1 points by Avi-D-coder 6y ago|0 comments
68.
by Avi-D-coder 6y ago
If it makes you feel any better, I'd bet you all 3 UFOs still use call stacks. Even aliens are stuck on 8086 esque CPUs ;)
69.
by Avi-D-coder 6y ago
If you have a GC HAMTs are ideal for a lock free transactional semantics. In fact all pure data structures can be generalized to give lock free optimistic transactions with a single CAS. HAMTs just have the nicest properties for minimizing
70.
by Avi-D-coder 6y ago
Location: NY USA Remote: Yes, preferred. Willing to relocate: Yes Technologies: Haskell, Rust, Linux, Polyglot FP & Systems Dev, etc.. Résumé/CV: https://avi-d-coder.github.io/resume/ , https://githu
71.
by Avi-D-coder 6y ago
Any turning complete language can only uphold the Sapir-Whorf hypothesis at the level of types, kinds or higher. By definition at the term level you can express any cognitive categories. The weak hypothesis applies, since languages encourag
72.
by Avi-D-coder 6y ago
Learn FP, use FP to write your own language.
73.
by Avi-D-coder 6y ago
Why is Catalina so unstable, were there major architectural changes? I know they broke Nix, ssh and a few others, but why?
74.
by Avi-D-coder 7y ago
Unless you require your programs to be formally verified or use dependent linear types, the best you can do is an effect system, STM and GC. There is no panacea.
75.
by Avi-D-coder 7y ago
I'll post on the r/haskell when it hits alpha.
76.
by Avi-D-coder 7y ago
A visual debugger for Haskell, that will graph data structures, sharing, and laziness as data is updated and then GCed.
77.
by Avi-D-coder 7y ago
I disagree with you, but your comment should not have been down voted so I up voted.
78.
by Avi-D-coder 7y ago
I have a blog post in my drafts folder that documents it.
79.
by Avi-D-coder 7y ago
Switched to Firefox nightly and preview recently; it's great once you enable webrender and mess with a few other about:config options. Lockwise on Android is the only issue, it doesn't always suggest my saved passwords.
80.
by Avi-D-coder 7y ago
How would you keep your balance on a self driving motorcycle? You would always have to pay attention to the road.
81.
by Avi-D-coder 7y ago
Can it be made to generate 4k images easily?
82.
by Avi-D-coder 7y ago
Last week I switched to Firefox nightly on desktop and Firefox preview on mobile. It took some configuration, but I'm not regretting it at all.
83.
Haskell GHC Generics Explained(markkarpov.com)
4 points by Avi-D-coder 7y ago|0 comments
84.
Xorg Rants(github.com)
3 points by Avi-D-coder 7y ago|0 comments
85.
by Avi-D-coder 7y ago
This project appears to be dead. I posted it to ask is a WASM CPU a good idea?
86.
Wasm-Metal a WebAssembly CPU(github.com)
1 points by Avi-D-coder 7y ago|2 comments
87.
Foundation an alternative Haskell standard library(github.com)
3 points by Avi-D-coder 7y ago|0 comments
88.
Use fzf instead of coc.nvim built-in fuzzy finder(github.com)
1 points by Avi-D-coder 7y ago|0 comments
89.
The GitHub CLI Beta(github.com)
3 points by Avi-D-coder 7y ago|1 comments
90.
Cedille, a Language Based on Calculus of Dependent Lambda Eliminations(github.com)
3 points by Avi-D-coder 7y ago|0 comments

More ›