HackerTrans
TopNewTrendsCommentsPastAskShowJobs

pratikdeoghare

18 karmajoined 3 yıl önce
https://pratik.deoghare.com

Submissions

Show HN: Brashtag – A notation for writing trees and a parser for it

github.com
1 points·by pratikdeoghare·2 ay önce·0 comments

Syllogisms Made Easy

youtube.com
3 points·by pratikdeoghare·2 ay önce·0 comments

Principia Softwarica: Fundamental Literate System Programs

principia-softwarica.org
33 points·by pratikdeoghare·3 ay önce·3 comments

comments

pratikdeoghare
·2 saat önce·discuss
I suspect some companies do this to look healthy from outside.
pratikdeoghare
·5 saat önce·discuss
If you use Brashtag notation you could insert #tk{} bag.

https://github.com/pratikdeoghare/brashtag
pratikdeoghare
·9 saat önce·discuss
> just glorified front-ends for BibTeX

These frontends are necessary however because researchers in non-computer related fields are not trained/proficient at command line tools. Many of them need help installing software. Many of them don’t use raw text files much either. They use MS word files instead etc.
pratikdeoghare
·23 gün önce·discuss
Totally. After studying few hundred words of Spanish, German and French I thought hmm maybe a way to level up English is to learn basics of other languages. For example Fenster is Window in German. Defenestration becomes easy guess.
pratikdeoghare
·26 gün önce·discuss
Gell-Mann Amnesia effect

https://en.wiktionary.org/wiki/Gell-Mann_Amnesia_effect
pratikdeoghare
·26 gün önce·discuss
When studying distributed systems you have to convince yourself that clocks cannot be relied on. It is hard to do so because all the clocks around me are always working just fine.

When this article was posted here earlier I got an idea that maybe wearing a mechanical watch for a while might help.

I bought a cheap mechanical watch. It needs manual winding daily. If you take it off your wrist it gets out of sync with the other clocks or just stops.

Few weeks with that clock convinced me.
pratikdeoghare
·geçen ay·discuss
> making an editor

or you could come up with a notation that works in any editor. I have [1].

> That way you can easily try different ways without deleting any text.

Sorry I haven't yet read your story. Here is how I would explore alternatives with my notation. I do this when designing software/algorithms etc.

``` Elias performed at this level for about a year. He was up for a well-deserved promotion to staff engineer. I sent him a meeting invite to go through the updated leveling framework to make sure we didn't miss anything.

#{ #{ Elias declined the meeting. } #{ Elias went to the meeting but he went late.} ... }

```

[1] https://github.com/pratikdeoghare/brashtag
pratikdeoghare
·geçen ay·discuss
Having such a list is great. I am all for such lists.

BUT

Some people memorize these things. Take them too seriously. You are thought stupid if you don't know them. Somewhere someone then makes a story on Jira to verify that your product does all of these things and you have to convince them that we are fine without them or we don't need all of them etc.
pratikdeoghare
·2 ay önce·discuss
There is one in golang regular expressions https://swtch.com/~rsc/regexp/regexp2.html

I guess that is why you say re.Compile.
pratikdeoghare
·2 ay önce·discuss
You might like what I made for myself https://github.com/pratikdeoghare/brashtag
pratikdeoghare
·2 ay önce·discuss
I use a text file. But I use my own format.

#todo, p1{ Get vaccinated. }

https://github.com/PratikDeoghare/brashtag
pratikdeoghare
·2 ay önce·discuss
What I do is use a hash function to derive port number from service name.
pratikdeoghare
·3 ay önce·discuss
https://norvig.github.io/paip-lisp/#/

Really great book even if don’t care about lisp or ai.
pratikdeoghare
·6 ay önce·discuss
I faced this problem when designing my own notation [1].

Solved it by surrounding code with more ticks than maximum number of consecutive ticks inside its text. This allows arbitrary nesting.

Postgres solves it by using `$something$ whatever $something$` [2].

[1] https://github.com/PratikDeoghare/brashtag [2] https://www.postgresql.org/docs/current/sql-syntax-lexical.h...
pratikdeoghare
·6 ay önce·discuss
https://pratik.deoghare.com/ https://pratikdeoghare.github.io/