profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/hacdias/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Henrique Dias hacdias Eindhoven https://hacdias.com Computer Science and Engineering student at TU/e. Digging into the decentralized web with @ipfs @testground

hacdias/caddy-v1-service 68

:black_large_square: Run Caddy as a service

hacdias/caddy-v1-minify 41

:page_facing_up: Caddy plugin that provides file minification

hacdias/electron-menubar 37

Easy way to create an electron menubar application.

hacdias/caddy-v1-webdav 36

:open_file_folder: WebDAV support for Caddy server.

hacdias/fileutils 16

Golang file system utils such as copy files and directories

agentofuser/interplanetarygatsby.com 6

Space-Ready Publishing with Gatsby and IPFS

hacdias/clown-bot 5

Discord bot to tell jokes and show XKCD comics

hacdias/eagle 3

🔌 API that powers my website.

hacdias/eagle-js 3

🔌 API that powers my website.

hacdias/human-to-milliseconds 3

Converts human intervals to milliseconds.

push eventhacdias/eagle

Henrique Dias

commit sha b470d9e4225f50f19dba2c32d00e3f22be9d3de6

add growth

view details

push time in 13 hours

push eventipfs/ipfs-webui

Henrique Dias

commit sha ccf8ed96024705811808952bf235ab578c89f88d

publishing works from files page

view details

push time in 4 days

push eventipfs/ipfs-webui

Henrique Dias

commit sha 8fa8d8c6c9e775009f28035b7a441572f537b971

wip: publish from files

view details

push time in 4 days

push eventipfs/ipfs-webui

Henrique Dias

commit sha e67ca1606940fa17ba1221fb921cc5edb578f0ca

show available keys through link

view details

push time in 4 days

push eventipfs/ipfs-webui

Henrique Dias

commit sha 71b02cc53600d83621e695cc13ddbe958949e515

wip: working rename, remove and generation

view details

push time in 4 days

push eventipfs/ipfs-webui

Henrique Dias

commit sha 66dda152732f69d54e846995108cab376c9bbad3

wip: rename working

view details

Henrique Dias

commit sha 28c7b8517e4ba85138111492e8f91bc1684576cf

wip: remove working

view details

push time in 4 days

push eventipfs/ipfs-webui

Henrique Dias

commit sha d126d43f217d3e2a05e7369caa54c433ad094af6

wip: add table and generate modal

view details

push time in 4 days

PR opened ipfs/ipfs-webui

feat: IPNS key management on Settings

Partially addresses #1482

+86 -1

0 comment

4 changed files

pr created time in 4 days

create barnchipfs/ipfs-webui

branch : feat/1482-settings

created branch time in 4 days

issue commentipfs/ipfs-webui

Support for publishing to IPNS

I think both workflows are great and I will work on them. I don't have any other assignments and this seems to be a great improvement to the current Web UI state.

swedneck

comment created time in 4 days

PR opened ipfs/ipfs-desktop

fix: detect unresponsiveness and restart window

@lidel Still working on this. I'm having issues making the window unresponsive. Could not reproduce #1865 and using process.hang() does not trigger a complete window freeze but only the page itself. That is not triggering the unresponsive event.

+21 -0

0 comment

1 changed file

pr created time in 4 days

create barnchipfs/ipfs-desktop

branch : fix/1865

created branch time in 4 days

PR opened ipfs/ipfs-webui

feat: support public and private gateway on IPLD explore

Closes #1822

Requires https://github.com/ipfs/ipld-explorer-components/pull/300

License: MIT Signed-off-by: Henrique Dias hacdias@gmail.com

+5 -2

0 comment

2 changed files

pr created time in 6 days

create barnchipfs/ipfs-webui

branch : feat/1822

created branch time in 6 days

pull request commentipfs/ipld-explorer-components

feat: private and public gateways

It would look a bit big so I think we may need to change it to some other copy. Maybe "View on Public Gateway | Private Gateway".

Screen Shot 2021-09-18 at 11 37 07

hacdias

comment created time in 6 days

PR opened ipfs/ipld-explorer-components

feat: private and public gateways

License: MIT Signed-off-by: Henrique Dias hacdias@gmail.com

+18 -6

0 comment

4 changed files

pr created time in 6 days

create barnchipfs/ipld-explorer-components

branch : feat/private-public-gateway

created branch time in 6 days

issue commentipfs/ipfs-desktop

Change "Open WebUI at Launch" to false by default

@nickkeane you can change it here:

![image](https://user-image@lidel githubusercontent.com/5447088/133882547-452fd994-0aee-4241-8c1f-e10bc899c530.png)

@lidel I just saw this more recent PR #1757 where this option was defaulted to True for all users in all OSes. Not sure how to proceed here as the reason presented on #1153 no longer applies, but then we have #1757.

nickkeane

comment created time in 6 days

push eventhacdias/dotfiles

Henrique Dias

commit sha c286ae26227e938fde278d106e790704a65738e8

add kubectl

view details

Henrique Dias

commit sha 94f9ddb92f90538ea7445276ab9c38baa98adef2

alias fstar

view details

push time in 8 days

issue closedFStarLang/FStar

Cannot use record value directly

Hello!

I'm trying to learn F* but I can't find anything related to this on the tutorial and I find the behavior quite odd. I'm trying to model a simple wallet deposit according to a message.

This works fine:

module Bank

type address = string
type positiveValue = v:int{v >= 0}

type message = {
  sender: address;
  value: positiveValue
}

let getValue (m:message) : positiveValue = m.value

type wallet = {
  owner: address;
  value: positiveValue
}

let deposit (w:wallet) (m:message) : wallet =
  { w with value = (getValue m)  + w.value }

However, if I try to replace deposit by:

let deposit (w:wallet) (m:message) : wallet =
  { w with value = m.value + w.value }

I.e., use m.value directly instead of needing an additional function, I get the error:

Bank.fst(27,19-27,20): (Error 189) Expected expression of type "Bank.wallet"; got expression "m" of type "Bank.message" (see also Bank.fst(26,24-26,25))

Am I missing something important here?

closed time in 8 days

hacdias

issue commentFStarLang/FStar

Cannot use record value directly

Hello @W95Psp! Yes, it seems I was using a version from June! It works now. Thanks!

hacdias

comment created time in 8 days

issue openedFStarLang/FStar

Help: example on global storage

Hello!

I've done the tutorial, read through the documentation and searched online but couldn't find an explanation on exactly how to do it. I need to have a global state variable that is of a custom type I define.

Please let me know if there's a better place to ask questions regarding help.

module Example

open FStar.Map

noeq
type state = {
  x: bool;
  y: int;
  z: Map.t int bool
}

let store : state = {
  x = false;
  y = 1;
  z = // how to create a map?
}

My questions:

  1. How to initialize and update the map?
  2. How to update the storage? I read about FStar.ST but I did not understand how we could use it to have a global state.

Could you provide me with an example? Or a link to the documentation?

I found (https://fstarlang.github.io/docs/) this, but it doesn't have much information about the modules.

created time in 8 days

issue commentFStarLang/FStar

Cannot use record value directly

I also notice it only affects m.value. If I use m.sender inside a function, it doesn't throw an error.

hacdias

comment created time in 9 days

Pull request review commentipfs/ipfs-webui

feat: "import from IPFS" with a name

 import React from 'react' import PropTypes from 'prop-types'-import isIPFS from 'is-ipfs'+import Button from '../../../components/button/Button'+import { Modal, ModalActions, ModalBody } from '../../../components/modal/Modal' import { withTranslation } from 'react-i18next'+import isIPFS from 'is-ipfs' import Icon from '../../../icons/StrokeDecentralization'-import TextInputModal from '../../../components/text-input-modal/TextInputModal' -function ByPathModal ({ t, tReady, onCancel, onSubmit, className, ...props }) {-  const validatePath = (p) => {+const FILENAME_REGEX = /\?filename=(.+)/++class AddByPathModal extends React.Component {+  static propTypes = {+    onCancel: PropTypes.func.isRequired,+    onSubmit: PropTypes.func.isRequired,+    className: PropTypes.string+  }++  static defaultProps = {+    className: ''+  }++  state = {+    path: '',+    name: ''+  }++  validatePath = (p) => {     if (!p.startsWith('/ipfs/')) {       p = `/ipfs/${p}`     }      return isIPFS.ipfsPath(p)   } -  const getDescription = () => {+  onChange = (event) => {+    const target = event.target+    const value = target.value.trim()+    const name = target.name++    if (name === 'path') {+      const matches = value.match(FILENAME_REGEX)+      if (matches && matches[1]) {+        this.setState({ name: matches[1] })+      }+    }

@lidel not particularly happy about this bit to detect the ?filename= part. Any suggestion?

hacdias

comment created time in 10 days

PullRequestReviewEvent

push eventipfs/ipfs-webui

Henrique Dias

commit sha d49009e6ea431517ae30bb6df6619b5b7045739c

feat: support ?filename= License: MIT Signed-off-by: Henrique Dias <hacdias@gmail.com>

view details

push time in 10 days

PR opened ipfs/ipfs-webui

feat: "import from IPFS" with a name

License: MIT Signed-off-by: Henrique Dias hacdias@gmail.com

+111 -40

0 comment

5 changed files

pr created time in 10 days

create barnchipfs/ipfs-webui

branch : feat/1818

created branch time in 10 days

issue openedFStarLang/FStar

Cannot use record value directly

Hello!

I'm trying to learn F* but I can't find anything related to this on the tutorial and I find the behavior quite odd. I'm trying to model a simple wallet deposit according to a message.

This works fine:

module Bank

type address = string
type positiveValue = v:int{v >= 0}

type message = {
  sender: address;
  value: positiveValue
}

let getValue (m:message) : positiveValue = m.value

type wallet = {
  owner: address;
  value: positiveValue
}

let deposit (w:wallet) (m:message) : wallet =
  { w with value = (getValue m)  + w.value }

However, if I try to replace deposit by:

let deposit (w:wallet) (m:message) : wallet =
  { w with value = m.value + w.value }
``
`

I.e., use `m.value` directly instead of needing an additional function, I get the error:

Bank.fst(27,19-27,20): (Error 189) Expected expression of type "Bank.wallet"; got expression "m" of type "Bank.message" (see also Bank.fst(26,24-26,25))


Am I missing something important here?

created time in 11 days

PR opened ipfs/ipfs-webui

feat: add peer permanently by default

Closes #1849.

@lidel I added the configuration change in the same bundle function as the swarm connect. Do you think it would be better to change to the config bundle?

Also, I noticed that when you change the config, if you go to the Settings page, the config isn't changed and you need to refresh. Somehow we need to trigger the config re-fetching here.

+101 -25

0 comment

3 changed files

pr created time in 14 days