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·2 เดือนที่ผ่านมา·0 comments

Syllogisms Made Easy

youtube.com
3 points·by pratikdeoghare·2 เดือนที่ผ่านมา·0 comments

Principia Softwarica: Fundamental Literate System Programs

principia-softwarica.org
33 points·by pratikdeoghare·3 เดือนที่ผ่านมา·3 comments

comments

pratikdeoghare
·21 ชั่วโมงที่ผ่านมา·discuss
I suspect some companies do this to look healthy from outside.
pratikdeoghare
·24 ชั่วโมงที่ผ่านมา·discuss
If you use Brashtag notation you could insert #tk{} bag.

https://github.com/pratikdeoghare/brashtag
pratikdeoghare
·เมื่อวาน·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
·24 วันที่ผ่านมา·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
·27 วันที่ผ่านมา·discuss
Gell-Mann Amnesia effect

https://en.wiktionary.org/wiki/Gell-Mann_Amnesia_effect
pratikdeoghare
·27 วันที่ผ่านมา·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
·2 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·discuss
You might like what I made for myself https://github.com/pratikdeoghare/brashtag
pratikdeoghare
·2 เดือนที่ผ่านมา·discuss
I use a text file. But I use my own format.

#todo, p1{ Get vaccinated. }

https://github.com/PratikDeoghare/brashtag
pratikdeoghare
·2 เดือนที่ผ่านมา·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/