HackerTrans
TopNewTrendsCommentsPastAskShowJobs

pratikdeoghare

18 karmajoined 3 năm trước
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 tháng trước·0 comments

Syllogisms Made Easy

youtube.com
3 points·by pratikdeoghare·2 tháng trước·0 comments

Principia Softwarica: Fundamental Literate System Programs

principia-softwarica.org
33 points·by pratikdeoghare·3 tháng trước·3 comments

comments

pratikdeoghare
·1 giờ trước·discuss
I suspect some companies do this to look healthy from outside.
pratikdeoghare
·4 giờ trước·discuss
If you use Brashtag notation you could insert #tk{} bag.

https://github.com/pratikdeoghare/brashtag
pratikdeoghare
·9 giờ trước·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 ngày trước·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 ngày trước·discuss
Gell-Mann Amnesia effect

https://en.wiktionary.org/wiki/Gell-Mann_Amnesia_effect
pratikdeoghare
·26 ngày trước·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
·tháng trước·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
·tháng trước·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 tháng trước·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 tháng trước·discuss
You might like what I made for myself https://github.com/pratikdeoghare/brashtag
pratikdeoghare
·2 tháng trước·discuss
I use a text file. But I use my own format.

#todo, p1{ Get vaccinated. }

https://github.com/PratikDeoghare/brashtag
pratikdeoghare
·2 tháng trước·discuss
What I do is use a hash function to derive port number from service name.
pratikdeoghare
·3 tháng trước·discuss
https://norvig.github.io/paip-lisp/#/

Really great book even if don’t care about lisp or ai.
pratikdeoghare
·6 tháng trước·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 tháng trước·discuss
https://pratik.deoghare.com/ https://pratikdeoghare.github.io/