HackerTrans
TopNewTrendsCommentsPastAskShowJobs

pratikdeoghare

18 karmajoined قبل 3 سنوات
https://pratik.deoghare.com

Submissions

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

github.com
1 points·by pratikdeoghare·قبل شهرين·0 comments

Syllogisms Made Easy

youtube.com
3 points·by pratikdeoghare·قبل شهرين·0 comments

Principia Softwarica: Fundamental Literate System Programs

principia-softwarica.org
33 points·by pratikdeoghare·قبل 3 أشهر·3 comments

comments

pratikdeoghare
·قبل 3 ساعات·discuss
I suspect some companies do this to look healthy from outside.
pratikdeoghare
·قبل 6 ساعات·discuss
If you use Brashtag notation you could insert #tk{} bag.

https://github.com/pratikdeoghare/brashtag
pratikdeoghare
·قبل 11 ساعة·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 يومًا·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 يومًا·discuss
Gell-Mann Amnesia effect

https://en.wiktionary.org/wiki/Gell-Mann_Amnesia_effect
pratikdeoghare
·قبل 26 يومًا·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
·الشهر الماضي·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
·الشهر الماضي·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
·قبل شهرين·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
·قبل شهرين·discuss
You might like what I made for myself https://github.com/pratikdeoghare/brashtag
pratikdeoghare
·قبل شهرين·discuss
I use a text file. But I use my own format.

#todo, p1{ Get vaccinated. }

https://github.com/PratikDeoghare/brashtag
pratikdeoghare
·قبل شهرين·discuss
What I do is use a hash function to derive port number from service name.
pratikdeoghare
·قبل 3 أشهر·discuss
https://norvig.github.io/paip-lisp/#/

Really great book even if don’t care about lisp or ai.
pratikdeoghare
·قبل 6 أشهر·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 أشهر·discuss
https://pratik.deoghare.com/ https://pratikdeoghare.github.io/